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	49.0236	35.6651
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 (2943 MiB free)
  memory of node 1: 16384 MiB (950 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402532-1568970662/watcher-4402532-1568970662 -o /var/tmp/evaluation-result-4402532-1568970662/solver-4402532-1568970662 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1568967597-29898 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1308241223 HOME/instance-4402532-1568970662.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=31452, runsolver pid=31449

[startup+0.11055 s]*
/proc/loadavg: 1.22 1.39 1.39 3/219 31509
/proc/meminfo: memFree=3975828/32770624 swapFree=66997140/67108860
[pid=31452] ppid=31449 vsize=10355560 memory=24000 CPUtime=0.1 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31449 31452 29867 0 -1 1077944320 4718 13082 0 0 2 1 5 2 20 0 9 0 473004557 10604093440 6000 33554432000 4194304 4196468 140725338302160 140725338284704 140497520455415 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
/proc/31452/statm: 2588890 6000 2103 1 0 2551431 0
[pid=31452/tid=31505] ppid=31449 vsize=10355560 memory=4351193297950768523 CPUtime=0.08 cores=0,2,4,6
/proc/31452/task/31505/stat : 31505 (java) R 31449 31452 29867 0 -1 4202560 2493 13082 0 0 1 0 5 2 20 0 9 0 473004566 10604093440 6000 33554432000 4194304 4196468 140725338302160 140497492291440 140497504535902 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31506] ppid=31449 vsize=10355560 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31506/stat : 31506 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 9 0 473004567 10604093440 6000 33554432000 4194304 4196468 140725338302160 140497524697744 140497520465621 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31507] ppid=31449 vsize=10355560 memory=139747845117568 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31507/stat : 31507 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 9 0 473004567 10604093440 6000 33554432000 4194304 4196468 140725338302160 140497443449360 140497520465621 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31508] ppid=31449 vsize=10355560 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31508/stat : 31508 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 9 0 473004567 10604093440 6000 33554432000 4194304 4196468 140725338302160 140497442396560 140497520465621 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31509] ppid=31449 vsize=10355560 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31509/stat : 31509 (java) S 31449 31452 29867 0 -1 1077944384 2 13082 0 0 0 0 5 2 20 0 9 0 473004567 10604093440 6000 33554432000 4194304 4196468 140725338302160 140497441343760 140497520465621 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31510] ppid=31449 vsize=10355560 memory=139747845117568 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31510/stat : 31510 (java) S 31449 31452 29867 0 -1 1077944384 2 13082 0 0 0 0 5 2 20 0 9 0 473004568 10604093440 6000 33554432000 4194304 4196468 140725338302160 140497047124848 140497520466562 0 0 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31511] ppid=31449 vsize=10355560 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31511/stat : 31511 (java) S 31449 31452 29867 0 -1 1077944384 13 13082 0 0 0 0 5 2 20 0 9 0 473004569 10604093440 6000 33554432000 4194304 4196468 140725338302160 140496970180128 140497520465621 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31512] ppid=31449 vsize=10355560 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31512/stat : 31512 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 9 0 473004569 10604093440 6000 33554432000 4194304 4196468 140725338302160 140496835962288 140497520465621 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 24000 KiB

[startup+0.215584 s]*
/proc/loadavg: 1.22 1.39 1.39 4/228 31518
/proc/meminfo: memFree=3956596/32770624 swapFree=66997140/67108860
[pid=31452] ppid=31449 vsize=10821220 memory=46864 CPUtime=0.26 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31449 31452 29867 0 -1 1077944320 8437 13082 0 0 17 2 5 2 20 0 15 0 473004557 11080929280 11716 33554432000 4194304 4196468 140725338302160 140725338284704 140497520455415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
/proc/31452/statm: 2705305 11716 3306 1 0 2667405 0
[pid=31452/tid=31505] ppid=31449 vsize=10821220 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/31452/task/31505/stat : 31505 (java) R 31449 31452 29867 0 -1 4202560 4948 13082 0 0 10 1 5 2 20 0 15 0 473004566 11080929280 11782 33554432000 4194304 4196468 140725338302160 140497492267776 140497513135133 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31506] ppid=31449 vsize=10821220 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31506/stat : 31506 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 15 0 473004567 11080929280 11782 33554432000 4194304 4196468 140725338302160 140497524697744 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31507] ppid=31449 vsize=10821220 memory=3618560192740759200 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31507/stat : 31507 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 15 0 473004567 11080929280 11782 33554432000 4194304 4196468 140725338302160 140497443449360 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31508] ppid=31449 vsize=10821220 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31508/stat : 31508 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 15 0 473004567 11080929280 11782 33554432000 4194304 4196468 140725338302160 140497442396560 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31509] ppid=31449 vsize=10821220 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31509/stat : 31509 (java) S 31449 31452 29867 0 -1 1077944384 2 13082 0 0 0 0 5 2 20 0 15 0 473004567 11080929280 11782 33554432000 4194304 4196468 140725338302160 140497441343760 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31510] ppid=31449 vsize=10821220 memory=139747845117568 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31510/stat : 31510 (java) S 31449 31452 29867 0 -1 1077944384 2 13082 0 0 0 0 5 2 20 0 15 0 473004568 11080929280 11782 33554432000 4194304 4196468 140725338302160 140497047124848 140497520466562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31511] ppid=31449 vsize=10821220 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31511/stat : 31511 (java) S 31449 31452 29867 0 -1 1077944384 13 13082 0 0 0 0 5 2 20 0 15 0 473004569 11080929280 11782 33554432000 4194304 4196468 140725338302160 140496970180128 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31512] ppid=31449 vsize=10821220 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31512/stat : 31512 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 15 0 473004569 11080929280 11848 33554432000 4194304 4196468 140725338302160 140496835962224 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31513] ppid=31449 vsize=10821220 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31513/stat : 31513 (java) S 31449 31452 29867 0 -1 1077944384 2 13082 0 0 0 0 5 2 20 0 15 0 473004572 11080929280 11848 33554432000 4194304 4196468 140725338302160 140496231983440 140497520474011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31514] ppid=31449 vsize=10821220 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31452/task/31514/stat : 31514 (java) S 31449 31452 29867 0 -1 1077944384 484 13082 0 0 1 0 5 2 20 0 15 0 473004572 11080929280 11848 33554432000 4194304 4196468 140725338302160 140497046071664 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31515] ppid=31449 vsize=10821220 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31452/task/31515/stat : 31515 (java) S 31449 31452 29867 0 -1 1077944384 170 13082 0 0 1 0 5 2 20 0 15 0 473004572 11080929280 11848 33554432000 4194304 4196468 140725338302160 140497045018864 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31516] ppid=31449 vsize=10821220 memory=139747845117568 CPUtime=0.1 cores=0,2,4,6
/proc/31452/task/31516/stat : 31516 (java) S 31449 31452 29867 0 -1 1077944384 636 13082 0 0 3 0 5 2 20 0 15 0 473004572 11080929280 11914 33554432000 4194304 4196468 140725338302160 140497043966064 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31517] ppid=31449 vsize=10821220 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31517/stat : 31517 (java) S 31449 31452 29867 0 -1 1077944384 3 13082 0 0 0 0 5 2 20 0 15 0 473004572 11080929280 11914 33554432000 4194304 4196468 140725338302160 140495762221280 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31518] ppid=31449 vsize=10821220 memory=139747845117568 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31518/stat : 31518 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 15 0 473004572 11080929280 11914 33554432000 4194304 4196468 140725338302160 140497042914480 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10821220 KiB
Current children cumulated memory: 46864 KiB

