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

Solver Name	Answer	CPU time	Wall clock time
Concrete 3.12.3	SAT	254.48	231.791
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 (2961 MiB free)
  memory of node 1: 16384 MiB (1014 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402542-1568970698/watcher-4402542-1568970698 -o /var/tmp/evaluation-result-4402542-1568970698/solver-4402542-1568970698 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1568967597-29898 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=48196352 HOME/instance-4402542-1568970698.xml 

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

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

solver pid=31582, runsolver pid=31579

[startup+0.101248 s]*
/proc/loadavg: 1.56 1.45 1.42 3/219 31639
/proc/meminfo: memFree=4063080/32770624 swapFree=66997140/67108860
[pid=31582] ppid=31579 vsize=9972712 memory=19256 CPUtime=0.09 cores=0,2,4,6
/proc/31582/stat : 31582 (java) S 31579 31582 29867 0 -1 1077944320 4538 13267 0 0 1 1 5 2 20 0 6 0 473008214 10212057088 4814 33554432000 4194304 4196468 140732942051712 140732942034256 140302963842807 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
/proc/31582/statm: 2493178 4814 1934 1 0 2481616 0
[pid=31582/tid=31635] ppid=31579 vsize=9972712 memory=4279135704013832080 CPUtime=0.08 cores=0,2,4,6
/proc/31582/task/31635/stat : 31635 (java) R 31579 31582 29867 0 -1 4202560 2325 13267 0 0 1 0 5 2 20 0 6 0 473008224 10212057088 4814 33554432000 4194304 4196468 140732942051712 140302935679568 140302948965744 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31636] ppid=31579 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31636/stat : 31636 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 6 0 473008224 10212057088 4814 33554432000 4194304 4196468 140732942051712 140302968084880 140302963853013 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31637] ppid=31579 vsize=9972712 memory=139922484389504 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31637/stat : 31637 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 6 0 473008224 10212057088 4814 33554432000 4194304 4196468 140732942051712 140302893390096 140302963853013 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31638] ppid=31579 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31638/stat : 31638 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 6 0 473008224 10212057088 4814 33554432000 4194304 4196468 140732942051712 140302535547536 140302963853013 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31639] ppid=31579 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31639/stat : 31639 (java) S 31579 31582 29867 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 6 0 473008224 10212057088 4814 33554432000 4194304 4196468 140732942051712 140302534494736 140302963853013 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19256 KiB

[startup+0.20989 s]*
/proc/loadavg: 1.56 1.45 1.42 4/228 31648
/proc/meminfo: memFree=4042152/32770624 swapFree=66997140/67108860
[pid=31582] ppid=31579 vsize=10820196 memory=45844 CPUtime=0.25 cores=0,2,4,6
/proc/31582/stat : 31582 (java) S 31579 31582 29867 0 -1 1077944320 7261 13267 0 0 17 1 5 2 20 0 15 0 473008214 11079880704 11461 33554432000 4194304 4196468 140732942051712 140732942034256 140302963842807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
/proc/31582/statm: 2705049 11461 3301 1 0 2667149 0
[pid=31582/tid=31635] ppid=31579 vsize=10820196 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/31582/task/31635/stat : 31635 (java) R 31579 31582 29867 0 -1 4202560 3770 13267 0 0 11 1 5 2 20 0 15 0 473008224 11079880704 11461 33554432000 4194304 4196468 140732942051712 140302935656992 140302566135567 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31636] ppid=31579 vsize=10820196 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31636/stat : 31636 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 473008224 11079880704 11461 33554432000 4194304 4196468 140732942051712 140302968084880 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31637] ppid=31579 vsize=10820196 memory=3618560367380031136 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31637/stat : 31637 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 473008224 11079880704 11461 33554432000 4194304 4196468 140732942051712 140302893390096 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31638] ppid=31579 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31638/stat : 31638 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 473008224 11079880704 11461 33554432000 4194304 4196468 140732942051712 140302535547536 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31639] ppid=31579 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31639/stat : 31639 (java) S 31579 31582 29867 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 473008224 11079880704 11461 33554432000 4194304 4196468 140732942051712 140302534494736 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31640] ppid=31579 vsize=10820196 memory=139922484389504 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31640/stat : 31640 (java) S 31579 31582 29867 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 473008226 11079880704 11461 33554432000 4194304 4196468 140732942051712 140302490536560 140302963853954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31641] ppid=31579 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31641/stat : 31641 (java) S 31579 31582 29867 0 -1 1077944384 13 13267 0 0 0 0 5 2 20 0 15 0 473008226 11079880704 11461 33554432000 4194304 4196468 140732942051712 140302421583136 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31642] ppid=31579 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31642/stat : 31642 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 473008226 11079880704 11461 33554432000 4194304 4196468 140732942051712 140302287365744 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31643] ppid=31579 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31643/stat : 31643 (java) S 31579 31582 29867 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 473008229 11079880704 11461 33554432000 4194304 4196468 140732942051712 140301683386960 140302963861403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31644] ppid=31579 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31582/task/31644/stat : 31644 (java) S 31579 31582 29867 0 -1 1077944384 468 13267 0 0 1 0 5 2 20 0 15 0 473008229 11079880704 11461 33554432000 4194304 4196468 140732942051712 140302388025456 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31645] ppid=31579 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31645/stat : 31645 (java) S 31579 31582 29867 0 -1 1077944384 186 13267 0 0 0 0 5 2 20 0 15 0 473008229 11079880704 11461 33554432000 4194304 4196468 140732942051712 140302386972656 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31646] ppid=31579 vsize=10820196 memory=139922484389504 CPUtime=0.1 cores=0,2,4,6
/proc/31582/task/31646/stat : 31646 (java) S 31579 31582 29867 0 -1 1077944384 602 13267 0 0 3 0 5 2 20 0 15 0 473008229 11079880704 11461 33554432000 4194304 4196468 140732942051712 140302385920368 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31647] ppid=31579 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31647/stat : 31647 (java) S 31579 31582 29867 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 473008229 11079880704 11461 33554432000 4194304 4196468 140732942051712 140301213624800 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31648] ppid=31579 vsize=10820196 memory=139922484389504 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31648/stat : 31648 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 473008230 11079880704 11461 33554432000 4194304 4196468 140732942051712 140302384868272 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 45844 KiB

