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 (13541 MiB free)
memory of node 1: 16384 MiB (14103 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400528-1568694568/watcher-4400528-1568694568 -o /tmp/evaluation-result-4400528-1568694568/solver-4400528-1568694568 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568694194-22971 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1425840250 HOME/instance-4400528-1568694568.xml
running on 4 cores: 1,3,5,7
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=25414, runsolver pid=25411
[startup+0.101347 s]*
/proc/loadavg: 8.79 6.32 3.65 7/233 25430
/proc/meminfo: memFree=28289344/32770624 swapFree=66959728/67108860
[pid=25414] ppid=25411 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25414/stat : 25414 (xcsp3-exec) S 25411 25414 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445396918 115843072 362 33554432000 4194304 5098028 140721493678848 140721493676952 140364594135676 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29810688 140721493681018 140721493681261 140721493681261 140721493684170 0
/proc/25414/statm: 28282 362 304 221 0 87 0
[pid=25416] ppid=25414 vsize=15144776 memory=31136 CPUtime=0.14 cores=1,3,5,7
/proc/25416/stat : 25416 (java) S 25414 25414 22939 0 -1 1077944320 5723 0 0 0 12 2 0 0 20 0 15 0 445396918 15508250624 7784 33554432000 4194304 4196468 140726925579264 140726925561808 140250080104183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
/proc/25416/statm: 3786194 7784 3159 1 0 3748377 0
[pid=25416/tid=25417] ppid=25414 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/25416/task/25417/stat : 25417 (java) R 25414 25414 22939 0 -1 4202560 3603 0 0 0 8 1 0 0 20 0 15 0 445396919 15508250624 7784 33554432000 4194304 4196468 140726925579264 140250084340528 140250080116118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25418] ppid=25414 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25418/stat : 25418 (java) S 25414 25414 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445396919 15508250624 7784 33554432000 4194304 4196468 140726925579264 140250016341136 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25419] ppid=25414 vsize=15144776 memory=139814892304000 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25419/stat : 25419 (java) S 25414 25414 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445396919 15508250624 7784 33554432000 4194304 4196468 140726925579264 140250015288336 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25420] ppid=25414 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25420/stat : 25420 (java) S 25414 25414 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445396919 15508250624 7784 33554432000 4194304 4196468 140726925579264 140250014235536 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25421] ppid=25414 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25421/stat : 25421 (java) S 25414 25414 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445396919 15508250624 7784 33554432000 4194304 4196468 140726925579264 140250013182736 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25422] ppid=25414 vsize=15144776 memory=139814892304000 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25422/stat : 25422 (java) S 25414 25414 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445396921 15508250624 7784 33554432000 4194304 4196468 140726925579264 140249615898992 140250080115330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25423] ppid=25414 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25423/stat : 25423 (java) S 25414 25414 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445396921 15508250624 7784 33554432000 4194304 4196468 140726925579264 140249614844960 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25424] ppid=25414 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25424/stat : 25424 (java) S 25414 25414 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445396921 15508250624 7784 33554432000 4194304 4196468 140726925579264 140249613792112 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25425] ppid=25414 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25425/stat : 25425 (java) S 25414 25414 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445396924 15508250624 7784 33554432000 4194304 4196468 140726925579264 140249612740432 140250080122779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25426] ppid=25414 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25426/stat : 25426 (java) R 25414 25414 22939 0 -1 4202560 410 0 0 0 0 0 0 0 20 0 15 0 445396924 15508250624 7784 33554432000 4194304 4196468 140726925579264 140249611688912 140250080116118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25427] ppid=25414 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25427/stat : 25427 (java) R 25414 25414 22939 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 445396924 15508250624 7784 33554432000 4194304 4196468 140726925579264 140249610636016 140250080115330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25428] ppid=25414 vsize=15144776 memory=139814892304000 CPUtime=0.02 cores=1,3,5,7
/proc/25416/task/25428/stat : 25428 (java) S 25414 25414 22939 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 15 0 445396924 15508250624 7784 33554432000 4194304 4196468 140726925579264 140249609583216 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25429] ppid=25414 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25429/stat : 25429 (java) S 25414 25414 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445396924 15508250624 7784 33554432000 4194304 4196468 140726925579264 140249608530656 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25430] ppid=25414 vsize=15144776 memory=139814892304000 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25430/stat : 25430 (java) S 25414 25414 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445396924 15508250624 7784 33554432000 4194304 4196468 140726925579264 140249012366000 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 32584 KiB
[startup+0.213921 s]*
/proc/loadavg: 8.79 6.32 3.65 7/233 25430
/proc/meminfo: memFree=28276716/32770624 swapFree=66959728/67108860
[pid=25414] ppid=25411 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25414/stat : 25414 (xcsp3-exec) S 25411 25414 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445396918 115843072 362 33554432000 4194304 5098028 140721493678848 140721493676952 140364594135676 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29810688 140721493681018 140721493681261 140721493681261 140721493684170 0
/proc/25414/statm: 28282 362 304 221 0 87 0
[pid=25416] ppid=25414 vsize=15145800 memory=43336 CPUtime=0.35 cores=1,3,5,7
/proc/25416/stat : 25416 (java) S 25414 25414 22939 0 -1 1077944320 9503 0 0 0 32 3 0 0 20 0 15 0 445396918 15509299200 10834 33554432000 4194304 4196468 140726925579264 140726925561808 140250080104183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
/proc/25416/statm: 3786450 10834 3313 1 0 3748633 0
[pid=25416/tid=25417] ppid=25414 vsize=15146892 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/25416/task/25417/stat : 25417 (java) R 25414 25414 22939 0 -1 4202560 6713 0 0 0 18 2 0 0 20 0 15 0 445396919 15510417408 10862 33554432000 4194304 4196468 140726925579264 140250084325176 140250082379463 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25418] ppid=25414 vsize=15149032 memory=1965946 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25418/stat : 25418 (java) S 25414 25414 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445396919 15512608768 10865 33554432000 4194304 4196468 140726925579264 140250016341136 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25419] ppid=25414 vsize=15149032 memory=139814895656819 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25419/stat : 25419 (java) S 25414 25414 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445396919 15512608768 10865 33554432000 4194304 4196468 140726925579264 140250015288336 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25420] ppid=25414 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25420/stat : 25420 (java) S 25414 25414 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445396919 15512608768 10865 33554432000 4194304 4196468 140726925579264 140250014235536 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25421] ppid=25414 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25421/stat : 25421 (java) S 25414 25414 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445396919 15512608768 10865 33554432000 4194304 4196468 140726925579264 140250013182736 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25422] ppid=25414 vsize=15149032 memory=139814892304000 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25422/stat : 25422 (java) S 25414 25414 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445396921 15512608768 10865 33554432000 4194304 4196468 140726925579264 140249615898992 140250080115330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25423] ppid=25414 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25423/stat : 25423 (java) S 25414 25414 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445396921 15512608768 10865 33554432000 4194304 4196468 140726925579264 140249614844960 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25424] ppid=25414 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25424/stat : 25424 (java) S 25414 25414 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445396921 15512608768 10865 33554432000 4194304 4196468 140726925579264 140249613792112 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25425] ppid=25414 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25425/stat : 25425 (java) S 25414 25414 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445396924 15512608768 10865 33554432000 4194304 4196468 140726925579264 140249612740432 140250080122779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25426] ppid=25414 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25416/task/25426/stat : 25426 (java) S 25414 25414 22939 0 -1 1077944384 660 0 0 0 3 0 0 0 20 0 15 0 445396924 15512608768 10865 33554432000 4194304 4196468 140726925579264 140249611688816 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25427] ppid=25414 vsize=15149032 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25416/task/25427/stat : 25427 (java) S 25414 25414 22939 0 -1 1077944384 98 0 0 0 2 0 0 0 20 0 15 0 445396924 15512608768 10865 33554432000 4194304 4196468 140726925579264 140249610636016 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25428] ppid=25414 vsize=15149032 memory=139814892304000 CPUtime=0.08 cores=1,3,5,7
/proc/25416/task/25428/stat : 25428 (java) S 25414 25414 22939 0 -1 1077944384 749 0 0 0 8 0 0 0 20 0 15 0 445396924 15512608768 10865 33554432000 4194304 4196468 140726925579264 140249609583216 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25429] ppid=25414 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25429/stat : 25429 (java) S 25414 25414 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445396924 15512608768 10865 33554432000 4194304 4196468 140726925579264 140249608530656 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25430] ppid=25414 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25430/stat : 25430 (java) S 25414 25414 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445396924 15512608768 10865 33554432000 4194304 4196468 140726925579264 140249012366000 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15258928 KiB
Current children cumulated memory: 44784 KiB
[startup+0.310607 s]*
/proc/loadavg: 8.79 6.32 3.65 7/233 25430
/proc/meminfo: memFree=28268948/32770624 swapFree=66959728/67108860
[pid=25414] ppid=25411 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25414/stat : 25414 (xcsp3-exec) S 25411 25414 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445396918 115843072 362 33554432000 4194304 5098028 140721493678848 140721493676952 140364594135676 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29810688 140721493681018 140721493681261 140721493681261 140721493684170 0
/proc/25414/statm: 28282 362 304 221 0 87 0
[pid=25416] ppid=25414 vsize=15149032 memory=52544 CPUtime=0.53 cores=1,3,5,7
/proc/25416/stat : 25416 (java) S 25414 25414 22939 0 -1 1077944320 10952 0 0 0 49 4 0 0 20 0 15 0 445396918 15512608768 13136 33554432000 4194304 4196468 140726925579264 140726925561808 140250080104183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
/proc/25416/statm: 3787258 13136 3366 1 0 3748377 0
[pid=25416/tid=25417] ppid=25414 vsize=15149032 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/25416/task/25417/stat : 25417 (java) R 25414 25414 22939 0 -1 4202560 7872 0 0 0 26 3 0 0 20 0 15 0 445396919 15512608768 13136 33554432000 4194304 4196468 140726925579264 140250084335296 140250064184670 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25418] ppid=25414 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25418/stat : 25418 (java) S 25414 25414 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445396919 15512608768 13136 33554432000 4194304 4196468 140726925579264 140250016341136 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25419] ppid=25414 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25419/stat : 25419 (java) S 25414 25414 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445396919 15512608768 13136 33554432000 4194304 4196468 140726925579264 140250015288336 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25420] ppid=25414 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25420/stat : 25420 (java) S 25414 25414 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445396919 15512608768 13136 33554432000 4194304 4196468 140726925579264 140250014235536 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25421] ppid=25414 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25421/stat : 25421 (java) S 25414 25414 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445396919 15512608768 13136 33554432000 4194304 4196468 140726925579264 140250013182736 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25422] ppid=25414 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25422/stat : 25422 (java) S 25414 25414 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445396921 15512608768 13136 33554432000 4194304 4196468 140726925579264 140249615898992 140250080115330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25423] ppid=25414 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25423/stat : 25423 (java) S 25414 25414 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445396921 15512608768 13136 33554432000 4194304 4196468 140726925579264 140249614844960 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25424] ppid=25414 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25424/stat : 25424 (java) S 25414 25414 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445396921 15512608768 13136 33554432000 4194304 4196468 140726925579264 140249613792112 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25425] ppid=25414 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25425/stat : 25425 (java) S 25414 25414 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445396924 15512608768 13136 33554432000 4194304 4196468 140726925579264 140249612740432 140250080122779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25426] ppid=25414 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/25416/task/25426/stat : 25426 (java) S 25414 25414 22939 0 -1 1077944384 699 0 0 0 4 0 0 0 20 0 15 0 445396924 15512608768 13136 33554432000 4194304 4196468 140726925579264 140249611688816 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25427] ppid=25414 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/25416/task/25427/stat : 25427 (java) S 25414 25414 22939 0 -1 1077944384 205 0 0 0 5 0 0 0 20 0 15 0 445396924 15512608768 13136 33554432000 4194304 4196468 140726925579264 140249610636016 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25428] ppid=25414 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25416/task/25428/stat : 25428 (java) S 25414 25414 22939 0 -1 1077944384 874 0 0 0 12 0 0 0 20 0 15 0 445396924 15512608768 13136 33554432000 4194304 4196468 140726925579264 140249609583216 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25429] ppid=25414 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25429/stat : 25429 (java) S 25414 25414 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445396924 15512608768 13136 33554432000 4194304 4196468 140726925579264 140249608530656 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25430] ppid=25414 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25430/stat : 25430 (java) S 25414 25414 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445396924 15512608768 13136 33554432000 4194304 4196468 140726925579264 140249012366000 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 53992 KiB
[startup+0.710897 s]
/proc/loadavg: 8.79 6.32 3.65 14/238 25542
/proc/meminfo: memFree=28137212/32770624 swapFree=66959728/67108860
[pid=25414] ppid=25411 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25414/stat : 25414 (xcsp3-exec) S 25411 25414 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445396918 115843072 362 33554432000 4194304 5098028 140721493678848 140721493676952 140364594135676 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29810688 140721493681018 140721493681261 140721493681261 140721493684170 0
/proc/25414/statm: 28282 362 304 221 0 87 0
[pid=25416] ppid=25414 vsize=15551568 memory=188540 CPUtime=1.72 cores=1,3,5,7
/proc/25416/stat : 25416 (java) S 25414 25414 22939 0 -1 1077944320 18094 0 0 0 163 9 0 0 20 0 19 0 445396918 15924805632 47135 33554432000 4194304 4196468 140726925579264 140726925561808 140250080104183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
/proc/25416/statm: 3887892 47135 3481 1 0 3848992 0
[pid=25416/tid=25417] ppid=25414 vsize=15551568 memory=33 CPUtime=0.45 cores=1,3,5,7
/proc/25416/task/25417/stat : 25417 (java) S 25414 25414 22939 0 -1 1077944384 9035 0 0 0 41 4 0 0 20 0 19 0 445396919 15924805632 47135 33554432000 4194304 4196468 140726925579264 140250084344960 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25418] ppid=25414 vsize=15551568 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25418/stat : 25418 (java) S 25414 25414 22939 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 445396919 15924805632 47135 33554432000 4194304 4196468 140726925579264 140250016341136 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25419] ppid=25414 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25419/stat : 25419 (java) S 25414 25414 22939 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445396919 15924805632 47135 33554432000 4194304 4196468 140726925579264 140250015288336 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25420] ppid=25414 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25420/stat : 25420 (java) S 25414 25414 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445396919 15924805632 47135 33554432000 4194304 4196468 140726925579264 140250014235536 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25421] ppid=25414 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25421/stat : 25421 (java) S 25414 25414 22939 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 445396919 15924805632 47135 33554432000 4194304 4196468 140726925579264 140250013182736 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25422] ppid=25414 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25422/stat : 25422 (java) S 25414 25414 22939 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 445396921 15924805632 47135 33554432000 4194304 4196468 140726925579264 140249615898992 140250080115330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25423] ppid=25414 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25423/stat : 25423 (java) S 25414 25414 22939 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445396921 15924805632 47135 33554432000 4194304 4196468 140726925579264 140249614845024 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25424] ppid=25414 vsize=15551568 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25424/stat : 25424 (java) S 25414 25414 22939 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445396921 15924805632 47135 33554432000 4194304 4196468 140726925579264 140249613792128 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25425] ppid=25414 vsize=15551568 memory=48264 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25425/stat : 25425 (java) S 25414 25414 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445396924 15924805632 47135 33554432000 4194304 4196468 140726925579264 140249612740432 140250080122779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25426] ppid=25414 vsize=15551568 memory=988 CPUtime=0.26 cores=1,3,5,7
/proc/25416/task/25426/stat : 25426 (java) R 25414 25414 22939 0 -1 4202560 1213 0 0 0 26 0 0 0 20 0 19 0 445396924 15924805632 47135 33554432000 4194304 4196468 140726925579264 140249611675360 140250061647544 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25427] ppid=25414 vsize=15551568 memory=2008 CPUtime=0.28 cores=1,3,5,7
/proc/25416/task/25427/stat : 25427 (java) R 25414 25414 22939 0 -1 4202560 773 0 0 0 28 0 0 0 20 0 19 0 445396924 15924805632 47135 33554432000 4194304 4196468 140726925579264 140249610629040 140250060804487 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25428] ppid=25414 vsize=15551568 memory=1436 CPUtime=0.29 cores=1,3,5,7
/proc/25416/task/25428/stat : 25428 (java) R 25414 25414 22939 0 -1 1077944384 1643 0 0 0 29 0 0 0 20 0 19 0 445396924 15924805632 47135 33554432000 4194304 4196468 140726925579264 140249609583216 140250080115330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25429] ppid=25414 vsize=15551568 memory=580 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25429/stat : 25429 (java) S 25414 25414 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445396924 15924805632 47135 33554432000 4194304 4196468 140726925579264 140249608530656 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25430] ppid=25414 vsize=15551568 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25430/stat : 25430 (java) S 25414 25414 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445396924 15924805632 47135 33554432000 4194304 4196468 140726925579264 140249012366000 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 189988 KiB
[startup+1.50077 s]
/proc/loadavg: 8.79 6.32 3.65 12/238 25697
/proc/meminfo: memFree=28117196/32770624 swapFree=66959728/67108860
[pid=25414] ppid=25411 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25414/stat : 25414 (xcsp3-exec) S 25411 25414 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445396918 115843072 362 33554432000 4194304 5098028 140721493678848 140721493676952 140364594135676 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29810688 140721493681018 140721493681261 140721493681261 140721493684170 0
/proc/25414/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/25416/task/25430/stat : 25430 (java) S 25414 25414 22939 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 445396924 15924805632 280232 33554432000 4194304 4196468 140726925579264 140249012366000 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25710] ppid=25414 vsize=15551568 memory=7882796128505850724 CPUtime=17.56 cores=1,3,5,7
/proc/25416/task/25710/stat : 25710 (java) R 25414 25414 22939 0 -1 4202560 292 0 0 0 1756 0 0 0 20 0 19 0 445397040 15924805632 280232 33554432000 4194304 4196468 140726925579264 140248561305696 140249694389043 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25711] ppid=25414 vsize=15551568 memory=7882796128505850724 CPUtime=17.51 cores=1,3,5,7
/proc/25416/task/25711/stat : 25711 (java) R 25414 25414 22939 0 -1 4202560 2110 0 0 0 1747 4 0 0 20 0 19 0 445397040 15924805632 280232 33554432000 4194304 4196468 140726925579264 140248554988056 140249696369361 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25712] ppid=25414 vsize=15551568 memory=13297 CPUtime=17.38 cores=1,3,5,7
/proc/25416/task/25712/stat : 25712 (java) R 25414 25414 22939 0 -1 4202560 836 0 0 0 1736 2 0 0 20 0 19 0 445397040 15924805632 280232 33554432000 4194304 4196468 140726925579264 140248556041016 140250065315468 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25713] ppid=25414 vsize=15551568 memory=4420 CPUtime=17.49 cores=1,3,5,7
/proc/25416/task/25713/stat : 25713 (java) R 25414 25414 22939 0 -1 4202560 1987 0 0 0 1744 5 0 0 20 0 19 0 445397041 15924805632 280232 33554432000 4194304 4196468 140726925579264 140248559197600 140249696309967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
Current children cumulated CPU time: 75.04 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 1122376 KiB
[startup+20.8009 s]
/proc/loadavg: 9.48 6.64 3.81 10/237 26094
/proc/meminfo: memFree=26795332/32770624 swapFree=66959728/67108860
[pid=25414] ppid=25411 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25414/stat : 25414 (xcsp3-exec) S 25411 25414 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445396918 115843072 362 33554432000 4194304 5098028 140721493678848 140721493676952 140364594135676 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29810688 140721493681018 140721493681261 140721493681261 140721493684170 0
/proc/25414/statm: 28282 362 304 221 0 87 0
[pid=25416] ppid=25414 vsize=15551568 memory=1115020 CPUtime=81.42 cores=1,3,5,7
/proc/25416/stat : 25416 (java) S 25414 25414 22939 0 -1 1077944320 38387 0 0 0 8113 29 0 0 20 0 19 0 445396918 15924805632 278755 33554432000 4194304 4196468 140726925579264 140726925561808 140250080104183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
/proc/25416/statm: 3887892 278755 3515 1 0 3848992 0
[pid=25416/tid=25417] ppid=25414 vsize=15551568 memory=6791534058613427641 CPUtime=0.46 cores=1,3,5,7
/proc/25416/task/25417/stat : 25417 (java) S 25414 25414 22939 0 -1 1077944384 9035 0 0 0 42 4 0 0 20 0 19 0 445396919 15924805632 278755 33554432000 4194304 4196468 140726925579264 140250084344960 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25418] ppid=25414 vsize=15551568 memory=1448 CPUtime=0.02 cores=1,3,5,7
/proc/25416/task/25418/stat : 25418 (java) S 25414 25414 22939 0 -1 1077944384 499 0 0 0 1 1 0 0 20 0 19 0 445396919 15924805632 278755 33554432000 4194304 4196468 140726925579264 140250016341136 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25419] ppid=25414 vsize=15551568 memory=1119376 CPUtime=0.02 cores=1,3,5,7
/proc/25416/task/25419/stat : 25419 (java) S 25414 25414 22939 0 -1 1077944384 265 0 0 0 1 1 0 0 20 0 19 0 445396919 15924805632 278755 33554432000 4194304 4196468 140726925579264 140250015288336 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25420] ppid=25414 vsize=15551568 memory=1216 CPUtime=0.01 cores=1,3,5,7
/proc/25416/task/25420/stat : 25420 (java) S 25414 25414 22939 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 19 0 445396919 15924805632 278755 33554432000 4194304 4196468 140726925579264 140250014235536 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25421] ppid=25414 vsize=15551568 memory=984 CPUtime=0.02 cores=1,3,5,7
/proc/25416/task/25421/stat : 25421 (java) S 25414 25414 22939 0 -1 1077944384 101 0 0 0 1 1 0 0 20 0 19 0 445396919 15924805632 278755 33554432000 4194304 4196468 140726925579264 140250013182736 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25422] ppid=25414 vsize=15551568 memory=14004 CPUtime=0.01 cores=1,3,5,7
/proc/25416/task/25422/stat : 25422 (java) S 25414 25414 22939 0 -1 1077944384 1226 0 0 0 1 0 0 0 20 0 19 0 445396921 15924805632 278755 33554432000 4194304 4196468 140726925579264 140249615898992 140250080115330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25423] ppid=25414 vsize=15551568 memory=25812 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25423/stat : 25423 (java) S 25414 25414 22939 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445396921 15924805632 278755 33554432000 4194304 4196468 140726925579264 140249614845024 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25424] ppid=25414 vsize=15551568 memory=14048 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25424/stat : 25424 (java) S 25414 25414 22939 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445396921 15924805632 278755 33554432000 4194304 4196468 140726925579264 140249613792128 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25425] ppid=25414 vsize=15551568 memory=279629483554176 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25425/stat : 25425 (java) S 25414 25414 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445396924 15924805632 278755 33554432000 4194304 4196468 140726925579264 140249612740432 140250080122779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25426] ppid=25414 vsize=15551568 memory=-2023959437020729679 CPUtime=1.43 cores=1,3,5,7
/proc/25416/task/25426/stat : 25426 (java) S 25414 25414 22939 0 -1 1077944384 6970 0 0 0 143 0 0 0 20 0 19 0 445396924 15924805632 278755 33554432000 4194304 4196468 140726925579264 140249611688816 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25427] ppid=25414 vsize=15551568 memory=-2026666227646606628 CPUtime=1.21 cores=1,3,5,7
/proc/25416/task/25427/stat : 25427 (java) S 25414 25414 22939 0 -1 1077944384 5425 0 0 0 120 1 0 0 20 0 19 0 445396924 15924805632 278755 33554432000 4194304 4196468 140726925579264 140249610636016 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25428] ppid=25414 vsize=15551568 memory=6944656592455097440 CPUtime=0.45 cores=1,3,5,7
/proc/25416/task/25428/stat : 25428 (java) S 25414 25414 22939 0 -1 1077944384 2971 0 0 0 45 0 0 0 20 0 19 0 445396924 15924805632 278755 33554432000 4194304 4196468 140726925579264 140249609583216 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25429] ppid=25414 vsize=15551568 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25429/stat : 25429 (java) S 25414 25414 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445396924 15924805632 278755 33554432000 4194304 4196468 140726925579264 140249608530656 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25430] ppid=25414 vsize=15551568 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25430/stat : 25430 (java) S 25414 25414 22939 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 445396924 15924805632 278755 33554432000 4194304 4196468 140726925579264 140249012366000 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25710] ppid=25414 vsize=15551568 memory=8514701219931451533 CPUtime=19.14 cores=1,3,5,7
/proc/25416/task/25710/stat : 25710 (java) R 25414 25414 22939 0 -1 4202560 298 0 0 0 1914 0 0 0 20 0 19 0 445397040 15924805632 278755 33554432000 4194304 4196468 140726925579264 140248561305840 140249694364416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25711] ppid=25414 vsize=15551568 memory=8099255986249027669 CPUtime=19.11 cores=1,3,5,7
/proc/25416/task/25711/stat : 25711 (java) R 25414 25414 22939 0 -1 4202560 2146 0 0 0 1907 4 0 0 20 0 19 0 445397040 15924805632 278755 33554432000 4194304 4196468 140726925579264 140248554988472 140249695222095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25712] ppid=25414 vsize=15551568 memory=4126316290023845779 CPUtime=18.98 cores=1,3,5,7
/proc/25416/task/25712/stat : 25712 (java) R 25414 25414 22939 0 -1 4202560 847 0 0 0 1896 2 0 0 20 0 19 0 445397040 15924805632 278755 33554432000 4194304 4196468 140726925579264 140248556040880 140249694668912 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25713] ppid=25414 vsize=15551568 memory=1114492 CPUtime=19.08 cores=1,3,5,7
/proc/25416/task/25713/stat : 25713 (java) R 25414 25414 22939 0 -1 4202560 2060 0 0 0 1903 5 0 0 20 0 19 0 445397041 15924805632 278755 33554432000 4194304 4196468 140726925579264 140248559197600 140249694917076 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
Current children cumulated CPU time: 81.42 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 1116468 KiB
[startup+21.2009 s]
/proc/loadavg: 9.48 6.64 3.81 9/237 26094
/proc/meminfo: memFree=26797004/32770624 swapFree=66959728/67108860
[pid=25414] ppid=25411 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25414/stat : 25414 (xcsp3-exec) S 25411 25414 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445396918 115843072 362 33554432000 4194304 5098028 140721493678848 140721493676952 140364594135676 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29810688 140721493681018 140721493681261 140721493681261 140721493684170 0
/proc/25414/statm: 28282 362 304 221 0 87 0
[pid=25416] ppid=25414 vsize=15551568 memory=1115020 CPUtime=83.01 cores=1,3,5,7
/proc/25416/stat : 25416 (java) S 25414 25414 22939 0 -1 1077944320 38388 0 0 0 8272 29 0 0 20 0 19 0 445396918 15924805632 278755 33554432000 4194304 4196468 140726925579264 140726925561808 140250080104183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
/proc/25416/statm: 3887892 278755 3515 1 0 3848992 0
[pid=25416/tid=25417] ppid=25414 vsize=15551568 memory=3762813787975539128 CPUtime=0.46 cores=1,3,5,7
/proc/25416/task/25417/stat : 25417 (java) S 25414 25414 22939 0 -1 1077944384 9035 0 0 0 42 4 0 0 20 0 19 0 445396919 15924805632 278755 33554432000 4194304 4196468 140726925579264 140250084344960 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25418] ppid=25414 vsize=15551568 memory=4420 CPUtime=0.02 cores=1,3,5,7
/proc/25416/task/25418/stat : 25418 (java) S 25414 25414 22939 0 -1 1077944384 499 0 0 0 1 1 0 0 20 0 19 0 445396919 15924805632 278755 33554432000 4194304 4196468 140726925579264 140250016341136 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25419] ppid=25414 vsize=15551568 memory=6628 CPUtime=0.02 cores=1,3,5,7
/proc/25416/task/25419/stat : 25419 (java) S 25414 25414 22939 0 -1 1077944384 265 0 0 0 1 1 0 0 20 0 19 0 445396919 15924805632 278755 33554432000 4194304 4196468 140726925579264 140250015288336 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25420] ppid=25414 vsize=15551568 memory=8836 CPUtime=0.01 cores=1,3,5,7
/proc/25416/task/25420/stat : 25420 (java) S 25414 25414 22939 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 19 0 445396919 15924805632 278755 33554432000 4194304 4196468 140726925579264 140250014235536 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25421] ppid=25414 vsize=15551568 memory=3472894561963294164 CPUtime=0.02 cores=1,3,5,7
/proc/25416/task/25421/stat : 25421 (java) S 25414 25414 22939 0 -1 1077944384 101 0 0 0 1 1 0 0 20 0 19 0 445396919 15924805632 278755 33554432000 4194304 4196468 140726925579264 140250013182736 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25422] ppid=25414 vsize=15551568 memory=4048789070039497938 CPUtime=0.01 cores=1,3,5,7
/proc/25416/task/25422/stat : 25422 (java) S 25414 25414 22939 0 -1 1077944384 1226 0 0 0 1 0 0 0 20 0 19 0 445396921 15924805632 278755 33554432000 4194304 4196468 140726925579264 140249615898992 140250080115330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25423] ppid=25414 vsize=15551568 memory=3900170192107354305 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25423/stat : 25423 (java) S 25414 25414 22939 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445396921 15924805632 278755 33554432000 4194304 4196468 140726925579264 140249614845024 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25424] ppid=25414 vsize=15551568 memory=3833189137779210453 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25424/stat : 25424 (java) S 25414 25414 22939 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445396921 15924805632 278755 33554432000 4194304 4196468 140726925579264 140249613792128 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25425] ppid=25414 vsize=15551568 memory=8462337410863809297 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25425/stat : 25425 (java) S 25414 25414 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445396924 15924805632 278755 33554432000 4194304 4196468 140726925579264 140249612740432 140250080122779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25426] ppid=25414 vsize=15551568 memory=3184097920075970769 CPUtime=1.43 cores=1,3,5,7
/proc/25416/task/25426/stat : 25426 (java) S 25414 25414 22939 0 -1 1077944384 6970 0 0 0 143 0 0 0 20 0 19 0 445396924 15924805632 278755 33554432000 4194304 4196468 140726925579264 140249611688816 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25427] ppid=25414 vsize=15551568 memory=3472323898181171409 CPUtime=1.21 cores=1,3,5,7
/proc/25416/task/25427/stat : 25427 (java) S 25414 25414 22939 0 -1 1077944384 5425 0 0 0 120 1 0 0 20 0 19 0 445396924 15924805632 278755 33554432000 4194304 4196468 140726925579264 140249610636016 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25428] ppid=25414 vsize=15551568 memory=3472328296227420369 CPUtime=0.45 cores=1,3,5,7
/proc/25416/task/25428/stat : 25428 (java) S 25414 25414 22939 0 -1 1077944384 2971 0 0 0 45 0 0 0 20 0 19 0 445396924 15924805632 278755 33554432000 4194304 4196468 140726925579264 140249609583216 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25429] ppid=25414 vsize=15551568 memory=3472328296160573649 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25429/stat : 25429 (java) S 25414 25414 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445396924 15924805632 278755 33554432000 4194304 4196468 140726925579264 140249608530656 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25430] ppid=25414 vsize=15551568 memory=3472328296227682513 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25430/stat : 25430 (java) S 25414 25414 22939 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 445396924 15924805632 278755 33554432000 4194304 4196468 140726925579264 140249012366000 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25710] ppid=25414 vsize=15551568 memory=3472328296227681489 CPUtime=19.54 cores=1,3,5,7
/proc/25416/task/25710/stat : 25710 (java) R 25414 25414 22939 0 -1 4202560 298 0 0 0 1954 0 0 0 20 0 19 0 445397040 15924805632 278755 33554432000 4194304 4196468 140726925579264 140248561305728 140249694417082 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25711] ppid=25414 vsize=15551568 memory=3472328296227682513 CPUtime=19.51 cores=1,3,5,7
/proc/25416/task/25711/stat : 25711 (java) R 25414 25414 22939 0 -1 4202560 2146 0 0 0 1947 4 0 0 20 0 19 0 445397040 15924805632 278755 33554432000 4194304 4196468 140726925579264 140248554988472 140249696369361 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25712] ppid=25414 vsize=15551568 memory=3472328296227682513 CPUtime=19.38 cores=1,3,5,7
/proc/25416/task/25712/stat : 25712 (java) R 25414 25414 22939 0 -1 4202560 848 0 0 0 1936 2 0 0 20 0 19 0 445397040 15924805632 278755 33554432000 4194304 4196468 140726925579264 140248556040696 140249694113066 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25713] ppid=25414 vsize=15551568 memory=3472328296227682513 CPUtime=19.47 cores=1,3,5,7
/proc/25416/task/25713/stat : 25713 (java) R 25414 25414 22939 0 -1 4202560 2060 0 0 0 1942 5 0 0 20 0 19 0 445397041 15924805632 278755 33554432000 4194304 4196468 140726925579264 140248559197600 140249696310157 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
Current children cumulated CPU time: 83.01 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 1116468 KiB
[startup+21.6009 s]
/proc/loadavg: 9.48 6.64 3.81 9/237 26094
/proc/meminfo: memFree=26797004/32770624 swapFree=66959728/67108860
[pid=25414] ppid=25411 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25414/stat : 25414 (xcsp3-exec) S 25411 25414 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445396918 115843072 362 33554432000 4194304 5098028 140721493678848 140721493676952 140364594135676 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29810688 140721493681018 140721493681261 140721493681261 140721493684170 0
/proc/25414/statm: 28282 362 304 221 0 87 0
[pid=25416] ppid=25414 vsize=15551568 memory=1115040 CPUtime=84.6 cores=1,3,5,7
/proc/25416/stat : 25416 (java) S 25414 25414 22939 0 -1 1077944320 39569 0 0 0 8431 29 0 0 20 0 19 0 445396918 15924805632 278760 33554432000 4194304 4196468 140726925579264 140726925561808 140250080104183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
/proc/25416/statm: 3887892 278760 3515 1 0 3848992 0
[pid=25416/tid=25417] ppid=25414 vsize=15551568 memory=48264 CPUtime=0.46 cores=1,3,5,7
/proc/25416/task/25417/stat : 25417 (java) S 25414 25414 22939 0 -1 1077944384 9035 0 0 0 42 4 0 0 20 0 19 0 445396919 15924805632 278760 33554432000 4194304 4196468 140726925579264 140250084344960 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25418] ppid=25414 vsize=15551568 memory=988 CPUtime=0.02 cores=1,3,5,7
/proc/25416/task/25418/stat : 25418 (java) S 25414 25414 22939 0 -1 1077944384 499 0 0 0 1 1 0 0 20 0 19 0 445396919 15924805632 278760 33554432000 4194304 4196468 140726925579264 140250016341136 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25419] ppid=25414 vsize=15551568 memory=2008 CPUtime=0.02 cores=1,3,5,7
/proc/25416/task/25419/stat : 25419 (java) S 25414 25414 22939 0 -1 1077944384 265 0 0 0 1 1 0 0 20 0 19 0 445396919 15924805632 278760 33554432000 4194304 4196468 140726925579264 140250015288336 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25420] ppid=25414 vsize=15551568 memory=139814742325552 CPUtime=0.01 cores=1,3,5,7
/proc/25416/task/25420/stat : 25420 (java) S 25414 25414 22939 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 19 0 445396919 15924805632 278760 33554432000 4194304 4196468 140726925579264 140250014235536 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25421] ppid=25414 vsize=15551568 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25416/task/25421/stat : 25421 (java) S 25414 25414 22939 0 -1 1077944384 101 0 0 0 1 1 0 0 20 0 19 0 445396919 15924805632 278760 33554432000 4194304 4196468 140726925579264 140250013182736 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25422] ppid=25414 vsize=15551568 memory=4580 CPUtime=0.01 cores=1,3,5,7
/proc/25416/task/25422/stat : 25422 (java) S 25414 25414 22939 0 -1 1077944384 1226 0 0 0 1 0 0 0 20 0 19 0 445396921 15924805632 278760 33554432000 4194304 4196468 140726925579264 140249615898992 140250080115330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25423] ppid=25414 vsize=15551568 memory=7594293154988188753 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25423/stat : 25423 (java) S 25414 25414 22939 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445396921 15924805632 278760 33554432000 4194304 4196468 140726925579264 140249614845024 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25424] ppid=25414 vsize=15551568 memory=279629484724112 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25424/stat : 25424 (java) S 25414 25414 22939 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445396921 15924805632 278760 33554432000 4194304 4196468 140726925579264 140249613792128 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25425] ppid=25414 vsize=15551568 memory=29419 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25425/stat : 25425 (java) S 25414 25414 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445396924 15924805632 278760 33554432000 4194304 4196468 140726925579264 140249612740432 140250080122779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25426] ppid=25414 vsize=15551568 memory=1 CPUtime=1.46 cores=1,3,5,7
/proc/25416/task/25426/stat : 25426 (java) S 25414 25414 22939 0 -1 1077944384 7882 0 0 0 145 1 0 0 20 0 19 0 445396924 15924805632 278760 33554432000 4194304 4196468 140726925579264 140249611688816 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25427] ppid=25414 vsize=15551568 memory=0 CPUtime=1.21 cores=1,3,5,7
/proc/25416/task/25427/stat : 25427 (java) S 25414 25414 22939 0 -1 1077944384 5425 0 0 0 120 1 0 0 20 0 19 0 445396924 15924805632 278760 33554432000 4194304 4196468 140726925579264 140249610636016 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25428] ppid=25414 vsize=15551568 memory=1 CPUtime=0.45 cores=1,3,5,7
/proc/25416/task/25428/stat : 25428 (java) S 25414 25414 22939 0 -1 1077944384 2971 0 0 0 45 0 0 0 20 0 19 0 445396924 15924805632 278760 33554432000 4194304 4196468 140726925579264 140249609583216 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25429] ppid=25414 vsize=15551568 memory=594000 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25429/stat : 25429 (java) S 25414 25414 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445396924 15924805632 278760 33554432000 4194304 4196468 140726925579264 140249608530656 140250080114389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25430] ppid=25414 vsize=15551568 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/25416/task/25430/stat : 25430 (java) S 25414 25414 22939 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 445396924 15924805632 278760 33554432000 4194304 4196468 140726925579264 140249012366000 140250080115330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25710] ppid=25414 vsize=15551568 memory=4126316290023845779 CPUtime=19.94 cores=1,3,5,7
/proc/25416/task/25710/stat : 25710 (java) R 25414 25414 22939 0 -1 4202560 318 0 0 0 1994 0 0 0 20 0 19 0 445397040 15924805632 278760 33554432000 4194304 4196468 140726925579264 140248561305728 140249694235788 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25711] ppid=25414 vsize=15551568 memory=0 CPUtime=19.88 cores=1,3,5,7
/proc/25416/task/25711/stat : 25711 (java) R 25414 25414 22939 0 -1 4202560 2220 0 0 0 1984 4 0 0 20 0 19 0 445397040 15924805632 278760 33554432000 4194304 4196468 140726925579264 140248554988472 140249694112828 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25712] ppid=25414 vsize=15551568 memory=0 CPUtime=19.78 cores=1,3,5,7
/proc/25416/task/25712/stat : 25712 (java) R 25414 25414 22939 0 -1 4202560 905 0 0 0 1976 2 0 0 20 0 19 0 445397040 15924805632 278760 33554432000 4194304 4196468 140726925579264 140248556040696 140249694388944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
[pid=25416/tid=25713] ppid=25414 vsize=15551568 memory=0 CPUtime=19.87 cores=1,3,5,7
/proc/25416/task/25713/stat : 25713 (java) R 25414 25414 22939 0 -1 4202560 2177 0 0 0 1982 5 0 0 20 0 19 0 445397041 15924805632 278760 33554432000 4194304 4196468 140726925579264 140248559198200 140249696309967 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140726925583343 140726925583514 140726925583514 140726925586383 0
Current children cumulated CPU time: 84.6 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 1116488 KiB
Child status: 0
Real time (s): 21.6296
CPU time (s): 84.6994
CPU user time (s): 84.3877
CPU system time (s): 0.31174
CPU usage (%): 391.591
Max. virtual memory (cumulated for all children) (KiB): 15664696
Max. memory (cumulated for all children) (KiB): 1122376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.3877
system time used= 0.31174
maximum resident set size= 1122452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40835
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4663
involuntary context switches= 1896
# summary of solver processes directly reported to runsolver:
# pid: 25414
# total CPU time (s): 84.6994
# total CPU user time (s): 84.3877
# total CPU system time (s): 0.31174
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.143726 second user time and 0.302582 second system time
The end