[startup+0.310476 s]*
/proc/loadavg: 1.20 1.38 1.39 4/228 31518
/proc/meminfo: memFree=3946324/32770624 swapFree=66997140/67108860
[pid=31452] ppid=31449 vsize=10820196 memory=53968 CPUtime=0.39 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31449 31452 29867 0 -1 1077944320 10740 13082 0 0 28 4 5 2 20 0 15 0 473004557 11079880704 13492 33554432000 4194304 4196468 140725338302160 140725338284704 140497520455415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
/proc/31452/statm: 2705049 13492 3318 1 0 2667149 0
[pid=31452/tid=31505] ppid=31449 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/31452/task/31505/stat : 31505 (java) R 31449 31452 29867 0 -1 4202560 7198 13082 0 0 18 3 5 2 20 0 15 0 473004566 11079880704 13492 33554432000 4194304 4196468 140725338302160 140497492264336 140497520477341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31506] ppid=31449 vsize=10820196 memory=6935054825532540783 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31506/stat : 31506 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 15 0 473004567 11079880704 13492 33554432000 4194304 4196468 140725338302160 140497524697744 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31507] ppid=31449 vsize=10820196 memory=139747845124561 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31507/stat : 31507 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 15 0 473004567 11079880704 13492 33554432000 4194304 4196468 140725338302160 140497443449360 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31508] ppid=31449 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31508/stat : 31508 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 15 0 473004567 11079880704 13492 33554432000 4194304 4196468 140725338302160 140497442396560 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31509] ppid=31449 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31509/stat : 31509 (java) S 31449 31452 29867 0 -1 1077944384 2 13082 0 0 0 0 5 2 20 0 15 0 473004567 11079880704 13492 33554432000 4194304 4196468 140725338302160 140497441343760 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31510] ppid=31449 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31510/stat : 31510 (java) S 31449 31452 29867 0 -1 1077944384 2 13082 0 0 0 0 5 2 20 0 15 0 473004568 11079880704 13492 33554432000 4194304 4196468 140725338302160 140497047124848 140497520466562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31511] ppid=31449 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31511/stat : 31511 (java) S 31449 31452 29867 0 -1 1077944384 13 13082 0 0 0 0 5 2 20 0 15 0 473004569 11079880704 13492 33554432000 4194304 4196468 140725338302160 140496970180128 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31512] ppid=31449 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31512/stat : 31512 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 15 0 473004569 11079880704 13492 33554432000 4194304 4196468 140725338302160 140496835962224 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31513] ppid=31449 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31513/stat : 31513 (java) S 31449 31452 29867 0 -1 1077944384 2 13082 0 0 0 0 5 2 20 0 15 0 473004572 11079880704 13492 33554432000 4194304 4196468 140725338302160 140496231983440 140497520474011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31514] ppid=31449 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31452/task/31514/stat : 31514 (java) S 31449 31452 29867 0 -1 1077944384 485 13082 0 0 2 0 5 2 20 0 15 0 473004572 11079880704 13492 33554432000 4194304 4196468 140725338302160 140497046071664 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31515] ppid=31449 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31452/task/31515/stat : 31515 (java) S 31449 31452 29867 0 -1 1077944384 170 13082 0 0 1 0 5 2 20 0 15 0 473004572 11079880704 13492 33554432000 4194304 4196468 140725338302160 140497045018864 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31516] ppid=31449 vsize=10820196 memory=-1 CPUtime=0.12 cores=0,2,4,6
/proc/31452/task/31516/stat : 31516 (java) S 31449 31452 29867 0 -1 1077944384 654 13082 0 0 5 0 5 2 20 0 15 0 473004572 11079880704 13492 33554432000 4194304 4196468 140725338302160 140497043966064 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31517] ppid=31449 vsize=10820196 memory=139747845117568 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31517/stat : 31517 (java) S 31449 31452 29867 0 -1 1077944384 3 13082 0 0 0 0 5 2 20 0 15 0 473004572 11079880704 13492 33554432000 4194304 4196468 140725338302160 140495762221280 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31518] ppid=31449 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31518/stat : 31518 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 15 0 473004572 11079880704 13492 33554432000 4194304 4196468 140725338302160 140497042914480 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 53968 KiB

