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 (14448 MiB free)
memory of node 1: 16384 MiB (15495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398897-1568685610/watcher-4398897-1568685610 -o /tmp/evaluation-result-4398897-1568685610/solver-4398897-1568685610 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15015 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1184732165 HOME/instance-4398897-1568685610.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20816, runsolver pid=20813
[startup+0.10008 s]*
/proc/loadavg: 8.36 8.59 8.65 7/233 20832
/proc/meminfo: memFree=30645556/32770624 swapFree=66997372/67108860
[pid=20816] ppid=20813 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20816/stat : 20816 (xcsp3-exec) S 20813 20816 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444814109 115843072 362 33554432000 4194304 5098028 140735520538688 140735520536792 140242806706812 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38469632 140735520543610 140735520543853 140735520543853 140735520546762 0
/proc/20816/statm: 28282 362 304 221 0 87 0
[pid=20818] ppid=20816 vsize=15144776 memory=29008 CPUtime=0.13 cores=1,3,5,7
/proc/20818/stat : 20818 (java) S 20816 20816 14983 0 -1 1077944320 5707 0 0 0 12 1 0 0 20 0 15 0 444814110 15508250624 7252 33554432000 4194304 4196468 140725546882336 140725546864880 139713830076151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
/proc/20818/statm: 3786194 7252 3153 1 0 3748377 0
[pid=20818/tid=20819] ppid=20816 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (java) R 20816 20816 14983 0 -1 4202560 3576 0 0 0 9 0 0 0 20 0 15 0 444814110 15508250624 7252 33554432000 4194304 4196468 140725546882336 139713834305792 139713830088086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20820] ppid=20816 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (java) S 20816 20816 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444814111 15508250624 7252 33554432000 4194304 4196468 140725546882336 139713758116752 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20821] ppid=20816 vsize=15144776 memory=140024209749632 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (java) S 20816 20816 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444814111 15508250624 7252 33554432000 4194304 4196468 140725546882336 139713757063952 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20822] ppid=20816 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20822/stat : 20822 (java) S 20816 20816 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444814111 15508250624 7252 33554432000 4194304 4196468 140725546882336 139713756011664 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20823] ppid=20816 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20823/stat : 20823 (java) S 20816 20816 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444814111 15508250624 7252 33554432000 4194304 4196468 140725546882336 139713754958864 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20824] ppid=20816 vsize=15144776 memory=140024209749632 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20824/stat : 20824 (java) S 20816 20816 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444814112 15508250624 7252 33554432000 4194304 4196468 140725546882336 139713298589808 139713830087298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20825] ppid=20816 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20825/stat : 20825 (java) S 20816 20816 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444814112 15508250624 7252 33554432000 4194304 4196468 140725546882336 139713297535776 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20826] ppid=20816 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20826/stat : 20826 (java) S 20816 20816 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444814113 15508250624 7252 33554432000 4194304 4196468 140725546882336 139713296483440 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20827] ppid=20816 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20827/stat : 20827 (java) S 20816 20816 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444814115 15508250624 7252 33554432000 4194304 4196468 140725546882336 139713295431760 139713830094747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20828] ppid=20816 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20828/stat : 20828 (java) S 20816 20816 14983 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 15 0 444814115 15508250624 7252 33554432000 4194304 4196468 140725546882336 139713294379632 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20829] ppid=20816 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20829/stat : 20829 (java) S 20816 20816 14983 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 444814115 15508250624 7252 33554432000 4194304 4196468 140725546882336 139713293326832 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20830] ppid=20816 vsize=15144776 memory=140024209749632 CPUtime=0.02 cores=1,3,5,7
/proc/20818/task/20830/stat : 20830 (java) R 20816 20816 14983 0 -1 4202560 371 0 0 0 2 0 0 0 20 0 15 0 444814115 15508250624 7252 33554432000 4194304 4196468 140725546882336 139713292272080 139713814156638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20831] ppid=20816 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20831/stat : 20831 (java) S 20816 20816 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444814115 15508250624 7252 33554432000 4194304 4196468 140725546882336 139713291221984 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20832] ppid=20816 vsize=15144776 memory=140024209749632 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20832/stat : 20832 (java) S 20816 20816 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444814115 15508250624 7252 33554432000 4194304 4196468 140725546882336 139713290168752 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30456 KiB
[startup+0.211839 s]*
/proc/loadavg: 8.36 8.59 8.65 7/233 20832
/proc/meminfo: memFree=30632560/32770624 swapFree=66997372/67108860
[pid=20816] ppid=20813 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20816/stat : 20816 (xcsp3-exec) S 20813 20816 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444814109 115843072 362 33554432000 4194304 5098028 140735520538688 140735520536792 140242806706812 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38469632 140735520543610 140735520543853 140735520543853 140735520546762 0
/proc/20816/statm: 28282 362 304 221 0 87 0
[pid=20818] ppid=20816 vsize=15144776 memory=40528 CPUtime=0.34 cores=1,3,5,7
/proc/20818/stat : 20818 (java) S 20816 20816 14983 0 -1 1077944320 9331 0 0 0 32 2 0 0 20 0 15 0 444814110 15508250624 10132 33554432000 4194304 4196468 140725546882336 140725546864880 139713830076151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
/proc/20818/statm: 3786194 10132 3312 1 0 3748377 0
[pid=20818/tid=20819] ppid=20816 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (java) R 20816 20816 14983 0 -1 4202560 6607 0 0 0 18 2 0 0 20 0 15 0 444814110 15508250624 10132 33554432000 4194304 4196468 140725546882336 139713834312848 139713830088086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20820] ppid=20816 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (java) S 20816 20816 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444814111 15508250624 10132 33554432000 4194304 4196468 140725546882336 139713758116752 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20821] ppid=20816 vsize=15144776 memory=140024213293517 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (java) S 20816 20816 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444814111 15508250624 10132 33554432000 4194304 4196468 140725546882336 139713757063952 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20822] ppid=20816 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20822/stat : 20822 (java) S 20816 20816 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444814111 15508250624 10132 33554432000 4194304 4196468 140725546882336 139713756011664 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20823] ppid=20816 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20823/stat : 20823 (java) S 20816 20816 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444814111 15508250624 10132 33554432000 4194304 4196468 140725546882336 139713754958864 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20824] ppid=20816 vsize=15144776 memory=140024209749632 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20824/stat : 20824 (java) S 20816 20816 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444814112 15508250624 10132 33554432000 4194304 4196468 140725546882336 139713298589808 139713830087298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20825] ppid=20816 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20825/stat : 20825 (java) S 20816 20816 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444814112 15508250624 10132 33554432000 4194304 4196468 140725546882336 139713297535776 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20826] ppid=20816 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20826/stat : 20826 (java) S 20816 20816 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444814113 15508250624 10132 33554432000 4194304 4196468 140725546882336 139713296483440 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20827] ppid=20816 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20827/stat : 20827 (java) S 20816 20816 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444814115 15508250624 10132 33554432000 4194304 4196468 140725546882336 139713295431760 139713830094747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20828] ppid=20816 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20818/task/20828/stat : 20828 (java) S 20816 20816 14983 0 -1 1077944384 469 0 0 0 3 0 0 0 20 0 15 0 444814115 15508250624 10132 33554432000 4194304 4196468 140725546882336 139713294379632 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20829] ppid=20816 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20818/task/20829/stat : 20829 (java) S 20816 20816 14983 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 15 0 444814115 15508250624 10132 33554432000 4194304 4196468 140725546882336 139713293326832 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20830] ppid=20816 vsize=15144776 memory=140024209749632 CPUtime=0.08 cores=1,3,5,7
/proc/20818/task/20830/stat : 20830 (java) R 20816 20816 14983 0 -1 4202560 812 0 0 0 8 0 0 0 20 0 15 0 444814115 15508250624 10132 33554432000 4194304 4196468 140725546882336 139713292274544 139713830088086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20831] ppid=20816 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20831/stat : 20831 (java) S 20816 20816 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444814115 15508250624 10132 33554432000 4194304 4196468 140725546882336 139713291221984 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20832] ppid=20816 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20832/stat : 20832 (java) S 20816 20816 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444814115 15508250624 10132 33554432000 4194304 4196468 140725546882336 139713290168752 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41976 KiB
[startup+0.317518 s]*
/proc/loadavg: 8.36 8.59 8.65 7/233 20832
/proc/meminfo: memFree=30624148/32770624 swapFree=66997372/67108860
[pid=20816] ppid=20813 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20816/stat : 20816 (xcsp3-exec) S 20813 20816 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444814109 115843072 362 33554432000 4194304 5098028 140735520538688 140735520536792 140242806706812 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38469632 140735520543610 140735520543853 140735520543853 140735520546762 0
/proc/20816/statm: 28282 362 304 221 0 87 0
[pid=20818] ppid=20816 vsize=15149032 memory=50704 CPUtime=0.54 cores=1,3,5,7
/proc/20818/stat : 20818 (java) S 20816 20816 14983 0 -1 1077944320 10935 0 0 0 50 4 0 0 20 0 15 0 444814110 15512608768 12676 33554432000 4194304 4196468 140725546882336 140725546864880 139713830076151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
/proc/20818/statm: 3787258 12676 3373 1 0 3748377 0
[pid=20818/tid=20819] ppid=20816 vsize=15149032 memory=7883960649037381690 CPUtime=0.31 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (java) R 20816 20816 14983 0 -1 4202560 7866 0 0 0 28 3 0 0 20 0 15 0 444814110 15512608768 12684 33554432000 4194304 4196468 140725546882336 139713834310960 139713814156638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20820] ppid=20816 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (java) S 20816 20816 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444814111 15512608768 12684 33554432000 4194304 4196468 140725546882336 139713758116752 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20821] ppid=20816 vsize=15149032 memory=3571281 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (java) S 20816 20816 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444814111 15512608768 12684 33554432000 4194304 4196468 140725546882336 139713757063952 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20822] ppid=20816 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20822/stat : 20822 (java) S 20816 20816 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444814111 15512608768 12684 33554432000 4194304 4196468 140725546882336 139713756011664 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20823] ppid=20816 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20823/stat : 20823 (java) S 20816 20816 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444814111 15512608768 12684 33554432000 4194304 4196468 140725546882336 139713754958864 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20824] ppid=20816 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20824/stat : 20824 (java) S 20816 20816 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444814112 15512608768 12684 33554432000 4194304 4196468 140725546882336 139713298589808 139713830087298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20825] ppid=20816 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20825/stat : 20825 (java) S 20816 20816 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444814112 15512608768 12684 33554432000 4194304 4196468 140725546882336 139713297535776 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20826] ppid=20816 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20826/stat : 20826 (java) S 20816 20816 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444814113 15512608768 12684 33554432000 4194304 4196468 140725546882336 139713296483440 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20827] ppid=20816 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20827/stat : 20827 (java) S 20816 20816 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444814115 15512608768 12684 33554432000 4194304 4196468 140725546882336 139713295431760 139713830094747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20828] ppid=20816 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/20818/task/20828/stat : 20828 (java) S 20816 20816 14983 0 -1 1077944384 524 0 0 0 5 0 0 0 20 0 15 0 444814115 15512608768 12684 33554432000 4194304 4196468 140725546882336 139713294379632 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20829] ppid=20816 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20818/task/20829/stat : 20829 (java) S 20816 20816 14983 0 -1 1077944384 272 0 0 0 4 0 0 0 20 0 15 0 444814115 15512608768 12684 33554432000 4194304 4196468 140725546882336 139713293326832 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20830] ppid=20816 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/20818/task/20830/stat : 20830 (java) S 20816 20816 14983 0 -1 1077944384 987 0 0 0 12 0 0 0 20 0 15 0 444814115 15512608768 12684 33554432000 4194304 4196468 140725546882336 139713292274544 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20831] ppid=20816 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20831/stat : 20831 (java) S 20816 20816 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444814115 15512608768 12684 33554432000 4194304 4196468 140725546882336 139713291221984 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20832] ppid=20816 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20832/stat : 20832 (java) S 20816 20816 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444814115 15512608768 12684 33554432000 4194304 4196468 140725546882336 139713290168752 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52152 KiB
[startup+0.700842 s]
/proc/loadavg: 8.36 8.59 8.65 9/233 20832
/proc/meminfo: memFree=30519020/32770624 swapFree=66997372/67108860
[pid=20816] ppid=20813 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20816/stat : 20816 (xcsp3-exec) S 20813 20816 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444814109 115843072 362 33554432000 4194304 5098028 140735520538688 140735520536792 140242806706812 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38469632 140735520543610 140735520543853 140735520543853 140735520546762 0
/proc/20816/statm: 28282 362 304 221 0 87 0
[pid=20818] ppid=20816 vsize=15151156 memory=264772 CPUtime=1.48 cores=1,3,5,7
/proc/20818/stat : 20818 (java) S 20816 20816 14983 0 -1 1077944320 13481 0 0 0 139 9 0 0 20 0 15 0 444814110 15514783744 66193 33554432000 4194304 4196468 140725546882336 140725546864880 139713830076151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
/proc/20818/statm: 3787789 66193 3449 1 0 3748889 0
[pid=20818/tid=20819] ppid=20816 vsize=15151156 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (java) R 20816 20816 14983 0 -1 4202560 8271 0 0 0 60 5 0 0 20 0 15 0 444814110 15514783744 66193 33554432000 4194304 4196468 140725546882336 139713834312864 139713427038695 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20820] ppid=20816 vsize=15151156 memory=500 CPUtime=0.01 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (java) S 20816 20816 14983 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 444814111 15514783744 66193 33554432000 4194304 4196468 140725546882336 139713758116752 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20821] ppid=20816 vsize=15151156 memory=1560 CPUtime=0.01 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (java) S 20816 20816 14983 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 15 0 444814111 15514783744 66193 33554432000 4194304 4196468 140725546882336 139713757063952 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20822] ppid=20816 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20822/stat : 20822 (java) S 20816 20816 14983 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 444814111 15514783744 66193 33554432000 4194304 4196468 140725546882336 139713756011664 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20823] ppid=20816 vsize=15151156 memory=3768 CPUtime=0.02 cores=1,3,5,7
/proc/20818/task/20823/stat : 20823 (java) S 20816 20816 14983 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 15 0 444814111 15514783744 66193 33554432000 4194304 4196468 140725546882336 139713754958864 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20824] ppid=20816 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20824/stat : 20824 (java) S 20816 20816 14983 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 444814112 15514783744 66193 33554432000 4194304 4196468 140725546882336 139713298589808 139713830087298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20825] ppid=20816 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20825/stat : 20825 (java) S 20816 20816 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444814112 15514783744 66193 33554432000 4194304 4196468 140725546882336 139713297535776 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20826] ppid=20816 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20826/stat : 20826 (java) S 20816 20816 14983 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 444814113 15514783744 66193 33554432000 4194304 4196468 140725546882336 139713296483440 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20827] ppid=20816 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20827/stat : 20827 (java) S 20816 20816 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444814115 15514783744 66193 33554432000 4194304 4196468 140725546882336 139713295431760 139713830094747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20828] ppid=20816 vsize=15151156 memory=1764 CPUtime=0.27 cores=1,3,5,7
/proc/20818/task/20828/stat : 20828 (java) R 20816 20816 14983 0 -1 4202560 1521 0 0 0 27 0 0 0 20 0 15 0 444814115 15514783744 66193 33554432000 4194304 4196468 140725546882336 139713294379632 139713813576534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20829] ppid=20816 vsize=15151156 memory=111628 CPUtime=0.22 cores=1,3,5,7
/proc/20818/task/20829/stat : 20829 (java) S 20816 20816 14983 0 -1 1077944384 772 0 0 0 22 0 0 0 20 0 15 0 444814115 15514783744 66193 33554432000 4194304 4196468 140725546882336 139713293326832 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20830] ppid=20816 vsize=15151156 memory=796 CPUtime=0.24 cores=1,3,5,7
/proc/20818/task/20830/stat : 20830 (java) S 20816 20816 14983 0 -1 1077944384 1447 0 0 0 24 0 0 0 20 0 15 0 444814115 15514783744 66193 33554432000 4194304 4196468 140725546882336 139713292274544 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20831] ppid=20816 vsize=15151156 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20831/stat : 20831 (java) S 20816 20816 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444814115 15514783744 66193 33554432000 4194304 4196468 140725546882336 139713291221984 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20832] ppid=20816 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20832/stat : 20832 (java) S 20816 20816 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444814115 15514783744 66193 33554432000 4194304 4196468 140725546882336 139713290168752 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 266220 KiB
[startup+1.50156 s]
/proc/loadavg: 8.36 8.59 8.65 9/233 20832
/proc/meminfo: memFree=30363652/32770624 swapFree=66997372/67108860
[pid=20816] ppid=20813 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20816/stat : 20816 (xcsp3-exec) S 20813 20816 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444814109 115843072 362 33554432000 4194304 5098028 140735520538688 140735520536792 140242806706812 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38469632 140735520543610 140735520543853 140735520543853 140735520546762 0
/proc/20816/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/20818/task/20821/stat : 20821 (java) S 20816 20816 14983 0 -1 1077944384 138522 0 0 0 513 110 0 0 20 0 15 0 444814111 15514783744 1489501 33554432000 4194304 4196468 140725546882336 139713757063952 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20822] ppid=20816 vsize=15151156 memory=3992 CPUtime=6.18 cores=1,3,5,7
/proc/20818/task/20822/stat : 20822 (java) S 20816 20816 14983 0 -1 1077944384 61487 0 0 0 501 117 0 0 20 0 15 0 444814111 15514783744 1489501 33554432000 4194304 4196468 140725546882336 139713756011664 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20823] ppid=20816 vsize=15151156 memory=2828 CPUtime=6.26 cores=1,3,5,7
/proc/20818/task/20823/stat : 20823 (java) S 20816 20816 14983 0 -1 1077944384 87851 0 0 0 520 106 0 0 20 0 15 0 444814111 15514783744 1489501 33554432000 4194304 4196468 140725546882336 139713754958864 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20824] ppid=20816 vsize=15151156 memory=676 CPUtime=3 cores=1,3,5,7
/proc/20818/task/20824/stat : 20824 (java) R 20816 20816 14983 0 -1 4202560 9031 0 0 0 299 1 0 0 20 0 15 0 444814112 15514783744 1489501 33554432000 4194304 4196468 140725546882336 139713298588352 139713814776919 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20825] ppid=20816 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20825/stat : 20825 (java) S 20816 20816 14983 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 444814112 15514783744 1489501 33554432000 4194304 4196468 140725546882336 139713297535840 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20826] ppid=20816 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20826/stat : 20826 (java) S 20816 20816 14983 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 444814113 15514783744 1489501 33554432000 4194304 4196468 140725546882336 139713296483456 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20827] ppid=20816 vsize=15151156 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20827/stat : 20827 (java) S 20816 20816 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444814115 15514783744 1489501 33554432000 4194304 4196468 140725546882336 139713295431760 139713830094747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20828] ppid=20816 vsize=15151156 memory=1668 CPUtime=1.04 cores=1,3,5,7
/proc/20818/task/20828/stat : 20828 (java) S 20816 20816 14983 0 -1 1077944384 4269 0 0 0 103 1 0 0 20 0 15 0 444814115 15514783744 1489501 33554432000 4194304 4196468 140725546882336 139713294379632 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20829] ppid=20816 vsize=15151156 memory=1112 CPUtime=0.89 cores=1,3,5,7
/proc/20818/task/20829/stat : 20829 (java) S 20816 20816 14983 0 -1 1077944384 3712 0 0 0 89 0 0 0 20 0 15 0 444814115 15514783744 1489501 33554432000 4194304 4196468 140725546882336 139713293326832 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20830] ppid=20816 vsize=15151156 memory=1004 CPUtime=0.42 cores=1,3,5,7
/proc/20818/task/20830/stat : 20830 (java) S 20816 20816 14983 0 -1 1077944384 3133 0 0 0 41 1 0 0 20 0 15 0 444814115 15514783744 1489501 33554432000 4194304 4196468 140725546882336 139713292274544 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20831] ppid=20816 vsize=15151156 memory=6036 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20831/stat : 20831 (java) S 20816 20816 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444814115 15514783744 1489501 33554432000 4194304 4196468 140725546882336 139713291221984 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20832] ppid=20816 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20832/stat : 20832 (java) S 20816 20816 14983 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 15 0 444814115 15514783744 1489501 33554432000 4194304 4196468 140725546882336 139713290168752 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
Current children cumulated CPU time: 43.12 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 5959452 KiB
[startup+24.0016 s]*
/proc/loadavg: 7.25 8.30 8.56 6/233 20920
/proc/meminfo: memFree=25267844/32770624 swapFree=66997372/67108860
[pid=20816] ppid=20813 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20816/stat : 20816 (xcsp3-exec) S 20813 20816 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444814109 115843072 362 33554432000 4194304 5098028 140735520538688 140735520536792 140242806706812 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38469632 140735520543610 140735520543853 140735520543853 140735520546762 0
/proc/20816/statm: 28282 362 304 221 0 87 0
[pid=20818] ppid=20816 vsize=15151156 memory=5961716 CPUtime=44.72 cores=1,3,5,7
/proc/20818/stat : 20818 (java) S 20816 20816 14983 0 -1 1077944320 407768 0 0 0 4004 468 0 0 20 0 15 0 444814110 15514783744 1490429 33554432000 4194304 4196468 140725546882336 140725546864880 139713830076151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
/proc/20818/statm: 3787789 1490429 3505 1 0 3748889 0
[pid=20818/tid=20819] ppid=20816 vsize=15151156 memory=8317482817917895235 CPUtime=12.95 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (java) R 20816 20816 14983 0 -1 4202560 16871 0 0 0 1271 24 0 0 20 0 15 0 444814110 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713834313944 139713428157997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20820] ppid=20816 vsize=15151156 memory=0 CPUtime=6.21 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (java) S 20816 20816 14983 0 -1 1077944384 77929 0 0 0 518 103 0 0 20 0 15 0 444814111 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713758116752 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20821] ppid=20816 vsize=15151156 memory=0 CPUtime=6.23 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (java) S 20816 20816 14983 0 -1 1077944384 138525 0 0 0 513 110 0 0 20 0 15 0 444814111 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713757063952 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20822] ppid=20816 vsize=15151156 memory=0 CPUtime=6.18 cores=1,3,5,7
/proc/20818/task/20822/stat : 20822 (java) S 20816 20816 14983 0 -1 1077944384 61490 0 0 0 501 117 0 0 20 0 15 0 444814111 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713756011664 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20823] ppid=20816 vsize=15151156 memory=0 CPUtime=6.26 cores=1,3,5,7
/proc/20818/task/20823/stat : 20823 (java) S 20816 20816 14983 0 -1 1077944384 87854 0 0 0 520 106 0 0 20 0 15 0 444814111 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713754958864 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20824] ppid=20816 vsize=15151156 memory=0 CPUtime=4.46 cores=1,3,5,7
/proc/20818/task/20824/stat : 20824 (java) S 20816 20816 14983 0 -1 1077944384 12244 0 0 0 445 1 0 0 20 0 15 0 444814112 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713298589808 139713830087298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20825] ppid=20816 vsize=15151156 memory=140024054742991 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20825/stat : 20825 (java) S 20816 20816 14983 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 444814112 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713297535840 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20826] ppid=20816 vsize=15151156 memory=301741403556544535 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20826/stat : 20826 (java) S 20816 20816 14983 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 444814113 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713296483456 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20827] ppid=20816 vsize=15151156 memory=3472749816902858400 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20827/stat : 20827 (java) S 20816 20816 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444814115 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713295431760 139713830094747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20828] ppid=20816 vsize=15151156 memory=0 CPUtime=1.04 cores=1,3,5,7
/proc/20818/task/20828/stat : 20828 (java) S 20816 20816 14983 0 -1 1077944384 4271 0 0 0 103 1 0 0 20 0 15 0 444814115 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713294379632 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20829] ppid=20816 vsize=15151156 memory=140024054720712 CPUtime=0.89 cores=1,3,5,7
/proc/20818/task/20829/stat : 20829 (java) S 20816 20816 14983 0 -1 1077944384 3716 0 0 0 89 0 0 0 20 0 15 0 444814115 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713293326832 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20830] ppid=20816 vsize=15151156 memory=140024054723106 CPUtime=0.42 cores=1,3,5,7
/proc/20818/task/20830/stat : 20830 (java) S 20816 20816 14983 0 -1 1077944384 3237 0 0 0 41 1 0 0 20 0 15 0 444814115 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713292274544 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20831] ppid=20816 vsize=15151156 memory=140024054725954 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20831/stat : 20831 (java) S 20816 20816 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444814115 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713291221984 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20832] ppid=20816 vsize=15151156 memory=140024054728736 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20832/stat : 20832 (java) S 20816 20816 14983 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 15 0 444814115 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713290168752 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
Current children cumulated CPU time: 44.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 5963164 KiB
[startup+24.4007 s]
/proc/loadavg: 7.25 8.30 8.56 6/233 20920
/proc/meminfo: memFree=25267844/32770624 swapFree=66997372/67108860
[pid=20816] ppid=20813 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20816/stat : 20816 (xcsp3-exec) S 20813 20816 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444814109 115843072 362 33554432000 4194304 5098028 140735520538688 140735520536792 140242806706812 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38469632 140735520543610 140735520543853 140735520543853 140735520546762 0
/proc/20816/statm: 28282 362 304 221 0 87 0
[pid=20818] ppid=20816 vsize=15151156 memory=5961716 CPUtime=45.13 cores=1,3,5,7
/proc/20818/stat : 20818 (java) S 20816 20816 14983 0 -1 1077944320 409088 0 0 0 4044 469 0 0 20 0 15 0 444814110 15514783744 1490429 33554432000 4194304 4196468 140725546882336 140725546864880 139713830076151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
/proc/20818/statm: 3787789 1490429 3505 1 0 3748889 0
[pid=20818/tid=20819] ppid=20816 vsize=15151156 memory=5958032 CPUtime=13.34 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (java) R 20816 20816 14983 0 -1 4202560 17713 0 0 0 1310 24 0 0 20 0 15 0 444814110 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713834313944 139713428157937 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20820] ppid=20816 vsize=15151156 memory=26072 CPUtime=6.21 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (java) S 20816 20816 14983 0 -1 1077944384 77929 0 0 0 518 103 0 0 20 0 15 0 444814111 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713758116752 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20821] ppid=20816 vsize=15151156 memory=12024 CPUtime=6.23 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (java) S 20816 20816 14983 0 -1 1077944384 138525 0 0 0 513 110 0 0 20 0 15 0 444814111 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713757063952 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20822] ppid=20816 vsize=15151156 memory=500 CPUtime=6.18 cores=1,3,5,7
/proc/20818/task/20822/stat : 20822 (java) S 20816 20816 14983 0 -1 1077944384 61490 0 0 0 501 117 0 0 20 0 15 0 444814111 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713756011664 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20823] ppid=20816 vsize=15151156 memory=1560 CPUtime=6.26 cores=1,3,5,7
/proc/20818/task/20823/stat : 20823 (java) S 20816 20816 14983 0 -1 1077944384 87854 0 0 0 520 106 0 0 20 0 15 0 444814111 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713754958864 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20824] ppid=20816 vsize=15151156 memory=932 CPUtime=4.46 cores=1,3,5,7
/proc/20818/task/20824/stat : 20824 (java) S 20816 20816 14983 0 -1 1077944384 12244 0 0 0 445 1 0 0 20 0 15 0 444814112 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713298589808 139713830087298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20825] ppid=20816 vsize=15151156 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20825/stat : 20825 (java) S 20816 20816 14983 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 444814112 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713297535840 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20826] ppid=20816 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20826/stat : 20826 (java) S 20816 20816 14983 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 444814113 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713296483456 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20827] ppid=20816 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20827/stat : 20827 (java) S 20816 20816 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444814115 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713295431760 139713830094747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20828] ppid=20816 vsize=15151156 memory=1436 CPUtime=1.04 cores=1,3,5,7
/proc/20818/task/20828/stat : 20828 (java) S 20816 20816 14983 0 -1 1077944384 4271 0 0 0 103 1 0 0 20 0 15 0 444814115 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713294379632 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20829] ppid=20816 vsize=15151156 memory=812 CPUtime=0.91 cores=1,3,5,7
/proc/20818/task/20829/stat : 20829 (java) S 20816 20816 14983 0 -1 1077944384 4068 0 0 0 90 1 0 0 20 0 15 0 444814115 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713293326832 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20830] ppid=20816 vsize=15151156 memory=1764 CPUtime=0.43 cores=1,3,5,7
/proc/20818/task/20830/stat : 20830 (java) S 20816 20816 14983 0 -1 1077944384 3363 0 0 0 42 1 0 0 20 0 15 0 444814115 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713292274544 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20831] ppid=20816 vsize=15151156 memory=111628 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20831/stat : 20831 (java) S 20816 20816 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444814115 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713291221984 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20832] ppid=20816 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20832/stat : 20832 (java) S 20816 20816 14983 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 15 0 444814115 15514783744 1490429 33554432000 4194304 4196468 140725546882336 139713290168752 139713830087298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
Current children cumulated CPU time: 45.13 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 5963164 KiB
[startup+24.8135 s]
/proc/loadavg: 7.25 8.30 8.56 6/233 20920
/proc/meminfo: memFree=25267844/32770624 swapFree=66997372/67108860
[pid=20816] ppid=20813 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20816/stat : 20816 (xcsp3-exec) S 20813 20816 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444814109 115843072 362 33554432000 4194304 5098028 140735520538688 140735520536792 140242806706812 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38469632 140735520543610 140735520543853 140735520543853 140735520546762 0
/proc/20816/statm: 28282 362 304 221 0 87 0
[pid=20818] ppid=20816 vsize=15417412 memory=5962600 CPUtime=45.92 cores=1,3,5,7
/proc/20818/stat : 20818 (java) S 20816 20816 14983 0 -1 1077944320 411950 0 0 0 4123 469 0 0 20 0 19 0 444814110 15787429888 1490650 33554432000 4194304 4196468 140725546882336 140725546864880 139713830076151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
/proc/20818/statm: 3854353 1490650 3506 1 0 3815453 0
[pid=20818/tid=20819] ppid=20816 vsize=15417412 memory=6791534058613427641 CPUtime=13.62 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (java) S 20816 20816 14983 0 -1 1077944384 19692 0 0 0 1338 24 0 0 20 0 19 0 444814110 15787429888 1490650 33554432000 4194304 4196468 140725546882336 139713834316928 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20820] ppid=20816 vsize=15417412 memory=1060 CPUtime=6.21 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (java) S 20816 20816 14983 0 -1 1077944384 77929 0 0 0 518 103 0 0 20 0 19 0 444814111 15787429888 1490650 33554432000 4194304 4196468 140725546882336 139713758116752 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20821] ppid=20816 vsize=15417412 memory=1548 CPUtime=6.23 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (java) S 20816 20816 14983 0 -1 1077944384 138525 0 0 0 513 110 0 0 20 0 19 0 444814111 15787429888 1490650 33554432000 4194304 4196468 140725546882336 139713757063952 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20822] ppid=20816 vsize=15417412 memory=8560 CPUtime=6.18 cores=1,3,5,7
/proc/20818/task/20822/stat : 20822 (java) S 20816 20816 14983 0 -1 1077944384 61490 0 0 0 501 117 0 0 20 0 19 0 444814111 15787429888 1490650 33554432000 4194304 4196468 140725546882336 139713756011664 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20823] ppid=20816 vsize=15417412 memory=1668 CPUtime=6.26 cores=1,3,5,7
/proc/20818/task/20823/stat : 20823 (java) S 20816 20816 14983 0 -1 1077944384 87854 0 0 0 520 106 0 0 20 0 19 0 444814111 15787429888 1490650 33554432000 4194304 4196468 140725546882336 139713754958864 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20824] ppid=20816 vsize=15417412 memory=1112 CPUtime=4.46 cores=1,3,5,7
/proc/20818/task/20824/stat : 20824 (java) S 20816 20816 14983 0 -1 1077944384 12270 0 0 0 445 1 0 0 20 0 19 0 444814112 15787429888 1490650 33554432000 4194304 4196468 140725546882336 139713298589808 139713830087298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20825] ppid=20816 vsize=15417412 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20825/stat : 20825 (java) S 20816 20816 14983 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 444814112 15787429888 1490650 33554432000 4194304 4196468 140725546882336 139713297535840 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20826] ppid=20816 vsize=15417412 memory=6036 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20826/stat : 20826 (java) S 20816 20816 14983 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 19 0 444814113 15787429888 1490650 33554432000 4194304 4196468 140725546882336 139713296483456 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20827] ppid=20816 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20827/stat : 20827 (java) S 20816 20816 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444814115 15787429888 1490650 33554432000 4194304 4196468 140725546882336 139713295431760 139713830094747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20828] ppid=20816 vsize=15417412 memory=5958032 CPUtime=1.06 cores=1,3,5,7
/proc/20818/task/20828/stat : 20828 (java) R 20816 20816 14983 0 -1 4202560 4402 0 0 0 105 1 0 0 20 0 19 0 444814115 15787429888 1490650 33554432000 4194304 4196468 140725546882336 139713294379632 139713809776448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20829] ppid=20816 vsize=15417412 memory=3028 CPUtime=0.94 cores=1,3,5,7
/proc/20818/task/20829/stat : 20829 (java) R 20816 20816 14983 0 -1 4202560 4174 0 0 0 93 1 0 0 20 0 19 0 444814115 15787429888 1490650 33554432000 4194304 4196468 140725546882336 139713293313376 139713809323823 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20830] ppid=20816 vsize=15417412 memory=2012 CPUtime=0.45 cores=1,3,5,7
/proc/20818/task/20830/stat : 20830 (java) R 20816 20816 14983 0 -1 1077944384 3695 0 0 0 44 1 0 0 20 0 19 0 444814115 15787429888 1490650 33554432000 4194304 4196468 140725546882336 139713292274544 139713830087298 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20831] ppid=20816 vsize=15417412 memory=1388 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20831/stat : 20831 (java) S 20816 20816 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444814115 15787429888 1490650 33554432000 4194304 4196468 140725546882336 139713291221984 139713830086357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
[pid=20818/tid=20832] ppid=20816 vsize=15417412 memory=776 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20832/stat : 20832 (java) R 20816 20816 14983 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 19 0 444814115 15787429888 1490650 33554432000 4194304 4196468 140725546882336 139713290168752 139713830087298 0 4 0 16800975 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 33574912 140725546886127 140725546886298 140725546886298 140725546889167 0
Current children cumulated CPU time: 45.92 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 5964048 KiB
[startup+24.903 s]
/proc/loadavg: 7.25 8.30 8.56 6/233 20920
/proc/meminfo: memFree=25267844/32770624 swapFree=66997372/67108860
[pid=20816] ppid=20813 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20816/stat : 20816 (xcsp3-exec) S 20813 20816 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444814109 115843072 362 33554432000 4194304 5098028 140735520538688 140735520536792 140242806706812 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38469632 140735520543610 140735520543853 140735520543853 140735520546762 0
/proc/20816/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 24.9073
CPU time (s): 46.134
CPU user time (s): 41.3795
CPU system time (s): 4.7545
CPU usage (%): 185.223
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 5964048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.3795
system time used= 4.7545
maximum resident set size= 5962920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 412784
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= 5953
involuntary context switches= 734
# summary of solver processes directly reported to runsolver:
# pid: 20816
# total CPU time (s): 46.134
# total CPU user time (s): 41.3795
# total CPU system time (s): 4.7545
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.171398 second user time and 0.300154 second system time
The end