[startup+0.3106 s]*
/proc/loadavg: 1.56 1.45 1.42 3/228 31648
/proc/meminfo: memFree=4029256/32770624 swapFree=66997140/67108860
[pid=31582] ppid=31579 vsize=10820196 memory=54280 CPUtime=0.39 cores=0,2,4,6
/proc/31582/stat : 31582 (java) S 31579 31582 29867 0 -1 1077944320 10778 13267 0 0 29 3 5 2 20 0 15 0 473008214 11079880704 13570 33554432000 4194304 4196468 140732942051712 140732942034256 140302963842807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
/proc/31582/statm: 2705049 13570 3320 1 0 2667149 0
[pid=31582/tid=31635] ppid=31579 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/31582/task/31635/stat : 31635 (java) R 31579 31582 29867 0 -1 4202560 7269 13267 0 0 19 2 5 2 20 0 15 0 473008224 11079880704 13570 33554432000 4194304 4196468 140732942051712 140302935653056 140302947923294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31636] ppid=31579 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31636/stat : 31636 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 473008224 11079880704 13570 33554432000 4194304 4196468 140732942051712 140302968084880 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31637] ppid=31579 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31637/stat : 31637 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 473008224 11079880704 13570 33554432000 4194304 4196468 140732942051712 140302893390096 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31638] ppid=31579 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31638/stat : 31638 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 473008224 11079880704 13570 33554432000 4194304 4196468 140732942051712 140302535547536 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31639] ppid=31579 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31639/stat : 31639 (java) S 31579 31582 29867 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 473008224 11079880704 13570 33554432000 4194304 4196468 140732942051712 140302534494736 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31640] ppid=31579 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31640/stat : 31640 (java) S 31579 31582 29867 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 473008226 11079880704 13570 33554432000 4194304 4196468 140732942051712 140302490536560 140302963853954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31641] ppid=31579 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31641/stat : 31641 (java) S 31579 31582 29867 0 -1 1077944384 13 13267 0 0 0 0 5 2 20 0 15 0 473008226 11079880704 13570 33554432000 4194304 4196468 140732942051712 140302421583136 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31642] ppid=31579 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31642/stat : 31642 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 473008226 11079880704 13570 33554432000 4194304 4196468 140732942051712 140302287365744 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31643] ppid=31579 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31643/stat : 31643 (java) S 31579 31582 29867 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 473008229 11079880704 13570 33554432000 4194304 4196468 140732942051712 140301683386960 140302963861403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31644] ppid=31579 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31582/task/31644/stat : 31644 (java) S 31579 31582 29867 0 -1 1077944384 468 13267 0 0 2 0 5 2 20 0 15 0 473008229 11079880704 13570 33554432000 4194304 4196468 140732942051712 140302388025456 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31645] ppid=31579 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31582/task/31645/stat : 31645 (java) S 31579 31582 29867 0 -1 1077944384 187 13267 0 0 1 0 5 2 20 0 15 0 473008229 11079880704 13570 33554432000 4194304 4196468 140732942051712 140302386972656 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31646] ppid=31579 vsize=10820196 memory=139922484389504 CPUtime=0.12 cores=0,2,4,6
/proc/31582/task/31646/stat : 31646 (java) S 31579 31582 29867 0 -1 1077944384 620 13267 0 0 5 0 5 2 20 0 15 0 473008229 11079880704 13570 33554432000 4194304 4196468 140732942051712 140302385920368 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31647] ppid=31579 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31647/stat : 31647 (java) S 31579 31582 29867 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 473008229 11079880704 13570 33554432000 4194304 4196468 140732942051712 140301213624800 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31648] ppid=31579 vsize=10820196 memory=139922484389504 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31648/stat : 31648 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 473008230 11079880704 13570 33554432000 4194304 4196468 140732942051712 140302384868272 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54280 KiB