[startup+0.700742 s]
/proc/loadavg: 1.20 1.38 1.39 3/228 31518
/proc/meminfo: memFree=3931064/32770624 swapFree=66997140/67108860
[pid=31452] ppid=31449 vsize=10824364 memory=87732 CPUtime=1.14 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31449 31452 29867 0 -1 1077944320 15179 13082 0 0 100 7 5 2 20 0 15 0 473004557 11084148736 21933 33554432000 4194304 4196468 140725338302160 140725338284704 140497520455415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
/proc/31452/statm: 2706091 21933 3505 1 0 2668173 0
[pid=31452/tid=31505] ppid=31449 vsize=10824364 memory=139749645877795 CPUtime=0.66 cores=0,2,4,6
/proc/31452/task/31505/stat : 31505 (java) R 31449 31452 29867 0 -1 4202560 10478 13082 0 0 54 5 5 2 20 0 15 0 473004566 11084148736 21933 33554432000 4194304 4196468 140725338302160 140497492277712 140497504535902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31506] ppid=31449 vsize=10824364 memory=139749645877818 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31506/stat : 31506 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 15 0 473004567 11084148736 21933 33554432000 4194304 4196468 140725338302160 140497524697744 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31507] ppid=31449 vsize=10824364 memory=139749645877819 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31507/stat : 31507 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 15 0 473004567 11084148736 21933 33554432000 4194304 4196468 140725338302160 140497443449360 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31508] ppid=31449 vsize=10824364 memory=139749645877826 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31508/stat : 31508 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 15 0 473004567 11084148736 21933 33554432000 4194304 4196468 140725338302160 140497442396560 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31509] ppid=31449 vsize=10824364 memory=139749645877828 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31509/stat : 31509 (java) S 31449 31452 29867 0 -1 1077944384 2 13082 0 0 0 0 5 2 20 0 15 0 473004567 11084148736 21933 33554432000 4194304 4196468 140725338302160 140497441343760 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31510] ppid=31449 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31510/stat : 31510 (java) S 31449 31452 29867 0 -1 1077944384 5 13082 0 0 0 0 5 2 20 0 15 0 473004568 11084148736 21933 33554432000 4194304 4196468 140725338302160 140497047124848 140497520466562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31511] ppid=31449 vsize=10824364 memory=193 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31511/stat : 31511 (java) S 31449 31452 29867 0 -1 1077944384 13 13082 0 0 0 0 5 2 20 0 15 0 473004569 11084148736 21933 33554432000 4194304 4196468 140725338302160 140496970180128 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31512] ppid=31449 vsize=10824364 memory=1 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31512/stat : 31512 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 15 0 473004569 11084148736 21933 33554432000 4194304 4196468 140725338302160 140496835962224 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31513] ppid=31449 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31513/stat : 31513 (java) S 31449 31452 29867 0 -1 1077944384 2 13082 0 0 0 0 5 2 20 0 15 0 473004572 11084148736 21933 33554432000 4194304 4196468 140725338302160 140496231983440 140497520474011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31514] ppid=31449 vsize=10824364 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/31452/task/31514/stat : 31514 (java) S 31449 31452 29867 0 -1 1077944384 1042 13082 0 0 15 0 5 2 20 0 15 0 473004572 11084148736 21933 33554432000 4194304 4196468 140725338302160 140497046071664 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31515] ppid=31449 vsize=10824364 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/31452/task/31515/stat : 31515 (java) R 31449 31452 29867 0 -1 4202560 590 13082 0 0 12 0 5 2 20 0 15 0 473004572 11084148736 21933 33554432000 4194304 4196468 140725338302160 140497045018864 140497500282675 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31516] ppid=31449 vsize=10824364 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/31452/task/31516/stat : 31516 (java) S 31449 31452 29867 0 -1 1077944384 836 13082 0 0 16 0 5 2 20 0 15 0 473004572 11084148736 21933 33554432000 4194304 4196468 140725338302160 140497043966064 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31517] ppid=31449 vsize=10824364 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31517/stat : 31517 (java) S 31449 31452 29867 0 -1 1077944384 3 13082 0 0 0 0 5 2 20 0 15 0 473004572 11084148736 21933 33554432000 4194304 4196468 140725338302160 140495762221280 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31518] ppid=31449 vsize=10824364 memory=14060 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31518/stat : 31518 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 15 0 473004572 11084148736 21933 33554432000 4194304 4196468 140725338302160 140497042914480 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87732 KiB

