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 (14613 MiB free)
memory of node 1: 16384 MiB (15107 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394156-1568351992/watcher-4394156-1568351992 -o /tmp/evaluation-result-4394156-1568351992/solver-4394156-1568351992 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568351942-22941 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 8197305 HOME/instance-4394156-1568351992.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22971, runsolver pid=22964
[startup+0.100123 s]*
/proc/loadavg: 1.04 1.04 1.12 6/235 23002
/proc/meminfo: memFree=30400596/32770624 swapFree=67009020/67108860
[pid=22971] ppid=22964 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22971/stat : 22971 (xcsp3-exec) S 22964 22971 22910 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411121936 115843072 362 33554432000 4194304 5098028 140730355508288 140730355506392 139681502130812 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8245248 140730355512189 140730355512429 140730355512429 140730355515338 0
/proc/22971/statm: 28282 362 304 221 0 87 0
[pid=22974] ppid=22971 vsize=15144768 memory=30172 CPUtime=0.13 cores=0,2,4,6
/proc/22974/stat : 22974 (java) S 22971 22971 22910 0 -1 1077944320 5460 0 0 0 12 1 0 0 20 0 15 0 411121936 15508242432 7543 33554432000 4194304 4196468 140734534924208 140734534906752 140659334176503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
/proc/22974/statm: 3786192 7543 3139 1 0 3748377 0
[pid=22974/tid=22976] ppid=22971 vsize=15144768 memory=-2915664431881770398 CPUtime=0.09 cores=0,2,4,6
/proc/22974/task/22976/stat : 22976 (java) R 22971 22971 22910 0 -1 4202560 3361 0 0 0 9 0 0 0 20 0 15 0 411121936 15508242432 7609 33554432000 4194304 4196468 140734534924208 140659338406912 140659334188438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22981] ppid=22971 vsize=15144768 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22981/stat : 22981 (java) S 22971 22971 22910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411121937 15508242432 7609 33554432000 4194304 4196468 140734534924208 140659245832592 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22982] ppid=22971 vsize=15144768 memory=140640311314048 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22982/stat : 22982 (java) S 22971 22971 22910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411121937 15508242432 7609 33554432000 4194304 4196468 140734534924208 140659244779792 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22983] ppid=22971 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22983/stat : 22983 (java) S 22971 22971 22910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411121937 15508242432 7609 33554432000 4194304 4196468 140734534924208 140659243727504 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22984] ppid=22971 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22984/stat : 22984 (java) S 22971 22971 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411121937 15508242432 7609 33554432000 4194304 4196468 140734534924208 140659242674704 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22986] ppid=22971 vsize=15144768 memory=140640311314048 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22986/stat : 22986 (java) S 22971 22971 22910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411121939 15508242432 7609 33554432000 4194304 4196468 140734534924208 140658409044592 140659334187650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22989] ppid=22971 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22989/stat : 22989 (java) S 22971 22971 22910 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411121939 15508242432 7609 33554432000 4194304 4196468 140734534924208 140658407990560 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22990] ppid=22971 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22990/stat : 22990 (java) S 22971 22971 22910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411121939 15508242432 7609 33554432000 4194304 4196468 140734534924208 140658406938224 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22996] ppid=22971 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22996/stat : 22996 (java) S 22971 22971 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411121942 15508242432 7609 33554432000 4194304 4196468 140734534924208 140658405886544 140659334195099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22997] ppid=22971 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22997/stat : 22997 (java) R 22971 22971 22910 0 -1 4202560 464 0 0 0 0 0 0 0 20 0 15 0 411121942 15508242432 7609 33554432000 4194304 4196468 140734534924208 140658404824896 140659312009360 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22998] ppid=22971 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22998/stat : 22998 (java) R 22971 22971 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411121942 15508242432 7609 33554432000 4194304 4196468 140734534924208 140658403780592 140659334187650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22999] ppid=22971 vsize=15144768 memory=140640311314048 CPUtime=0.02 cores=0,2,4,6
/proc/22974/task/22999/stat : 22999 (java) R 22971 22971 22910 0 -1 4202560 345 0 0 0 2 0 0 0 20 0 15 0 411121942 15508242432 7609 33554432000 4194304 4196468 140734534924208 140658402728304 140659319856669 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23001] ppid=22971 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22974/task/23001/stat : 23001 (java) S 22971 22971 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411121942 15508242432 7609 33554432000 4194304 4196468 140734534924208 140658401675744 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23002] ppid=22971 vsize=15144768 memory=140640311314048 CPUtime=0 cores=0,2,4,6
/proc/22974/task/23002/stat : 23002 (java) S 22971 22971 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411121942 15508242432 7609 33554432000 4194304 4196468 140734534924208 140658400623536 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31620 KiB
[startup+0.214889 s]*
/proc/loadavg: 1.04 1.04 1.12 7/235 23002
/proc/meminfo: memFree=30369908/32770624 swapFree=67009020/67108860
[pid=22971] ppid=22964 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22971/stat : 22971 (xcsp3-exec) S 22964 22971 22910 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411121936 115843072 362 33554432000 4194304 5098028 140730355508288 140730355506392 139681502130812 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8245248 140730355512189 140730355512429 140730355512429 140730355515338 0
/proc/22971/statm: 28282 362 304 221 0 87 0
[pid=22974] ppid=22971 vsize=15144768 memory=40556 CPUtime=0.34 cores=0,2,4,6
/proc/22974/stat : 22974 (java) S 22971 22971 22910 0 -1 1077944320 8837 0 0 0 32 2 0 0 20 0 15 0 411121936 15508242432 10139 33554432000 4194304 4196468 140734534924208 140734534906752 140659334176503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
/proc/22974/statm: 3786192 10139 3297 1 0 3748377 0
[pid=22974/tid=22976] ppid=22971 vsize=15144768 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/22974/task/22976/stat : 22976 (java) D 22971 22971 22910 0 -1 4202560 6119 0 0 0 18 1 0 0 20 0 15 0 411121936 15508242432 10139 33554432000 4194304 4196468 140734534924208 140659338412080 140659334198429 0 4 0 16800975 18446744071580419588 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22981] ppid=22971 vsize=15144768 memory=544 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22981/stat : 22981 (java) S 22971 22971 22910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411121937 15508242432 10139 33554432000 4194304 4196468 140734534924208 140659245832592 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22982] ppid=22971 vsize=15144768 memory=140640311337162 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22982/stat : 22982 (java) S 22971 22971 22910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411121937 15508242432 10139 33554432000 4194304 4196468 140734534924208 140659244779792 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22983] ppid=22971 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22983/stat : 22983 (java) S 22971 22971 22910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411121937 15508242432 10139 33554432000 4194304 4196468 140734534924208 140659243727504 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22984] ppid=22971 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22984/stat : 22984 (java) S 22971 22971 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411121937 15508242432 10139 33554432000 4194304 4196468 140734534924208 140659242674704 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22986] ppid=22971 vsize=15144768 memory=140640311314048 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22986/stat : 22986 (java) S 22971 22971 22910 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411121939 15508242432 10139 33554432000 4194304 4196468 140734534924208 140658409044592 140659334187650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22989] ppid=22971 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22989/stat : 22989 (java) S 22971 22971 22910 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411121939 15508242432 10139 33554432000 4194304 4196468 140734534924208 140658407990560 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22990] ppid=22971 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22990/stat : 22990 (java) S 22971 22971 22910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411121939 15508242432 10139 33554432000 4194304 4196468 140734534924208 140658406938224 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22996] ppid=22971 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22996/stat : 22996 (java) S 22971 22971 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411121942 15508242432 10139 33554432000 4194304 4196468 140734534924208 140658405886544 140659334195099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22997] ppid=22971 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22974/task/22997/stat : 22997 (java) S 22971 22971 22910 0 -1 1077944384 515 0 0 0 2 0 0 0 20 0 15 0 411121942 15508242432 10139 33554432000 4194304 4196468 140734534924208 140658404833392 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22998] ppid=22971 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/22974/task/22998/stat : 22998 (java) S 22971 22971 22910 0 -1 1077944384 142 0 0 0 3 0 0 0 20 0 15 0 411121942 15508242432 10139 33554432000 4194304 4196468 140734534924208 140658403780592 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22999] ppid=22971 vsize=15144768 memory=140640311314048 CPUtime=0.08 cores=0,2,4,6
/proc/22974/task/22999/stat : 22999 (java) S 22971 22971 22910 0 -1 1077944384 753 0 0 0 8 0 0 0 20 0 15 0 411121942 15508242432 10139 33554432000 4194304 4196468 140734534924208 140658402728304 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23001] ppid=22971 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22974/task/23001/stat : 23001 (java) S 22971 22971 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411121942 15508242432 10139 33554432000 4194304 4196468 140734534924208 140658401675744 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23002] ppid=22971 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22974/task/23002/stat : 23002 (java) S 22971 22971 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411121942 15508242432 10139 33554432000 4194304 4196468 140734534924208 140658400623536 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42004 KiB
[startup+0.310944 s]*
/proc/loadavg: 1.04 1.04 1.12 5/235 23002
/proc/meminfo: memFree=30360848/32770624 swapFree=67009020/67108860
[pid=22971] ppid=22964 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22971/stat : 22971 (xcsp3-exec) S 22964 22971 22910 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411121936 115843072 362 33554432000 4194304 5098028 140730355508288 140730355506392 139681502130812 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8245248 140730355512189 140730355512429 140730355512429 140730355515338 0
/proc/22971/statm: 28282 362 304 221 0 87 0
[pid=22974] ppid=22971 vsize=15149024 memory=46156 CPUtime=0.47 cores=0,2,4,6
/proc/22974/stat : 22974 (java) S 22971 22971 22910 0 -1 1077944320 9916 0 0 0 44 3 0 0 20 0 15 0 411121936 15512600576 11539 33554432000 4194304 4196468 140734534924208 140734534906752 140659334176503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
/proc/22974/statm: 3787256 11539 3343 1 0 3748377 0
[pid=22974/tid=22976] ppid=22971 vsize=15149024 memory=1398722017469774279 CPUtime=0.27 cores=0,2,4,6
/proc/22974/task/22976/stat : 22976 (java) R 22971 22971 22910 0 -1 4202560 7019 0 0 0 25 2 0 0 20 0 15 0 411121936 15512600576 11539 33554432000 4194304 4196468 140734534924208 140659338398016 140659334198429 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22981] ppid=22971 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22981/stat : 22981 (java) S 22971 22971 22910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411121937 15512600576 11539 33554432000 4194304 4196468 140734534924208 140659245832592 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22982] ppid=22971 vsize=15149024 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22982/stat : 22982 (java) S 22971 22971 22910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411121937 15512600576 11539 33554432000 4194304 4196468 140734534924208 140659244779792 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22983] ppid=22971 vsize=15149024 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22983/stat : 22983 (java) S 22971 22971 22910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411121937 15512600576 11539 33554432000 4194304 4196468 140734534924208 140659243727504 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22984] ppid=22971 vsize=15149024 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22984/stat : 22984 (java) S 22971 22971 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411121937 15512600576 11539 33554432000 4194304 4196468 140734534924208 140659242674704 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22986] ppid=22971 vsize=15149024 memory=7161331908245094050 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22986/stat : 22986 (java) S 22971 22971 22910 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411121939 15512600576 11539 33554432000 4194304 4196468 140734534924208 140658409044592 140659334187650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22989] ppid=22971 vsize=15149024 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22989/stat : 22989 (java) S 22971 22971 22910 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411121939 15512600576 11539 33554432000 4194304 4196468 140734534924208 140658407990560 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22990] ppid=22971 vsize=15149024 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22990/stat : 22990 (java) S 22971 22971 22910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411121939 15512600576 11539 33554432000 4194304 4196468 140734534924208 140658406938224 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22996] ppid=22971 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22996/stat : 22996 (java) S 22971 22971 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411121942 15512600576 11539 33554432000 4194304 4196468 140734534924208 140658405886544 140659334195099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22997] ppid=22971 vsize=15149024 memory=7031125463459224206 CPUtime=0.03 cores=0,2,4,6
/proc/22974/task/22997/stat : 22997 (java) S 22971 22971 22910 0 -1 1077944384 543 0 0 0 3 0 0 0 20 0 15 0 411121942 15512600576 11539 33554432000 4194304 4196468 140734534924208 140658404833392 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22998] ppid=22971 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22974/task/22998/stat : 22998 (java) S 22971 22971 22910 0 -1 1077944384 163 0 0 0 4 0 0 0 20 0 15 0 411121942 15512600576 11539 33554432000 4194304 4196468 140734534924208 140658403780592 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22999] ppid=22971 vsize=15149024 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/22974/task/22999/stat : 22999 (java) R 22971 22971 22910 0 -1 4202560 885 0 0 0 11 0 0 0 20 0 15 0 411121942 15512600576 11539 33554432000 4194304 4196468 140734534924208 140658402728304 140659319857205 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23001] ppid=22971 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22974/task/23001/stat : 23001 (java) S 22971 22971 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411121942 15512600576 11539 33554432000 4194304 4196468 140734534924208 140658401675744 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23002] ppid=22971 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22974/task/23002/stat : 23002 (java) S 22971 22971 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411121942 15512600576 11539 33554432000 4194304 4196468 140734534924208 140658400623536 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 47604 KiB
[startup+0.701023 s]
/proc/loadavg: 1.04 1.04 1.12 10/235 23002
/proc/meminfo: memFree=30325796/32770624 swapFree=67009020/67108860
[pid=22971] ppid=22964 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22971/stat : 22971 (xcsp3-exec) S 22964 22971 22910 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411121936 115843072 362 33554432000 4194304 5098028 140730355508288 140730355506392 139681502130812 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8245248 140730355512189 140730355512429 140730355512429 140730355515338 0
/proc/22971/statm: 28282 362 304 221 0 87 0
[pid=22974] ppid=22971 vsize=15417404 memory=86840 CPUtime=1.5 cores=0,2,4,6
/proc/22974/stat : 22974 (java) S 22971 22971 22910 0 -1 1077944320 14521 0 0 0 145 5 0 0 20 0 19 0 411121936 15787421696 21710 33554432000 4194304 4196468 140734534924208 140734534906752 140659334176503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
/proc/22974/statm: 3854351 21710 3454 1 0 3815453 0
[pid=22974/tid=22976] ppid=22971 vsize=15417404 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/22974/task/22976/stat : 22976 (java) S 22971 22971 22910 0 -1 1077944384 8747 0 0 0 55 3 0 0 20 0 19 0 411121936 15787421696 21710 33554432000 4194304 4196468 140734534924208 140659338417280 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22981] ppid=22971 vsize=15417404 memory=33 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22981/stat : 22981 (java) S 22971 22971 22910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 411121937 15787421696 21710 33554432000 4194304 4196468 140734534924208 140659245832592 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22982] ppid=22971 vsize=15417404 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22982/stat : 22982 (java) S 22971 22971 22910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 411121937 15787421696 21710 33554432000 4194304 4196468 140734534924208 140659244779792 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22983] ppid=22971 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22983/stat : 22983 (java) S 22971 22971 22910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 411121937 15787421696 21710 33554432000 4194304 4196468 140734534924208 140659243727504 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22984] ppid=22971 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22984/stat : 22984 (java) S 22971 22971 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411121937 15787421696 21710 33554432000 4194304 4196468 140734534924208 140659242674704 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22986] ppid=22971 vsize=15417404 memory=16460 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22986/stat : 22986 (java) S 22971 22971 22910 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 411121939 15787421696 21710 33554432000 4194304 4196468 140734534924208 140658409044592 140659334187650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22989] ppid=22971 vsize=15417404 memory=984 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22989/stat : 22989 (java) S 22971 22971 22910 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 411121939 15787421696 21710 33554432000 4194304 4196468 140734534924208 140658407990560 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22990] ppid=22971 vsize=15417404 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22990/stat : 22990 (java) S 22971 22971 22910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 411121939 15787421696 21710 33554432000 4194304 4196468 140734534924208 140658406938224 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22996] ppid=22971 vsize=15417404 memory=1336 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22996/stat : 22996 (java) S 22971 22971 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411121942 15787421696 21710 33554432000 4194304 4196468 140734534924208 140658405886544 140659334195099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22997] ppid=22971 vsize=15417404 memory=744 CPUtime=0.21 cores=0,2,4,6
/proc/22974/task/22997/stat : 22997 (java) R 22971 22971 22910 0 -1 4202560 1346 0 0 0 21 0 0 0 20 0 19 0 411121942 15787421696 21710 33554432000 4194304 4196468 140734534924208 140658404833688 140659317563360 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22998] ppid=22971 vsize=15417404 memory=1052 CPUtime=0.23 cores=0,2,4,6
/proc/22974/task/22998/stat : 22998 (java) R 22971 22971 22910 0 -1 4202560 1004 0 0 0 23 0 0 0 20 0 19 0 411121942 15787421696 21710 33554432000 4194304 4196468 140734534924208 140658403761608 140659313831737 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22999] ppid=22971 vsize=15417404 memory=776 CPUtime=0.36 cores=0,2,4,6
/proc/22974/task/22999/stat : 22999 (java) R 22971 22971 22910 0 -1 4202560 1954 0 0 0 36 0 0 0 20 0 19 0 411121942 15787421696 21710 33554432000 4194304 4196468 140734534924208 140658402728304 140659334197850 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23001] ppid=22971 vsize=15417404 memory=3940 CPUtime=0 cores=0,2,4,6
/proc/22974/task/23001/stat : 23001 (java) S 22971 22971 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411121942 15787421696 21710 33554432000 4194304 4196468 140734534924208 140658401675744 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23002] ppid=22971 vsize=15417404 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/22974/task/23002/stat : 23002 (java) S 22971 22971 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411121942 15787421696 21710 33554432000 4194304 4196468 140734534924208 140658400623536 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 88288 KiB
[startup+1.50303 s]
/proc/loadavg: 1.04 1.04 1.12 15/243 23086
/proc/meminfo: memFree=30115852/32770624 swapFree=67009020/67108860
[pid=22971] ppid=22964 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22971/stat : 22971 (xcsp3-exec) S 22964 22971 22910 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411121936 115843072 362 33554432000 4194304 5098028 140730355508288 140730355506392 139681502130812 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8245248 140730355512189 140730355512429 140730355512429 140730355515338 0
/proc/22971/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/22974/task/23002/stat : 23002 (java) S 22971 22971 22910 0 -1 1077944384 451 0 0 0 0 0 0 0 20 0 19 0 411121942 15790571520 52242 33554432000 4194304 4196468 140734534924208 140658400623536 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23091] ppid=22971 vsize=15420480 memory=58 CPUtime=4.09 cores=0,2,4,6
/proc/22974/task/23091/stat : 23091 (java) R 22971 22971 22910 0 -1 4202560 73 0 0 0 409 0 0 0 20 0 19 0 411122127 15790571520 52242 33554432000 4194304 4196468 140734534924208 140658390596888 140658926451286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23092] ppid=22971 vsize=15420480 memory=0 CPUtime=3.9 cores=0,2,4,6
/proc/22974/task/23092/stat : 23092 (java) R 22971 22971 22910 0 -1 4202560 452 0 0 0 389 1 0 0 20 0 19 0 411122127 15790571520 52242 33554432000 4194304 4196468 140734534924208 140658387440032 140658925270229 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23093] ppid=22971 vsize=15420480 memory=0 CPUtime=3.91 cores=0,2,4,6
/proc/22974/task/23093/stat : 23093 (java) R 22971 22971 22910 0 -1 4202560 295 0 0 0 391 0 0 0 20 0 19 0 411122127 15790571520 52242 33554432000 4194304 4196468 140734534924208 140658388493128 140658925117845 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23094] ppid=22971 vsize=15420480 memory=1 CPUtime=4.02 cores=0,2,4,6
/proc/22974/task/23094/stat : 23094 (java) R 22971 22971 22910 0 -1 4202560 151 0 0 0 402 0 0 0 20 0 19 0 411122127 15790571520 52242 33554432000 4194304 4196468 140734534924208 140658391649768 140658925427374 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
Current children cumulated CPU time: 24.04 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 210416 KiB
[startup+7.20105 s]
/proc/loadavg: 1.28 1.09 1.13 6/219 23271
/proc/meminfo: memFree=30261880/32770624 swapFree=67009020/67108860
[pid=22971] ppid=22964 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22971/stat : 22971 (xcsp3-exec) S 22964 22971 22910 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411121936 115843072 362 33554432000 4194304 5098028 140730355508288 140730355506392 139681502130812 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8245248 140730355512189 140730355512429 140730355512429 140730355515338 0
/proc/22971/statm: 28282 362 304 221 0 87 0
[pid=22974] ppid=22971 vsize=15420480 memory=208976 CPUtime=27.22 cores=0,2,4,6
/proc/22974/stat : 22974 (java) S 22971 22971 22910 0 -1 1077944320 24580 0 0 0 2710 12 0 0 20 0 19 0 411121936 15790571520 52244 33554432000 4194304 4196468 140734534924208 140734534906752 140659334176503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
/proc/22974/statm: 3855120 52244 3516 1 0 3816222 0
[pid=22974/tid=22976] ppid=22971 vsize=15420480 memory=140640180567744 CPUtime=0.58 cores=0,2,4,6
/proc/22974/task/22976/stat : 22976 (java) S 22971 22971 22910 0 -1 1077944384 8752 0 0 0 55 3 0 0 20 0 19 0 411121936 15790571520 52244 33554432000 4194304 4196468 140734534924208 140659338417280 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22981] ppid=22971 vsize=15420480 memory=7234460337065205535 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22981/stat : 22981 (java) S 22971 22971 22910 0 -1 1077944384 833 0 0 0 0 0 0 0 20 0 19 0 411121937 15790571520 52244 33554432000 4194304 4196468 140734534924208 140659245832592 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22982] ppid=22971 vsize=15420480 memory=3484 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22982/stat : 22982 (java) S 22971 22971 22910 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 19 0 411121937 15790571520 52244 33554432000 4194304 4196468 140734534924208 140659244779792 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22983] ppid=22971 vsize=15420480 memory=16460 CPUtime=0.01 cores=0,2,4,6
/proc/22974/task/22983/stat : 22983 (java) S 22971 22971 22910 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 19 0 411121937 15790571520 52244 33554432000 4194304 4196468 140734534924208 140659243727504 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22984] ppid=22971 vsize=15420480 memory=6558415062229 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22984/stat : 22984 (java) S 22971 22971 22910 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 19 0 411121937 15790571520 52244 33554432000 4194304 4196468 140734534924208 140659242674704 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22986] ppid=22971 vsize=15420480 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22986/stat : 22986 (java) S 22971 22971 22910 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 19 0 411121939 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658409044592 140659334187650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22989] ppid=22971 vsize=15420480 memory=15262532197681725 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22989/stat : 22989 (java) S 22971 22971 22910 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 411121939 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658407990624 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22990] ppid=22971 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22990/stat : 22990 (java) S 22971 22971 22910 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 411121939 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658406938240 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22996] ppid=22971 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22996/stat : 22996 (java) S 22971 22971 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411121942 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658405886544 140659334195099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22997] ppid=22971 vsize=15420480 memory=0 CPUtime=2.03 cores=0,2,4,6
/proc/22974/task/22997/stat : 22997 (java) S 22971 22971 22910 0 -1 1077944384 3118 0 0 0 202 1 0 0 20 0 19 0 411121942 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658404833392 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22998] ppid=22971 vsize=15420480 memory=0 CPUtime=1.86 cores=0,2,4,6
/proc/22974/task/22998/stat : 22998 (java) S 22971 22971 22910 0 -1 1077944384 3773 0 0 0 186 0 0 0 20 0 19 0 411121942 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658403780592 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22999] ppid=22971 vsize=15420480 memory=3484 CPUtime=0.66 cores=0,2,4,6
/proc/22974/task/22999/stat : 22999 (java) S 22971 22971 22910 0 -1 1077944384 3699 0 0 0 66 0 0 0 20 0 19 0 411121942 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658402728304 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23001] ppid=22971 vsize=15420480 memory=16460 CPUtime=0 cores=0,2,4,6
/proc/22974/task/23001/stat : 23001 (java) S 22971 22971 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411121942 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658401675744 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23002] ppid=22971 vsize=15420480 memory=984 CPUtime=0 cores=0,2,4,6
/proc/22974/task/23002/stat : 23002 (java) S 22971 22971 22910 0 -1 1077944384 451 0 0 0 0 0 0 0 20 0 19 0 411121942 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658400623536 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23091] ppid=22971 vsize=15420480 memory=1948 CPUtime=4.89 cores=0,2,4,6
/proc/22974/task/23091/stat : 23091 (java) R 22971 22971 22910 0 -1 4202560 76 0 0 0 489 0 0 0 20 0 19 0 411122127 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658390596808 140658926885903 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23092] ppid=22971 vsize=15420480 memory=1336 CPUtime=4.7 cores=0,2,4,6
/proc/22974/task/23092/stat : 23092 (java) R 22971 22971 22910 0 -1 4202560 453 0 0 0 469 1 0 0 20 0 19 0 411122127 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658387440264 140658925427239 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23093] ppid=22971 vsize=15420480 memory=744 CPUtime=4.66 cores=0,2,4,6
/proc/22974/task/23093/stat : 23093 (java) R 22971 22971 22910 0 -1 4202560 298 0 0 0 466 0 0 0 20 0 19 0 411122127 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658388492824 140658925863808 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23094] ppid=22971 vsize=15420480 memory=1052 CPUtime=4.82 cores=0,2,4,6
/proc/22974/task/23094/stat : 23094 (java) R 22971 22971 22910 0 -1 4202560 155 0 0 0 482 0 0 0 20 0 19 0 411122127 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658391649760 140658924885067 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
Current children cumulated CPU time: 27.22 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 210424 KiB
[startup+7.40107 s]
/proc/loadavg: 1.28 1.09 1.13 6/219 23271
/proc/meminfo: memFree=30261880/32770624 swapFree=67009020/67108860
[pid=22971] ppid=22964 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22971/stat : 22971 (xcsp3-exec) S 22964 22971 22910 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411121936 115843072 362 33554432000 4194304 5098028 140730355508288 140730355506392 139681502130812 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8245248 140730355512189 140730355512429 140730355512429 140730355515338 0
/proc/22971/statm: 28282 362 304 221 0 87 0
[pid=22974] ppid=22971 vsize=15420480 memory=208976 CPUtime=28.01 cores=0,2,4,6
/proc/22974/stat : 22974 (java) S 22971 22971 22910 0 -1 1077944320 24581 0 0 0 2789 12 0 0 20 0 19 0 411121936 15790571520 52244 33554432000 4194304 4196468 140734534924208 140734534906752 140659334176503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
/proc/22974/statm: 3855120 52244 3516 1 0 3816222 0
[pid=22974/tid=22976] ppid=22971 vsize=15420480 memory=2832 CPUtime=0.58 cores=0,2,4,6
/proc/22974/task/22976/stat : 22976 (java) S 22971 22971 22910 0 -1 1077944384 8752 0 0 0 55 3 0 0 20 0 19 0 411121936 15790571520 52244 33554432000 4194304 4196468 140734534924208 140659338417280 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22981] ppid=22971 vsize=15420480 memory=8564 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22981/stat : 22981 (java) S 22971 22971 22910 0 -1 1077944384 833 0 0 0 0 0 0 0 20 0 19 0 411121937 15790571520 52244 33554432000 4194304 4196468 140734534924208 140659245832592 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22982] ppid=22971 vsize=15420480 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22982/stat : 22982 (java) S 22971 22971 22910 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 19 0 411121937 15790571520 52244 33554432000 4194304 4196468 140734534924208 140659244779792 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22983] ppid=22971 vsize=15420480 memory=6558415062229 CPUtime=0.01 cores=0,2,4,6
/proc/22974/task/22983/stat : 22983 (java) S 22971 22971 22910 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 19 0 411121937 15790571520 52244 33554432000 4194304 4196468 140734534924208 140659243727504 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22984] ppid=22971 vsize=15420480 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22984/stat : 22984 (java) S 22971 22971 22910 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 19 0 411121937 15790571520 52244 33554432000 4194304 4196468 140734534924208 140659242674704 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22986] ppid=22971 vsize=15420480 memory=15262532197681725 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22986/stat : 22986 (java) S 22971 22971 22910 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 19 0 411121939 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658409044592 140659334187650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22989] ppid=22971 vsize=15420480 memory=1336 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22989/stat : 22989 (java) S 22971 22971 22910 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 411121939 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658407990624 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22990] ppid=22971 vsize=15420480 memory=744 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22990/stat : 22990 (java) S 22971 22971 22910 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 411121939 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658406938240 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22996] ppid=22971 vsize=15420480 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22996/stat : 22996 (java) S 22971 22971 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411121942 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658405886544 140659334195099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22997] ppid=22971 vsize=15420480 memory=776 CPUtime=2.03 cores=0,2,4,6
/proc/22974/task/22997/stat : 22997 (java) S 22971 22971 22910 0 -1 1077944384 3118 0 0 0 202 1 0 0 20 0 19 0 411121942 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658404833392 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22998] ppid=22971 vsize=15420480 memory=3940 CPUtime=1.86 cores=0,2,4,6
/proc/22974/task/22998/stat : 22998 (java) S 22971 22971 22910 0 -1 1077944384 3773 0 0 0 186 0 0 0 20 0 19 0 411121942 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658403780592 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22999] ppid=22971 vsize=15420480 memory=2832 CPUtime=0.66 cores=0,2,4,6
/proc/22974/task/22999/stat : 22999 (java) S 22971 22971 22910 0 -1 1077944384 3699 0 0 0 66 0 0 0 20 0 19 0 411121942 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658402728304 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23001] ppid=22971 vsize=15420480 memory=8564 CPUtime=0 cores=0,2,4,6
/proc/22974/task/23001/stat : 23001 (java) S 22971 22971 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411121942 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658401675744 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23002] ppid=22971 vsize=15420480 memory=281280361181472 CPUtime=0 cores=0,2,4,6
/proc/22974/task/23002/stat : 23002 (java) S 22971 22971 22910 0 -1 1077944384 451 0 0 0 0 0 0 0 20 0 19 0 411121942 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658400623536 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23091] ppid=22971 vsize=15420480 memory=281280361005296 CPUtime=5.09 cores=0,2,4,6
/proc/22974/task/23091/stat : 23091 (java) R 22971 22971 22910 0 -1 4202560 76 0 0 0 509 0 0 0 20 0 19 0 411122127 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658390596808 140658925764177 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23092] ppid=22971 vsize=15420480 memory=281280361639940 CPUtime=4.9 cores=0,2,4,6
/proc/22974/task/23092/stat : 23092 (java) R 22971 22971 22910 0 -1 4202560 453 0 0 0 489 1 0 0 20 0 19 0 411122127 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658387440264 140658925660726 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23093] ppid=22971 vsize=15420480 memory=-1088251628401078322 CPUtime=4.86 cores=0,2,4,6
/proc/22974/task/23093/stat : 23093 (java) R 22971 22971 22910 0 -1 4202560 298 0 0 0 486 0 0 0 20 0 19 0 411122127 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658388492824 140658928447183 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23094] ppid=22971 vsize=15420480 memory=288230574492221466 CPUtime=5.02 cores=0,2,4,6
/proc/22974/task/23094/stat : 23094 (java) R 22971 22971 22910 0 -1 4202560 156 0 0 0 502 0 0 0 20 0 19 0 411122127 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658391649896 140658925118152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
Current children cumulated CPU time: 28.01 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 210424 KiB
[startup+7.50106 s]
/proc/loadavg: 1.28 1.09 1.13 6/219 23271
/proc/meminfo: memFree=30261880/32770624 swapFree=67009020/67108860
[pid=22971] ppid=22964 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22971/stat : 22971 (xcsp3-exec) S 22964 22971 22910 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411121936 115843072 362 33554432000 4194304 5098028 140730355508288 140730355506392 139681502130812 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8245248 140730355512189 140730355512429 140730355512429 140730355515338 0
/proc/22971/statm: 28282 362 304 221 0 87 0
[pid=22974] ppid=22971 vsize=15420480 memory=208976 CPUtime=28.41 cores=0,2,4,6
/proc/22974/stat : 22974 (java) S 22971 22971 22910 0 -1 1077944320 24581 0 0 0 2829 12 0 0 20 0 19 0 411121936 15790571520 52244 33554432000 4194304 4196468 140734534924208 140734534906752 140659334176503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
/proc/22974/statm: 3855120 52244 3516 1 0 3816222 0
[pid=22974/tid=22976] ppid=22971 vsize=15420480 memory=184376 CPUtime=0.58 cores=0,2,4,6
/proc/22974/task/22976/stat : 22976 (java) S 22971 22971 22910 0 -1 1077944384 8752 0 0 0 55 3 0 0 20 0 19 0 411121936 15790571520 52244 33554432000 4194304 4196468 140734534924208 140659338417280 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22981] ppid=22971 vsize=15420480 memory=1600 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22981/stat : 22981 (java) S 22971 22971 22910 0 -1 1077944384 833 0 0 0 0 0 0 0 20 0 19 0 411121937 15790571520 52244 33554432000 4194304 4196468 140734534924208 140659245832592 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22982] ppid=22971 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22982/stat : 22982 (java) S 22971 22971 22910 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 19 0 411121937 15790571520 52244 33554432000 4194304 4196468 140734534924208 140659244779792 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22983] ppid=22971 vsize=15420480 memory=281280361847296 CPUtime=0.01 cores=0,2,4,6
/proc/22974/task/22983/stat : 22983 (java) S 22971 22971 22910 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 19 0 411121937 15790571520 52244 33554432000 4194304 4196468 140734534924208 140659243727504 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22984] ppid=22971 vsize=15420480 memory=8564 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22984/stat : 22984 (java) S 22971 22971 22910 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 19 0 411121937 15790571520 52244 33554432000 4194304 4196468 140734534924208 140659242674704 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22986] ppid=22971 vsize=15420480 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22986/stat : 22986 (java) S 22971 22971 22910 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 19 0 411121939 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658409044592 140659334187650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22989] ppid=22971 vsize=15420480 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22989/stat : 22989 (java) S 22971 22971 22910 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 411121939 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658407990624 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22990] ppid=22971 vsize=15420480 memory=208976 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22990/stat : 22990 (java) S 22971 22971 22910 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 411121939 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658406938240 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22996] ppid=22971 vsize=15420480 memory=3905098174720091320 CPUtime=0 cores=0,2,4,6
/proc/22974/task/22996/stat : 22996 (java) S 22971 22971 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411121942 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658405886544 140659334195099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22997] ppid=22971 vsize=15420480 memory=3540027260144951552 CPUtime=2.03 cores=0,2,4,6
/proc/22974/task/22997/stat : 22997 (java) S 22971 22971 22910 0 -1 1077944384 3118 0 0 0 202 1 0 0 20 0 19 0 411121942 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658404833392 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22998] ppid=22971 vsize=15420480 memory=0 CPUtime=1.86 cores=0,2,4,6
/proc/22974/task/22998/stat : 22998 (java) S 22971 22971 22910 0 -1 1077944384 3773 0 0 0 186 0 0 0 20 0 19 0 411121942 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658403780592 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=22999] ppid=22971 vsize=15420480 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/22974/task/22999/stat : 22999 (java) S 22971 22971 22910 0 -1 1077944384 3699 0 0 0 66 0 0 0 20 0 19 0 411121942 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658402728304 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23001] ppid=22971 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22974/task/23001/stat : 23001 (java) S 22971 22971 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411121942 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658401675744 140659334186709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23002] ppid=22971 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22974/task/23002/stat : 23002 (java) S 22971 22971 22910 0 -1 1077944384 451 0 0 0 0 0 0 0 20 0 19 0 411121942 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658400623536 140659334187650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23091] ppid=22971 vsize=15420480 memory=0 CPUtime=5.19 cores=0,2,4,6
/proc/22974/task/23091/stat : 23091 (java) R 22971 22971 22910 0 -1 4202560 76 0 0 0 519 0 0 0 20 0 19 0 411122127 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658390596808 140658924884464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23092] ppid=22971 vsize=15420480 memory=0 CPUtime=5 cores=0,2,4,6
/proc/22974/task/23092/stat : 23092 (java) R 22971 22971 22910 0 -1 4202560 453 0 0 0 499 1 0 0 20 0 19 0 411122127 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658387440264 140658925427733 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23093] ppid=22971 vsize=15420480 memory=0 CPUtime=4.95 cores=0,2,4,6
/proc/22974/task/23093/stat : 23093 (java) R 22971 22971 22910 0 -1 4202560 298 0 0 0 495 0 0 0 20 0 19 0 411122127 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658388492824 140658924884668 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
[pid=22974/tid=23094] ppid=22971 vsize=15420480 memory=0 CPUtime=5.12 cores=0,2,4,6
/proc/22974/task/23094/stat : 23094 (java) R 22971 22971 22910 0 -1 4202560 156 0 0 0 512 0 0 0 20 0 19 0 411122127 15790571520 52244 33554432000 4194304 4196468 140734534924208 140658391649896 140658924885067 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140734534931439 140734534931610 140734534931610 140734534934479 0
Current children cumulated CPU time: 28.41 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 210424 KiB
Child status: 0
Real time (s): 7.55979
CPU time (s): 28.5824
CPU user time (s): 28.4543
CPU system time (s): 0.128029
CPU usage (%): 378.084
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 210424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.4544
system time used= 0.128029
maximum resident set size= 209160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25457
page faults= 0
swaps= 0
block input operations= 32
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2518
involuntary context switches= 1066
# summary of solver processes directly reported to runsolver:
# pid: 22971
# total CPU time (s): 28.5824
# total CPU user time (s): 28.4543
# total CPU system time (s): 0.128029
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077211 second user time and 0.11919 second system time
The end