[startup+0.702894 s]
/proc/loadavg: 1.56 1.45 1.42 3/228 31648
/proc/meminfo: memFree=4014492/32770624 swapFree=66997140/67108860
[pid=31582] ppid=31579 vsize=10824364 memory=87740 CPUtime=1.14 cores=0,2,4,6
/proc/31582/stat : 31582 (java) S 31579 31582 29867 0 -1 1077944320 15115 13267 0 0 102 5 5 2 20 0 15 0 473008214 11084148736 21935 33554432000 4194304 4196468 140732942051712 140732942034256 140302963842807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
/proc/31582/statm: 2706091 21935 3515 1 0 2668173 0
[pid=31582/tid=31635] ppid=31579 vsize=10824364 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/31582/task/31635/stat : 31635 (java) R 31579 31582 29867 0 -1 4202560 10516 13267 0 0 55 4 5 2 20 0 15 0 473008224 11084148736 21935 33554432000 4194304 4196468 140732942051712 140302935672352 140302963864733 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31636] ppid=31579 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31636/stat : 31636 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 473008224 11084148736 21935 33554432000 4194304 4196468 140732942051712 140302968084880 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31637] ppid=31579 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31637/stat : 31637 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 473008224 11084148736 21935 33554432000 4194304 4196468 140732942051712 140302893390096 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31638] ppid=31579 vsize=10824364 memory=139922384237328 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31638/stat : 31638 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 473008224 11084148736 21935 33554432000 4194304 4196468 140732942051712 140302535547536 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31639] ppid=31579 vsize=10824364 memory=139925739536988 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31639/stat : 31639 (java) S 31579 31582 29867 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 473008224 11084148736 21935 33554432000 4194304 4196468 140732942051712 140302534494736 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31640] ppid=31579 vsize=10824364 memory=612 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31640/stat : 31640 (java) S 31579 31582 29867 0 -1 1077944384 5 13267 0 0 0 0 5 2 20 0 15 0 473008226 11084148736 21935 33554432000 4194304 4196468 140732942051712 140302490536560 140302963853954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31641] ppid=31579 vsize=10824364 memory=7302135314614015845 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31641/stat : 31641 (java) S 31579 31582 29867 0 -1 1077944384 13 13267 0 0 0 0 5 2 20 0 15 0 473008226 11084148736 21935 33554432000 4194304 4196468 140732942051712 140302421583136 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31642] ppid=31579 vsize=10824364 memory=7235703887618402641 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31642/stat : 31642 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 473008226 11084148736 21935 33554432000 4194304 4196468 140732942051712 140302287365744 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31643] ppid=31579 vsize=10824364 memory=14060 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31643/stat : 31643 (java) S 31579 31582 29867 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 473008229 11084148736 21935 33554432000 4194304 4196468 140732942051712 140301683386960 140302963861403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31644] ppid=31579 vsize=10824364 memory=2116 CPUtime=0.23 cores=0,2,4,6
/proc/31582/task/31644/stat : 31644 (java) S 31579 31582 29867 0 -1 1077944384 938 13267 0 0 16 0 5 2 20 0 15 0 473008229 11084148736 21935 33554432000 4194304 4196468 140732942051712 140302388025456 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31645] ppid=31579 vsize=10824364 memory=27392 CPUtime=0.19 cores=0,2,4,6
/proc/31582/task/31645/stat : 31645 (java) R 31579 31582 29867 0 -1 4202560 664 13267 0 0 12 0 5 2 20 0 15 0 473008229 11084148736 21935 33554432000 4194304 4196468 140732942051712 140302386960496 140302949874000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31646] ppid=31579 vsize=10824364 memory=532 CPUtime=0.24 cores=0,2,4,6
/proc/31582/task/31646/stat : 31646 (java) S 31579 31582 29867 0 -1 1077944384 759 13267 0 0 17 0 5 2 20 0 15 0 473008229 11084148736 21935 33554432000 4194304 4196468 140732942051712 140302385920368 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31647] ppid=31579 vsize=10824364 memory=1556 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31647/stat : 31647 (java) S 31579 31582 29867 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 473008229 11084148736 21935 33554432000 4194304 4196468 140732942051712 140301213624800 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31648] ppid=31579 vsize=10824364 memory=932 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31648/stat : 31648 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 473008230 11084148736 21935 33554432000 4194304 4196468 140732942051712 140302384868272 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87740 KiB