[startup+1.50071 s]
/proc/loadavg: 1.20 1.38 1.39 4/228 31518
/proc/meminfo: memFree=3887892/32770624 swapFree=66997140/67108860
[pid=31452] ppid=31449 vsize=10834680 memory=175768 CPUtime=2.51 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31449 31452 29867 0 -1 1077944320 22055 13082 0 0 232 12 5 2 20 0 15 0 473004557 11094712320 43942 33554432000 4194304 4196468 140725338302160 140725338284704 140497520455415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
/proc/31452/statm: 2708670 43942 3583 1 0 2670733 0
[pid=31452/tid=31505] ppid=31449 vsize=10834680 memory=119220 CPUtime=1.42 cores=0,2,4,6
/proc/31452/task/31505/stat : 31505 (java) R 31449 31452 29867 0 -1 4202560 15429 13082 0 0 128 7 5 2 20 0 15 0 473004566 11094712320 43942 33554432000 4194304 4196468 140725338302160 140497492251392 140497520467350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31506] ppid=31449 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31452/task/31506/stat : 31506 (java) S 31449 31452 29867 0 -1 1077944384 362 13082 0 0 1 0 5 2 20 0 15 0 473004567 11094712320 43942 33554432000 4194304 4196468 140725338302160 140497524697744 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31507] ppid=31449 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31452/task/31507/stat : 31507 (java) S 31449 31452 29867 0 -1 1077944384 35 13082 0 0 1 0 5 2 20 0 15 0 473004567 11094712320 43942 33554432000 4194304 4196468 140725338302160 140497443449360 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31508] ppid=31449 vsize=10834680 memory=139747699936080 CPUtime=0.08 cores=0,2,4,6
/proc/31452/task/31508/stat : 31508 (java) S 31449 31452 29867 0 -1 1077944384 28 13082 0 0 1 0 5 2 20 0 15 0 473004567 11094712320 43942 33554432000 4194304 4196468 140725338302160 140497442396560 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31509] ppid=31449 vsize=10834680 memory=3137 CPUtime=0.08 cores=0,2,4,6
/proc/31452/task/31509/stat : 31509 (java) S 31449 31452 29867 0 -1 1077944384 73 13082 0 0 1 0 5 2 20 0 15 0 473004567 11094712320 43942 33554432000 4194304 4196468 140725338302160 140497441343760 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31510] ppid=31449 vsize=10834680 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/31452/task/31510/stat : 31510 (java) S 31449 31452 29867 0 -1 1077944384 152 13082 0 0 1 0 5 2 20 0 15 0 473004568 11094712320 43942 33554432000 4194304 4196468 140725338302160 140497047124848 140497520466562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31511] ppid=31449 vsize=10834680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31511/stat : 31511 (java) S 31449 31452 29867 0 -1 1077944384 14 13082 0 0 0 0 5 2 20 0 15 0 473004569 11094712320 43942 33554432000 4194304 4196468 140725338302160 140496970180192 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31512] ppid=31449 vsize=10834680 memory=279495399444992 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31512/stat : 31512 (java) S 31449 31452 29867 0 -1 1077944384 1 13082 0 0 0 0 5 2 20 0 15 0 473004569 11094712320 43942 33554432000 4194304 4196468 140725338302160 140496835962240 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31513] ppid=31449 vsize=10834680 memory=2129104 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31513/stat : 31513 (java) S 31449 31452 29867 0 -1 1077944384 2 13082 0 0 0 0 5 2 20 0 15 0 473004572 11094712320 43942 33554432000 4194304 4196468 140725338302160 140496231983440 140497520474011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31514] ppid=31449 vsize=10834680 memory=2140628 CPUtime=0.35 cores=0,2,4,6
/proc/31452/task/31514/stat : 31514 (java) S 31449 31452 29867 0 -1 1077944384 1266 13082 0 0 28 0 5 2 20 0 15 0 473004572 11094712320 43942 33554432000 4194304 4196468 140725338302160 140497046071664 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31515] ppid=31449 vsize=10834680 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/31452/task/31515/stat : 31515 (java) S 31449 31452 29867 0 -1 1077944384 928 13082 0 0 27 0 5 2 20 0 15 0 473004572 11094712320 43942 33554432000 4194304 4196468 140725338302160 140497045018864 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31516] ppid=31449 vsize=10834680 memory=321013415753841610 CPUtime=0.47 cores=0,2,4,6
/proc/31452/task/31516/stat : 31516 (java) R 31449 31452 29867 0 -1 4202560 1557 13082 0 0 40 0 5 2 20 0 15 0 473004572 11094712320 43942 33554432000 4194304 4196468 140725338302160 140497043966064 140497504535902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0

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

[pid=31452/tid=31517] ppid=31449 vsize=10846988 memory=2664 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31517/stat : 31517 (java) S 31449 31452 29867 0 -1 1077944384 3 13082 0 0 0 0 5 2 20 0 15 0 473004572 11107315712 694268 33554432000 4194304 4196468 140725338302160 140495762221280 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31518] ppid=31449 vsize=10846988 memory=2612 CPUtime=0.08 cores=0,2,4,6
/proc/31452/task/31518/stat : 31518 (java) S 31449 31452 29867 0 -1 1077944384 47 13082 0 0 0 1 5 2 20 0 15 0 473004572 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497042914480 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
Current children cumulated CPU time: 45.28 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2777072 KiB

