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 (14941 MiB free)
memory of node 1: 16384 MiB (14665 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393395-1568347792/watcher-4393395-1568347792 -o /tmp/evaluation-result-4393395-1568347792/solver-4393395-1568347792 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568346919-22073 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 689713055 HOME/instance-4393395-1568347792.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22817, runsolver pid=22814
Current StackSize limit: 8192 KiB
[startup+0.104632 s]*
/proc/loadavg: 8.69 8.01 5.51 8/233 22833
/proc/meminfo: memFree=30301452/32770624 swapFree=66940748/67108860
[pid=22817] ppid=22814 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22817/stat : 22817 (xcsp3-exec) S 22814 22817 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411017981 115843072 363 33554432000 4194304 5098028 140726407026448 140726407024552 140320167371388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8302592 140726407033723 140726407033965 140726407033965 140726407036874 0
/proc/22817/statm: 28282 363 304 221 0 87 0
[pid=22819] ppid=22817 vsize=15144768 memory=29036 CPUtime=0.14 cores=0,2,4,6
/proc/22819/stat : 22819 (java) S 22817 22817 22042 0 -1 1077944320 5735 0 0 0 14 0 0 0 20 0 15 0 411017982 15508242432 7259 33554432000 4194304 4196468 140727532327360 140727532309904 139814678077175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
/proc/22819/statm: 3786192 7259 3175 1 0 3748377 0
[pid=22819/tid=22820] ppid=22817 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=0,2,4,6
/proc/22819/task/22820/stat : 22820 (java) R 22817 22817 22042 0 -1 4202560 3581 0 0 0 9 0 0 0 20 0 15 0 411017982 15508242432 7259 33554432000 4194304 4196468 140727532327360 139814682306080 139814670314302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22821] ppid=22817 vsize=15144768 memory=3472468091776238800 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22821/stat : 22821 (java) S 22817 22817 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411017983 15508242432 7259 33554432000 4194304 4196468 140727532327360 139814614313744 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22822] ppid=22817 vsize=15144768 memory=139962881087104 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22822/stat : 22822 (java) S 22817 22817 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411017983 15508242432 7259 33554432000 4194304 4196468 140727532327360 139814613261200 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22823] ppid=22817 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22823/stat : 22823 (java) S 22817 22817 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411017983 15508242432 7259 33554432000 4194304 4196468 140727532327360 139814612208656 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22824] ppid=22817 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22824/stat : 22824 (java) S 22817 22817 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411017983 15508242432 7259 33554432000 4194304 4196468 140727532327360 139814611156112 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22825] ppid=22817 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22825/stat : 22825 (java) S 22817 22817 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411017984 15508242432 7259 33554432000 4194304 4196468 140727532327360 139814213859312 139814678088322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22826] ppid=22817 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22826/stat : 22826 (java) S 22817 22817 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411017984 15508242432 7259 33554432000 4194304 4196468 140727532327360 139814212805536 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22827] ppid=22817 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22827/stat : 22827 (java) S 22817 22817 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411017985 15508242432 7259 33554432000 4194304 4196468 140727532327360 139814211752944 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22828] ppid=22817 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22828/stat : 22828 (java) S 22817 22817 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411017987 15508242432 7259 33554432000 4194304 4196468 140727532327360 139814210701520 139814678095771 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22829] ppid=22817 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22829/stat : 22829 (java) S 22817 22817 22042 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 411017987 15508242432 7259 33554432000 4194304 4196468 140727532327360 139814209649136 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22830] ppid=22817 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22830/stat : 22830 (java) S 22817 22817 22042 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 411017987 15508242432 7259 33554432000 4194304 4196468 140727532327360 139814208596592 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22831] ppid=22817 vsize=15144768 memory=139962881087104 CPUtime=0.03 cores=0,2,4,6
/proc/22819/task/22831/stat : 22831 (java) R 22817 22817 22042 0 -1 4202560 386 0 0 0 3 0 0 0 20 0 15 0 411017987 15508242432 7259 33554432000 4194304 4196468 140727532327360 139814207544048 139814656751018 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22832] ppid=22817 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22832/stat : 22832 (java) S 22817 22817 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411017987 15508242432 7325 33554432000 4194304 4196468 140727532327360 139814206491744 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22833] ppid=22817 vsize=15144768 memory=139962881087104 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22833/stat : 22833 (java) S 22817 22817 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411017987 15508242432 7325 33554432000 4194304 4196468 140727532327360 139814137489712 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30488 KiB
[startup+0.210901 s]*
/proc/loadavg: 8.69 8.01 5.51 7/233 22833
/proc/meminfo: memFree=30288904/32770624 swapFree=66940748/67108860
[pid=22817] ppid=22814 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22817/stat : 22817 (xcsp3-exec) S 22814 22817 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411017981 115843072 363 33554432000 4194304 5098028 140726407026448 140726407024552 140320167371388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8302592 140726407033723 140726407033965 140726407033965 140726407036874 0
/proc/22817/statm: 28282 363 304 221 0 87 0
[pid=22819] ppid=22817 vsize=15144768 memory=40568 CPUtime=0.34 cores=0,2,4,6
/proc/22819/stat : 22819 (java) S 22817 22817 22042 0 -1 1077944320 9340 0 0 0 32 2 0 0 20 0 15 0 411017982 15508242432 10142 33554432000 4194304 4196468 140727532327360 140727532309904 139814678077175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
/proc/22819/statm: 3786192 10142 3307 1 0 3748377 0
[pid=22819/tid=22820] ppid=22817 vsize=15144768 memory=5852835216252043682 CPUtime=0.2 cores=0,2,4,6
/proc/22819/task/22820/stat : 22820 (java) R 22817 22817 22042 0 -1 4202560 6588 0 0 0 18 2 0 0 20 0 15 0 411017982 15508242432 10142 33554432000 4194304 4196468 140727532327360 139814682314992 139814662157662 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22821] ppid=22817 vsize=15144768 memory=3472468091776238800 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22821/stat : 22821 (java) S 22817 22817 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411017983 15508242432 10142 33554432000 4194304 4196468 140727532327360 139814614313744 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22822] ppid=22817 vsize=15144768 memory=139962881087104 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22822/stat : 22822 (java) S 22817 22817 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411017983 15508242432 10142 33554432000 4194304 4196468 140727532327360 139814613261200 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22823] ppid=22817 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22823/stat : 22823 (java) S 22817 22817 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411017983 15508242432 10142 33554432000 4194304 4196468 140727532327360 139814612208656 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22824] ppid=22817 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22824/stat : 22824 (java) S 22817 22817 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411017983 15508242432 10142 33554432000 4194304 4196468 140727532327360 139814611156112 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22825] ppid=22817 vsize=15144768 memory=139962881087104 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22825/stat : 22825 (java) S 22817 22817 22042 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411017984 15508242432 10142 33554432000 4194304 4196468 140727532327360 139814213859312 139814678088322 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22826] ppid=22817 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22826/stat : 22826 (java) S 22817 22817 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411017984 15508242432 10142 33554432000 4194304 4196468 140727532327360 139814212805536 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22827] ppid=22817 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22827/stat : 22827 (java) S 22817 22817 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411017985 15508242432 10142 33554432000 4194304 4196468 140727532327360 139814211752944 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22828] ppid=22817 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22828/stat : 22828 (java) S 22817 22817 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411017987 15508242432 10142 33554432000 4194304 4196468 140727532327360 139814210701520 139814678095771 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22829] ppid=22817 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22819/task/22829/stat : 22829 (java) S 22817 22817 22042 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 15 0 411017987 15508242432 10142 33554432000 4194304 4196468 140727532327360 139814209649136 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22830] ppid=22817 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22819/task/22830/stat : 22830 (java) S 22817 22817 22042 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 15 0 411017987 15508242432 10142 33554432000 4194304 4196468 140727532327360 139814208596592 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22831] ppid=22817 vsize=15144768 memory=139962881087104 CPUtime=0.08 cores=0,2,4,6
/proc/22819/task/22831/stat : 22831 (java) R 22817 22817 22042 0 -1 4202560 816 0 0 0 8 0 0 0 20 0 15 0 411017987 15508242432 10142 33554432000 4194304 4196468 140727532327360 139814207544048 139814678098522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22832] ppid=22817 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22832/stat : 22832 (java) S 22817 22817 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411017987 15508242432 10142 33554432000 4194304 4196468 140727532327360 139814206491744 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22833] ppid=22817 vsize=15144768 memory=139962881087104 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22833/stat : 22833 (java) S 22817 22817 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411017987 15508242432 10142 33554432000 4194304 4196468 140727532327360 139814137489712 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42020 KiB
[startup+0.321293 s]*
/proc/loadavg: 8.69 8.01 5.51 6/233 22833
/proc/meminfo: memFree=30280128/32770624 swapFree=66940748/67108860
[pid=22817] ppid=22814 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22817/stat : 22817 (xcsp3-exec) S 22814 22817 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411017981 115843072 363 33554432000 4194304 5098028 140726407026448 140726407024552 140320167371388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8302592 140726407033723 140726407033965 140726407033965 140726407036874 0
/proc/22817/statm: 28282 363 304 221 0 87 0
[pid=22819] ppid=22817 vsize=15149024 memory=50368 CPUtime=0.54 cores=0,2,4,6
/proc/22819/stat : 22819 (java) S 22817 22817 22042 0 -1 1077944320 10950 0 0 0 51 3 0 0 20 0 15 0 411017982 15512600576 12592 33554432000 4194304 4196468 140727532327360 140727532309904 139814678077175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
/proc/22819/statm: 3787256 12592 3371 1 0 3748377 0
[pid=22819/tid=22820] ppid=22817 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=0,2,4,6
/proc/22819/task/22820/stat : 22820 (java) R 22817 22817 22042 0 -1 4202560 7900 0 0 0 28 2 0 0 20 0 15 0 411017982 15512600576 12592 33554432000 4194304 4196468 140727532327360 139814682309760 139814662157692 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22821] ppid=22817 vsize=15149024 memory=3472468091776238800 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22821/stat : 22821 (java) S 22817 22817 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411017983 15512600576 12592 33554432000 4194304 4196468 140727532327360 139814614313744 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22822] ppid=22817 vsize=15149024 memory=139962881087104 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22822/stat : 22822 (java) S 22817 22817 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411017983 15512600576 12592 33554432000 4194304 4196468 140727532327360 139814613261200 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22823] ppid=22817 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22823/stat : 22823 (java) S 22817 22817 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411017983 15512600576 12592 33554432000 4194304 4196468 140727532327360 139814612208656 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22824] ppid=22817 vsize=15149024 memory=139962783770655 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22824/stat : 22824 (java) S 22817 22817 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411017983 15512600576 12592 33554432000 4194304 4196468 140727532327360 139814611156112 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22825] ppid=22817 vsize=15149024 memory=279925567520544 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22825/stat : 22825 (java) S 22817 22817 22042 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411017984 15512600576 12592 33554432000 4194304 4196468 140727532327360 139814213859312 139814678088322 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22826] ppid=22817 vsize=15149024 memory=139962783747599 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22826/stat : 22826 (java) S 22817 22817 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411017984 15512600576 12592 33554432000 4194304 4196468 140727532327360 139814212805536 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22827] ppid=22817 vsize=15149024 memory=279925664843872 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22827/stat : 22827 (java) S 22817 22817 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411017985 15512600576 12592 33554432000 4194304 4196468 140727532327360 139814211752944 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22828] ppid=22817 vsize=15149024 memory=139962783752207 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22828/stat : 22828 (java) S 22817 22817 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411017987 15512600576 12592 33554432000 4194304 4196468 140727532327360 139814210701520 139814678095771 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22829] ppid=22817 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22819/task/22829/stat : 22829 (java) S 22817 22817 22042 0 -1 1077944384 418 0 0 0 4 0 0 0 20 0 15 0 411017987 15512600576 12592 33554432000 4194304 4196468 140727532327360 139814209649136 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22830] ppid=22817 vsize=15149024 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/22819/task/22830/stat : 22830 (java) S 22817 22817 22042 0 -1 1077944384 373 0 0 0 5 0 0 0 20 0 15 0 411017987 15512600576 12592 33554432000 4194304 4196468 140727532327360 139814208596592 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22831] ppid=22817 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/22819/task/22831/stat : 22831 (java) S 22817 22817 22042 0 -1 1077944384 952 0 0 0 12 0 0 0 20 0 15 0 411017987 15512600576 12592 33554432000 4194304 4196468 140727532327360 139814207544048 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22832] ppid=22817 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22832/stat : 22832 (java) S 22817 22817 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411017987 15512600576 12592 33554432000 4194304 4196468 140727532327360 139814206491744 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22833] ppid=22817 vsize=15149024 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22833/stat : 22833 (java) S 22817 22817 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411017987 15512600576 12592 33554432000 4194304 4196468 140727532327360 139814137489712 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51820 KiB
[startup+0.701304 s]
/proc/loadavg: 8.69 8.01 5.51 9/233 22833
/proc/meminfo: memFree=30135820/32770624 swapFree=66940748/67108860
[pid=22817] ppid=22814 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22817/stat : 22817 (xcsp3-exec) S 22814 22817 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411017981 115843072 363 33554432000 4194304 5098028 140726407026448 140726407024552 140320167371388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8302592 140726407033723 140726407033965 140726407033965 140726407036874 0
/proc/22817/statm: 28282 363 304 221 0 87 0
[pid=22819] ppid=22817 vsize=15149100 memory=292876 CPUtime=1.22 cores=0,2,4,6
/proc/22819/stat : 22819 (java) S 22817 22817 22042 0 -1 1077944320 11955 0 0 0 101 21 0 0 20 0 15 0 411017982 15512678400 73219 33554432000 4194304 4196468 140727532327360 140727532309904 139814678077175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
/proc/22819/statm: 3787275 73219 3427 1 0 3748377 0
[pid=22819/tid=22820] ppid=22817 vsize=15149100 memory=1088 CPUtime=0.62 cores=0,2,4,6
/proc/22819/task/22820/stat : 22820 (java) R 22817 22817 22042 0 -1 4202560 8273 0 0 0 56 6 0 0 20 0 15 0 411017982 15512678400 73219 33554432000 4194304 4196468 140727532327360 139814682312216 139814290425617 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22821] ppid=22817 vsize=15149100 memory=988 CPUtime=0.05 cores=0,2,4,6
/proc/22819/task/22821/stat : 22821 (java) S 22817 22817 22042 0 -1 1077944384 64 0 0 0 2 3 0 0 20 0 15 0 411017983 15512678400 73219 33554432000 4194304 4196468 140727532327360 139814614313744 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22822] ppid=22817 vsize=15149100 memory=780 CPUtime=0.05 cores=0,2,4,6
/proc/22819/task/22822/stat : 22822 (java) S 22817 22817 22042 0 -1 1077944384 64 0 0 0 2 3 0 0 20 0 15 0 411017983 15512678400 73219 33554432000 4194304 4196468 140727532327360 139814613261200 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22823] ppid=22817 vsize=15149100 memory=5972 CPUtime=0.05 cores=0,2,4,6
/proc/22819/task/22823/stat : 22823 (java) S 22817 22817 22042 0 -1 1077944384 47 0 0 0 2 3 0 0 20 0 15 0 411017983 15512678400 73219 33554432000 4194304 4196468 140727532327360 139814612208656 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22824] ppid=22817 vsize=15149100 memory=624 CPUtime=0.05 cores=0,2,4,6
/proc/22819/task/22824/stat : 22824 (java) S 22817 22817 22042 0 -1 1077944384 70 0 0 0 2 3 0 0 20 0 15 0 411017983 15512678400 73219 33554432000 4194304 4196468 140727532327360 139814611156112 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22825] ppid=22817 vsize=15149100 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22825/stat : 22825 (java) S 22817 22817 22042 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 411017984 15512678400 73219 33554432000 4194304 4196468 140727532327360 139814213859312 139814678088322 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22826] ppid=22817 vsize=15149100 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22826/stat : 22826 (java) S 22817 22817 22042 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 411017984 15512678400 73219 33554432000 4194304 4196468 140727532327360 139814212805536 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22827] ppid=22817 vsize=15149100 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22827/stat : 22827 (java) S 22817 22817 22042 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 411017985 15512678400 73219 33554432000 4194304 4196468 140727532327360 139814211752944 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22828] ppid=22817 vsize=15149100 memory=38192 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22828/stat : 22828 (java) S 22817 22817 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411017987 15512678400 73219 33554432000 4194304 4196468 140727532327360 139814210701520 139814678095771 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22829] ppid=22817 vsize=15149100 memory=1988 CPUtime=0.07 cores=0,2,4,6
/proc/22819/task/22829/stat : 22829 (java) S 22817 22817 22042 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 15 0 411017987 15512678400 73219 33554432000 4194304 4196468 140727532327360 139814209649136 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22830] ppid=22817 vsize=15149100 memory=988 CPUtime=0.09 cores=0,2,4,6
/proc/22819/task/22830/stat : 22830 (java) S 22817 22817 22042 0 -1 1077944384 448 0 0 0 9 0 0 0 20 0 15 0 411017987 15512678400 73219 33554432000 4194304 4196468 140727532327360 139814208596592 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22831] ppid=22817 vsize=15149100 memory=1428 CPUtime=0.18 cores=0,2,4,6
/proc/22819/task/22831/stat : 22831 (java) S 22817 22817 22042 0 -1 1077944384 1115 0 0 0 18 0 0 0 20 0 15 0 411017987 15512678400 73219 33554432000 4194304 4196468 140727532327360 139814207544048 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22832] ppid=22817 vsize=15149100 memory=1772 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22832/stat : 22832 (java) S 22817 22817 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411017987 15512678400 73219 33554432000 4194304 4196468 140727532327360 139814206491744 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22833] ppid=22817 vsize=15149100 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22833/stat : 22833 (java) S 22817 22817 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411017987 15512678400 73219 33554432000 4194304 4196468 140727532327360 139814137489712 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 15262228 KiB
Current children cumulated memory: 294328 KiB
[startup+1.5013 s]
/proc/loadavg: 8.69 8.01 5.51 8/233 22833
/proc/meminfo: memFree=29250596/32770624 swapFree=66940748/67108860
[pid=22817] ppid=22814 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22817/stat : 22817 (xcsp3-exec) S 22814 22817 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411017981 115843072 363 33554432000 4194304 5098028 140726407026448 140726407024552 140320167371388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8302592 140726407033723 140726407033965 140726407033965 140726407036874 0
/proc/22817/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/22819/task/22822/stat : 22822 (java) R 22817 22817 22042 0 -1 4202560 49958 0 0 0 2084 313 0 0 20 0 15 0 411017983 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814613261320 139814670705383 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22823] ppid=22817 vsize=15151148 memory=1088 CPUtime=24.01 cores=0,2,4,6
/proc/22819/task/22823/stat : 22823 (java) R 22817 22817 22042 0 -1 4202560 67839 0 0 0 2094 307 0 0 20 0 15 0 411017983 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814612208544 139814671180168 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22824] ppid=22817 vsize=15151148 memory=988 CPUtime=23.96 cores=0,2,4,6
/proc/22819/task/22824/stat : 22824 (java) R 22817 22817 22042 0 -1 4202560 71621 0 0 0 2089 307 0 0 20 0 15 0 411017983 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814611155920 139814670705383 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22825] ppid=22817 vsize=15151148 memory=6791534058613427641 CPUtime=8.16 cores=0,2,4,6
/proc/22819/task/22825/stat : 22825 (java) S 22817 22817 22042 0 -1 1077944384 26922 0 0 0 813 3 0 0 20 0 15 0 411017984 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814213857872 139814678087381 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22826] ppid=22817 vsize=15151148 memory=28537 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22826/stat : 22826 (java) S 22817 22817 22042 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 411017984 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814212805600 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22827] ppid=22817 vsize=15151148 memory=15545 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22827/stat : 22827 (java) S 22817 22817 22042 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 411017985 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814211752960 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22828] ppid=22817 vsize=15151148 memory=1901 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22828/stat : 22828 (java) S 22817 22817 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411017987 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814210701520 139814678095771 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22829] ppid=22817 vsize=15151148 memory=1292 CPUtime=0.49 cores=0,2,4,6
/proc/22819/task/22829/stat : 22829 (java) S 22817 22817 22042 0 -1 1077944384 2342 0 0 0 49 0 0 0 20 0 15 0 411017987 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814209648896 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22830] ppid=22817 vsize=15151148 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/22819/task/22830/stat : 22830 (java) S 22817 22817 22042 0 -1 1077944384 1838 0 0 0 46 0 0 0 20 0 15 0 411017987 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814208596640 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22831] ppid=22817 vsize=15151148 memory=49 CPUtime=0.32 cores=0,2,4,6
/proc/22819/task/22831/stat : 22831 (java) S 22817 22817 22042 0 -1 1077944384 2719 0 0 0 32 0 0 0 20 0 15 0 411017987 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814207544096 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22832] ppid=22817 vsize=15151148 memory=46 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22832/stat : 22832 (java) S 22817 22817 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411017987 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814206491744 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22833] ppid=22817 vsize=15151148 memory=32 CPUtime=0.01 cores=0,2,4,6
/proc/22819/task/22833/stat : 22833 (java) S 22817 22817 22042 0 -1 1077944384 411 0 0 0 0 1 0 0 20 0 15 0 411017987 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814137489712 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
Current children cumulated CPU time: 117.73 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12598732 KiB
[startup+48.0013 s]*
/proc/loadavg: 7.56 7.78 5.56 9/234 22844
/proc/meminfo: memFree=17707592/32770624 swapFree=66940748/67108860
[pid=22817] ppid=22814 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22817/stat : 22817 (xcsp3-exec) S 22814 22817 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411017981 115843072 363 33554432000 4194304 5098028 140726407026448 140726407024552 140320167371388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8302592 140726407033723 140726407033965 140726407033965 140726407036874 0
/proc/22817/statm: 28282 363 304 221 0 87 0
[pid=22819] ppid=22817 vsize=15151148 memory=12597280 CPUtime=128.97 cores=0,2,4,6
/proc/22819/stat : 22819 (java) S 22817 22817 22042 0 -1 1077944320 336884 0 0 0 11615 1282 0 0 20 0 15 0 411017982 15514775552 3149320 33554432000 4194304 4196468 140727532327360 140727532309904 139814678077175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
/proc/22819/statm: 3787787 3149320 3495 1 0 3748889 0
[pid=22819/tid=22820] ppid=22817 vsize=15151148 memory=6791534058613427641 CPUtime=12.35 cores=0,2,4,6
/proc/22819/task/22820/stat : 22820 (java) S 22817 22817 22042 0 -1 1077944384 36354 0 0 0 1212 23 0 0 20 0 15 0 411017982 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814682315312 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22821] ppid=22817 vsize=15151148 memory=-7003737579269690708 CPUtime=26.58 cores=0,2,4,6
/proc/22819/task/22821/stat : 22821 (java) R 22817 22817 22042 0 -1 4202560 64755 0 0 0 2335 323 0 0 20 0 15 0 411017983 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814614313944 139814662775920 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22822] ppid=22817 vsize=15151148 memory=11340 CPUtime=26.65 cores=0,2,4,6
/proc/22819/task/22822/stat : 22822 (java) R 22817 22817 22042 0 -1 4202560 50358 0 0 0 2351 314 0 0 20 0 15 0 411017983 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814613261088 139814662775905 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22823] ppid=22817 vsize=15151148 memory=1532 CPUtime=26.75 cores=0,2,4,6
/proc/22819/task/22823/stat : 22823 (java) R 22817 22817 22042 0 -1 4202560 68607 0 0 0 2368 307 0 0 20 0 15 0 411017983 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814612208856 139814662775985 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22824] ppid=22817 vsize=15151148 memory=1088 CPUtime=26.66 cores=0,2,4,6
/proc/22819/task/22824/stat : 22824 (java) R 22817 22817 22042 0 -1 4202560 71999 0 0 0 2358 308 0 0 20 0 15 0 411017983 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814611156312 139814662534778 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22825] ppid=22817 vsize=15151148 memory=988 CPUtime=8.61 cores=0,2,4,6
/proc/22819/task/22825/stat : 22825 (java) S 22817 22817 22042 0 -1 1077944384 36101 0 0 0 858 3 0 0 20 0 15 0 411017984 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814213857856 139814678087381 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22826] ppid=22817 vsize=15151148 memory=12597280 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22826/stat : 22826 (java) S 22817 22817 22042 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 411017984 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814212805136 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22827] ppid=22817 vsize=15151148 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22827/stat : 22827 (java) S 22817 22817 22042 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 411017985 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814211752960 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22828] ppid=22817 vsize=15151148 memory=12597280 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22828/stat : 22828 (java) S 22817 22817 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411017987 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814210701520 139814678095771 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22829] ppid=22817 vsize=15151148 memory=800 CPUtime=0.49 cores=0,2,4,6
/proc/22819/task/22829/stat : 22829 (java) S 22817 22817 22042 0 -1 1077944384 2346 0 0 0 49 0 0 0 20 0 15 0 411017987 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814209649136 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22830] ppid=22817 vsize=15151148 memory=4104 CPUtime=0.46 cores=0,2,4,6
/proc/22819/task/22830/stat : 22830 (java) S 22817 22817 22042 0 -1 1077944384 1841 0 0 0 46 0 0 0 20 0 15 0 411017987 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814208596592 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22831] ppid=22817 vsize=15151148 memory=1804 CPUtime=0.32 cores=0,2,4,6
/proc/22819/task/22831/stat : 22831 (java) S 22817 22817 22042 0 -1 1077944384 2723 0 0 0 32 0 0 0 20 0 15 0 411017987 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814207543808 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22832] ppid=22817 vsize=15151148 memory=920 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22832/stat : 22832 (java) S 22817 22817 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411017987 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814206491744 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22833] ppid=22817 vsize=15151148 memory=3816 CPUtime=0.01 cores=0,2,4,6
/proc/22819/task/22833/stat : 22833 (java) S 22817 22817 22042 0 -1 1077944384 436 0 0 0 0 1 0 0 20 0 15 0 411017987 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814137489712 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
Current children cumulated CPU time: 128.97 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12598732 KiB
[startup+49.6007 s]
/proc/loadavg: 7.56 7.78 5.56 9/234 22844
/proc/meminfo: memFree=17707716/32770624 swapFree=66940748/67108860
[pid=22817] ppid=22814 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22817/stat : 22817 (xcsp3-exec) S 22814 22817 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411017981 115843072 363 33554432000 4194304 5098028 140726407026448 140726407024552 140320167371388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8302592 140726407033723 140726407033965 140726407033965 140726407036874 0
/proc/22817/statm: 28282 363 304 221 0 87 0
[pid=22819] ppid=22817 vsize=15151148 memory=12597280 CPUtime=134.98 cores=0,2,4,6
/proc/22819/stat : 22819 (java) S 22817 22817 22042 0 -1 1077944320 337328 0 0 0 12216 1282 0 0 20 0 15 0 411017982 15514775552 3149320 33554432000 4194304 4196468 140727532327360 140727532309904 139814678077175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
/proc/22819/statm: 3787787 3149320 3495 1 0 3748889 0
[pid=22819/tid=22820] ppid=22817 vsize=15151148 memory=12597280 CPUtime=12.35 cores=0,2,4,6
/proc/22819/task/22820/stat : 22820 (java) S 22817 22817 22042 0 -1 1077944384 36354 0 0 0 1212 23 0 0 20 0 15 0 411017982 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814682315312 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22821] ppid=22817 vsize=15151148 memory=6791534058613427641 CPUtime=28.04 cores=0,2,4,6
/proc/22819/task/22821/stat : 22821 (java) R 22817 22817 22042 0 -1 4202560 64800 0 0 0 2481 323 0 0 20 0 15 0 411017983 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814614313328 139814670705383 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22822] ppid=22817 vsize=15151148 memory=1988 CPUtime=28.13 cores=0,2,4,6
/proc/22819/task/22822/stat : 22822 (java) R 22817 22817 22042 0 -1 4202560 50358 0 0 0 2499 314 0 0 20 0 15 0 411017983 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814613260784 139814670705383 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22823] ppid=22817 vsize=15151148 memory=988 CPUtime=28.23 cores=0,2,4,6
/proc/22819/task/22823/stat : 22823 (java) S 22817 22817 22042 0 -1 1077944384 68862 0 0 0 2516 307 0 0 20 0 15 0 411017983 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814612208240 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22824] ppid=22817 vsize=15151148 memory=1428 CPUtime=28.14 cores=0,2,4,6
/proc/22819/task/22824/stat : 22824 (java) R 22817 22817 22042 0 -1 4202560 72140 0 0 0 2506 308 0 0 20 0 15 0 411017983 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814611156312 139814662774814 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22825] ppid=22817 vsize=15151148 memory=1772 CPUtime=8.72 cores=0,2,4,6
/proc/22819/task/22825/stat : 22825 (java) S 22817 22817 22042 0 -1 1077944384 36104 0 0 0 869 3 0 0 20 0 15 0 411017984 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814213857648 139814678087381 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22826] ppid=22817 vsize=15151148 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22826/stat : 22826 (java) S 22817 22817 22042 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 411017984 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814212805136 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22827] ppid=22817 vsize=15151148 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22827/stat : 22827 (java) S 22817 22817 22042 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 411017985 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814211752960 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22828] ppid=22817 vsize=15151148 memory=38192 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22828/stat : 22828 (java) S 22817 22817 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411017987 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814210701520 139814678095771 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22829] ppid=22817 vsize=15151148 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/22819/task/22829/stat : 22829 (java) S 22817 22817 22042 0 -1 1077944384 2346 0 0 0 49 0 0 0 20 0 15 0 411017987 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814209649136 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22830] ppid=22817 vsize=15151148 memory=11618 CPUtime=0.46 cores=0,2,4,6
/proc/22819/task/22830/stat : 22830 (java) S 22817 22817 22042 0 -1 1077944384 1841 0 0 0 46 0 0 0 20 0 15 0 411017987 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814208596592 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22831] ppid=22817 vsize=15151148 memory=1235 CPUtime=0.32 cores=0,2,4,6
/proc/22819/task/22831/stat : 22831 (java) S 22817 22817 22042 0 -1 1077944384 2723 0 0 0 32 0 0 0 20 0 15 0 411017987 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814207543808 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22832] ppid=22817 vsize=15151148 memory=2354 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22832/stat : 22832 (java) S 22817 22817 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411017987 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814206491744 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22833] ppid=22817 vsize=15151148 memory=2359 CPUtime=0.01 cores=0,2,4,6
/proc/22819/task/22833/stat : 22833 (java) S 22817 22817 22042 0 -1 1077944384 436 0 0 0 0 1 0 0 20 0 15 0 411017987 15514775552 3149320 33554432000 4194304 4196468 140727532327360 139814137489712 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
Current children cumulated CPU time: 134.98 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12598732 KiB
[startup+50.0083 s]*
/proc/loadavg: 7.56 7.78 5.56 9/234 22844
/proc/meminfo: memFree=17707716/32770624 swapFree=66940748/67108860
[pid=22817] ppid=22814 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22817/stat : 22817 (xcsp3-exec) S 22814 22817 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411017981 115843072 363 33554432000 4194304 5098028 140726407026448 140726407024552 140320167371388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8302592 140726407033723 140726407033965 140726407033965 140726407036874 0
/proc/22817/statm: 28282 363 304 221 0 87 0
[pid=22819] ppid=22817 vsize=15151148 memory=12597288 CPUtime=136.61 cores=0,2,4,6
/proc/22819/stat : 22819 (java) S 22817 22817 22042 0 -1 1077944320 368593 0 0 0 12377 1284 0 0 20 0 15 0 411017982 15514775552 3149322 33554432000 4194304 4196468 140727532327360 140727532309904 139814678077175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
/proc/22819/statm: 3787787 3149322 3495 1 0 3748889 0
[pid=22819/tid=22820] ppid=22817 vsize=15151148 memory=6791534058613427641 CPUtime=12.35 cores=0,2,4,6
/proc/22819/task/22820/stat : 22820 (java) S 22817 22817 22042 0 -1 1077944384 36354 0 0 0 1212 23 0 0 20 0 15 0 411017982 15514775552 3149322 33554432000 4194304 4196468 140727532327360 139814682315312 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22821] ppid=22817 vsize=15151148 memory=-7003737579269690708 CPUtime=28.45 cores=0,2,4,6
/proc/22819/task/22821/stat : 22821 (java) R 22817 22817 22042 0 -1 4202560 64800 0 0 0 2522 323 0 0 20 0 15 0 411017983 15514775552 3149322 33554432000 4194304 4196468 140727532327360 139814614313864 139814670705383 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22822] ppid=22817 vsize=15151148 memory=0 CPUtime=28.53 cores=0,2,4,6
/proc/22819/task/22822/stat : 22822 (java) R 22817 22817 22042 0 -1 4202560 50358 0 0 0 2539 314 0 0 20 0 15 0 411017983 15514775552 3149322 33554432000 4194304 4196468 140727532327360 139814613261400 139814662775989 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22823] ppid=22817 vsize=15151148 memory=0 CPUtime=28.63 cores=0,2,4,6
/proc/22819/task/22823/stat : 22823 (java) R 22817 22817 22042 0 -1 4202560 100118 0 0 0 2555 308 0 0 20 0 15 0 411017983 15514775552 3149322 33554432000 4194304 4196468 140727532327360 139814612208776 139814670705383 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22824] ppid=22817 vsize=15151148 memory=0 CPUtime=28.54 cores=0,2,4,6
/proc/22819/task/22824/stat : 22824 (java) R 22817 22817 22042 0 -1 4202560 72140 0 0 0 2546 308 0 0 20 0 15 0 411017983 15514775552 3149322 33554432000 4194304 4196468 140727532327360 139814611156232 139814670705383 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22825] ppid=22817 vsize=15151148 memory=279925568749808 CPUtime=8.73 cores=0,2,4,6
/proc/22819/task/22825/stat : 22825 (java) S 22817 22817 22042 0 -1 1077944384 36113 0 0 0 870 3 0 0 20 0 15 0 411017984 15514775552 3149322 33554432000 4194304 4196468 140727532327360 139814213857872 139814678087381 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22826] ppid=22817 vsize=15151148 memory=279925568745120 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22826/stat : 22826 (java) S 22817 22817 22042 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 411017984 15514775552 3149322 33554432000 4194304 4196468 140727532327360 139814212805136 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22827] ppid=22817 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22827/stat : 22827 (java) S 22817 22817 22042 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 411017985 15514775552 3149322 33554432000 4194304 4196468 140727532327360 139814211752960 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22828] ppid=22817 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22828/stat : 22828 (java) S 22817 22817 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411017987 15514775552 3149322 33554432000 4194304 4196468 140727532327360 139814210701520 139814678095771 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22829] ppid=22817 vsize=15151148 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/22819/task/22829/stat : 22829 (java) S 22817 22817 22042 0 -1 1077944384 2346 0 0 0 49 0 0 0 20 0 15 0 411017987 15514775552 3149322 33554432000 4194304 4196468 140727532327360 139814209649136 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22830] ppid=22817 vsize=15151148 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/22819/task/22830/stat : 22830 (java) S 22817 22817 22042 0 -1 1077944384 1841 0 0 0 46 0 0 0 20 0 15 0 411017987 15514775552 3149322 33554432000 4194304 4196468 140727532327360 139814208596592 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22831] ppid=22817 vsize=15151148 memory=279925568394368 CPUtime=0.32 cores=0,2,4,6
/proc/22819/task/22831/stat : 22831 (java) S 22817 22817 22042 0 -1 1077944384 2723 0 0 0 32 0 0 0 20 0 15 0 411017987 15514775552 3149322 33554432000 4194304 4196468 140727532327360 139814207543808 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22832] ppid=22817 vsize=15151148 memory=139962784496368 CPUtime=0 cores=0,2,4,6
/proc/22819/task/22832/stat : 22832 (java) S 22817 22817 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411017987 15514775552 3149322 33554432000 4194304 4196468 140727532327360 139814206491744 139814678087381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
[pid=22819/tid=22833] ppid=22817 vsize=15151148 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22819/task/22833/stat : 22833 (java) S 22817 22817 22042 0 -1 1077944384 436 0 0 0 0 1 0 0 20 0 15 0 411017987 15514775552 3149322 33554432000 4194304 4196468 140727532327360 139814137489712 139814678088322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140727532336111 140727532336282 140727532336282 140727532339151 0
Current children cumulated CPU time: 136.61 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12598740 KiB
[startup+50.2008 s]
/proc/loadavg: 7.56 7.78 5.56 9/234 22844
/proc/meminfo: memFree=17707716/32770624 swapFree=66940748/67108860
[pid=22817] ppid=22814 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22817/stat : 22817 (xcsp3-exec) S 22814 22817 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411017981 115843072 363 33554432000 4194304 5098028 140726407026448 140726407024552 140320167371388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8302592 140726407033723 140726407033965 140726407033965 140726407036874 0
/proc/22817/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 1
Real time (s): 50.2103
CPU time (s): 136.874
CPU user time (s): 123.971
CPU system time (s): 12.9033
CPU usage (%): 272.602
Max. virtual memory (cumulated for all children) (KiB): 15264276
Max. memory (cumulated for all children) (KiB): 12598740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.971
system time used= 12.9033
maximum resident set size= 12597492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 369390
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6038
involuntary context switches= 4024
# summary of solver processes directly reported to runsolver:
# pid: 22817
# total CPU time (s): 136.874
# total CPU user time (s): 123.971
# total CPU system time (s): 12.9033
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.327984 second user time and 0.5974 second system time
The end