[startup+1.50081 s]
/proc/loadavg: 1.56 1.45 1.42 4/228 31648
/proc/meminfo: memFree=3967000/32770624 swapFree=66997140/67108860
[pid=31582] ppid=31579 vsize=10830584 memory=225708 CPUtime=3.24 cores=0,2,4,6
/proc/31582/stat : 31582 (java) S 31579 31582 29867 0 -1 1077944320 24141 13267 0 0 306 11 5 2 20 0 15 0 473008214 11090518016 56427 33554432000 4194304 4196468 140732942051712 140732942034256 140302963842807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
/proc/31582/statm: 2707646 56427 3578 1 0 2669709 0
[pid=31582/tid=31635] ppid=31579 vsize=10830584 memory=71784 CPUtime=1.44 cores=0,2,4,6
/proc/31582/task/31635/stat : 31635 (java) R 31579 31582 29867 0 -1 4202560 13392 13267 0 0 131 6 5 2 20 0 15 0 473008224 11090518016 56427 33554432000 4194304 4196468 140732942051712 140302935671024 140302963864733 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31636] ppid=31579 vsize=10830584 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31636/stat : 31636 (java) S 31579 31582 29867 0 -1 1077944384 52 13267 0 0 0 0 5 2 20 0 15 0 473008224 11090518016 56427 33554432000 4194304 4196468 140732942051712 140302968084880 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31637] ppid=31579 vsize=10830584 memory=279844768506016 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31637/stat : 31637 (java) S 31579 31582 29867 0 -1 1077944384 23 13267 0 0 0 0 5 2 20 0 15 0 473008224 11090518016 56427 33554432000 4194304 4196468 140732942051712 140302893390096 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31638] ppid=31579 vsize=10830584 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31638/stat : 31638 (java) S 31579 31582 29867 0 -1 1077944384 5 13267 0 0 0 0 5 2 20 0 15 0 473008224 11090518016 56427 33554432000 4194304 4196468 140732942051712 140302535547536 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31639] ppid=31579 vsize=10830584 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31639/stat : 31639 (java) S 31579 31582 29867 0 -1 1077944384 302 13267 0 0 0 0 5 2 20 0 15 0 473008224 11090518016 56427 33554432000 4194304 4196468 140732942051712 140302534494736 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31640] ppid=31579 vsize=10830584 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31640/stat : 31640 (java) S 31579 31582 29867 0 -1 1077944384 95 13267 0 0 0 0 5 2 20 0 15 0 473008226 11090518016 56427 33554432000 4194304 4196468 140732942051712 140302490536560 140302963853954 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31641] ppid=31579 vsize=10830584 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31641/stat : 31641 (java) S 31579 31582 29867 0 -1 1077944384 14 13267 0 0 0 0 5 2 20 0 15 0 473008226 11090518016 56427 33554432000 4194304 4196468 140732942051712 140302421583136 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31642] ppid=31579 vsize=10830584 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31642/stat : 31642 (java) S 31579 31582 29867 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 473008226 11090518016 56427 33554432000 4194304 4196468 140732942051712 140302287365760 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31643] ppid=31579 vsize=10830584 memory=-2245088631185882904 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31643/stat : 31643 (java) S 31579 31582 29867 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 473008229 11090518016 56427 33554432000 4194304 4196468 140732942051712 140301683386960 140302963861403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31644] ppid=31579 vsize=10830584 memory=0 CPUtime=0.73 cores=0,2,4,6
/proc/31582/task/31644/stat : 31644 (java) S 31579 31582 29867 0 -1 1077944384 3346 13267 0 0 66 0 5 2 20 0 15 0 473008229 11090518016 56427 33554432000 4194304 4196468 140732942051712 140302388025456 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31645] ppid=31579 vsize=10830584 memory=10 CPUtime=0.65 cores=0,2,4,6
/proc/31582/task/31645/stat : 31645 (java) S 31579 31582 29867 0 -1 1077944384 2480 13267 0 0 58 0 5 2 20 0 15 0 473008229 11090518016 56427 33554432000 4194304 4196468 140732942051712 140302386972656 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31646] ppid=31579 vsize=10830584 memory=6791534058613427641 CPUtime=0.53 cores=0,2,4,6
/proc/31582/task/31646/stat : 31646 (java) S 31579 31582 29867 0 -1 1077944384 2216 13267 0 0 45 1 5 2 20 0 15 0 473008229 11090518016 56427 33554432000 4194304 4196468 140732942051712 140302385920368 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31647] ppid=31579 vsize=10830584 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31647/stat : 31647 (java) S 31579 31582 29867 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 473008229 11090518016 56427 33554432000 4194304 4196468 140732942051712 140301213624800 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31648] ppid=31579 vsize=10830584 memory=279844768750464 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31648/stat : 31648 (java) S 31579 31582 29867 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 473008230 11090518016 56427 33554432000 4194304 4196468 140732942051712 140302384868272 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
Current children cumulated CPU time: 3.24 s
Current children cumulated vsize: 10830584 KiB

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

[pid=31582/tid=31647] ppid=31579 vsize=10846988 memory=3228 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31647/stat : 31647 (java) S 31579 31582 29867 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 473008229 11107315712 825078 33554432000 4194304 4196468 140732942051712 140301213624800 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31648] ppid=31579 vsize=10846988 memory=1712 CPUtime=0.21 cores=0,2,4,6
/proc/31582/task/31648/stat : 31648 (java) S 31579 31582 29867 0 -1 1077944384 433 13267 0 0 8 6 5 2 20 0 15 0 473008230 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302384868272 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
Current children cumulated CPU time: 251.29 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3300312 KiB