[startup+33.6008 s]
/proc/loadavg: 1.60 1.46 1.42 4/228 31521
/proc/meminfo: memFree=1295244/32770624 swapFree=66997140/67108860
[pid=31452] ppid=31449 vsize=10846988 memory=2777072 CPUtime=46.87 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31449 31452 29867 0 -1 1077944320 81200 13082 0 0 4544 136 5 2 20 0 15 0 473004557 11107315712 694268 33554432000 4194304 4196468 140725338302160 140725338284704 140497520455415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
/proc/31452/statm: 2711747 694268 3628 1 0 2673805 0
[pid=31452/tid=31505] ppid=31449 vsize=10846988 memory=1048 CPUtime=32.51 cores=0,2,4,6
/proc/31452/task/31505/stat : 31505 (java) R 31449 31452 29867 0 -1 4202560 36064 13082 0 0 3193 51 5 2 20 0 15 0 473004566 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497492287408 140497138511072 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31506] ppid=31449 vsize=10846988 memory=6016 CPUtime=1.02 cores=0,2,4,6
/proc/31452/task/31506/stat : 31506 (java) S 31449 31452 29867 0 -1 1077944384 1517 13082 0 0 76 19 5 2 20 0 15 0 473004567 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497524697744 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31507] ppid=31449 vsize=10846988 memory=2777064 CPUtime=1.02 cores=0,2,4,6
/proc/31452/task/31507/stat : 31507 (java) S 31449 31452 29867 0 -1 1077944384 754 13082 0 0 77 18 5 2 20 0 15 0 473004567 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497443449360 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31508] ppid=31449 vsize=10846988 memory=2777072 CPUtime=1.02 cores=0,2,4,6
/proc/31452/task/31508/stat : 31508 (java) S 31449 31452 29867 0 -1 1077944384 1795 13082 0 0 77 18 5 2 20 0 15 0 473004567 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497442396560 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31509] ppid=31449 vsize=10846988 memory=1436 CPUtime=1.02 cores=0,2,4,6
/proc/31452/task/31509/stat : 31509 (java) S 31449 31452 29867 0 -1 1077944384 741 13082 0 0 77 18 5 2 20 0 15 0 473004567 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497441343760 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31510] ppid=31449 vsize=10846988 memory=1764 CPUtime=0.13 cores=0,2,4,6
/proc/31452/task/31510/stat : 31510 (java) S 31449 31452 29867 0 -1 1077944384 6080 13082 0 0 6 0 5 2 20 0 15 0 473004568 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497047124848 140497520466562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31511] ppid=31449 vsize=10846988 memory=1980 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31511/stat : 31511 (java) S 31449 31452 29867 0 -1 1077944384 21 13082 0 0 0 0 5 2 20 0 15 0 473004569 11107315712 694268 33554432000 4194304 4196468 140725338302160 140496970180256 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31512] ppid=31449 vsize=10846988 memory=2540 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31512/stat : 31512 (java) S 31449 31452 29867 0 -1 1077944384 19 13082 0 0 0 0 5 2 20 0 15 0 473004569 11107315712 694268 33554432000 4194304 4196468 140725338302160 140496835962240 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31513] ppid=31449 vsize=10846988 memory=1760 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31513/stat : 31513 (java) S 31449 31452 29867 0 -1 1077944384 2 13082 0 0 0 0 5 2 20 0 15 0 473004572 11107315712 694268 33554432000 4194304 4196468 140725338302160 140496231983440 140497520474011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31514] ppid=31449 vsize=10846988 memory=54068 CPUtime=4.62 cores=0,2,4,6
/proc/31452/task/31514/stat : 31514 (java) S 31449 31452 29867 0 -1 1077944384 14362 13082 0 0 452 3 5 2 20 0 15 0 473004572 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497046071664 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31515] ppid=31449 vsize=10846988 memory=988 CPUtime=4.23 cores=0,2,4,6
/proc/31452/task/31515/stat : 31515 (java) S 31449 31452 29867 0 -1 1077944384 7326 13082 0 0 414 2 5 2 20 0 15 0 473004572 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497045018864 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31516] ppid=31449 vsize=10846988 memory=2016 CPUtime=1.76 cores=0,2,4,6
/proc/31452/task/31516/stat : 31516 (java) S 31449 31452 29867 0 -1 1077944384 10263 13082 0 0 167 2 5 2 20 0 15 0 473004572 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497043966064 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31517] ppid=31449 vsize=10846988 memory=1424 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31517/stat : 31517 (java) S 31449 31452 29867 0 -1 1077944384 3 13082 0 0 0 0 5 2 20 0 15 0 473004572 11107315712 694268 33554432000 4194304 4196468 140725338302160 140495762221280 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31518] ppid=31449 vsize=10846988 memory=1540 CPUtime=0.08 cores=0,2,4,6
/proc/31452/task/31518/stat : 31518 (java) S 31449 31452 29867 0 -1 1077944384 47 13082 0 0 0 1 5 2 20 0 15 0 473004572 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497042914480 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
Current children cumulated CPU time: 46.87 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2777072 KiB

