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 (14812 MiB free)
memory of node 1: 16384 MiB (15488 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394162-1568326471/watcher-4394162-1568326471 -o /tmp/evaluation-result-4394162-1568326471/solver-4394162-1568326471 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1597095472 HOME/instance-4394162-1568326471.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29213, runsolver pid=29210
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 6.13 4.96 5.21 9/234 29229
/proc/meminfo: memFree=31010196/32770624 swapFree=66933604/67108860
[pid=29213] ppid=29210 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29213/stat : 29213 (xcsp3-exec) S 29210 29213 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408918582 115843072 362 33554432000 4194304 5098028 140724350448176 140724350446280 140013241463420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35434496 140724350456698 140724350456941 140724350456941 140724350459850 0
/proc/29213/statm: 28282 362 304 221 0 87 0
[pid=29215] ppid=29213 vsize=15144768 memory=30308 CPUtime=0.14 cores=1,3,5,7
/proc/29215/stat : 29215 (java) S 29213 29213 25300 0 -1 1077944320 5515 0 0 0 12 2 0 0 20 0 15 0 408918583 15508242432 7577 33554432000 4194304 4196468 140721278460960 140721278443504 140529157992183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
/proc/29215/statm: 3786192 7577 3178 1 0 3748377 0
[pid=29215/tid=29216] ppid=29213 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=1,3,5,7
/proc/29215/task/29216/stat : 29216 (java) R 29213 29213 25300 0 -1 4202560 3393 0 0 0 8 1 0 0 20 0 15 0 408918583 15508242432 7577 33554432000 4194304 4196468 140721278460960 140529162221776 140528794492929 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29217] ppid=29213 vsize=15144768 memory=3472467876889531600 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29217/stat : 29217 (java) S 29213 29213 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408918584 15508242432 7577 33554432000 4194304 4196468 140721278460960 140529116752144 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29218] ppid=29213 vsize=15144768 memory=139747994379904 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29218/stat : 29218 (java) S 29213 29213 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408918584 15508242432 7577 33554432000 4194304 4196468 140721278460960 140528749455760 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29219] ppid=29213 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29219/stat : 29219 (java) S 29213 29213 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408918584 15508242432 7577 33554432000 4194304 4196468 140721278460960 140528748403216 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29220] ppid=29213 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29220/stat : 29220 (java) S 29213 29213 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408918584 15508242432 7577 33554432000 4194304 4196468 140721278460960 140528747350672 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29221] ppid=29213 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29221/stat : 29221 (java) S 29213 29213 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408918585 15508242432 7577 33554432000 4194304 4196468 140721278460960 140528626514416 140529158003330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29222] ppid=29213 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29222/stat : 29222 (java) S 29213 29213 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408918586 15508242432 7577 33554432000 4194304 4196468 140721278460960 140528625460640 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29223] ppid=29213 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29223/stat : 29223 (java) S 29213 29213 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408918586 15508242432 7577 33554432000 4194304 4196468 140721278460960 140528624408048 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29224] ppid=29213 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29224/stat : 29224 (java) S 29213 29213 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408918588 15508242432 7577 33554432000 4194304 4196468 140721278460960 140528623356624 140529158010779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29225] ppid=29213 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29225/stat : 29225 (java) S 29213 29213 25300 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 408918588 15508242432 7577 33554432000 4194304 4196468 140721278460960 140528622303216 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29226] ppid=29213 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29226/stat : 29226 (java) S 29213 29213 25300 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 408918588 15508242432 7577 33554432000 4194304 4196468 140721278460960 140528621250672 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29227] ppid=29213 vsize=15144768 memory=139747994379904 CPUtime=0.02 cores=1,3,5,7
/proc/29215/task/29227/stat : 29227 (java) R 29213 29213 25300 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 15 0 408918588 15508242432 7577 33554432000 4194304 4196468 140721278460960 140528620195664 140529150193922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29228] ppid=29213 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29228/stat : 29228 (java) S 29213 29213 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408918588 15508242432 7577 33554432000 4194304 4196468 140721278460960 140528619145824 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29229] ppid=29213 vsize=15144768 memory=139747994379904 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29229/stat : 29229 (java) S 29213 29213 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408918589 15508242432 7577 33554432000 4194304 4196468 140721278460960 140528618093360 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31756 KiB
[startup+0.21115 s]*
/proc/loadavg: 6.13 4.96 5.21 7/234 29229
/proc/meminfo: memFree=30998204/32770624 swapFree=66933604/67108860
[pid=29213] ppid=29210 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29213/stat : 29213 (xcsp3-exec) S 29210 29213 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408918582 115843072 362 33554432000 4194304 5098028 140724350448176 140724350446280 140013241463420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35434496 140724350456698 140724350456941 140724350456941 140724350459850 0
/proc/29213/statm: 28282 362 304 221 0 87 0
[pid=29215] ppid=29213 vsize=15144768 memory=41148 CPUtime=0.34 cores=1,3,5,7
/proc/29215/stat : 29215 (java) S 29213 29213 25300 0 -1 1077944320 9017 0 0 0 31 3 0 0 20 0 15 0 408918583 15508242432 10287 33554432000 4194304 4196468 140721278460960 140721278443504 140529157992183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
/proc/29215/statm: 3786192 10287 3258 1 0 3748377 0
[pid=29215/tid=29216] ppid=29213 vsize=15144768 memory=5852835216252043682 CPUtime=0.2 cores=1,3,5,7
/proc/29215/task/29216/stat : 29216 (java) R 29213 29213 25300 0 -1 4202560 6214 0 0 0 18 2 0 0 20 0 15 0 408918583 15508242432 10287 33554432000 4194304 4196468 140721278460960 140529162227168 140529142035813 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29217] ppid=29213 vsize=15144768 memory=3472467876889531600 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29217/stat : 29217 (java) S 29213 29213 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408918584 15508242432 10287 33554432000 4194304 4196468 140721278460960 140529116752144 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29218] ppid=29213 vsize=15144768 memory=139747994379904 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29218/stat : 29218 (java) S 29213 29213 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408918584 15508242432 10287 33554432000 4194304 4196468 140721278460960 140528749455760 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29219] ppid=29213 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29219/stat : 29219 (java) S 29213 29213 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408918584 15508242432 10287 33554432000 4194304 4196468 140721278460960 140528748403216 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29220] ppid=29213 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29220/stat : 29220 (java) S 29213 29213 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408918584 15508242432 10287 33554432000 4194304 4196468 140721278460960 140528747350672 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29221] ppid=29213 vsize=15144768 memory=139747994379904 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29221/stat : 29221 (java) S 29213 29213 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408918585 15508242432 10287 33554432000 4194304 4196468 140721278460960 140528626514416 140529158003330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29222] ppid=29213 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29222/stat : 29222 (java) S 29213 29213 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408918586 15508242432 10287 33554432000 4194304 4196468 140721278460960 140528625460640 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29223] ppid=29213 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29223/stat : 29223 (java) S 29213 29213 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408918586 15508242432 10287 33554432000 4194304 4196468 140721278460960 140528624408048 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29224] ppid=29213 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29224/stat : 29224 (java) S 29213 29213 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408918588 15508242432 10287 33554432000 4194304 4196468 140721278460960 140528623356624 140529158010779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29225] ppid=29213 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29215/task/29225/stat : 29225 (java) S 29213 29213 25300 0 -1 1077944384 488 0 0 0 2 0 0 0 20 0 15 0 408918588 15508242432 10287 33554432000 4194304 4196468 140721278460960 140528622303216 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29226] ppid=29213 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29215/task/29226/stat : 29226 (java) S 29213 29213 25300 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 408918588 15508242432 10287 33554432000 4194304 4196468 140721278460960 140528621250672 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29227] ppid=29213 vsize=15144768 memory=139747994379904 CPUtime=0.08 cores=1,3,5,7
/proc/29215/task/29227/stat : 29227 (java) S 29213 29213 25300 0 -1 1077944384 753 0 0 0 8 0 0 0 20 0 15 0 408918588 15508242432 10287 33554432000 4194304 4196468 140721278460960 140528620198128 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29228] ppid=29213 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29228/stat : 29228 (java) S 29213 29213 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408918588 15508242432 10287 33554432000 4194304 4196468 140721278460960 140528619145824 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29229] ppid=29213 vsize=15144768 memory=139747994379904 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29229/stat : 29229 (java) S 29213 29213 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408918589 15508242432 10287 33554432000 4194304 4196468 140721278460960 140528618093360 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42596 KiB
[startup+0.318569 s]*
/proc/loadavg: 6.13 4.96 5.21 6/234 29229
/proc/meminfo: memFree=30990912/32770624 swapFree=66933604/67108860
[pid=29213] ppid=29210 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29213/stat : 29213 (xcsp3-exec) S 29210 29213 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408918582 115843072 362 33554432000 4194304 5098028 140724350448176 140724350446280 140013241463420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35434496 140724350456698 140724350456941 140724350456941 140724350459850 0
/proc/29213/statm: 28282 362 304 221 0 87 0
[pid=29215] ppid=29213 vsize=15149024 memory=50808 CPUtime=0.53 cores=1,3,5,7
/proc/29215/stat : 29215 (java) S 29213 29213 25300 0 -1 1077944320 10495 0 0 0 49 4 0 0 20 0 15 0 408918583 15512600576 12702 33554432000 4194304 4196468 140721278460960 140721278443504 140529157992183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
/proc/29215/statm: 3787256 12702 3366 1 0 3748377 0
[pid=29215/tid=29216] ppid=29213 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=1,3,5,7
/proc/29215/task/29216/stat : 29216 (java) R 29213 29213 25300 0 -1 4202560 7473 0 0 0 27 3 0 0 20 0 15 0 408918583 15512600576 12702 33554432000 4194304 4196468 140721278460960 140529162226240 140529142072700 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29217] ppid=29213 vsize=15149024 memory=3472467876889531600 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29217/stat : 29217 (java) S 29213 29213 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408918584 15512600576 12702 33554432000 4194304 4196468 140721278460960 140529116752144 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29218] ppid=29213 vsize=15149024 memory=139747994379904 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29218/stat : 29218 (java) S 29213 29213 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408918584 15512600576 12702 33554432000 4194304 4196468 140721278460960 140528749455760 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29219] ppid=29213 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29219/stat : 29219 (java) S 29213 29213 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408918584 15512600576 12702 33554432000 4194304 4196468 140721278460960 140528748403216 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29220] ppid=29213 vsize=15149024 memory=139747834079263 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29220/stat : 29220 (java) S 29213 29213 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408918584 15512600576 12702 33554432000 4194304 4196468 140721278460960 140528747350672 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29221] ppid=29213 vsize=15149024 memory=279495668137760 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29221/stat : 29221 (java) S 29213 29213 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408918585 15512600576 12702 33554432000 4194304 4196468 140721278460960 140528626514416 140529158003330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29222] ppid=29213 vsize=15149024 memory=139747834056207 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29222/stat : 29222 (java) S 29213 29213 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408918586 15512600576 12702 33554432000 4194304 4196468 140721278460960 140528625460640 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29223] ppid=29213 vsize=15149024 memory=279495828445280 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29223/stat : 29223 (java) S 29213 29213 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408918586 15512600576 12702 33554432000 4194304 4196468 140721278460960 140528624408048 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29224] ppid=29213 vsize=15149024 memory=139747834060815 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29224/stat : 29224 (java) S 29213 29213 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408918588 15512600576 12702 33554432000 4194304 4196468 140721278460960 140528623356624 140529158010779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29225] ppid=29213 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/29215/task/29225/stat : 29225 (java) S 29213 29213 25300 0 -1 1077944384 613 0 0 0 5 0 0 0 20 0 15 0 408918588 15512600576 12702 33554432000 4194304 4196468 140721278460960 140528622303216 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29226] ppid=29213 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/29215/task/29226/stat : 29226 (java) S 29213 29213 25300 0 -1 1077944384 274 0 0 0 4 0 0 0 20 0 15 0 408918588 15512600576 12702 33554432000 4194304 4196468 140721278460960 140528621250672 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29227] ppid=29213 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/29215/task/29227/stat : 29227 (java) R 29213 29213 25300 0 -1 4202560 832 0 0 0 12 0 0 0 20 0 15 0 408918588 15512600576 12702 33554432000 4194304 4196468 140721278460960 140528620198128 140529137341938 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29228] ppid=29213 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29228/stat : 29228 (java) S 29213 29213 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408918588 15512600576 12702 33554432000 4194304 4196468 140721278460960 140528619145824 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29229] ppid=29213 vsize=15149024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29229/stat : 29229 (java) S 29213 29213 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408918589 15512600576 12702 33554432000 4194304 4196468 140721278460960 140528618093360 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52256 KiB
[startup+0.701556 s]
/proc/loadavg: 6.13 4.96 5.21 8/234 29229
/proc/meminfo: memFree=30979528/32770624 swapFree=66933604/67108860
[pid=29213] ppid=29210 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29213/stat : 29213 (xcsp3-exec) S 29210 29213 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408918582 115843072 362 33554432000 4194304 5098028 140724350448176 140724350446280 140013241463420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35434496 140724350456698 140724350456941 140724350456941 140724350459850 0
/proc/29213/statm: 28282 362 304 221 0 87 0
[pid=29215] ppid=29213 vsize=15483968 memory=116344 CPUtime=1.6 cores=1,3,5,7
/proc/29215/stat : 29215 (java) S 29213 29213 25300 0 -1 1077944320 14435 0 0 0 153 7 0 0 20 0 20 0 408918583 15855583232 29086 33554432000 4194304 4196468 140721278460960 140721278443504 140529157992183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
/proc/29215/statm: 3870992 29086 3454 1 0 3832094 0
[pid=29215/tid=29216] ppid=29213 vsize=15483968 memory=56 CPUtime=0.62 cores=1,3,5,7
/proc/29215/task/29216/stat : 29216 (java) S 29213 29213 25300 0 -1 1077944384 8850 0 0 0 58 4 0 0 20 0 20 0 408918583 15855583232 29086 33554432000 4194304 4196468 140721278460960 140529162232960 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29217] ppid=29213 vsize=15483968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29217/stat : 29217 (java) S 29213 29213 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 408918584 15855583232 29086 33554432000 4194304 4196468 140721278460960 140529116752144 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29218] ppid=29213 vsize=15483968 memory=8458433173657302581 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29218/stat : 29218 (java) S 29213 29213 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 408918584 15855583232 29086 33554432000 4194304 4196468 140721278460960 140528749455760 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29219] ppid=29213 vsize=15483968 memory=5787220424116429667 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29219/stat : 29219 (java) S 29213 29213 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 408918584 15855583232 29086 33554432000 4194304 4196468 140721278460960 140528748403216 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29220] ppid=29213 vsize=15483968 memory=5865491479076426066 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29220/stat : 29220 (java) S 29213 29213 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 408918584 15855583232 29086 33554432000 4194304 4196468 140721278460960 140528747350672 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29221] ppid=29213 vsize=15483968 memory=3470692292451393600 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29221/stat : 29221 (java) S 29213 29213 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 408918585 15855583232 29086 33554432000 4194304 4196468 140721278460960 140528626514416 140529158003330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29222] ppid=29213 vsize=15483968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29222/stat : 29222 (java) S 29213 29213 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 408918586 15855583232 29086 33554432000 4194304 4196468 140721278460960 140528625460640 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29223] ppid=29213 vsize=15483968 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29223/stat : 29223 (java) S 29213 29213 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 408918586 15855583232 29086 33554432000 4194304 4196468 140721278460960 140528624408048 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29224] ppid=29213 vsize=15483968 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29224/stat : 29224 (java) S 29213 29213 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 408918588 15855583232 29086 33554432000 4194304 4196468 140721278460960 140528623356624 140529158010779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29225] ppid=29213 vsize=15483968 memory=744 CPUtime=0.2 cores=1,3,5,7
/proc/29215/task/29225/stat : 29225 (java) R 29213 29213 25300 0 -1 4202560 1138 0 0 0 20 0 0 0 20 0 20 0 408918588 15855583232 29086 33554432000 4194304 4196468 140721278460960 140528622283872 140529137204951 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29226] ppid=29213 vsize=15483968 memory=8296 CPUtime=0.23 cores=1,3,5,7
/proc/29215/task/29226/stat : 29226 (java) R 29213 29213 25300 0 -1 4202560 989 0 0 0 23 0 0 0 20 0 20 0 408918588 15855583232 29086 33554432000 4194304 4196468 140721278460960 140528621250672 140529151089019 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29227] ppid=29213 vsize=15483968 memory=5952 CPUtime=0.41 cores=1,3,5,7
/proc/29215/task/29227/stat : 29227 (java) S 29213 29213 25300 0 -1 1077944384 1652 0 0 0 41 0 0 0 20 0 20 0 408918588 15855583232 29086 33554432000 4194304 4196468 140721278460960 140528620195920 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29228] ppid=29213 vsize=15483968 memory=1124 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29228/stat : 29228 (java) S 29213 29213 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 408918588 15855583232 29086 33554432000 4194304 4196468 140721278460960 140528619145824 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29229] ppid=29213 vsize=15483968 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29229/stat : 29229 (java) S 29213 29213 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 408918589 15855583232 29086 33554432000 4194304 4196468 140721278460960 140528618093360 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 117792 KiB
[startup+1.50756 s]
/proc/loadavg: 6.13 4.96 5.21 12/238 29281
/proc/meminfo: memFree=30865916/32770624 swapFree=66933604/67108860
[pid=29213] ppid=29210 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29213/stat : 29213 (xcsp3-exec) S 29210 29213 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408918582 115843072 362 33554432000 4194304 5098028 140724350448176 140724350446280 140013241463420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35434496 140724350456698 140724350456941 140724350456941 140724350459850 0
/proc/29213/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/29215/task/29229/stat : 29229 (java) S 29213 29213 25300 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 19 0 408918589 15856635904 46911 33554432000 4194304 4196468 140721278460960 140528618093360 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29294] ppid=29213 vsize=15484996 memory=-7023579799431922829 CPUtime=11.28 cores=1,3,5,7
/proc/29215/task/29294/stat : 29294 (java) R 29213 29213 25300 0 -1 4202560 234 0 0 0 1127 1 0 0 20 0 19 0 408918858 15856635904 46911 33554432000 4194304 4196468 140721278460960 140528607828928 140528800683175 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29295] ppid=29213 vsize=15484996 memory=-8412652152092201843 CPUtime=11.29 cores=1,3,5,7
/proc/29215/task/29295/stat : 29295 (java) R 29213 29213 25300 0 -1 4202560 895 0 0 0 1129 0 0 0 20 0 19 0 408918858 15856635904 46911 33554432000 4194304 4196468 140721278460960 140528608883640 140528801286102 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29296] ppid=29213 vsize=15484996 memory=976 CPUtime=11.26 cores=1,3,5,7
/proc/29215/task/29296/stat : 29296 (java) R 29213 29213 25300 0 -1 4202560 355 0 0 0 1126 0 0 0 20 0 19 0 408918858 15856635904 46911 33554432000 4194304 4196468 140721278460960 140528605725752 140528799631338 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29297] ppid=29213 vsize=15484996 memory=772 CPUtime=11.42 cores=1,3,5,7
/proc/29215/task/29297/stat : 29297 (java) R 29213 29213 25300 0 -1 4202560 674 0 0 0 1142 0 0 0 20 0 19 0 408918858 15856635904 46911 33554432000 4194304 4196468 140721278460960 140528603620864 140528799810508 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
Current children cumulated CPU time: 55.89 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 189092 KiB
[startup+15.2016 s]
/proc/loadavg: 6.61 5.12 5.26 9/238 29297
/proc/meminfo: memFree=30855992/32770624 swapFree=66933604/67108860
[pid=29213] ppid=29210 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29213/stat : 29213 (xcsp3-exec) S 29210 29213 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408918582 115843072 362 33554432000 4194304 5098028 140724350448176 140724350446280 140013241463420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35434496 140724350456698 140724350456941 140724350456941 140724350459850 0
/proc/29213/statm: 28282 362 304 221 0 87 0
[pid=29215] ppid=29213 vsize=15484996 memory=183540 CPUtime=59.06 cores=1,3,5,7
/proc/29215/stat : 29215 (java) S 29213 29213 25300 0 -1 1077944320 33742 0 0 0 5894 12 0 0 20 0 19 0 408918583 15856635904 45885 33554432000 4194304 4196468 140721278460960 140721278443504 140529157992183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
/proc/29215/statm: 3871249 45885 3518 1 0 3832351 0
[pid=29215/tid=29216] ppid=29213 vsize=15484996 memory=976 CPUtime=0.62 cores=1,3,5,7
/proc/29215/task/29216/stat : 29216 (java) S 29213 29213 25300 0 -1 1077944384 8851 0 0 0 58 4 0 0 20 0 19 0 408918583 15856635904 45885 33554432000 4194304 4196468 140721278460960 140529162232960 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29217] ppid=29213 vsize=15484996 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/29215/task/29217/stat : 29217 (java) S 29213 29213 25300 0 -1 1077944384 192 0 0 0 2 0 0 0 20 0 19 0 408918584 15856635904 45885 33554432000 4194304 4196468 140721278460960 140529116752144 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29218] ppid=29213 vsize=15484996 memory=187644 CPUtime=0.02 cores=1,3,5,7
/proc/29215/task/29218/stat : 29218 (java) S 29213 29213 25300 0 -1 1077944384 954 0 0 0 2 0 0 0 20 0 19 0 408918584 15856635904 45885 33554432000 4194304 4196468 140721278460960 140528749455760 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29219] ppid=29213 vsize=15484996 memory=1548 CPUtime=0.02 cores=1,3,5,7
/proc/29215/task/29219/stat : 29219 (java) S 29213 29213 25300 0 -1 1077944384 741 0 0 0 2 0 0 0 20 0 19 0 408918584 15856635904 45885 33554432000 4194304 4196468 140721278460960 140528748403216 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29220] ppid=29213 vsize=15484996 memory=1056 CPUtime=0.02 cores=1,3,5,7
/proc/29215/task/29220/stat : 29220 (java) S 29213 29213 25300 0 -1 1077944384 209 0 0 0 2 0 0 0 20 0 19 0 408918584 15856635904 45885 33554432000 4194304 4196468 140721278460960 140528747350672 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29221] ppid=29213 vsize=15484996 memory=744 CPUtime=0.01 cores=1,3,5,7
/proc/29215/task/29221/stat : 29221 (java) S 29213 29213 25300 0 -1 1077944384 1056 0 0 0 1 0 0 0 20 0 19 0 408918585 15856635904 45885 33554432000 4194304 4196468 140721278460960 140528626514416 140529158003330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29222] ppid=29213 vsize=15484996 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29222/stat : 29222 (java) S 29213 29213 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408918586 15856635904 45885 33554432000 4194304 4196468 140721278460960 140528625460704 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29223] ppid=29213 vsize=15484996 memory=5952 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29223/stat : 29223 (java) S 29213 29213 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408918586 15856635904 45885 33554432000 4194304 4196468 140721278460960 140528624408064 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29224] ppid=29213 vsize=15484996 memory=1124 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29224/stat : 29224 (java) S 29213 29213 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408918588 15856635904 45885 33554432000 4194304 4196468 140721278460960 140528623356624 140529158010779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29225] ppid=29213 vsize=15484996 memory=14008 CPUtime=1.57 cores=1,3,5,7
/proc/29215/task/29225/stat : 29225 (java) S 29213 29213 25300 0 -1 1077944384 7989 0 0 0 156 1 0 0 20 0 19 0 408918588 15856635904 45885 33554432000 4194304 4196468 140721278460960 140528622303216 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29226] ppid=29213 vsize=15484996 memory=11928 CPUtime=1.37 cores=1,3,5,7
/proc/29215/task/29226/stat : 29226 (java) S 29213 29213 25300 0 -1 1077944384 4960 0 0 0 137 0 0 0 20 0 19 0 408918588 15856635904 45885 33554432000 4194304 4196468 140721278460960 140528621250672 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29227] ppid=29213 vsize=15484996 memory=2124 CPUtime=0.58 cores=1,3,5,7
/proc/29215/task/29227/stat : 29227 (java) S 29213 29213 25300 0 -1 1077944384 3679 0 0 0 58 0 0 0 20 0 19 0 408918588 15856635904 45885 33554432000 4194304 4196468 140721278460960 140528620198128 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29228] ppid=29213 vsize=15484996 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29228/stat : 29228 (java) S 29213 29213 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408918588 15856635904 45885 33554432000 4194304 4196468 140721278460960 140528619145824 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29229] ppid=29213 vsize=15484996 memory=504 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29229/stat : 29229 (java) S 29213 29213 25300 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 19 0 408918589 15856635904 45885 33554432000 4194304 4196468 140721278460960 140528618093360 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29294] ppid=29213 vsize=15484996 memory=1564 CPUtime=12.04 cores=1,3,5,7
/proc/29215/task/29294/stat : 29294 (java) R 29213 29213 25300 0 -1 4202560 234 0 0 0 1203 1 0 0 20 0 19 0 408918858 15856635904 45885 33554432000 4194304 4196468 140721278460960 140528607829456 140528799452621 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29295] ppid=29213 vsize=15484996 memory=1448 CPUtime=12.08 cores=1,3,5,7
/proc/29215/task/29295/stat : 29295 (java) R 29213 29213 25300 0 -1 4202560 896 0 0 0 1208 0 0 0 20 0 19 0 408918858 15856635904 45885 33554432000 4194304 4196468 140721278460960 140528608883080 140528799452704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29296] ppid=29213 vsize=15484996 memory=185008 CPUtime=12.06 cores=1,3,5,7
/proc/29215/task/29296/stat : 29296 (java) R 29213 29213 25300 0 -1 4202560 356 0 0 0 1206 0 0 0 20 0 19 0 408918858 15856635904 45885 33554432000 4194304 4196468 140721278460960 140528605725752 140528799451809 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29297] ppid=29213 vsize=15484996 memory=2832 CPUtime=12.21 cores=1,3,5,7
/proc/29215/task/29297/stat : 29297 (java) R 29213 29213 25300 0 -1 4202560 675 0 0 0 1221 0 0 0 20 0 19 0 408918858 15856635904 45885 33554432000 4194304 4196468 140721278460960 140528603620896 140528799810549 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
Current children cumulated CPU time: 59.06 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 184988 KiB
[startup+15.6016 s]
/proc/loadavg: 6.61 5.12 5.26 9/238 29297
/proc/meminfo: memFree=30855992/32770624 swapFree=66933604/67108860
[pid=29213] ppid=29210 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29213/stat : 29213 (xcsp3-exec) S 29210 29213 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408918582 115843072 362 33554432000 4194304 5098028 140724350448176 140724350446280 140013241463420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35434496 140724350456698 140724350456941 140724350456941 140724350459850 0
/proc/29213/statm: 28282 362 304 221 0 87 0
[pid=29215] ppid=29213 vsize=15484996 memory=180312 CPUtime=60.65 cores=1,3,5,7
/proc/29215/stat : 29215 (java) S 29213 29213 25300 0 -1 1077944320 33792 0 0 0 6053 12 0 0 20 0 19 0 408918583 15856635904 45078 33554432000 4194304 4196468 140721278460960 140721278443504 140529157992183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
/proc/29215/statm: 3871249 45078 3518 1 0 3832351 0
[pid=29215/tid=29216] ppid=29213 vsize=15484996 memory=2032 CPUtime=0.62 cores=1,3,5,7
/proc/29215/task/29216/stat : 29216 (java) S 29213 29213 25300 0 -1 1077944384 8851 0 0 0 58 4 0 0 20 0 19 0 408918583 15856635904 45078 33554432000 4194304 4196468 140721278460960 140529162232960 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29217] ppid=29213 vsize=15484996 memory=1332 CPUtime=0.02 cores=1,3,5,7
/proc/29215/task/29217/stat : 29217 (java) S 29213 29213 25300 0 -1 1077944384 193 0 0 0 2 0 0 0 20 0 19 0 408918584 15856635904 45078 33554432000 4194304 4196468 140721278460960 140529116752144 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29218] ppid=29213 vsize=15484996 memory=1564 CPUtime=0.02 cores=1,3,5,7
/proc/29215/task/29218/stat : 29218 (java) S 29213 29213 25300 0 -1 1077944384 954 0 0 0 2 0 0 0 20 0 19 0 408918584 15856635904 45078 33554432000 4194304 4196468 140721278460960 140528749455760 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29219] ppid=29213 vsize=15484996 memory=976 CPUtime=0.02 cores=1,3,5,7
/proc/29215/task/29219/stat : 29219 (java) S 29213 29213 25300 0 -1 1077944384 742 0 0 0 2 0 0 0 20 0 19 0 408918584 15856635904 45078 33554432000 4194304 4196468 140721278460960 140528748403216 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29220] ppid=29213 vsize=15484996 memory=772 CPUtime=0.02 cores=1,3,5,7
/proc/29215/task/29220/stat : 29220 (java) S 29213 29213 25300 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 19 0 408918584 15856635904 45078 33554432000 4194304 4196468 140721278460960 140528747350672 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29221] ppid=29213 vsize=15484996 memory=3932 CPUtime=0.01 cores=1,3,5,7
/proc/29215/task/29221/stat : 29221 (java) S 29213 29213 25300 0 -1 1077944384 1057 0 0 0 1 0 0 0 20 0 19 0 408918585 15856635904 45078 33554432000 4194304 4196468 140721278460960 140528626514416 140529158003330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29222] ppid=29213 vsize=15484996 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29222/stat : 29222 (java) S 29213 29213 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408918586 15856635904 45078 33554432000 4194304 4196468 140721278460960 140528625460704 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29223] ppid=29213 vsize=15484996 memory=2321 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29223/stat : 29223 (java) S 29213 29213 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408918586 15856635904 45078 33554432000 4194304 4196468 140721278460960 140528624408064 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29224] ppid=29213 vsize=15484996 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29224/stat : 29224 (java) S 29213 29213 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408918588 15856635904 45078 33554432000 4194304 4196468 140721278460960 140528623356624 140529158010779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29225] ppid=29213 vsize=15484996 memory=924 CPUtime=1.58 cores=1,3,5,7
/proc/29215/task/29225/stat : 29225 (java) S 29213 29213 25300 0 -1 1077944384 8019 0 0 0 157 1 0 0 20 0 19 0 408918588 15856635904 45078 33554432000 4194304 4196468 140721278460960 140528622303216 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29226] ppid=29213 vsize=15484996 memory=1420 CPUtime=1.37 cores=1,3,5,7
/proc/29215/task/29226/stat : 29226 (java) S 29213 29213 25300 0 -1 1077944384 4960 0 0 0 137 0 0 0 20 0 19 0 408918588 15856635904 45078 33554432000 4194304 4196468 140721278460960 140528621250672 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29227] ppid=29213 vsize=15484996 memory=1984 CPUtime=0.58 cores=1,3,5,7
/proc/29215/task/29227/stat : 29227 (java) S 29213 29213 25300 0 -1 1077944384 3679 0 0 0 58 0 0 0 20 0 19 0 408918588 15856635904 45078 33554432000 4194304 4196468 140721278460960 140528620198128 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29228] ppid=29213 vsize=15484996 memory=2532 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29228/stat : 29228 (java) S 29213 29213 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408918588 15856635904 45078 33554432000 4194304 4196468 140721278460960 140528619145824 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29229] ppid=29213 vsize=15484996 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29229/stat : 29229 (java) S 29213 29213 25300 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 19 0 408918589 15856635904 45078 33554432000 4194304 4196468 140721278460960 140528618093360 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29294] ppid=29213 vsize=15484996 memory=808 CPUtime=12.44 cores=1,3,5,7
/proc/29215/task/29294/stat : 29294 (java) R 29213 29213 25300 0 -1 4202560 234 0 0 0 1243 1 0 0 20 0 19 0 408918858 15856635904 45078 33554432000 4194304 4196468 140721278460960 140528607829440 140528799631436 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29295] ppid=29213 vsize=15484996 memory=1772 CPUtime=12.47 cores=1,3,5,7
/proc/29215/task/29295/stat : 29295 (java) R 29213 29213 25300 0 -1 4202560 901 0 0 0 1247 0 0 0 20 0 19 0 408918858 15856635904 45078 33554432000 4194304 4196468 140721278460960 140528608885024 140528800178248 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29296] ppid=29213 vsize=15484996 memory=111632 CPUtime=12.46 cores=1,3,5,7
/proc/29215/task/29296/stat : 29296 (java) R 29213 29213 25300 0 -1 4202560 356 0 0 0 1246 0 0 0 20 0 19 0 408918858 15856635904 45078 33554432000 4194304 4196468 140721278460960 140528605725752 140528799265698 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29297] ppid=29213 vsize=15484996 memory=804 CPUtime=12.61 cores=1,3,5,7
/proc/29215/task/29297/stat : 29297 (java) R 29213 29213 25300 0 -1 4202560 679 0 0 0 1261 0 0 0 20 0 19 0 408918858 15856635904 45078 33554432000 4194304 4196468 140721278460960 140528603619048 140528799265230 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
Current children cumulated CPU time: 60.65 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 181760 KiB
[startup+16.0016 s]*
/proc/loadavg: 6.61 5.12 5.26 9/238 29297
/proc/meminfo: memFree=30862752/32770624 swapFree=66933604/67108860
[pid=29213] ppid=29210 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29213/stat : 29213 (xcsp3-exec) S 29210 29213 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408918582 115843072 362 33554432000 4194304 5098028 140724350448176 140724350446280 140013241463420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35434496 140724350456698 140724350456941 140724350456941 140724350459850 0
/proc/29213/statm: 28282 362 304 221 0 87 0
[pid=29215] ppid=29213 vsize=15484996 memory=176724 CPUtime=62.27 cores=1,3,5,7
/proc/29215/stat : 29215 (java) S 29213 29213 25300 0 -1 1077944320 33843 0 0 0 6215 12 0 0 20 0 19 0 408918583 15856635904 44181 33554432000 4194304 4196468 140721278460960 140721278443504 140529157992183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
/proc/29215/statm: 3871249 44181 3518 1 0 3832351 0
[pid=29215/tid=29216] ppid=29213 vsize=15484996 memory=6791534058613427641 CPUtime=0.62 cores=1,3,5,7
/proc/29215/task/29216/stat : 29216 (java) S 29213 29213 25300 0 -1 1077944384 8851 0 0 0 58 4 0 0 20 0 19 0 408918583 15856635904 44181 33554432000 4194304 4196468 140721278460960 140529162232960 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29217] ppid=29213 vsize=15484996 memory=-7003737579269690708 CPUtime=0.02 cores=1,3,5,7
/proc/29215/task/29217/stat : 29217 (java) S 29213 29213 25300 0 -1 1077944384 193 0 0 0 2 0 0 0 20 0 19 0 408918584 15856635904 44181 33554432000 4194304 4196468 140721278460960 140529116752144 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29218] ppid=29213 vsize=15484996 memory=1056 CPUtime=0.02 cores=1,3,5,7
/proc/29215/task/29218/stat : 29218 (java) S 29213 29213 25300 0 -1 1077944384 954 0 0 0 2 0 0 0 20 0 19 0 408918584 15856635904 44181 33554432000 4194304 4196468 140721278460960 140528749455760 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29219] ppid=29213 vsize=15484996 memory=744 CPUtime=0.02 cores=1,3,5,7
/proc/29215/task/29219/stat : 29219 (java) S 29213 29213 25300 0 -1 1077944384 746 0 0 0 2 0 0 0 20 0 19 0 408918584 15856635904 44181 33554432000 4194304 4196468 140721278460960 140528748403216 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29220] ppid=29213 vsize=15484996 memory=8296 CPUtime=0.02 cores=1,3,5,7
/proc/29215/task/29220/stat : 29220 (java) S 29213 29213 25300 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 19 0 408918584 15856635904 44181 33554432000 4194304 4196468 140721278460960 140528747350672 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29221] ppid=29213 vsize=15484996 memory=5952 CPUtime=0.01 cores=1,3,5,7
/proc/29215/task/29221/stat : 29221 (java) S 29213 29213 25300 0 -1 1077944384 1057 0 0 0 1 0 0 0 20 0 19 0 408918585 15856635904 44181 33554432000 4194304 4196468 140721278460960 140528626514416 140529158003330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29222] ppid=29213 vsize=15484996 memory=1124 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29222/stat : 29222 (java) S 29213 29213 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408918586 15856635904 44181 33554432000 4194304 4196468 140721278460960 140528625460704 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29223] ppid=29213 vsize=15484996 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29223/stat : 29223 (java) S 29213 29213 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408918586 15856635904 44181 33554432000 4194304 4196468 140721278460960 140528624408064 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29224] ppid=29213 vsize=15484996 memory=11928 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29224/stat : 29224 (java) S 29213 29213 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408918588 15856635904 44181 33554432000 4194304 4196468 140721278460960 140528623356624 140529158010779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29225] ppid=29213 vsize=15484996 memory=2124 CPUtime=1.58 cores=1,3,5,7
/proc/29215/task/29225/stat : 29225 (java) S 29213 29213 25300 0 -1 1077944384 8019 0 0 0 157 1 0 0 20 0 19 0 408918588 15856635904 44181 33554432000 4194304 4196468 140721278460960 140528622303216 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29226] ppid=29213 vsize=15484996 memory=5952 CPUtime=1.37 cores=1,3,5,7
/proc/29215/task/29226/stat : 29226 (java) S 29213 29213 25300 0 -1 1077944384 4961 0 0 0 137 0 0 0 20 0 19 0 408918588 15856635904 44181 33554432000 4194304 4196468 140721278460960 140528621250672 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29227] ppid=29213 vsize=15484996 memory=1124 CPUtime=0.58 cores=1,3,5,7
/proc/29215/task/29227/stat : 29227 (java) S 29213 29213 25300 0 -1 1077944384 3723 0 0 0 58 0 0 0 20 0 19 0 408918588 15856635904 44181 33554432000 4194304 4196468 140721278460960 140528620198128 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29228] ppid=29213 vsize=15484996 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29228/stat : 29228 (java) S 29213 29213 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408918588 15856635904 44181 33554432000 4194304 4196468 140721278460960 140528619145824 140529158002389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29229] ppid=29213 vsize=15484996 memory=11928 CPUtime=0 cores=1,3,5,7
/proc/29215/task/29229/stat : 29229 (java) S 29213 29213 25300 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 19 0 408918589 15856635904 44181 33554432000 4194304 4196468 140721278460960 140528618093360 140529158003330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29294] ppid=29213 vsize=15484996 memory=2124 CPUtime=12.83 cores=1,3,5,7
/proc/29215/task/29294/stat : 29294 (java) R 29213 29213 25300 0 -1 4202560 234 0 0 0 1282 1 0 0 20 0 19 0 408918858 15856635904 44181 33554432000 4194304 4196468 140721278460960 140528607829688 140528799264740 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29295] ppid=29213 vsize=15484996 memory=6276 CPUtime=12.88 cores=1,3,5,7
/proc/29215/task/29295/stat : 29295 (java) R 29213 29213 25300 0 -1 4202560 901 0 0 0 1288 0 0 0 20 0 19 0 408918858 15856635904 44181 33554432000 4194304 4196468 140721278460960 140528608885136 140528799267293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29296] ppid=29213 vsize=15484996 memory=504 CPUtime=12.86 cores=1,3,5,7
/proc/29215/task/29296/stat : 29296 (java) R 29213 29213 25300 0 -1 4202560 357 0 0 0 1286 0 0 0 20 0 19 0 408918858 15856635904 44181 33554432000 4194304 4196468 140721278460960 140528605725752 140528799265581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
[pid=29215/tid=29297] ppid=29213 vsize=15484996 memory=1564 CPUtime=13.02 cores=1,3,5,7
/proc/29215/task/29297/stat : 29297 (java) R 29213 29213 25300 0 -1 4202560 680 0 0 0 1302 0 0 0 20 0 19 0 408918858 15856635904 44181 33554432000 4194304 4196468 140721278460960 140528603619376 140528799028096 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37543936 140721278469103 140721278469274 140721278469274 140721278472143 0
Current children cumulated CPU time: 62.27 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 178172 KiB
Child status: 0
Real time (s): 16.0837
CPU time (s): 62.5185
CPU user time (s): 62.3855
CPU system time (s): 0.132999
CPU usage (%): 388.708
Max. virtual memory (cumulated for all children) (KiB): 15598124
Max. memory (cumulated for all children) (KiB): 204700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.3855
system time used= 0.132999
maximum resident set size= 206328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35010
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= 3631
involuntary context switches= 1739
# summary of solver processes directly reported to runsolver:
# pid: 29213
# total CPU time (s): 62.5185
# total CPU user time (s): 62.3855
# total CPU system time (s): 0.132999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.138738 second user time and 0.222992 second system time
The end