[startup+230.401 s]
/proc/loadavg: 1.10 1.42 1.42 3/230 31667
/proc/meminfo: memFree=790024/32770624 swapFree=66997140/67108860
[pid=31582] ppid=31579 vsize=10846988 memory=3300312 CPUtime=252.89 cores=0,2,4,6
/proc/31582/stat : 31582 (java) S 31579 31582 29867 0 -1 1077944320 258956 13267 0 0 25044 238 5 2 20 0 15 0 473008214 11107315712 825078 33554432000 4194304 4196468 140732942051712 140732942034256 140302963842807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
/proc/31582/statm: 2711747 825078 3633 1 0 2673805 0
[pid=31582/tid=31635] ppid=31579 vsize=10846988 memory=139922484388321 CPUtime=226.26 cores=0,2,4,6
/proc/31582/task/31635/stat : 31635 (java) R 31579 31582 29867 0 -1 4202560 66894 13267 0 0 22589 30 5 2 20 0 15 0 473008224 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302935677392 140302566368726 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31636] ppid=31579 vsize=10846988 memory=139922387079361 CPUtime=3.97 cores=0,2,4,6
/proc/31582/task/31636/stat : 31636 (java) S 31579 31582 29867 0 -1 1077944384 34764 13267 0 0 343 47 5 2 20 0 15 0 473008224 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302968084880 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31637] ppid=31579 vsize=10846988 memory=134 CPUtime=3.97 cores=0,2,4,6
/proc/31582/task/31637/stat : 31637 (java) S 31579 31582 29867 0 -1 1077944384 33074 13267 0 0 344 46 5 2 20 0 15 0 473008224 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302893390096 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31638] ppid=31579 vsize=10846988 memory=623 CPUtime=3.96 cores=0,2,4,6
/proc/31582/task/31638/stat : 31638 (java) S 31579 31582 29867 0 -1 1077944384 27403 13267 0 0 341 48 5 2 20 0 15 0 473008224 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302535547536 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31639] ppid=31579 vsize=10846988 memory=164 CPUtime=3.95 cores=0,2,4,6
/proc/31582/task/31639/stat : 31639 (java) S 31579 31582 29867 0 -1 1077944384 29451 13267 0 0 342 46 5 2 20 0 15 0 473008224 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302534494736 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31640] ppid=31579 vsize=10846988 memory=-2843869595368740254 CPUtime=0.21 cores=0,2,4,6
/proc/31582/task/31640/stat : 31640 (java) S 31579 31582 29867 0 -1 1077944384 5459 13267 0 0 13 1 5 2 20 0 15 0 473008226 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302490536560 140302963853954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31641] ppid=31579 vsize=10846988 memory=3624 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31641/stat : 31641 (java) S 31579 31582 29867 0 -1 1077944384 20 13267 0 0 0 0 5 2 20 0 15 0 473008226 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302421583264 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31642] ppid=31579 vsize=10846988 memory=54068 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31642/stat : 31642 (java) S 31579 31582 29867 0 -1 1077944384 4 13267 0 0 0 0 5 2 20 0 15 0 473008226 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302287365760 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31643] ppid=31579 vsize=10846988 memory=3275408 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31643/stat : 31643 (java) S 31579 31582 29867 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 473008229 11107315712 825078 33554432000 4194304 4196468 140732942051712 140301683386960 140302963861403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31644] ppid=31579 vsize=10846988 memory=3624 CPUtime=4.03 cores=0,2,4,6
/proc/31582/task/31644/stat : 31644 (java) S 31579 31582 29867 0 -1 1077944384 14257 13267 0 0 393 3 5 2 20 0 15 0 473008229 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302388025456 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31645] ppid=31579 vsize=10846988 memory=54068 CPUtime=4.84 cores=0,2,4,6
/proc/31582/task/31645/stat : 31645 (java) S 31579 31582 29867 0 -1 1077944384 20933 13267 0 0 473 4 5 2 20 0 15 0 473008229 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302386972656 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31646] ppid=31579 vsize=10846988 memory=2016 CPUtime=2.03 cores=0,2,4,6
/proc/31582/task/31646/stat : 31646 (java) S 31579 31582 29867 0 -1 1077944384 24051 13267 0 0 191 5 5 2 20 0 15 0 473008229 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302385920368 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31647] ppid=31579 vsize=10846988 memory=1424 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31647/stat : 31647 (java) S 31579 31582 29867 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 473008229 11107315712 825078 33554432000 4194304 4196468 140732942051712 140301213624800 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31648] ppid=31579 vsize=10846988 memory=1540 CPUtime=0.21 cores=0,2,4,6
/proc/31582/task/31648/stat : 31648 (java) S 31579 31582 29867 0 -1 1077944384 433 13267 0 0 8 6 5 2 20 0 15 0 473008230 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302384868272 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
Current children cumulated CPU time: 252.89 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3300312 KiB