[startup+34.4008 s]
/proc/loadavg: 1.60 1.46 1.42 4/228 31521
/proc/meminfo: memFree=1298548/32770624 swapFree=66997140/67108860
[pid=31452] ppid=31449 vsize=10846988 memory=2777072 CPUtime=47.67 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31449 31452 29867 0 -1 1077944320 81203 13082 0 0 4624 136 5 2 20 0 15 0 473004557 11107315712 694268 33554432000 4194304 4196468 140725338302160 140725338284704 140497520455415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
/proc/31452/statm: 2711747 694268 3628 1 0 2673805 0
[pid=31452/tid=31505] ppid=31449 vsize=10846988 memory=2777072 CPUtime=33.31 cores=0,2,4,6
/proc/31452/task/31505/stat : 31505 (java) R 31449 31452 29867 0 -1 4202560 36064 13082 0 0 3273 51 5 2 20 0 15 0 473004566 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497492287408 140497137905441 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31506] ppid=31449 vsize=10846988 memory=0 CPUtime=1.02 cores=0,2,4,6
/proc/31452/task/31506/stat : 31506 (java) S 31449 31452 29867 0 -1 1077944384 1517 13082 0 0 76 19 5 2 20 0 15 0 473004567 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497524697744 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31507] ppid=31449 vsize=10846988 memory=6791534058613427641 CPUtime=1.02 cores=0,2,4,6
/proc/31452/task/31507/stat : 31507 (java) S 31449 31452 29867 0 -1 1077944384 754 13082 0 0 77 18 5 2 20 0 15 0 473004567 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497443449360 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31508] ppid=31449 vsize=10846988 memory=6 CPUtime=1.02 cores=0,2,4,6
/proc/31452/task/31508/stat : 31508 (java) S 31449 31452 29867 0 -1 1077944384 1795 13082 0 0 77 18 5 2 20 0 15 0 473004567 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497442396560 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31509] ppid=31449 vsize=10846988 memory=0 CPUtime=1.02 cores=0,2,4,6
/proc/31452/task/31509/stat : 31509 (java) S 31449 31452 29867 0 -1 1077944384 741 13082 0 0 77 18 5 2 20 0 15 0 473004567 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497441343760 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31510] ppid=31449 vsize=10846988 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/31452/task/31510/stat : 31510 (java) S 31449 31452 29867 0 -1 1077944384 6080 13082 0 0 6 0 5 2 20 0 15 0 473004568 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497047124848 140497520466562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31511] ppid=31449 vsize=10846988 memory=2777072 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31511/stat : 31511 (java) S 31449 31452 29867 0 -1 1077944384 21 13082 0 0 0 0 5 2 20 0 15 0 473004569 11107315712 694268 33554432000 4194304 4196468 140725338302160 140496970180256 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31512] ppid=31449 vsize=10846988 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31512/stat : 31512 (java) S 31449 31452 29867 0 -1 1077944384 19 13082 0 0 0 0 5 2 20 0 15 0 473004569 11107315712 694268 33554432000 4194304 4196468 140725338302160 140496835962240 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31513] ppid=31449 vsize=10846988 memory=3644 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31513/stat : 31513 (java) S 31449 31452 29867 0 -1 1077944384 2 13082 0 0 0 0 5 2 20 0 15 0 473004572 11107315712 694268 33554432000 4194304 4196468 140725338302160 140496231983440 140497520474011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31514] ppid=31449 vsize=10846988 memory=2828 CPUtime=4.62 cores=0,2,4,6
/proc/31452/task/31514/stat : 31514 (java) S 31449 31452 29867 0 -1 1077944384 14362 13082 0 0 452 3 5 2 20 0 15 0 473004572 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497046071664 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31515] ppid=31449 vsize=10846988 memory=1048 CPUtime=4.23 cores=0,2,4,6
/proc/31452/task/31515/stat : 31515 (java) S 31449 31452 29867 0 -1 1077944384 7326 13082 0 0 414 2 5 2 20 0 15 0 473004572 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497045018864 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31516] ppid=31449 vsize=10846988 memory=6016 CPUtime=1.76 cores=0,2,4,6
/proc/31452/task/31516/stat : 31516 (java) S 31449 31452 29867 0 -1 1077944384 10264 13082 0 0 167 2 5 2 20 0 15 0 473004572 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497043966064 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31517] ppid=31449 vsize=10846988 memory=612 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31517/stat : 31517 (java) S 31449 31452 29867 0 -1 1077944384 3 13082 0 0 0 0 5 2 20 0 15 0 473004572 11107315712 694268 33554432000 4194304 4196468 140725338302160 140495762221280 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31518] ppid=31449 vsize=10846988 memory=1220 CPUtime=0.08 cores=0,2,4,6
/proc/31452/task/31518/stat : 31518 (java) S 31449 31452 29867 0 -1 1077944384 49 13082 0 0 0 1 5 2 20 0 15 0 473004572 11107315712 694268 33554432000 4194304 4196468 140725338302160 140497042914480 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
Current children cumulated CPU time: 47.67 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2777072 KiB

