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 (15054 MiB free)
memory of node 1: 16384 MiB (13984 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394224-1568326762/watcher-4394224-1568326762 -o /tmp/evaluation-result-4394224-1568326762/solver-4394224-1568326762 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25331 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 855713116 HOME/instance-4394224-1568326762.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29945, runsolver pid=29942
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 8.69 7.34 6.17 7/233 29961
/proc/meminfo: memFree=29719828/32770624 swapFree=66933604/67108860
[pid=29945] ppid=29942 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29945/stat : 29945 (xcsp3-exec) S 29942 29945 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408947690 115843072 362 33554432000 4194304 5098028 140725323956000 140725323954104 140323737277052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17440768 140725323961211 140725323961453 140725323961453 140725323964362 0
/proc/29945/statm: 28282 362 304 221 0 87 0
[pid=29947] ppid=29945 vsize=15144768 memory=28984 CPUtime=0.14 cores=0,2,4,6
/proc/29947/stat : 29947 (java) S 29945 29945 25300 0 -1 1077944320 5707 0 0 0 13 1 0 0 20 0 15 0 408947690 15508242432 7246 33554432000 4194304 4196468 140736938413616 140736938396160 139914552262391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
/proc/29947/statm: 3786192 7246 3151 1 0 3748377 0
[pid=29947/tid=29948] ppid=29945 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (java) R 29945 29945 25300 0 -1 4202560 3577 0 0 0 9 0 0 0 20 0 15 0 408947690 15508242432 7246 33554432000 4194304 4196468 140736938413616 139914556483664 139914552274326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29949] ppid=29945 vsize=15144768 memory=3472468285254366416 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (java) S 29945 29945 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408947691 15508242432 7246 33554432000 4194304 4196468 140736938413616 139914480302864 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29950] ppid=29945 vsize=15144768 memory=140156359214720 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (java) S 29945 29945 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408947691 15508242432 7246 33554432000 4194304 4196468 140736938413616 139914479250320 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29951] ppid=29945 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29951/stat : 29951 (java) S 29945 29945 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408947691 15508242432 7246 33554432000 4194304 4196468 140736938413616 139914478197776 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29952] ppid=29945 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29952/stat : 29952 (java) S 29945 29945 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408947691 15508242432 7246 33554432000 4194304 4196468 140736938413616 139914477145232 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29953] ppid=29945 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29953/stat : 29953 (java) S 29945 29945 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408947692 15508242432 7246 33554432000 4194304 4196468 140736938413616 139914020284400 139914552273538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29954] ppid=29945 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29954/stat : 29954 (java) S 29945 29945 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408947693 15508242432 7246 33554432000 4194304 4196468 140736938413616 139914019230624 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29955] ppid=29945 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29955/stat : 29955 (java) S 29945 29945 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408947693 15508242432 7246 33554432000 4194304 4196468 140736938413616 139914018178032 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29956] ppid=29945 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29956/stat : 29956 (java) S 29945 29945 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408947695 15508242432 7246 33554432000 4194304 4196468 140736938413616 139914017126608 139914552280987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29957] ppid=29945 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29957/stat : 29957 (java) S 29945 29945 25300 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 408947695 15508242432 7246 33554432000 4194304 4196468 140736938413616 139914016074224 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29958] ppid=29945 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29958/stat : 29958 (java) R 29945 29945 25300 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 408947695 15508242432 7246 33554432000 4194304 4196468 140736938413616 139914015021680 139914552273538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29959] ppid=29945 vsize=15144768 memory=140156359214720 CPUtime=0.02 cores=0,2,4,6
/proc/29947/task/29959/stat : 29959 (java) R 29945 29945 25300 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 408947695 15508242432 7246 33554432000 4194304 4196468 140736938413616 139914013969136 139914531036099 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29960] ppid=29945 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29960/stat : 29960 (java) S 29945 29945 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408947696 15508242432 7246 33554432000 4194304 4196468 140736938413616 139914012916832 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29961] ppid=29945 vsize=15144768 memory=140156359214720 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29961/stat : 29961 (java) S 29945 29945 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408947696 15508242432 7246 33554432000 4194304 4196468 140736938413616 139914011863344 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30432 KiB
[startup+0.211168 s]*
/proc/loadavg: 8.69 7.34 6.17 7/233 29961
/proc/meminfo: memFree=29706488/32770624 swapFree=66933604/67108860
[pid=29945] ppid=29942 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29945/stat : 29945 (xcsp3-exec) S 29942 29945 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408947690 115843072 362 33554432000 4194304 5098028 140725323956000 140725323954104 140323737277052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17440768 140725323961211 140725323961453 140725323961453 140725323964362 0
/proc/29945/statm: 28282 362 304 221 0 87 0
[pid=29947] ppid=29945 vsize=15144768 memory=40772 CPUtime=0.35 cores=0,2,4,6
/proc/29947/stat : 29947 (java) S 29945 29945 25300 0 -1 1077944320 9464 0 0 0 32 3 0 0 20 0 15 0 408947690 15508242432 10193 33554432000 4194304 4196468 140736938413616 140736938396160 139914552262391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
/proc/29947/statm: 3786192 10193 3295 1 0 3748377 0
[pid=29947/tid=29948] ppid=29945 vsize=15144768 memory=5855082630903857826 CPUtime=0.2 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (java) R 29945 29945 25300 0 -1 4202560 6618 0 0 0 18 2 0 0 20 0 15 0 408947690 15508242432 10193 33554432000 4194304 4196468 140736938413616 139914556497376 139914552274326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29949] ppid=29945 vsize=15144768 memory=3472468285254366416 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (java) S 29945 29945 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408947691 15508242432 10193 33554432000 4194304 4196468 140736938413616 139914480302864 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29950] ppid=29945 vsize=15144768 memory=140156359214720 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (java) S 29945 29945 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408947691 15508242432 10193 33554432000 4194304 4196468 140736938413616 139914479250320 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29951] ppid=29945 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29951/stat : 29951 (java) S 29945 29945 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408947691 15508242432 10193 33554432000 4194304 4196468 140736938413616 139914478197776 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29952] ppid=29945 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29952/stat : 29952 (java) S 29945 29945 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408947691 15508242432 10193 33554432000 4194304 4196468 140736938413616 139914477145232 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29953] ppid=29945 vsize=15144768 memory=140156359214720 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29953/stat : 29953 (java) S 29945 29945 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408947692 15508242432 10193 33554432000 4194304 4196468 140736938413616 139914020284400 139914552273538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29954] ppid=29945 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29954/stat : 29954 (java) S 29945 29945 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408947693 15508242432 10193 33554432000 4194304 4196468 140736938413616 139914019230624 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29955] ppid=29945 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29955/stat : 29955 (java) S 29945 29945 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408947693 15508242432 10193 33554432000 4194304 4196468 140736938413616 139914018178032 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29956] ppid=29945 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29956/stat : 29956 (java) S 29945 29945 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408947695 15508242432 10193 33554432000 4194304 4196468 140736938413616 139914017126608 139914552280987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29957] ppid=29945 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29947/task/29957/stat : 29957 (java) S 29945 29945 25300 0 -1 1077944384 517 0 0 0 2 0 0 0 20 0 15 0 408947695 15508242432 10193 33554432000 4194304 4196468 140736938413616 139914016074224 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29958] ppid=29945 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29947/task/29958/stat : 29958 (java) S 29945 29945 25300 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 15 0 408947695 15508242432 10193 33554432000 4194304 4196468 140736938413616 139914015021680 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29959] ppid=29945 vsize=15144768 memory=140156359214720 CPUtime=0.08 cores=0,2,4,6
/proc/29947/task/29959/stat : 29959 (java) R 29945 29945 25300 0 -1 4202560 781 0 0 0 8 0 0 0 20 0 15 0 408947695 15508242432 10193 33554432000 4194304 4196468 140736938413616 139914013969136 139914552283738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29960] ppid=29945 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29960/stat : 29960 (java) S 29945 29945 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408947696 15508242432 10193 33554432000 4194304 4196468 140736938413616 139914012916832 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29961] ppid=29945 vsize=15144768 memory=140156359214720 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29961/stat : 29961 (java) S 29945 29945 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408947696 15508242432 10193 33554432000 4194304 4196468 140736938413616 139914011863344 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42220 KiB
[startup+0.310448 s]*
/proc/loadavg: 8.69 7.34 6.17 7/233 29961
/proc/meminfo: memFree=29697988/32770624 swapFree=66933604/67108860
[pid=29945] ppid=29942 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29945/stat : 29945 (xcsp3-exec) S 29942 29945 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408947690 115843072 362 33554432000 4194304 5098028 140725323956000 140725323954104 140323737277052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17440768 140725323961211 140725323961453 140725323961453 140725323964362 0
/proc/29945/statm: 28282 362 304 221 0 87 0
[pid=29947] ppid=29945 vsize=15149024 memory=50300 CPUtime=0.53 cores=0,2,4,6
/proc/29947/stat : 29947 (java) S 29945 29945 25300 0 -1 1077944320 10940 0 0 0 50 3 0 0 20 0 15 0 408947690 15512600576 12575 33554432000 4194304 4196468 140736938413616 140736938396160 139914552262391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
/proc/29947/statm: 3787256 12575 3362 1 0 3748377 0
[pid=29947/tid=29948] ppid=29945 vsize=15149024 memory=-8540663193526752614 CPUtime=0.3 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (java) R 29945 29945 25300 0 -1 4202560 7828 0 0 0 27 3 0 0 20 0 15 0 408947690 15512600576 12575 33554432000 4194304 4196468 140736938413616 139914556499408 139914536342908 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29949] ppid=29945 vsize=15149024 memory=3472468285254366416 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (java) S 29945 29945 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408947691 15512600576 12575 33554432000 4194304 4196468 140736938413616 139914480302864 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29950] ppid=29945 vsize=15149024 memory=140156359240020 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (java) S 29945 29945 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408947691 15512600576 12575 33554432000 4194304 4196468 140736938413616 139914479250320 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29951] ppid=29945 vsize=15149024 memory=140156258620926 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29951/stat : 29951 (java) S 29945 29945 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408947691 15512600576 12575 33554432000 4194304 4196468 140736938413616 139914478197776 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29952] ppid=29945 vsize=15149024 memory=140156258597839 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29952/stat : 29952 (java) S 29945 29945 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408947691 15512600576 12575 33554432000 4194304 4196468 140736938413616 139914477145232 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29953] ppid=29945 vsize=15149024 memory=140156359240051 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29953/stat : 29953 (java) S 29945 29945 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408947692 15512600576 12575 33554432000 4194304 4196468 140736938413616 139914020284400 139914552273538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29954] ppid=29945 vsize=15149024 memory=140156258607055 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29954/stat : 29954 (java) S 29945 29945 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408947693 15512600576 12575 33554432000 4194304 4196468 140736938413616 139914019230624 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29955] ppid=29945 vsize=15149024 memory=280312517211760 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29955/stat : 29955 (java) S 29945 29945 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408947693 15512600576 12575 33554432000 4194304 4196468 140736938413616 139914018178032 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29956] ppid=29945 vsize=15149024 memory=140156258636592 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29956/stat : 29956 (java) S 29945 29945 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408947695 15512600576 12575 33554432000 4194304 4196468 140736938413616 139914017126608 139914552280987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29957] ppid=29945 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/29947/task/29957/stat : 29957 (java) S 29945 29945 25300 0 -1 1077944384 529 0 0 0 4 0 0 0 20 0 15 0 408947695 15512600576 12575 33554432000 4194304 4196468 140736938413616 139914016074224 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29958] ppid=29945 vsize=15149024 memory=2240 CPUtime=0.05 cores=0,2,4,6
/proc/29947/task/29958/stat : 29958 (java) S 29945 29945 25300 0 -1 1077944384 376 0 0 0 5 0 0 0 20 0 15 0 408947695 15512600576 12575 33554432000 4194304 4196468 140736938413616 139914015021680 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29959] ppid=29945 vsize=15149024 memory=140156359214720 CPUtime=0.12 cores=0,2,4,6
/proc/29947/task/29959/stat : 29959 (java) S 29945 29945 25300 0 -1 1077944384 901 0 0 0 12 0 0 0 20 0 15 0 408947695 15512600576 12575 33554432000 4194304 4196468 140736938413616 139914013969136 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29960] ppid=29945 vsize=15149024 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29960/stat : 29960 (java) S 29945 29945 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408947696 15512600576 12575 33554432000 4194304 4196468 140736938413616 139914012916832 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29961] ppid=29945 vsize=15149024 memory=140156359214720 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29961/stat : 29961 (java) S 29945 29945 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408947696 15512600576 12575 33554432000 4194304 4196468 140736938413616 139914011863344 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51748 KiB
[startup+0.701926 s]
/proc/loadavg: 8.69 7.34 6.17 7/233 29961
/proc/meminfo: memFree=29688460/32770624 swapFree=66933604/67108860
[pid=29945] ppid=29942 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29945/stat : 29945 (xcsp3-exec) S 29942 29945 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408947690 115843072 362 33554432000 4194304 5098028 140725323956000 140725323954104 140323737277052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17440768 140725323961211 140725323961453 140725323961453 140725323964362 0
/proc/29945/statm: 28282 362 304 221 0 87 0
[pid=29947] ppid=29945 vsize=15417404 memory=84784 CPUtime=1.6 cores=0,2,4,6
/proc/29947/stat : 29947 (java) S 29945 29945 25300 0 -1 1077944320 14951 0 0 0 155 5 0 0 20 0 19 0 408947690 15787421696 21196 33554432000 4194304 4196468 140736938413616 140736938396160 139914552262391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
/proc/29947/statm: 3854351 21196 3449 1 0 3815453 0
[pid=29947/tid=29948] ppid=29945 vsize=15417404 memory=1056 CPUtime=0.64 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (java) S 29945 29945 25300 0 -1 1077944384 9277 0 0 0 60 4 0 0 20 0 19 0 408947690 15787421696 21196 33554432000 4194304 4196468 140736938413616 139914556503168 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29949] ppid=29945 vsize=15417404 memory=744 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (java) S 29945 29945 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408947691 15787421696 21196 33554432000 4194304 4196468 140736938413616 139914480302864 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29950] ppid=29945 vsize=15417404 memory=8296 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (java) S 29945 29945 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408947691 15787421696 21196 33554432000 4194304 4196468 140736938413616 139914479250320 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29951] ppid=29945 vsize=15417404 memory=5952 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29951/stat : 29951 (java) S 29945 29945 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408947691 15787421696 21196 33554432000 4194304 4196468 140736938413616 139914478197776 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29952] ppid=29945 vsize=15417404 memory=7302135314614015842 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29952/stat : 29952 (java) S 29945 29945 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408947691 15787421696 21196 33554432000 4194304 4196468 140736938413616 139914477145232 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29953] ppid=29945 vsize=15417404 memory=6081102367496956009 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29953/stat : 29953 (java) S 29945 29945 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 408947692 15787421696 21196 33554432000 4194304 4196468 140736938413616 139914020284400 139914552273538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29954] ppid=29945 vsize=15417404 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29954/stat : 29954 (java) S 29945 29945 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408947693 15787421696 21196 33554432000 4194304 4196468 140736938413616 139914019230624 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29955] ppid=29945 vsize=15417404 memory=280312517315936 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29955/stat : 29955 (java) S 29945 29945 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408947693 15787421696 21196 33554432000 4194304 4196468 140736938413616 139914018178032 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29956] ppid=29945 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29956/stat : 29956 (java) S 29945 29945 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408947695 15787421696 21196 33554432000 4194304 4196468 140736938413616 139914017126608 139914552280987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29957] ppid=29945 vsize=15417404 memory=1124 CPUtime=0.24 cores=0,2,4,6
/proc/29947/task/29957/stat : 29957 (java) R 29945 29945 25300 0 -1 1077944384 1285 0 0 0 24 0 0 0 20 0 19 0 408947695 15787421696 21196 33554432000 4194304 4196468 140736938413616 139914016074320 139914552272597 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29958] ppid=29945 vsize=15417404 memory=14008 CPUtime=0.21 cores=0,2,4,6
/proc/29947/task/29958/stat : 29958 (java) R 29945 29945 25300 0 -1 4202560 999 0 0 0 21 0 0 0 20 0 19 0 408947695 15787421696 21196 33554432000 4194304 4196468 140736938413616 139914015008528 139914535762942 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29959] ppid=29945 vsize=15417404 memory=11928 CPUtime=0.42 cores=0,2,4,6
/proc/29947/task/29959/stat : 29959 (java) R 29945 29945 25300 0 -1 4202560 1893 0 0 0 42 0 0 0 20 0 19 0 408947695 15787421696 21196 33554432000 4194304 4196468 140736938413616 139914013965872 139914530940112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29960] ppid=29945 vsize=15417404 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29960/stat : 29960 (java) S 29945 29945 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408947696 15787421696 21196 33554432000 4194304 4196468 140736938413616 139914012916832 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29961] ppid=29945 vsize=15417404 memory=6276 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29961/stat : 29961 (java) S 29945 29945 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408947696 15787421696 21196 33554432000 4194304 4196468 140736938413616 139914011863344 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 86232 KiB
[startup+1.50143 s]
/proc/loadavg: 8.95 7.42 6.20 12/237 30013
/proc/meminfo: memFree=29566480/32770624 swapFree=66933604/67108860
[pid=29945] ppid=29942 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29945/stat : 29945 (xcsp3-exec) S 29942 29945 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408947690 115843072 362 33554432000 4194304 5098028 140725323956000 140725323954104 140323737277052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17440768 140725323961211 140725323961453 140725323961453 140725323964362 0
/proc/29945/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/29947/task/29961/stat : 29961 (java) S 29945 29945 25300 0 -1 1077944384 698 0 0 0 5 5 0 0 20 0 19 0 408947696 15994003456 195508 33554432000 4194304 4196468 140736938413616 139914011863344 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=30067] ppid=29945 vsize=15619144 memory=1412 CPUtime=28.11 cores=0,2,4,6
/proc/29947/task/30067/stat : 30067 (java) R 29945 29945 25300 0 -1 4202560 807 0 0 0 2811 0 0 0 20 0 19 0 408964993 15994003456 195508 33554432000 4194304 4196468 140736938413616 139913999732288 139914152656172 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=30068] ppid=29945 vsize=15619144 memory=6791534058613427641 CPUtime=28.02 cores=0,2,4,6
/proc/29947/task/30068/stat : 30068 (java) R 29945 29945 25300 0 -1 4202560 2953 0 0 0 2802 0 0 0 20 0 19 0 408964993 15994003456 195508 33554432000 4194304 4196468 140736938413616 139914001839112 139914153368309 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=30069] ppid=29945 vsize=15619144 memory=1332 CPUtime=28.05 cores=0,2,4,6
/proc/29947/task/30069/stat : 30069 (java) R 29945 29945 25300 0 -1 4202560 1827 0 0 0 2805 0 0 0 20 0 19 0 408964993 15994003456 195508 33554432000 4194304 4196468 140736938413616 139914000784880 139914152154257 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=30070] ppid=29945 vsize=15619144 memory=1564 CPUtime=28.05 cores=0,2,4,6
/proc/29947/task/30070/stat : 30070 (java) R 29945 29945 25300 0 -1 4202560 15823 0 0 0 2805 0 0 0 20 0 19 0 408964993 15994003456 195508 33554432000 4194304 4196468 140736938413616 139913997629840 139914152155049 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
Current children cumulated CPU time: 797.05 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 783480 KiB
[startup+203.201 s]
/proc/loadavg: 8.68 8.08 6.70 9/238 30355
/proc/meminfo: memFree=30309936/32770624 swapFree=66933608/67108860
[pid=29945] ppid=29942 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29945/stat : 29945 (xcsp3-exec) S 29942 29945 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408947690 115843072 362 33554432000 4194304 5098028 140725323956000 140725323954104 140323737277052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17440768 140725323961211 140725323961453 140725323961453 140725323964362 0
/proc/29945/statm: 28282 362 304 221 0 87 0
[pid=29947] ppid=29945 vsize=15619144 memory=781076 CPUtime=803.41 cores=0,2,4,6
/proc/29947/stat : 29947 (java) S 29945 29945 25300 0 -1 1077944320 113864 0 0 0 80286 55 0 0 20 0 19 0 408947690 15994003456 195269 33554432000 4194304 4196468 140736938413616 140736938396160 139914552262391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
/proc/29947/statm: 3904786 195269 3542 1 0 3865888 0
[pid=29947/tid=29948] ppid=29945 vsize=15619144 memory=783048 CPUtime=0.65 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (java) S 29945 29945 25300 0 -1 1077944384 9558 0 0 0 61 4 0 0 20 0 19 0 408947690 15994003456 195269 33554432000 4194304 4196468 140736938413616 139914556503168 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29949] ppid=29945 vsize=15619144 memory=3620 CPUtime=0.85 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (java) S 29945 29945 25300 0 -1 1077944384 3304 0 0 0 78 7 0 0 20 0 19 0 408947691 15994003456 195269 33554432000 4194304 4196468 140736938413616 139914480302864 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29950] ppid=29945 vsize=15619144 memory=20164 CPUtime=0.83 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (java) S 29945 29945 25300 0 -1 1077944384 2932 0 0 0 77 6 0 0 20 0 19 0 408947691 15994003456 195269 33554432000 4194304 4196468 140736938413616 139914479250320 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29951] ppid=29945 vsize=15619144 memory=6791534058613427641 CPUtime=0.83 cores=0,2,4,6
/proc/29947/task/29951/stat : 29951 (java) S 29945 29945 25300 0 -1 1077944384 5363 0 0 0 77 6 0 0 20 0 19 0 408947691 15994003456 195269 33554432000 4194304 4196468 140736938413616 139914478197776 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29952] ppid=29945 vsize=15619144 memory=782544 CPUtime=0.85 cores=0,2,4,6
/proc/29947/task/29952/stat : 29952 (java) S 29945 29945 25300 0 -1 1077944384 3370 0 0 0 78 7 0 0 20 0 19 0 408947691 15994003456 195269 33554432000 4194304 4196468 140736938413616 139914477145232 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29953] ppid=29945 vsize=15619144 memory=2596 CPUtime=0.43 cores=0,2,4,6
/proc/29947/task/29953/stat : 29953 (java) S 29945 29945 25300 0 -1 1077944384 8798 0 0 0 37 6 0 0 20 0 19 0 408947692 15994003456 195269 33554432000 4194304 4196468 140736938413616 139914020284400 139914552273538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29954] ppid=29945 vsize=15619144 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29954/stat : 29954 (java) S 29945 29945 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408947693 15994003456 195269 33554432000 4194304 4196468 140736938413616 139914019230688 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29955] ppid=29945 vsize=15619144 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29955/stat : 29955 (java) S 29945 29945 25300 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408947693 15994003456 195269 33554432000 4194304 4196468 140736938413616 139914018178048 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29956] ppid=29945 vsize=15619144 memory=3388 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29956/stat : 29956 (java) S 29945 29945 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408947695 15994003456 195269 33554432000 4194304 4196468 140736938413616 139914017126608 139914552280987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29957] ppid=29945 vsize=15619144 memory=1448 CPUtime=1.66 cores=0,2,4,6
/proc/29947/task/29957/stat : 29957 (java) S 29945 29945 25300 0 -1 1077944384 8521 0 0 0 166 0 0 0 20 0 19 0 408947695 15994003456 195269 33554432000 4194304 4196468 140736938413616 139914016074224 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29958] ppid=29945 vsize=15619144 memory=20164 CPUtime=1.91 cores=0,2,4,6
/proc/29947/task/29958/stat : 29958 (java) S 29945 29945 25300 0 -1 1077944384 10486 0 0 0 190 1 0 0 20 0 19 0 408947695 15994003456 195269 33554432000 4194304 4196468 140736938413616 139914015021680 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29959] ppid=29945 vsize=15619144 memory=984 CPUtime=0.7 cores=0,2,4,6
/proc/29947/task/29959/stat : 29959 (java) S 29945 29945 25300 0 -1 1077944384 5230 0 0 0 70 0 0 0 20 0 19 0 408947695 15994003456 195269 33554432000 4194304 4196468 140736938413616 139914013969136 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29960] ppid=29945 vsize=15619144 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29960/stat : 29960 (java) S 29945 29945 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408947696 15994003456 195269 33554432000 4194304 4196468 140736938413616 139914012916832 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29961] ppid=29945 vsize=15619144 memory=1332 CPUtime=0.1 cores=0,2,4,6
/proc/29947/task/29961/stat : 29961 (java) S 29945 29945 25300 0 -1 1077944384 706 0 0 0 5 5 0 0 20 0 19 0 408947696 15994003456 195269 33554432000 4194304 4196468 140736938413616 139914011863344 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=30067] ppid=29945 vsize=15619144 memory=1564 CPUtime=29.7 cores=0,2,4,6
/proc/29947/task/30067/stat : 30067 (java) R 29945 29945 25300 0 -1 4202560 895 0 0 0 2970 0 0 0 20 0 19 0 408964993 15994003456 195269 33554432000 4194304 4196468 140736938413616 139913999734640 139914152525378 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=30068] ppid=29945 vsize=15619144 memory=976 CPUtime=29.6 cores=0,2,4,6
/proc/29947/task/30068/stat : 30068 (java) R 29945 29945 25300 0 -1 4202560 3127 0 0 0 2960 0 0 0 20 0 19 0 408964993 15994003456 195269 33554432000 4194304 4196468 140736938413616 139914001838976 139914153171365 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=30069] ppid=29945 vsize=15619144 memory=772 CPUtime=29.63 cores=0,2,4,6
/proc/29947/task/30069/stat : 30069 (java) R 29945 29945 25300 0 -1 4202560 2049 0 0 0 2963 0 0 0 20 0 19 0 408964993 15994003456 195269 33554432000 4194304 4196468 140736938413616 139914000786568 139914153069383 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=30070] ppid=29945 vsize=15619144 memory=3932 CPUtime=29.65 cores=0,2,4,6
/proc/29947/task/30070/stat : 30070 (java) R 29945 29945 25300 0 -1 4202560 15917 0 0 0 2965 0 0 0 20 0 19 0 408964993 15994003456 195269 33554432000 4194304 4196468 140736938413616 139913997627408 139914538330516 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
Current children cumulated CPU time: 803.41 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 782524 KiB
[startup+203.601 s]
/proc/loadavg: 8.68 8.08 6.70 9/238 30355
/proc/meminfo: memFree=30309936/32770624 swapFree=66933608/67108860
[pid=29945] ppid=29942 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29945/stat : 29945 (xcsp3-exec) S 29942 29945 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408947690 115843072 362 33554432000 4194304 5098028 140725323956000 140725323954104 140323737277052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17440768 140725323961211 140725323961453 140725323961453 140725323964362 0
/proc/29945/statm: 28282 362 304 221 0 87 0
[pid=29947] ppid=29945 vsize=15619144 memory=780560 CPUtime=805 cores=0,2,4,6
/proc/29947/stat : 29947 (java) S 29945 29945 25300 0 -1 1077944320 113884 0 0 0 80445 55 0 0 20 0 19 0 408947690 15994003456 195140 33554432000 4194304 4196468 140736938413616 140736938396160 139914552262391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
/proc/29947/statm: 3904786 195140 3542 1 0 3865888 0
[pid=29947/tid=29948] ppid=29945 vsize=15619144 memory=1124 CPUtime=0.65 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (java) S 29945 29945 25300 0 -1 1077944384 9558 0 0 0 61 4 0 0 20 0 19 0 408947690 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914556503168 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29949] ppid=29945 vsize=15619144 memory=14008 CPUtime=0.85 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (java) S 29945 29945 25300 0 -1 1077944384 3307 0 0 0 78 7 0 0 20 0 19 0 408947691 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914480302864 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29950] ppid=29945 vsize=15619144 memory=11928 CPUtime=0.83 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (java) S 29945 29945 25300 0 -1 1077944384 2933 0 0 0 77 6 0 0 20 0 19 0 408947691 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914479250320 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29951] ppid=29945 vsize=15619144 memory=2124 CPUtime=0.84 cores=0,2,4,6
/proc/29947/task/29951/stat : 29951 (java) S 29945 29945 25300 0 -1 1077944384 5363 0 0 0 78 6 0 0 20 0 19 0 408947691 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914478197776 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29952] ppid=29945 vsize=15619144 memory=3620 CPUtime=0.86 cores=0,2,4,6
/proc/29947/task/29952/stat : 29952 (java) S 29945 29945 25300 0 -1 1077944384 3370 0 0 0 79 7 0 0 20 0 19 0 408947691 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914477145232 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29953] ppid=29945 vsize=15619144 memory=20164 CPUtime=0.43 cores=0,2,4,6
/proc/29947/task/29953/stat : 29953 (java) S 29945 29945 25300 0 -1 1077944384 8807 0 0 0 37 6 0 0 20 0 19 0 408947692 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914020284400 139914552273538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29954] ppid=29945 vsize=15619144 memory=984 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29954/stat : 29954 (java) S 29945 29945 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408947693 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914019230688 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29955] ppid=29945 vsize=15619144 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29955/stat : 29955 (java) S 29945 29945 25300 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408947693 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914018178048 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29956] ppid=29945 vsize=15619144 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29956/stat : 29956 (java) S 29945 29945 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408947695 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914017126608 139914552280987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29957] ppid=29945 vsize=15619144 memory=1564 CPUtime=1.66 cores=0,2,4,6
/proc/29947/task/29957/stat : 29957 (java) S 29945 29945 25300 0 -1 1077944384 8521 0 0 0 166 0 0 0 20 0 19 0 408947695 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914016074224 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29958] ppid=29945 vsize=15619144 memory=976 CPUtime=1.91 cores=0,2,4,6
/proc/29947/task/29958/stat : 29958 (java) S 29945 29945 25300 0 -1 1077944384 10486 0 0 0 190 1 0 0 20 0 19 0 408947695 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914015021680 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29959] ppid=29945 vsize=15619144 memory=33 CPUtime=0.7 cores=0,2,4,6
/proc/29947/task/29959/stat : 29959 (java) S 29945 29945 25300 0 -1 1077944384 5230 0 0 0 70 0 0 0 20 0 19 0 408947695 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914013969136 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29960] ppid=29945 vsize=15619144 memory=5932472623633298019 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29960/stat : 29960 (java) S 29945 29945 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408947696 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914012916832 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29961] ppid=29945 vsize=15619144 memory=6288 CPUtime=0.1 cores=0,2,4,6
/proc/29947/task/29961/stat : 29961 (java) S 29945 29945 25300 0 -1 1077944384 706 0 0 0 5 5 0 0 20 0 19 0 408947696 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914011863344 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=30067] ppid=29945 vsize=15619144 memory=504 CPUtime=30.1 cores=0,2,4,6
/proc/29947/task/30067/stat : 30067 (java) R 29945 29945 25300 0 -1 4202560 896 0 0 0 3010 0 0 0 20 0 19 0 408964993 15994003456 195140 33554432000 4194304 4196468 140736938413616 139913999732288 139914151724060 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=30068] ppid=29945 vsize=15619144 memory=1564 CPUtime=29.99 cores=0,2,4,6
/proc/29947/task/30068/stat : 30068 (java) R 29945 29945 25300 0 -1 4202560 3129 0 0 0 2999 0 0 0 20 0 19 0 408964993 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914001838016 139914152016044 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=30069] ppid=29945 vsize=15619144 memory=924 CPUtime=30.02 cores=0,2,4,6
/proc/29947/task/30069/stat : 30069 (java) R 29945 29945 25300 0 -1 4202560 2051 0 0 0 3002 0 0 0 20 0 19 0 408964993 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914000786568 139914153410358 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=30070] ppid=29945 vsize=15619144 memory=1420 CPUtime=30.04 cores=0,2,4,6
/proc/29947/task/30070/stat : 30070 (java) R 29945 29945 25300 0 -1 4202560 15919 0 0 0 3004 0 0 0 20 0 19 0 408964993 15994003456 195140 33554432000 4194304 4196468 140736938413616 139913997629952 139914151241292 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
Current children cumulated CPU time: 805 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 782008 KiB
[startup+204.001 s]*
/proc/loadavg: 8.68 8.08 6.70 9/238 30355
/proc/meminfo: memFree=30317940/32770624 swapFree=66933608/67108860
[pid=29945] ppid=29942 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29945/stat : 29945 (xcsp3-exec) S 29942 29945 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408947690 115843072 362 33554432000 4194304 5098028 140725323956000 140725323954104 140323737277052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17440768 140725323961211 140725323961453 140725323961453 140725323964362 0
/proc/29945/statm: 28282 362 304 221 0 87 0
[pid=29947] ppid=29945 vsize=15619144 memory=780560 CPUtime=806.62 cores=0,2,4,6
/proc/29947/stat : 29947 (java) S 29945 29945 25300 0 -1 1077944320 113934 0 0 0 80607 55 0 0 20 0 19 0 408947690 15994003456 195140 33554432000 4194304 4196468 140736938413616 140736938396160 139914552262391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
/proc/29947/statm: 3904786 195140 3542 1 0 3865888 0
[pid=29947/tid=29948] ppid=29945 vsize=15619144 memory=6791534058613427641 CPUtime=0.65 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (java) S 29945 29945 25300 0 -1 1077944384 9558 0 0 0 61 4 0 0 20 0 19 0 408947690 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914556503168 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29949] ppid=29945 vsize=15619144 memory=-7003737579269690708 CPUtime=0.86 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (java) S 29945 29945 25300 0 -1 1077944384 3316 0 0 0 79 7 0 0 20 0 19 0 408947691 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914480302864 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29950] ppid=29945 vsize=15619144 memory=2888 CPUtime=0.84 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (java) S 29945 29945 25300 0 -1 1077944384 2943 0 0 0 78 6 0 0 20 0 19 0 408947691 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914479250320 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29951] ppid=29945 vsize=15619144 memory=2596 CPUtime=0.84 cores=0,2,4,6
/proc/29947/task/29951/stat : 29951 (java) S 29945 29945 25300 0 -1 1077944384 5386 0 0 0 78 6 0 0 20 0 19 0 408947691 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914478197776 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29952] ppid=29945 vsize=15619144 memory=4096 CPUtime=0.86 cores=0,2,4,6
/proc/29947/task/29952/stat : 29952 (java) S 29945 29945 25300 0 -1 1077944384 3371 0 0 0 79 7 0 0 20 0 19 0 408947691 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914477145232 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29953] ppid=29945 vsize=15619144 memory=1412 CPUtime=0.43 cores=0,2,4,6
/proc/29947/task/29953/stat : 29953 (java) S 29945 29945 25300 0 -1 1077944384 8807 0 0 0 37 6 0 0 20 0 19 0 408947692 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914020284400 139914552273538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29954] ppid=29945 vsize=15619144 memory=3388 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29954/stat : 29954 (java) S 29945 29945 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408947693 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914019230688 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29955] ppid=29945 vsize=15619144 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29955/stat : 29955 (java) S 29945 29945 25300 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408947693 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914018178048 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29956] ppid=29945 vsize=15619144 memory=782032 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29956/stat : 29956 (java) S 29945 29945 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408947695 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914017126608 139914552280987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29957] ppid=29945 vsize=15619144 memory=1412 CPUtime=1.66 cores=0,2,4,6
/proc/29947/task/29957/stat : 29957 (java) S 29945 29945 25300 0 -1 1077944384 8521 0 0 0 166 0 0 0 20 0 19 0 408947695 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914016074224 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29958] ppid=29945 vsize=15619144 memory=2636 CPUtime=1.91 cores=0,2,4,6
/proc/29947/task/29958/stat : 29958 (java) S 29945 29945 25300 0 -1 1077944384 10486 0 0 0 190 1 0 0 20 0 19 0 408947695 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914015021680 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29959] ppid=29945 vsize=15619144 memory=772 CPUtime=0.7 cores=0,2,4,6
/proc/29947/task/29959/stat : 29959 (java) S 29945 29945 25300 0 -1 1077944384 5230 0 0 0 70 0 0 0 20 0 19 0 408947695 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914013969136 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29960] ppid=29945 vsize=15619144 memory=3932 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29960/stat : 29960 (java) S 29945 29945 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408947696 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914012916832 139914552272597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=29961] ppid=29945 vsize=15619144 memory=2832 CPUtime=0.1 cores=0,2,4,6
/proc/29947/task/29961/stat : 29961 (java) S 29945 29945 25300 0 -1 1077944384 706 0 0 0 5 5 0 0 20 0 19 0 408947696 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914011863344 139914552273538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=30067] ppid=29945 vsize=15619144 memory=1548 CPUtime=30.5 cores=0,2,4,6
/proc/29947/task/30067/stat : 30067 (java) R 29945 29945 25300 0 -1 4202560 898 0 0 0 3050 0 0 0 20 0 19 0 408964993 15994003456 195140 33554432000 4194304 4196468 140736938413616 139913999732424 139914152656001 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=30068] ppid=29945 vsize=15619144 memory=1056 CPUtime=30.38 cores=0,2,4,6
/proc/29947/task/30068/stat : 30068 (java) R 29945 29945 25300 0 -1 4202560 3131 0 0 0 3038 0 0 0 20 0 19 0 408964993 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914001838496 139914153641303 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=30069] ppid=29945 vsize=15619144 memory=744 CPUtime=30.43 cores=0,2,4,6
/proc/29947/task/30069/stat : 30069 (java) R 29945 29945 25300 0 -1 4202560 2054 0 0 0 3043 0 0 0 20 0 19 0 408964993 15994003456 195140 33554432000 4194304 4196468 140736938413616 139914000786568 139914153788129 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
[pid=29947/tid=30070] ppid=29945 vsize=15619144 memory=8296 CPUtime=30.44 cores=0,2,4,6
/proc/29947/task/30070/stat : 30070 (java) R 29945 29945 25300 0 -1 4202560 15919 0 0 0 3044 0 0 0 20 0 19 0 408964993 15994003456 195140 33554432000 4194304 4196468 140736938413616 139913997629808 139914151908884 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21909504 140736938419183 140736938419354 140736938419354 140736938422223 0
Current children cumulated CPU time: 806.62 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 782008 KiB
Child status: 0
Real time (s): 204.033
CPU time (s): 806.69
CPU user time (s): 806.127
CPU system time (s): 0.562173
CPU usage (%): 395.371
Max. virtual memory (cumulated for all children) (KiB): 15732272
Max. memory (cumulated for all children) (KiB): 1019876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 806.127
system time used= 0.562173
maximum resident set size= 1044264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115784
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22315
involuntary context switches= 18275
# summary of solver processes directly reported to runsolver:
# pid: 29945
# total CPU time (s): 806.69
# total CPU user time (s): 806.127
# total CPU system time (s): 0.562173
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32505 second user time and 2.34888 second system time
The end