[startup+231.201 s]
/proc/loadavg: 1.10 1.42 1.42 3/230 31667
/proc/meminfo: memFree=791848/32770624 swapFree=66997140/67108860
[pid=31582] ppid=31579 vsize=10846988 memory=3300312 CPUtime=253.69 cores=0,2,4,6
/proc/31582/stat : 31582 (java) S 31579 31582 29867 0 -1 1077944320 258956 13267 0 0 25124 238 5 2 20 0 15 0 473008214 11107315712 825078 33554432000 4194304 4196468 140732942051712 140732942034256 140302963842807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
/proc/31582/statm: 2711747 825078 3633 1 0 2673805 0
[pid=31582/tid=31635] ppid=31579 vsize=10846988 memory=139922384682108 CPUtime=227.06 cores=0,2,4,6
/proc/31582/task/31635/stat : 31635 (java) R 31579 31582 29867 0 -1 4202560 66894 13267 0 0 22669 30 5 2 20 0 15 0 473008224 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302935677392 140302577519836 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31636] ppid=31579 vsize=10846988 memory=193 CPUtime=3.97 cores=0,2,4,6
/proc/31582/task/31636/stat : 31636 (java) S 31579 31582 29867 0 -1 1077944384 34764 13267 0 0 343 47 5 2 20 0 15 0 473008224 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302968084880 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31637] ppid=31579 vsize=10846988 memory=3300312 CPUtime=3.97 cores=0,2,4,6
/proc/31582/task/31637/stat : 31637 (java) S 31579 31582 29867 0 -1 1077944384 33074 13267 0 0 344 46 5 2 20 0 15 0 473008224 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302893390096 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31638] ppid=31579 vsize=10846988 memory=988 CPUtime=3.96 cores=0,2,4,6
/proc/31582/task/31638/stat : 31638 (java) S 31579 31582 29867 0 -1 1077944384 27403 13267 0 0 341 48 5 2 20 0 15 0 473008224 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302535547536 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31639] ppid=31579 vsize=10846988 memory=3644 CPUtime=3.95 cores=0,2,4,6
/proc/31582/task/31639/stat : 31639 (java) S 31579 31582 29867 0 -1 1077944384 29451 13267 0 0 342 46 5 2 20 0 15 0 473008224 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302534494736 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31640] ppid=31579 vsize=10846988 memory=14004 CPUtime=0.21 cores=0,2,4,6
/proc/31582/task/31640/stat : 31640 (java) S 31579 31582 29867 0 -1 1077944384 5459 13267 0 0 13 1 5 2 20 0 15 0 473008226 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302490536560 140302963853954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31641] ppid=31579 vsize=10846988 memory=14060 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31641/stat : 31641 (java) S 31579 31582 29867 0 -1 1077944384 20 13267 0 0 0 0 5 2 20 0 15 0 473008226 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302421583264 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31642] ppid=31579 vsize=10846988 memory=2116 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31642/stat : 31642 (java) S 31579 31582 29867 0 -1 1077944384 4 13267 0 0 0 0 5 2 20 0 15 0 473008226 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302287365760 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31643] ppid=31579 vsize=10846988 memory=3243964 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31643/stat : 31643 (java) S 31579 31582 29867 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 473008229 11107315712 825078 33554432000 4194304 4196468 140732942051712 140301683386960 140302963861403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31644] ppid=31579 vsize=10846988 memory=3624 CPUtime=4.03 cores=0,2,4,6
/proc/31582/task/31644/stat : 31644 (java) S 31579 31582 29867 0 -1 1077944384 14257 13267 0 0 393 3 5 2 20 0 15 0 473008229 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302388025456 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31645] ppid=31579 vsize=10846988 memory=3235320 CPUtime=4.84 cores=0,2,4,6
/proc/31582/task/31645/stat : 31645 (java) S 31579 31582 29867 0 -1 1077944384 20933 13267 0 0 473 4 5 2 20 0 15 0 473008229 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302386972656 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31646] ppid=31579 vsize=10846988 memory=612 CPUtime=2.03 cores=0,2,4,6
/proc/31582/task/31646/stat : 31646 (java) S 31579 31582 29867 0 -1 1077944384 24051 13267 0 0 191 5 5 2 20 0 15 0 473008229 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302385920368 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31647] ppid=31579 vsize=10846988 memory=1220 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31647/stat : 31647 (java) S 31579 31582 29867 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 473008229 11107315712 825078 33554432000 4194304 4196468 140732942051712 140301213624800 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31648] ppid=31579 vsize=10846988 memory=14004 CPUtime=0.21 cores=0,2,4,6
/proc/31582/task/31648/stat : 31648 (java) S 31579 31582 29867 0 -1 1077944384 433 13267 0 0 8 6 5 2 20 0 15 0 473008230 11107315712 825078 33554432000 4194304 4196468 140732942051712 140302384868272 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
Current children cumulated CPU time: 253.69 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3300312 KiB