[startup+35.2008 s]
/proc/loadavg: 1.60 1.46 1.42 4/228 31521
/proc/meminfo: memFree=1280304/32770624 swapFree=66997140/67108860
[pid=31452] ppid=31449 vsize=10846988 memory=2800800 CPUtime=48.49 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31449 31452 29867 0 -1 1077944320 81623 13082 0 0 4705 137 5 2 20 0 15 0 473004557 11107315712 700200 33554432000 4194304 4196468 140725338302160 140725338284704 140497520455415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
/proc/31452/statm: 2711747 700200 3628 1 0 2673805 0
[pid=31452/tid=31505] ppid=31449 vsize=10846988 memory=2777064 CPUtime=34.09 cores=0,2,4,6
/proc/31452/task/31505/stat : 31505 (java) R 31449 31452 29867 0 -1 4202560 36207 13082 0 0 3351 51 5 2 20 0 15 0 473004566 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497492290128 140497138645798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31506] ppid=31449 vsize=10846988 memory=54068 CPUtime=1.02 cores=0,2,4,6
/proc/31452/task/31506/stat : 31506 (java) S 31449 31452 29867 0 -1 1077944384 1606 13082 0 0 76 19 5 2 20 0 15 0 473004567 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497524697744 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31507] ppid=31449 vsize=10846988 memory=988 CPUtime=1.03 cores=0,2,4,6
/proc/31452/task/31507/stat : 31507 (java) S 31449 31452 29867 0 -1 1077944384 833 13082 0 0 78 18 5 2 20 0 15 0 473004567 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497443449360 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31508] ppid=31449 vsize=10846988 memory=2777072 CPUtime=1.02 cores=0,2,4,6
/proc/31452/task/31508/stat : 31508 (java) S 31449 31452 29867 0 -1 1077944384 1847 13082 0 0 77 18 5 2 20 0 15 0 473004567 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497442396560 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31509] ppid=31449 vsize=10846988 memory=2777072 CPUtime=1.02 cores=0,2,4,6
/proc/31452/task/31509/stat : 31509 (java) S 31449 31452 29867 0 -1 1077944384 790 13082 0 0 77 18 5 2 20 0 15 0 473004567 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497441343760 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31510] ppid=31449 vsize=10846988 memory=1220 CPUtime=0.13 cores=0,2,4,6
/proc/31452/task/31510/stat : 31510 (java) S 31449 31452 29867 0 -1 1077944384 6087 13082 0 0 6 0 5 2 20 0 15 0 473004568 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497047124848 140497520466562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31511] ppid=31449 vsize=10846988 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31511/stat : 31511 (java) S 31449 31452 29867 0 -1 1077944384 21 13082 0 0 0 0 5 2 20 0 15 0 473004569 11107315712 700200 33554432000 4194304 4196468 140725338302160 140496970180256 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31512] ppid=31449 vsize=10846988 memory=2828 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31512/stat : 31512 (java) S 31449 31452 29867 0 -1 1077944384 19 13082 0 0 0 0 5 2 20 0 15 0 473004569 11107315712 700200 33554432000 4194304 4196468 140725338302160 140496835962240 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31513] ppid=31449 vsize=10846988 memory=1048 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31513/stat : 31513 (java) S 31449 31452 29867 0 -1 1077944384 2 13082 0 0 0 0 5 2 20 0 15 0 473004572 11107315712 700200 33554432000 4194304 4196468 140725338302160 140496231983440 140497520474011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31514] ppid=31449 vsize=10846988 memory=6016 CPUtime=4.62 cores=0,2,4,6
/proc/31452/task/31514/stat : 31514 (java) S 31449 31452 29867 0 -1 1077944384 14362 13082 0 0 452 3 5 2 20 0 15 0 473004572 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497046071664 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31515] ppid=31449 vsize=10846988 memory=6791534058613427641 CPUtime=4.23 cores=0,2,4,6
/proc/31452/task/31515/stat : 31515 (java) S 31449 31452 29867 0 -1 1077944384 7326 13082 0 0 414 2 5 2 20 0 15 0 473004572 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497045018864 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31516] ppid=31449 vsize=10846988 memory=2116 CPUtime=1.77 cores=0,2,4,6
/proc/31452/task/31516/stat : 31516 (java) S 31449 31452 29867 0 -1 1077944384 10265 13082 0 0 168 2 5 2 20 0 15 0 473004572 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497043966064 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31517] ppid=31449 vsize=10846988 memory=27392 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31517/stat : 31517 (java) S 31449 31452 29867 0 -1 1077944384 3 13082 0 0 0 0 5 2 20 0 15 0 473004572 11107315712 700200 33554432000 4194304 4196468 140725338302160 140495762221280 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31518] ppid=31449 vsize=10846988 memory=532 CPUtime=0.08 cores=0,2,4,6
/proc/31452/task/31518/stat : 31518 (java) S 31449 31452 29867 0 -1 1077944384 49 13082 0 0 0 1 5 2 20 0 15 0 473004572 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497042914480 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
Current children cumulated CPU time: 48.49 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2800800 KiB

