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 (9400 MiB free)
memory of node 1: 16384 MiB (11793 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394138-1568335234/watcher-4394138-1568335234 -o /tmp/evaluation-result-4394138-1568335234/solver-4394138-1568335234 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19559 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 418899555 HOME/instance-4394138-1568335234.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=1505, runsolver pid=1502
Current StackSize limit: 8192 KiB
[startup+0.100537 s]*
/proc/loadavg: 7.64 8.35 8.39 7/233 1521
/proc/meminfo: memFree=21686688/32770624 swapFree=66939828/67108860
[pid=1505] ppid=1502 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1505/stat : 1505 (xcsp3-exec) S 1502 1505 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409438340 115843072 362 33554432000 4194304 5098028 140727777362768 140727777360872 140228423520892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18333696 140727777366907 140727777367149 140727777367149 140727777370058 0
/proc/1505/statm: 28282 362 304 221 0 87 0
[pid=1507] ppid=1505 vsize=15144768 memory=29612 CPUtime=0.12 cores=0,2,4,6
/proc/1507/stat : 1507 (java) S 1505 1505 19528 0 -1 1077944320 5803 0 0 0 11 1 0 0 20 0 15 0 409438340 15508242432 7403 33554432000 4194304 4196468 140726490172880 140726490155424 140148151148279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
/proc/1507/statm: 3786192 7403 3144 1 0 3748377 0
[pid=1507/tid=1508] ppid=1505 vsize=15144768 memory=-7828588039587137883 CPUtime=0.09 cores=0,2,4,6
/proc/1507/task/1508/stat : 1508 (java) R 1505 1505 19528 0 -1 4202560 3721 0 0 0 8 1 0 0 20 0 15 0 409438340 15508242432 7403 33554432000 4194304 4196468 140726490172880 140148155379600 140148143385406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1509] ppid=1505 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1509/stat : 1509 (java) S 1505 1505 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409438341 15508242432 7403 33554432000 4194304 4196468 140726490172880 140148079188752 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1510] ppid=1505 vsize=15144768 memory=140276452378240 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1510/stat : 1510 (java) S 1505 1505 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409438341 15508242432 7403 33554432000 4194304 4196468 140726490172880 140148078136208 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1511] ppid=1505 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1511/stat : 1511 (java) S 1505 1505 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409438341 15508242432 7403 33554432000 4194304 4196468 140726490172880 140148077083664 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1512] ppid=1505 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1512/stat : 1512 (java) S 1505 1505 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409438341 15508242432 7403 33554432000 4194304 4196468 140726490172880 140148076031120 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1513] ppid=1505 vsize=15144768 memory=140276452378240 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1513/stat : 1513 (java) S 1505 1505 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409438342 15508242432 7403 33554432000 4194304 4196468 140726490172880 140147619653616 140148151159426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1514] ppid=1505 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1514/stat : 1514 (java) S 1505 1505 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409438343 15508242432 7403 33554432000 4194304 4196468 140726490172880 140147618599840 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1515] ppid=1505 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1515/stat : 1515 (java) S 1505 1505 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409438343 15508242432 7403 33554432000 4194304 4196468 140726490172880 140147617547248 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1516] ppid=1505 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1516/stat : 1516 (java) S 1505 1505 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409438345 15508242432 7403 33554432000 4194304 4196468 140726490172880 140147616495824 140148151166875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1517] ppid=1505 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1517/stat : 1517 (java) R 1505 1505 19528 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 409438345 15508242432 7403 33554432000 4194304 4196468 140726490172880 140147615443440 140148151159426 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1518] ppid=1505 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1518/stat : 1518 (java) R 1505 1505 19528 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 15 0 409438345 15508242432 7403 33554432000 4194304 4196468 140726490172880 140147614390896 140148134584017 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1519] ppid=1505 vsize=15144768 memory=140276452378240 CPUtime=0.02 cores=0,2,4,6
/proc/1507/task/1519/stat : 1519 (java) R 1505 1505 19528 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 409438346 15508242432 7403 33554432000 4194304 4196468 140726490172880 140147613338352 140148129676080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1520] ppid=1505 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1520/stat : 1520 (java) S 1505 1505 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409438346 15508242432 7403 33554432000 4194304 4196468 140726490172880 140147612286048 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1521] ppid=1505 vsize=15144768 memory=140276452378240 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1521/stat : 1521 (java) S 1505 1505 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409438346 15508242432 7403 33554432000 4194304 4196468 140726490172880 140147611232560 140148151159426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31060 KiB
[startup+0.2109 s]*
/proc/loadavg: 7.64 8.35 8.39 6/233 1521
/proc/meminfo: memFree=21673548/32770624 swapFree=66939828/67108860
[pid=1505] ppid=1502 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1505/stat : 1505 (xcsp3-exec) S 1502 1505 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409438340 115843072 362 33554432000 4194304 5098028 140727777362768 140727777360872 140228423520892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18333696 140727777366907 140727777367149 140727777367149 140727777370058 0
/proc/1505/statm: 28282 362 304 221 0 87 0
[pid=1507] ppid=1505 vsize=15144768 memory=40688 CPUtime=0.34 cores=0,2,4,6
/proc/1507/stat : 1507 (java) S 1505 1505 19528 0 -1 1077944320 9419 0 0 0 31 3 0 0 20 0 15 0 409438340 15508242432 10172 33554432000 4194304 4196468 140726490172880 140726490155424 140148151148279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
/proc/1507/statm: 3786192 10172 3236 1 0 3748377 0
[pid=1507/tid=1508] ppid=1505 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/1507/task/1508/stat : 1508 (java) R 1505 1505 19528 0 -1 4202560 6611 0 0 0 18 2 0 0 20 0 15 0 409438340 15508242432 10172 33554432000 4194304 4196468 140726490172880 140148155381984 140148135228766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1509] ppid=1505 vsize=15144768 memory=4294977831 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1509/stat : 1509 (java) S 1505 1505 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409438341 15508242432 10172 33554432000 4194304 4196468 140726490172880 140148079188752 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1510] ppid=1505 vsize=15144768 memory=140276455361911 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1510/stat : 1510 (java) S 1505 1505 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409438341 15508242432 10172 33554432000 4194304 4196468 140726490172880 140148078136208 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1511] ppid=1505 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1511/stat : 1511 (java) S 1505 1505 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409438341 15508242432 10172 33554432000 4194304 4196468 140726490172880 140148077083664 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1512] ppid=1505 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1512/stat : 1512 (java) S 1505 1505 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409438341 15508242432 10172 33554432000 4194304 4196468 140726490172880 140148076031120 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1513] ppid=1505 vsize=15144768 memory=140276452378240 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1513/stat : 1513 (java) S 1505 1505 19528 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409438342 15508242432 10172 33554432000 4194304 4196468 140726490172880 140147619653616 140148151159426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1514] ppid=1505 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1514/stat : 1514 (java) S 1505 1505 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409438343 15508242432 10172 33554432000 4194304 4196468 140726490172880 140147618599840 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1515] ppid=1505 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1515/stat : 1515 (java) S 1505 1505 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409438343 15508242432 10172 33554432000 4194304 4196468 140726490172880 140147617547248 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1516] ppid=1505 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1516/stat : 1516 (java) S 1505 1505 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409438345 15508242432 10172 33554432000 4194304 4196468 140726490172880 140147616495824 140148151166875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1517] ppid=1505 vsize=15144768 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1507/task/1517/stat : 1517 (java) S 1505 1505 19528 0 -1 1077944384 461 0 0 0 1 0 0 0 20 0 15 0 409438345 15508242432 10172 33554432000 4194304 4196468 140726490172880 140147615443440 140148151159426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1518] ppid=1505 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/1507/task/1518/stat : 1518 (java) R 1505 1505 19528 0 -1 4202560 303 0 0 0 3 0 0 0 20 0 15 0 409438345 15508242432 10172 33554432000 4194304 4196468 140726490172880 140147614390896 140148151159426 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1519] ppid=1505 vsize=15144768 memory=140276452378240 CPUtime=0.08 cores=0,2,4,6
/proc/1507/task/1519/stat : 1519 (java) R 1505 1505 19528 0 -1 4202560 746 0 0 0 8 0 0 0 20 0 15 0 409438346 15508242432 10172 33554432000 4194304 4196468 140726490172880 140147613338352 140148129852987 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1520] ppid=1505 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1520/stat : 1520 (java) S 1505 1505 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409438346 15508242432 10172 33554432000 4194304 4196468 140726490172880 140147612286048 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1521] ppid=1505 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1521/stat : 1521 (java) S 1505 1505 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409438346 15508242432 10172 33554432000 4194304 4196468 140726490172880 140147611232560 140148151159426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42136 KiB
[startup+0.318232 s]*
/proc/loadavg: 7.64 8.35 8.39 7/233 1521
/proc/meminfo: memFree=21665760/32770624 swapFree=66939828/67108860
[pid=1505] ppid=1502 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1505/stat : 1505 (xcsp3-exec) S 1502 1505 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409438340 115843072 362 33554432000 4194304 5098028 140727777362768 140727777360872 140228423520892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18333696 140727777366907 140727777367149 140727777367149 140727777370058 0
/proc/1505/statm: 28282 362 304 221 0 87 0
[pid=1507] ppid=1505 vsize=15149024 memory=50220 CPUtime=0.53 cores=0,2,4,6
/proc/1507/stat : 1507 (java) S 1505 1505 19528 0 -1 1077944320 10896 0 0 0 50 3 0 0 20 0 15 0 409438340 15512600576 12555 33554432000 4194304 4196468 140726490172880 140726490155424 140148151148279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
/proc/1507/statm: 3787256 12555 3368 1 0 3748377 0
[pid=1507/tid=1508] ppid=1505 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/1507/task/1508/stat : 1508 (java) R 1505 1505 19528 0 -1 4202560 7857 0 0 0 28 2 0 0 20 0 15 0 409438340 15512600576 12555 33554432000 4194304 4196468 140726490172880 140148155379392 140148129571779 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1509] ppid=1505 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1509/stat : 1509 (java) S 1505 1505 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409438341 15512600576 12555 33554432000 4194304 4196468 140726490172880 140148079188752 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1510] ppid=1505 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1510/stat : 1510 (java) S 1505 1505 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409438341 15512600576 12555 33554432000 4194304 4196468 140726490172880 140148078136208 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1511] ppid=1505 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1511/stat : 1511 (java) S 1505 1505 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409438341 15512600576 12555 33554432000 4194304 4196468 140726490172880 140148077083664 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1512] ppid=1505 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1512/stat : 1512 (java) S 1505 1505 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409438341 15512600576 12555 33554432000 4194304 4196468 140726490172880 140148076031120 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1513] ppid=1505 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1513/stat : 1513 (java) S 1505 1505 19528 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409438342 15512600576 12555 33554432000 4194304 4196468 140726490172880 140147619653616 140148151159426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1514] ppid=1505 vsize=15149024 memory=3976732485301903407 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1514/stat : 1514 (java) S 1505 1505 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409438343 15512600576 12555 33554432000 4194304 4196468 140726490172880 140147618599840 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1515] ppid=1505 vsize=15149024 memory=7526403521046393136 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1515/stat : 1515 (java) S 1505 1505 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409438343 15512600576 12555 33554432000 4194304 4196468 140726490172880 140147617547248 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1516] ppid=1505 vsize=15149024 memory=8463011044895906437 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1516/stat : 1516 (java) S 1505 1505 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409438345 15512600576 12555 33554432000 4194304 4196468 140726490172880 140147616495824 140148151166875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1517] ppid=1505 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1507/task/1517/stat : 1517 (java) S 1505 1505 19528 0 -1 1077944384 514 0 0 0 3 0 0 0 20 0 15 0 409438345 15512600576 12555 33554432000 4194304 4196468 140726490172880 140147615443440 140148151159426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1518] ppid=1505 vsize=15149024 memory=2319389199166945335 CPUtime=0.06 cores=0,2,4,6
/proc/1507/task/1518/stat : 1518 (java) S 1505 1505 19528 0 -1 1077944384 405 0 0 0 6 0 0 0 20 0 15 0 409438345 15512600576 12555 33554432000 4194304 4196468 140726490172880 140147614390896 140148151159426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1519] ppid=1505 vsize=15149024 memory=3617410593231824560 CPUtime=0.12 cores=0,2,4,6
/proc/1507/task/1519/stat : 1519 (java) S 1505 1505 19528 0 -1 1077944384 848 0 0 0 12 0 0 0 20 0 15 0 409438346 15512600576 12555 33554432000 4194304 4196468 140726490172880 140147613338352 140148151159426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1520] ppid=1505 vsize=15149024 memory=3467824627879784479 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1520/stat : 1520 (java) S 1505 1505 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409438346 15512600576 12555 33554432000 4194304 4196468 140726490172880 140147612286048 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1521] ppid=1505 vsize=15149024 memory=3763232240533595828 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1521/stat : 1521 (java) S 1505 1505 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409438346 15512600576 12555 33554432000 4194304 4196468 140726490172880 140147611232560 140148151159426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51668 KiB
[startup+0.70118 s]
/proc/loadavg: 7.67 8.35 8.39 7/233 1521
/proc/meminfo: memFree=21651928/32770624 swapFree=66939828/67108860
[pid=1505] ppid=1502 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1505/stat : 1505 (xcsp3-exec) S 1502 1505 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409438340 115843072 362 33554432000 4194304 5098028 140727777362768 140727777360872 140228423520892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18333696 140727777366907 140727777367149 140727777367149 140727777370058 0
/proc/1505/statm: 28282 362 304 221 0 87 0
[pid=1507] ppid=1505 vsize=15151148 memory=107004 CPUtime=1.71 cores=0,2,4,6
/proc/1507/stat : 1507 (java) S 1505 1505 19528 0 -1 1077944320 14405 0 0 0 166 5 0 0 20 0 15 0 409438340 15514775552 26751 33554432000 4194304 4196468 140726490172880 140726490155424 140148151148279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
/proc/1507/statm: 3787787 26751 3454 1 0 3748889 0
[pid=1507/tid=1508] ppid=1505 vsize=15151148 memory=72 CPUtime=0.68 cores=0,2,4,6
/proc/1507/task/1508/stat : 1508 (java) R 1505 1505 19528 0 -1 4202560 8776 0 0 0 65 3 0 0 20 0 15 0 409438340 15514775552 26751 33554432000 4194304 4196468 140726490172880 140148155384736 140147756339210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1509] ppid=1505 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1509/stat : 1509 (java) S 1505 1505 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409438341 15514775552 26751 33554432000 4194304 4196468 140726490172880 140148079188752 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1510] ppid=1505 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1510/stat : 1510 (java) S 1505 1505 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409438341 15514775552 26751 33554432000 4194304 4196468 140726490172880 140148078136208 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1511] ppid=1505 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1511/stat : 1511 (java) S 1505 1505 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409438341 15514775552 26751 33554432000 4194304 4196468 140726490172880 140148077083664 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1512] ppid=1505 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1512/stat : 1512 (java) S 1505 1505 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409438341 15514775552 26751 33554432000 4194304 4196468 140726490172880 140148076031120 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1513] ppid=1505 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1513/stat : 1513 (java) S 1505 1505 19528 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409438342 15514775552 26751 33554432000 4194304 4196468 140726490172880 140147619653616 140148151159426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1514] ppid=1505 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1514/stat : 1514 (java) S 1505 1505 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409438343 15514775552 26751 33554432000 4194304 4196468 140726490172880 140147618599840 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1515] ppid=1505 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1515/stat : 1515 (java) S 1505 1505 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409438343 15514775552 26751 33554432000 4194304 4196468 140726490172880 140147617547248 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1516] ppid=1505 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1516/stat : 1516 (java) S 1505 1505 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409438345 15514775552 26751 33554432000 4194304 4196468 140726490172880 140147616495824 140148151166875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1517] ppid=1505 vsize=15151148 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/1507/task/1517/stat : 1517 (java) R 1505 1505 19528 0 -1 4202560 1224 0 0 0 26 0 0 0 20 0 15 0 409438345 15514775552 26751 33554432000 4194304 4196468 140726490172880 140147615425600 140148134645059 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1518] ppid=1505 vsize=15151148 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/1507/task/1518/stat : 1518 (java) R 1505 1505 19528 0 -1 4202560 1099 0 0 0 31 0 0 0 20 0 15 0 409438345 15514775552 26751 33554432000 4194304 4196468 140726490172880 140147614377440 140148135051558 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1519] ppid=1505 vsize=15151148 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/1507/task/1519/stat : 1519 (java) R 1505 1505 19528 0 -1 4202560 1998 0 0 0 42 0 0 0 20 0 15 0 409438346 15514775552 26751 33554432000 4194304 4196468 140726490172880 140147613335288 140148130103840 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1520] ppid=1505 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1520/stat : 1520 (java) S 1505 1505 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409438346 15514775552 26751 33554432000 4194304 4196468 140726490172880 140147612286048 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1521] ppid=1505 vsize=15151148 memory=1184 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1521/stat : 1521 (java) S 1505 1505 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409438346 15514775552 26751 33554432000 4194304 4196468 140726490172880 140147611232560 140148151159426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 108452 KiB
[startup+1.50118 s]
/proc/loadavg: 7.67 8.35 8.39 12/237 1525
/proc/meminfo: memFree=21556612/32770624 swapFree=66939828/67108860
[pid=1505] ppid=1502 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1505/stat : 1505 (xcsp3-exec) S 1502 1505 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409438340 115843072 362 33554432000 4194304 5098028 140727777362768 140727777360872 140228423520892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18333696 140727777366907 140727777367149 140727777367149 140727777370058 0
/proc/1505/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/1507/task/1516/stat : 1516 (java) S 1505 1505 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409438345 15925841920 99147 33554432000 4194304 4196468 140726490172880 140147616495824 140148151166875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1517] ppid=1505 vsize=15552580 memory=-9062862659931694204 CPUtime=2.25 cores=0,2,4,6
/proc/1507/task/1517/stat : 1517 (java) R 1505 1505 19528 0 -1 4202560 4607 0 0 0 224 1 0 0 20 0 19 0 409438345 15925841920 99147 33554432000 4194304 4196468 140726490172880 140147615443736 140148132495031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1518] ppid=1505 vsize=15552580 memory=-3767417750442315608 CPUtime=2.04 cores=0,2,4,6
/proc/1507/task/1518/stat : 1518 (java) R 1505 1505 19528 0 -1 4202560 3352 0 0 0 203 1 0 0 20 0 19 0 409438345 15925841920 99147 33554432000 4194304 4196468 140726490172880 140147614376776 140148136255961 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1519] ppid=1505 vsize=15552580 memory=7378956019095071076 CPUtime=0.76 cores=0,2,4,6
/proc/1507/task/1519/stat : 1519 (java) S 1505 1505 19528 0 -1 1077944384 3116 0 0 0 75 1 0 0 20 0 19 0 409438346 15925841920 99147 33554432000 4194304 4196468 140726490172880 140147613338352 140148151159426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1520] ppid=1505 vsize=15552580 memory=6154538792250073449 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1520/stat : 1520 (java) S 1505 1505 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409438346 15925841920 99147 33554432000 4194304 4196468 140726490172880 140147612286048 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1521] ppid=1505 vsize=15552580 memory=6081386076174444899 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1521/stat : 1521 (java) S 1505 1505 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409438346 15925841920 99147 33554432000 4194304 4196468 140726490172880 140147611232560 140148151159426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
Current children cumulated CPU time: 10.62 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 398036 KiB
[startup+6.30091 s]
/proc/loadavg: 7.61 8.33 8.38 9/237 1817
/proc/meminfo: memFree=21317048/32770624 swapFree=66939828/67108860
[pid=1505] ppid=1502 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1505/stat : 1505 (xcsp3-exec) S 1502 1505 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409438340 115843072 362 33554432000 4194304 5098028 140727777362768 140727777360872 140228423520892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18333696 140727777366907 140727777367149 140727777367149 140727777370058 0
/proc/1505/statm: 28282 362 304 221 0 87 0
[pid=1507] ppid=1505 vsize=15552580 memory=394124 CPUtime=21.17 cores=0,2,4,6
/proc/1507/stat : 1507 (java) S 1505 1505 19528 0 -1 1077944320 34822 0 0 0 2095 22 0 0 20 0 19 0 409438340 15925841920 98531 33554432000 4194304 4196468 140726490172880 140726490155424 140148151148279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
/proc/1507/statm: 3888145 98531 3522 1 0 3849247 0
[pid=1507/tid=1508] ppid=1505 vsize=15552580 memory=396940 CPUtime=0.84 cores=0,2,4,6
/proc/1507/task/1508/stat : 1508 (java) S 1505 1505 19528 0 -1 1077944384 8884 0 0 0 80 4 0 0 20 0 19 0 409438340 15925841920 98531 33554432000 4194304 4196468 140726490172880 140148155389056 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1509] ppid=1505 vsize=15552580 memory=140276316310696 CPUtime=0.06 cores=0,2,4,6
/proc/1507/task/1509/stat : 1509 (java) S 1505 1505 19528 0 -1 1077944384 85 0 0 0 4 2 0 0 20 0 19 0 409438341 15925841920 98531 33554432000 4194304 4196468 140726490172880 140148079188752 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1510] ppid=1505 vsize=15552580 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/1507/task/1510/stat : 1510 (java) S 1505 1505 19528 0 -1 1077944384 130 0 0 0 5 2 0 0 20 0 19 0 409438341 15925841920 98531 33554432000 4194304 4196468 140726490172880 140148078136208 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1511] ppid=1505 vsize=15552580 memory=1448 CPUtime=0.04 cores=0,2,4,6
/proc/1507/task/1511/stat : 1511 (java) S 1505 1505 19528 0 -1 1077944384 142 0 0 0 3 1 0 0 20 0 19 0 409438341 15925841920 98531 33554432000 4194304 4196468 140726490172880 140148077083664 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1512] ppid=1505 vsize=15552580 memory=395424 CPUtime=0.07 cores=0,2,4,6
/proc/1507/task/1512/stat : 1512 (java) S 1505 1505 19528 0 -1 1077944384 117 0 0 0 5 2 0 0 20 0 19 0 409438341 15925841920 98531 33554432000 4194304 4196468 140726490172880 140148076031120 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1513] ppid=1505 vsize=15552580 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1507/task/1513/stat : 1513 (java) S 1505 1505 19528 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 19 0 409438342 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147619653616 140148151159426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1514] ppid=1505 vsize=15552580 memory=396372 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1514/stat : 1514 (java) S 1505 1505 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409438343 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147618599840 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1515] ppid=1505 vsize=15552580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1515/stat : 1515 (java) S 1505 1505 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 409438343 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147617547264 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1516] ppid=1505 vsize=15552580 memory=576461256482450691 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1516/stat : 1516 (java) S 1505 1505 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409438345 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147616495824 140148151166875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1517] ppid=1505 vsize=15552580 memory=103 CPUtime=3.1 cores=0,2,4,6
/proc/1507/task/1517/stat : 1517 (java) S 1505 1505 19528 0 -1 1077944384 7187 0 0 0 309 1 0 0 20 0 19 0 409438345 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147615443440 140148151159426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1518] ppid=1505 vsize=15552580 memory=65 CPUtime=3.03 cores=0,2,4,6
/proc/1507/task/1518/stat : 1518 (java) R 1505 1505 19528 0 -1 4202560 6646 0 0 0 302 1 0 0 20 0 19 0 409438345 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147614390816 140148132692493 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1519] ppid=1505 vsize=15552580 memory=0 CPUtime=0.88 cores=0,2,4,6
/proc/1507/task/1519/stat : 1519 (java) S 1505 1505 19528 0 -1 1077944384 4213 0 0 0 87 1 0 0 20 0 19 0 409438346 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147613338352 140148151159426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1520] ppid=1505 vsize=15552580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1520/stat : 1520 (java) S 1505 1505 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409438346 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147612286048 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1521] ppid=1505 vsize=15552580 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1521/stat : 1521 (java) S 1505 1505 19528 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 409438346 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147611232560 140148151159426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1810] ppid=1505 vsize=15552580 memory=38396 CPUtime=0.44 cores=0,2,4,6
/proc/1507/task/1810/stat : 1810 (java) R 1505 1505 19528 0 -1 4202560 62 0 0 0 44 0 0 0 20 0 19 0 409438905 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147534319448 140147760290615 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1811] ppid=1505 vsize=15552580 memory=988 CPUtime=0.61 cores=0,2,4,6
/proc/1507/task/1811/stat : 1811 (java) R 1505 1505 19528 0 -1 4202560 400 0 0 0 61 0 0 0 20 0 19 0 409438905 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147529057272 140147758462749 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1812] ppid=1505 vsize=15552580 memory=2008 CPUtime=0.59 cores=0,2,4,6
/proc/1507/task/1812/stat : 1812 (java) R 1505 1505 19528 0 -1 4202560 334 0 0 0 59 0 0 0 20 0 19 0 409438905 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147531164504 140147758462387 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1813] ppid=1505 vsize=15552580 memory=1436 CPUtime=0.64 cores=0,2,4,6
/proc/1507/task/1813/stat : 1813 (java) R 1505 1505 19528 0 -1 4202560 97 0 0 0 64 0 0 0 20 0 19 0 409438905 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147530108312 140147761995454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
Current children cumulated CPU time: 21.17 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 395572 KiB
[startup+6.61439 s]
# the end of solver process 1505 was just reported to runsolver
# cumulated CPU time of all completed processes: user=21.9351 s, system=0.23549 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40218 s]
/proc/loadavg: 7.61 8.33 8.38 9/237 1817
/proc/meminfo: memFree=21317048/32770624 swapFree=66939828/67108860
[pid=1505] ppid=1502 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1505/stat : 1505 (xcsp3-exec) S 1502 1505 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409438340 115843072 362 33554432000 4194304 5098028 140727777362768 140727777360872 140228423520892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18333696 140727777366907 140727777367149 140727777367149 140727777370058 0
/proc/1505/statm: 28282 362 304 221 0 87 0
[pid=1507] ppid=1505 vsize=15552580 memory=394124 CPUtime=21.57 cores=0,2,4,6
/proc/1507/stat : 1507 (java) S 1505 1505 19528 0 -1 1077944320 35560 0 0 0 2135 22 0 0 20 0 19 0 409438340 15925841920 98531 33554432000 4194304 4196468 140726490172880 140726490155424 140148151148279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
/proc/1507/statm: 3888145 98531 3522 1 0 3849247 0
[pid=1507/tid=1508] ppid=1505 vsize=15552580 memory=288230596050944315 CPUtime=0.84 cores=0,2,4,6
/proc/1507/task/1508/stat : 1508 (java) S 1505 1505 19528 0 -1 1077944384 8884 0 0 0 80 4 0 0 20 0 19 0 409438340 15925841920 98531 33554432000 4194304 4196468 140726490172880 140148155389056 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1509] ppid=1505 vsize=15552580 memory=14126753849280250 CPUtime=0.06 cores=0,2,4,6
/proc/1507/task/1509/stat : 1509 (java) S 1505 1505 19528 0 -1 1077944384 85 0 0 0 4 2 0 0 20 0 19 0 409438341 15925841920 98531 33554432000 4194304 4196468 140726490172880 140148079188752 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1510] ppid=1505 vsize=15552580 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1507/task/1510/stat : 1510 (java) S 1505 1505 19528 0 -1 1077944384 130 0 0 0 5 2 0 0 20 0 19 0 409438341 15925841920 98531 33554432000 4194304 4196468 140726490172880 140148078136208 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1511] ppid=1505 vsize=15552580 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1507/task/1511/stat : 1511 (java) S 1505 1505 19528 0 -1 1077944384 142 0 0 0 3 1 0 0 20 0 19 0 409438341 15925841920 98531 33554432000 4194304 4196468 140726490172880 140148077083664 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1512] ppid=1505 vsize=15552580 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1507/task/1512/stat : 1512 (java) S 1505 1505 19528 0 -1 1077944384 117 0 0 0 5 2 0 0 20 0 19 0 409438341 15925841920 98531 33554432000 4194304 4196468 140726490172880 140148076031120 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1513] ppid=1505 vsize=15552580 memory=1548 CPUtime=0.01 cores=0,2,4,6
/proc/1507/task/1513/stat : 1513 (java) S 1505 1505 19528 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 19 0 409438342 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147619653616 140148151159426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1514] ppid=1505 vsize=15552580 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1514/stat : 1514 (java) S 1505 1505 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409438343 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147618599840 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1515] ppid=1505 vsize=15552580 memory=7980 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1515/stat : 1515 (java) S 1505 1505 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 409438343 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147617547264 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1516] ppid=1505 vsize=15552580 memory=9580 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1516/stat : 1516 (java) S 1505 1505 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409438345 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147616495824 140148151166875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1517] ppid=1505 vsize=15552580 memory=1052 CPUtime=3.15 cores=0,2,4,6
/proc/1507/task/1517/stat : 1517 (java) R 1505 1505 19528 0 -1 4202560 7852 0 0 0 314 1 0 0 20 0 19 0 409438345 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147615429536 140148136265412 0 4 0 16800975 0 0 0 -1 4 0 0 44 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1518] ppid=1505 vsize=15552580 memory=776 CPUtime=3.07 cores=0,2,4,6
/proc/1507/task/1518/stat : 1518 (java) S 1505 1505 19528 0 -1 1077944384 6696 0 0 0 306 1 0 0 20 0 19 0 409438345 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147614390896 140148151159426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1519] ppid=1505 vsize=15552580 memory=2832 CPUtime=0.88 cores=0,2,4,6
/proc/1507/task/1519/stat : 1519 (java) S 1505 1505 19528 0 -1 1077944384 4235 0 0 0 87 1 0 0 20 0 19 0 409438346 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147613338352 140148151159426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1520] ppid=1505 vsize=15552580 memory=668 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1520/stat : 1520 (java) S 1505 1505 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409438346 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147612286048 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1521] ppid=1505 vsize=15552580 memory=2209 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1521/stat : 1521 (java) S 1505 1505 19528 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 409438346 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147611232560 140148151159426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1810] ppid=1505 vsize=15552580 memory=20036 CPUtime=0.49 cores=0,2,4,6
/proc/1507/task/1810/stat : 1810 (java) R 1505 1505 19528 0 -1 4202560 62 0 0 0 49 0 0 0 20 0 19 0 409438905 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147534319336 140147760655136 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1811] ppid=1505 vsize=15552580 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/1507/task/1811/stat : 1811 (java) R 1505 1505 19528 0 -1 4202560 401 0 0 0 71 0 0 0 20 0 19 0 409438905 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147529056472 140147761996604 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1812] ppid=1505 vsize=15552580 memory=288285575944090952 CPUtime=0.65 cores=0,2,4,6
/proc/1507/task/1812/stat : 1812 (java) R 1505 1505 19528 0 -1 4202560 334 0 0 0 65 0 0 0 20 0 19 0 409438905 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147531164008 140147758520607 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1813] ppid=1505 vsize=15552580 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/1507/task/1813/stat : 1813 (java) R 1505 1505 19528 0 -1 4202560 97 0 0 0 74 0 0 0 20 0 19 0 409438905 15925841920 98531 33554432000 4194304 4196468 140726490172880 140147530108312 140147758462268 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
Current children cumulated CPU time: 21.57 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 395572 KiB
[startup+6.60087 s]
/proc/loadavg: 7.61 8.33 8.38 9/237 1817
/proc/meminfo: memFree=21317048/32770624 swapFree=66939828/67108860
[pid=1505] ppid=1502 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1505/stat : 1505 (xcsp3-exec) S 1502 1505 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409438340 115843072 362 33554432000 4194304 5098028 140727777362768 140727777360872 140228423520892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18333696 140727777366907 140727777367149 140727777367149 140727777370058 0
/proc/1505/statm: 28282 362 304 221 0 87 0
[pid=1507] ppid=1505 vsize=15552580 memory=394192 CPUtime=22.15 cores=0,2,4,6
/proc/1507/stat : 1507 (java) S 1505 1505 19528 0 -1 1077944320 36337 0 0 0 2193 22 0 0 20 0 14 0 409438340 15925841920 98548 33554432000 4194304 4196468 140726490172880 140726490155424 140148151148279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
/proc/1507/statm: 3888145 98548 3522 1 0 3849247 0
[pid=1507/tid=1508] ppid=1505 vsize=15552580 memory=0 CPUtime=0.85 cores=0,2,4,6
/proc/1507/task/1508/stat : 1508 (java) S 1505 1505 19528 0 -1 1077944384 9240 0 0 0 81 4 0 0 20 0 14 0 409438340 15925841920 98548 33554432000 4194304 4196468 140726490172880 140148155391120 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1509] ppid=1505 vsize=15552580 memory=280552633363888 CPUtime=0.06 cores=0,2,4,6
/proc/1507/task/1509/stat : 1509 (java) S 1505 1505 19528 0 -1 1077944384 85 0 0 0 4 2 0 0 20 0 14 0 409438341 15925841920 98548 33554432000 4194304 4196468 140726490172880 140148079188752 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1510] ppid=1505 vsize=15552580 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1507/task/1510/stat : 1510 (java) S 1505 1505 19528 0 -1 1077944384 130 0 0 0 5 2 0 0 20 0 14 0 409438341 15925841920 98548 33554432000 4194304 4196468 140726490172880 140148078136208 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1511] ppid=1505 vsize=15552580 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1507/task/1511/stat : 1511 (java) S 1505 1505 19528 0 -1 1077944384 142 0 0 0 3 1 0 0 20 0 14 0 409438341 15925841920 98548 33554432000 4194304 4196468 140726490172880 140148077083664 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1512] ppid=1505 vsize=15552580 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1507/task/1512/stat : 1512 (java) S 1505 1505 19528 0 -1 1077944384 117 0 0 0 5 2 0 0 20 0 14 0 409438341 15925841920 98548 33554432000 4194304 4196468 140726490172880 140148076031120 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1513] ppid=1505 vsize=15552580 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1507/task/1513/stat : 1513 (java) S 1505 1505 19528 0 -1 1077944384 240 0 0 0 1 0 0 0 20 0 14 0 409438342 15925841920 98548 33554432000 4194304 4196468 140726490172880 140147619653824 140148151159426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1514] ppid=1505 vsize=15552580 memory=5393 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1514/stat : 1514 (java) S 1505 1505 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 409438343 15925841920 98548 33554432000 4194304 4196468 140726490172880 140147618599840 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1515] ppid=1505 vsize=15552580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1515/stat : 1515 (java) S 1505 1505 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 409438343 15925841920 98548 33554432000 4194304 4196468 140726490172880 140147617547264 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1516] ppid=1505 vsize=15552580 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1516/stat : 1516 (java) S 1505 1505 19528 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 14 0 409438345 15925841920 98548 33554432000 4194304 4196468 140726490172880 140147616494592 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1517] ppid=1505 vsize=15552580 memory=253968 CPUtime=3.18 cores=0,2,4,6
/proc/1507/task/1517/stat : 1517 (java) S 1505 1505 19528 0 -1 1077944384 8009 0 0 0 317 1 0 0 20 0 14 0 409438345 15925841920 98548 33554432000 4194304 4196468 140726490172880 140147615443440 140148151159426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1518] ppid=1505 vsize=15552580 memory=9580 CPUtime=3.09 cores=0,2,4,6
/proc/1507/task/1518/stat : 1518 (java) S 1505 1505 19528 0 -1 1077944384 6800 0 0 0 308 1 0 0 20 0 14 0 409438345 15925841920 98548 33554432000 4194304 4196468 140726490172880 140147614390896 140148151159426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1519] ppid=1505 vsize=15552580 memory=1052 CPUtime=0.88 cores=0,2,4,6
/proc/1507/task/1519/stat : 1519 (java) S 1505 1505 19528 0 -1 1077944384 4253 0 0 0 87 1 0 0 20 0 14 0 409438346 15925841920 98548 33554432000 4194304 4196468 140726490172880 140147613334224 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
[pid=1507/tid=1520] ppid=1505 vsize=15552580 memory=776 CPUtime=0 cores=0,2,4,6
/proc/1507/task/1520/stat : 1520 (java) S 1505 1505 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 409438346 15925841920 98548 33554432000 4194304 4196468 140726490172880 140147612286048 140148151158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32636928 140726490178543 140726490178714 140726490178714 140726490181583 0
Current children cumulated CPU time: 22.15 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 395640 KiB
Child status: 0
Real time (s): 6.61445
CPU time (s): 22.1706
CPU user time (s): 21.9351
CPU system time (s): 0.23549
CPU usage (%): 335.184
Max. virtual memory (cumulated for all children) (KiB): 15665708
Max. memory (cumulated for all children) (KiB): 399356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.9351
system time used= 0.23549
maximum resident set size= 398104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36949
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= 4257
involuntary context switches= 916
# summary of solver processes directly reported to runsolver:
# pid: 1505
# total CPU time (s): 22.1706
# total CPU user time (s): 21.9351
# total CPU system time (s): 0.23549
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.065592 second user time and 0.117375 second system time
The end