[startup+231.601 s]
/proc/loadavg: 1.10 1.42 1.42 3/230 31667
/proc/meminfo: memFree=791848/32770624 swapFree=66997140/67108860
[pid=31582] ppid=31579 vsize=10846988 memory=3308504 CPUtime=254.2 cores=0,2,4,6
/proc/31582/stat : 31582 (java) S 31579 31582 29867 0 -1 1077944320 259023 13267 0 0 25175 238 5 2 20 0 15 0 473008214 11107315712 827126 33554432000 4194304 4196468 140732942051712 140732942034256 140302963842807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
/proc/31582/statm: 2711747 827126 3633 1 0 2673805 0
[pid=31582/tid=31635] ppid=31579 vsize=10846988 memory=988 CPUtime=227.43 cores=0,2,4,6
/proc/31582/task/31635/stat : 31635 (java) R 31579 31582 29867 0 -1 4202560 66898 13267 0 0 22706 30 5 2 20 0 15 0 473008224 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302935677408 140302569761826 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31636] ppid=31579 vsize=10846988 memory=6016 CPUtime=4 cores=0,2,4,6
/proc/31582/task/31636/stat : 31636 (java) S 31579 31582 29867 0 -1 1077944384 34767 13267 0 0 346 47 5 2 20 0 15 0 473008224 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302968084880 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31637] ppid=31579 vsize=10846988 memory=612 CPUtime=4.01 cores=0,2,4,6
/proc/31582/task/31637/stat : 31637 (java) S 31579 31582 29867 0 -1 1077944384 33078 13267 0 0 348 46 5 2 20 0 15 0 473008224 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302893390096 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31638] ppid=31579 vsize=10846988 memory=6791534058613427641 CPUtime=3.99 cores=0,2,4,6
/proc/31582/task/31638/stat : 31638 (java) S 31579 31582 29867 0 -1 1077944384 27411 13267 0 0 344 48 5 2 20 0 15 0 473008224 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302535547536 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31639] ppid=31579 vsize=10846988 memory=54068 CPUtime=3.98 cores=0,2,4,6
/proc/31582/task/31639/stat : 31639 (java) S 31579 31582 29867 0 -1 1077944384 29451 13267 0 0 345 46 5 2 20 0 15 0 473008224 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302534494736 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31640] ppid=31579 vsize=10846988 memory=988 CPUtime=0.21 cores=0,2,4,6
/proc/31582/task/31640/stat : 31640 (java) S 31579 31582 29867 0 -1 1077944384 5459 13267 0 0 13 1 5 2 20 0 15 0 473008226 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302490536560 140302963853954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31641] ppid=31579 vsize=10846988 memory=2016 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31641/stat : 31641 (java) S 31579 31582 29867 0 -1 1077944384 20 13267 0 0 0 0 5 2 20 0 15 0 473008226 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302421583264 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31642] ppid=31579 vsize=10846988 memory=1424 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31642/stat : 31642 (java) S 31579 31582 29867 0 -1 1077944384 4 13267 0 0 0 0 5 2 20 0 15 0 473008226 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302287365760 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31643] ppid=31579 vsize=10846988 memory=1540 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31643/stat : 31643 (java) S 31579 31582 29867 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 473008229 11107315712 827126 33554432000 4194304 4196468 140732942051712 140301683386960 140302963861403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31644] ppid=31579 vsize=10846988 memory=772 CPUtime=4.05 cores=0,2,4,6
/proc/31582/task/31644/stat : 31644 (java) S 31579 31582 29867 0 -1 1077944384 14305 13267 0 0 395 3 5 2 20 0 15 0 473008229 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302388025456 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31645] ppid=31579 vsize=10846988 memory=10596 CPUtime=4.84 cores=0,2,4,6
/proc/31582/task/31645/stat : 31645 (java) S 31579 31582 29867 0 -1 1077944384 20933 13267 0 0 473 4 5 2 20 0 15 0 473008229 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302386972656 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31646] ppid=31579 vsize=10846988 memory=1712 CPUtime=2.03 cores=0,2,4,6
/proc/31582/task/31646/stat : 31646 (java) S 31579 31582 29867 0 -1 1077944384 24051 13267 0 0 191 5 5 2 20 0 15 0 473008229 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302385920368 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31647] ppid=31579 vsize=10846988 memory=988 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31647/stat : 31647 (java) S 31579 31582 29867 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 473008229 11107315712 827126 33554432000 4194304 4196468 140732942051712 140301213624800 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31648] ppid=31579 vsize=10846988 memory=3644 CPUtime=0.21 cores=0,2,4,6
/proc/31582/task/31648/stat : 31648 (java) S 31579 31582 29867 0 -1 1077944384 433 13267 0 0 8 6 5 2 20 0 15 0 473008230 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302384868272 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
Current children cumulated CPU time: 254.2 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3308504 KiB