[startup+35.6008 s]
/proc/loadavg: 1.60 1.46 1.42 4/228 31521
/proc/meminfo: memFree=1280304/32770624 swapFree=66997140/67108860
[pid=31452] ppid=31449 vsize=10846988 memory=2800800 CPUtime=48.89 cores=0,2,4,6
/proc/31452/stat : 31452 (java) S 31449 31452 29867 0 -1 1077944320 81623 13082 0 0 4745 137 5 2 20 0 15 0 473004557 11107315712 700200 33554432000 4194304 4196468 140725338302160 140725338284704 140497520455415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
/proc/31452/statm: 2711747 700200 3628 1 0 2673805 0
[pid=31452/tid=31505] ppid=31449 vsize=10846988 memory=6791534058613427641 CPUtime=34.49 cores=0,2,4,6
/proc/31452/task/31505/stat : 31505 (java) R 31449 31452 29867 0 -1 4202560 36207 13082 0 0 3391 51 5 2 20 0 15 0 473004566 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497492290128 140497134994046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31506] ppid=31449 vsize=10846988 memory=1712 CPUtime=1.02 cores=0,2,4,6
/proc/31452/task/31506/stat : 31506 (java) S 31449 31452 29867 0 -1 1077944384 1606 13082 0 0 76 19 5 2 20 0 15 0 473004567 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497524697744 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31507] ppid=31449 vsize=10846988 memory=988 CPUtime=1.03 cores=0,2,4,6
/proc/31452/task/31507/stat : 31507 (java) S 31449 31452 29867 0 -1 1077944384 833 13082 0 0 78 18 5 2 20 0 15 0 473004567 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497443449360 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31508] ppid=31449 vsize=10846988 memory=2777072 CPUtime=1.02 cores=0,2,4,6
/proc/31452/task/31508/stat : 31508 (java) S 31449 31452 29867 0 -1 1077944384 1847 13082 0 0 77 18 5 2 20 0 15 0 473004567 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497442396560 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31509] ppid=31449 vsize=10846988 memory=2016 CPUtime=1.02 cores=0,2,4,6
/proc/31452/task/31509/stat : 31509 (java) S 31449 31452 29867 0 -1 1077944384 790 13082 0 0 77 18 5 2 20 0 15 0 473004567 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497441343760 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31510] ppid=31449 vsize=10846988 memory=1424 CPUtime=0.13 cores=0,2,4,6
/proc/31452/task/31510/stat : 31510 (java) S 31449 31452 29867 0 -1 1077944384 6087 13082 0 0 6 0 5 2 20 0 15 0 473004568 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497047124848 140497520466562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31511] ppid=31449 vsize=10846988 memory=1540 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31511/stat : 31511 (java) S 31449 31452 29867 0 -1 1077944384 21 13082 0 0 0 0 5 2 20 0 15 0 473004569 11107315712 700200 33554432000 4194304 4196468 140725338302160 140496970180256 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31512] ppid=31449 vsize=10846988 memory=772 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31512/stat : 31512 (java) S 31449 31452 29867 0 -1 1077944384 19 13082 0 0 0 0 5 2 20 0 15 0 473004569 11107315712 700200 33554432000 4194304 4196468 140725338302160 140496835962240 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31513] ppid=31449 vsize=10846988 memory=10596 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31513/stat : 31513 (java) S 31449 31452 29867 0 -1 1077944384 2 13082 0 0 0 0 5 2 20 0 15 0 473004572 11107315712 700200 33554432000 4194304 4196468 140725338302160 140496231983440 140497520474011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31514] ppid=31449 vsize=10846988 memory=1712 CPUtime=4.62 cores=0,2,4,6
/proc/31452/task/31514/stat : 31514 (java) S 31449 31452 29867 0 -1 1077944384 14362 13082 0 0 452 3 5 2 20 0 15 0 473004572 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497046071664 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31515] ppid=31449 vsize=10846988 memory=988 CPUtime=4.23 cores=0,2,4,6
/proc/31452/task/31515/stat : 31515 (java) S 31449 31452 29867 0 -1 1077944384 7326 13082 0 0 414 2 5 2 20 0 15 0 473004572 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497045018864 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31516] ppid=31449 vsize=10846988 memory=3644 CPUtime=1.77 cores=0,2,4,6
/proc/31452/task/31516/stat : 31516 (java) S 31449 31452 29867 0 -1 1077944384 10265 13082 0 0 168 2 5 2 20 0 15 0 473004572 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497043966064 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31517] ppid=31449 vsize=10846988 memory=2828 CPUtime=0.07 cores=0,2,4,6
/proc/31452/task/31517/stat : 31517 (java) S 31449 31452 29867 0 -1 1077944384 3 13082 0 0 0 0 5 2 20 0 15 0 473004572 11107315712 700200 33554432000 4194304 4196468 140725338302160 140495762221280 140497520465621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
[pid=31452/tid=31518] ppid=31449 vsize=10846988 memory=1048 CPUtime=0.08 cores=0,2,4,6
/proc/31452/task/31518/stat : 31518 (java) S 31449 31452 29867 0 -1 1077944384 49 13082 0 0 0 1 5 2 20 0 15 0 473004572 11107315712 700200 33554432000 4194304 4196468 140725338302160 140497042914480 140497520466562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140725338311267 140725338313909 140725338313909 140725338316751 0
Current children cumulated CPU time: 48.89 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2800800 KiB

Child status: 0
Real time (s): 35.6651
CPU time (s): 49.0236
CPU user time (s): 47.5973
CPU system time (s): 1.42636
CPU usage (%): 137.455
Max. virtual memory (cumulated for all children) (KiB): 10849812
Max. memory (cumulated for all children) (KiB): 2800800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.5973
system time used= 1.42636
maximum resident set size= 2803072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94936
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9011
involuntary context switches= 101


# summary of solver processes directly reported to runsolver:
#   pid: 31452
#   total CPU time (s): 49.0236
#   total CPU user time (s): 47.5973
#   total CPU system time (s): 1.42636

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.238219 second user time and 0.380525 second system time

The end
Name	MagicSequence/MagicSequence-card-s1/ MagicSequence-800-ca.xml
MD5SUM	bba643cbf375a501e11ba296082ede1c
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	2.78579
Satisfiable
(Un)Satisfiability was proved
Number of variables	800
Number of constraints	3
Number of domains	1
Minimum domain size	800
Maximum domain size	800
Distribution of domain sizes	[{"size":800,"count":800}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":800}]
Minimum constraint arity	800
Maximum constraint arity	800
Distribution of constraint arities	[{"arity":800,"count":3}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"cardinality","count":1}]
Optimization problem	NO
Type of objective
Trace number 4402532

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