[startup+231.701 s]
/proc/loadavg: 1.10 1.42 1.42 3/230 31667
/proc/meminfo: memFree=791848/32770624 swapFree=66997140/67108860
[pid=31582] ppid=31579 vsize=10846988 memory=3308504 CPUtime=254.3 cores=0,2,4,6
/proc/31582/stat : 31582 (java) S 31579 31582 29867 0 -1 1077944320 259023 13267 0 0 25185 238 5 2 20 0 15 0 473008214 11107315712 827126 33554432000 4194304 4196468 140732942051712 140732942034256 140302963842807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
/proc/31582/statm: 2711747 827126 3633 1 0 2673805 0
[pid=31582/tid=31635] ppid=31579 vsize=10846988 memory=3308504 CPUtime=227.53 cores=0,2,4,6
/proc/31582/task/31635/stat : 31635 (java) R 31579 31582 29867 0 -1 4202560 66898 13267 0 0 22716 30 5 2 20 0 15 0 473008224 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302935677408 140302569761464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31636] ppid=31579 vsize=10846988 memory=3292000 CPUtime=4 cores=0,2,4,6
/proc/31582/task/31636/stat : 31636 (java) S 31579 31582 29867 0 -1 1077944384 34767 13267 0 0 346 47 5 2 20 0 15 0 473008224 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302968084880 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31637] ppid=31579 vsize=10846988 memory=3254692 CPUtime=4.01 cores=0,2,4,6
/proc/31582/task/31637/stat : 31637 (java) S 31579 31582 29867 0 -1 1077944384 33078 13267 0 0 348 46 5 2 20 0 15 0 473008224 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302893390096 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31638] ppid=31579 vsize=10846988 memory=1436 CPUtime=3.99 cores=0,2,4,6
/proc/31582/task/31638/stat : 31638 (java) S 31579 31582 29867 0 -1 1077944384 27411 13267 0 0 344 48 5 2 20 0 15 0 473008224 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302535547536 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31639] ppid=31579 vsize=10846988 memory=3300312 CPUtime=3.98 cores=0,2,4,6
/proc/31582/task/31639/stat : 31639 (java) S 31579 31582 29867 0 -1 1077944384 29451 13267 0 0 345 46 5 2 20 0 15 0 473008224 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302534494736 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31640] ppid=31579 vsize=10846988 memory=3308504 CPUtime=0.21 cores=0,2,4,6
/proc/31582/task/31640/stat : 31640 (java) S 31579 31582 29867 0 -1 1077944384 5459 13267 0 0 13 1 5 2 20 0 15 0 473008226 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302490536560 140302963853954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31641] ppid=31579 vsize=10846988 memory=3300312 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31641/stat : 31641 (java) S 31579 31582 29867 0 -1 1077944384 20 13267 0 0 0 0 5 2 20 0 15 0 473008226 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302421583264 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31642] ppid=31579 vsize=10846988 memory=3300304 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31642/stat : 31642 (java) S 31579 31582 29867 0 -1 1077944384 4 13267 0 0 0 0 5 2 20 0 15 0 473008226 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302287365760 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31643] ppid=31579 vsize=10846988 memory=2828 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31643/stat : 31643 (java) S 31579 31582 29867 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 473008229 11107315712 827126 33554432000 4194304 4196468 140732942051712 140301683386960 140302963861403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31644] ppid=31579 vsize=10846988 memory=3181760 CPUtime=4.05 cores=0,2,4,6
/proc/31582/task/31644/stat : 31644 (java) S 31579 31582 29867 0 -1 1077944384 14305 13267 0 0 395 3 5 2 20 0 15 0 473008229 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302388025456 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31645] ppid=31579 vsize=10846988 memory=279844769478592 CPUtime=4.84 cores=0,2,4,6
/proc/31582/task/31645/stat : 31645 (java) S 31579 31582 29867 0 -1 1077944384 20933 13267 0 0 473 4 5 2 20 0 15 0 473008229 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302386972656 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31646] ppid=31579 vsize=10846988 memory=6791534058613427641 CPUtime=2.03 cores=0,2,4,6
/proc/31582/task/31646/stat : 31646 (java) S 31579 31582 29867 0 -1 1077944384 24051 13267 0 0 191 5 5 2 20 0 15 0 473008229 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302385920368 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31647] ppid=31579 vsize=10846988 memory=3680 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31647/stat : 31647 (java) S 31579 31582 29867 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 473008229 11107315712 827126 33554432000 4194304 4196468 140732942051712 140301213624800 140302963853013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
[pid=31582/tid=31648] ppid=31579 vsize=10846988 memory=3269252 CPUtime=0.21 cores=0,2,4,6
/proc/31582/task/31648/stat : 31648 (java) S 31579 31582 29867 0 -1 1077944384 433 13267 0 0 8 6 5 2 20 0 15 0 473008230 11107315712 827126 33554432000 4194304 4196468 140732942051712 140302384868272 140302963853954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140732942056037 140732942058677 140732942058677 140732942061519 0
Current children cumulated CPU time: 254.3 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3308504 KiB

Child status: 0
Real time (s): 231.791
CPU time (s): 254.48
CPU user time (s): 252.023
CPU system time (s): 2.45686
CPU usage (%): 109.788
Max. virtual memory (cumulated for all children) (KiB): 10847696
Max. memory (cumulated for all children) (KiB): 3308504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.023
system time used= 2.45686
maximum resident set size= 3310752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274570
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14906
involuntary context switches= 559


# summary of solver processes directly reported to runsolver:
#   pid: 31582
#   total CPU time (s): 254.48
#   total CPU user time (s): 252.023
#   total CPU system time (s): 2.45686

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40373 second user time and 2.25246 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	10.7392
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 4402542

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
