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 (9624 MiB free)
memory of node 1: 16384 MiB (9583 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394189-1568331957/watcher-4394189-1568331957 -o /tmp/evaluation-result-4394189-1568331957/solver-4394189-1568331957 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 712809684 HOME/instance-4394189-1568331957.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
Current StackSize limit: 8192 KiB
solver pid=30556, runsolver pid=30553
[startup+0.10097 s]*
/proc/loadavg: 8.05 8.08 7.76 6/233 30572
/proc/meminfo: memFree=19650680/32770624 swapFree=66959216/67108860
[pid=30556] ppid=30553 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30556/stat : 30556 (xcsp3-exec) S 30553 30556 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409135896 115843072 363 33554432000 4194304 5098028 140720801139264 140720801137368 139921483260540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10829824 140720801145723 140720801145965 140720801145965 140720801148874 0
/proc/30556/statm: 28282 363 304 221 0 87 0
[pid=30558] ppid=30556 vsize=15144768 memory=30308 CPUtime=0.13 cores=1,3,5,7
/proc/30558/stat : 30558 (java) S 30556 30556 18186 0 -1 1077944320 5520 0 0 0 12 1 0 0 20 0 15 0 409135896 15508242432 7577 33554432000 4194304 4196468 140736142528640 140736142511184 139713448926967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
/proc/30558/statm: 3786192 7577 3152 1 0 3748377 0
[pid=30558/tid=30559] ppid=30556 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/30558/task/30559/stat : 30559 (java) R 30556 30556 18186 0 -1 4202560 3387 0 0 0 8 1 0 0 20 0 15 0 409135896 15508242432 7577 33554432000 4194304 4196468 140736142528640 139713453160032 139713448938902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30560] ppid=30556 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30560/stat : 30560 (java) S 30556 30556 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409135897 15508242432 7577 33554432000 4194304 4196468 140736142528640 139713041213840 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30561] ppid=30556 vsize=15144768 memory=140470706607744 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30561/stat : 30561 (java) S 30556 30556 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409135897 15508242432 7577 33554432000 4194304 4196468 140736142528640 139713040161040 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30562] ppid=30556 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30562/stat : 30562 (java) S 30556 30556 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409135897 15508242432 7577 33554432000 4194304 4196468 140736142528640 139713039108752 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30563] ppid=30556 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30563/stat : 30563 (java) S 30556 30556 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409135897 15508242432 7577 33554432000 4194304 4196468 140736142528640 139713038055952 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30564] ppid=30556 vsize=15144768 memory=140470706607744 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30564/stat : 30564 (java) S 30556 30556 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409135898 15508242432 7577 33554432000 4194304 4196468 140736142528640 139712917355120 139713448938114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30565] ppid=30556 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30565/stat : 30565 (java) S 30556 30556 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409135899 15508242432 7577 33554432000 4194304 4196468 140736142528640 139712916301088 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30566] ppid=30556 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30566/stat : 30566 (java) S 30556 30556 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409135899 15508242432 7577 33554432000 4194304 4196468 140736142528640 139712915248752 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30567] ppid=30556 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30567/stat : 30567 (java) S 30556 30556 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409135901 15508242432 7577 33554432000 4194304 4196468 140736142528640 139712914197072 139713448945563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30568] ppid=30556 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30568/stat : 30568 (java) R 30556 30556 18186 0 -1 4202560 416 0 0 0 0 0 0 0 20 0 15 0 409135901 15508242432 7577 33554432000 4194304 4196468 140736142528640 139712913135568 139713433838571 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30569] ppid=30556 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30569/stat : 30569 (java) R 30556 30556 18186 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 409135901 15508242432 7577 33554432000 4194304 4196468 140736142528640 139712912091120 139713448938114 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30570] ppid=30556 vsize=15144768 memory=140470706607744 CPUtime=0.02 cores=1,3,5,7
/proc/30558/task/30570/stat : 30570 (java) R 30556 30556 18186 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 409135901 15508242432 7577 33554432000 4194304 4196468 140736142528640 139712911038832 139713428050232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30571] ppid=30556 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30571/stat : 30571 (java) S 30556 30556 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409135902 15508242432 7577 33554432000 4194304 4196468 140736142528640 139712909986272 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30572] ppid=30556 vsize=15144768 memory=140470706607744 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30572/stat : 30572 (java) S 30556 30556 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409135902 15508242432 7577 33554432000 4194304 4196468 140736142528640 139712908934064 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31760 KiB
[startup+0.210902 s]*
/proc/loadavg: 8.05 8.08 7.76 6/233 30572
/proc/meminfo: memFree=19638196/32770624 swapFree=66959216/67108860
[pid=30556] ppid=30553 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30556/stat : 30556 (xcsp3-exec) S 30553 30556 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409135896 115843072 363 33554432000 4194304 5098028 140720801139264 140720801137368 139921483260540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10829824 140720801145723 140720801145965 140720801145965 140720801148874 0
/proc/30556/statm: 28282 363 304 221 0 87 0
[pid=30558] ppid=30556 vsize=15144768 memory=41380 CPUtime=0.35 cores=1,3,5,7
/proc/30558/stat : 30558 (java) S 30556 30556 18186 0 -1 1077944320 9037 0 0 0 32 3 0 0 20 0 15 0 409135896 15508242432 10345 33554432000 4194304 4196468 140736142528640 140736142511184 139713448926967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
/proc/30558/statm: 3786192 10345 3279 1 0 3748377 0
[pid=30558/tid=30559] ppid=30556 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/30558/task/30559/stat : 30559 (java) R 30556 30556 18186 0 -1 4202560 6196 0 0 0 18 2 0 0 20 0 15 0 409135896 15508242432 10345 33554432000 4194304 4196468 140736142528640 139713453162768 139713448948893 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30560] ppid=30556 vsize=15144768 memory=1965945 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30560/stat : 30560 (java) S 30556 30556 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409135897 15508242432 10345 33554432000 4194304 4196468 140736142528640 139713041213840 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30561] ppid=30556 vsize=15144768 memory=4051181357719983776 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30561/stat : 30561 (java) S 30556 30556 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409135897 15508242432 10345 33554432000 4194304 4196468 140736142528640 139713040161040 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30562] ppid=30556 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30562/stat : 30562 (java) S 30556 30556 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409135897 15508242432 10345 33554432000 4194304 4196468 140736142528640 139713039108752 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30563] ppid=30556 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30563/stat : 30563 (java) S 30556 30556 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409135897 15508242432 10345 33554432000 4194304 4196468 140736142528640 139713038055952 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30564] ppid=30556 vsize=15144768 memory=140470706607744 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30564/stat : 30564 (java) S 30556 30556 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409135898 15508242432 10345 33554432000 4194304 4196468 140736142528640 139712917355120 139713448938114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30565] ppid=30556 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30565/stat : 30565 (java) S 30556 30556 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409135899 15508242432 10345 33554432000 4194304 4196468 140736142528640 139712916301088 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30566] ppid=30556 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30566/stat : 30566 (java) S 30556 30556 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409135899 15508242432 10345 33554432000 4194304 4196468 140736142528640 139712915248752 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30567] ppid=30556 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30567/stat : 30567 (java) S 30556 30556 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409135901 15508242432 10345 33554432000 4194304 4196468 140736142528640 139712914197072 139713448945563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30568] ppid=30556 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30558/task/30568/stat : 30568 (java) S 30556 30556 18186 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 15 0 409135901 15508242432 10345 33554432000 4194304 4196468 140736142528640 139712913143920 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30569] ppid=30556 vsize=15144768 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/30558/task/30569/stat : 30569 (java) S 30556 30556 18186 0 -1 1077944384 358 0 0 0 3 0 0 0 20 0 15 0 409135901 15508242432 10345 33554432000 4194304 4196468 140736142528640 139712912091120 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30570] ppid=30556 vsize=15144768 memory=140470706607744 CPUtime=0.08 cores=1,3,5,7
/proc/30558/task/30570/stat : 30570 (java) S 30556 30556 18186 0 -1 1077944384 729 0 0 0 8 0 0 0 20 0 15 0 409135901 15508242432 10345 33554432000 4194304 4196468 140736142528640 139712911038832 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30571] ppid=30556 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30571/stat : 30571 (java) S 30556 30556 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409135902 15508242432 10345 33554432000 4194304 4196468 140736142528640 139712909986272 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30572] ppid=30556 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30572/stat : 30572 (java) S 30556 30556 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409135902 15508242432 10345 33554432000 4194304 4196468 140736142528640 139712908934064 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42832 KiB
[startup+0.312362 s]*
/proc/loadavg: 8.05 8.08 7.76 7/233 30572
/proc/meminfo: memFree=19631300/32770624 swapFree=66959216/67108860
[pid=30556] ppid=30553 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30556/stat : 30556 (xcsp3-exec) S 30553 30556 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409135896 115843072 363 33554432000 4194304 5098028 140720801139264 140720801137368 139921483260540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10829824 140720801145723 140720801145965 140720801145965 140720801148874 0
/proc/30556/statm: 28282 363 304 221 0 87 0
[pid=30558] ppid=30556 vsize=15149024 memory=50648 CPUtime=0.53 cores=1,3,5,7
/proc/30558/stat : 30558 (java) S 30556 30556 18186 0 -1 1077944320 10455 0 0 0 49 4 0 0 20 0 15 0 409135896 15512600576 12662 33554432000 4194304 4196468 140736142528640 140736142511184 139713448926967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
/proc/30558/statm: 3787256 12662 3350 1 0 3748377 0
[pid=30558/tid=30559] ppid=30556 vsize=15149024 memory=6791534058613427641 CPUtime=0.31 cores=1,3,5,7
/proc/30558/task/30559/stat : 30559 (java) R 30556 30556 18186 0 -1 4202560 7395 0 0 0 28 3 0 0 20 0 15 0 409135896 15512600576 12662 33554432000 4194304 4196468 140736142528640 139713453153584 139713086256879 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30560] ppid=30556 vsize=15149024 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30560/stat : 30560 (java) S 30556 30556 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409135897 15512600576 12662 33554432000 4194304 4196468 140736142528640 139713041213840 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30561] ppid=30556 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30561/stat : 30561 (java) S 30556 30556 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409135897 15512600576 12662 33554432000 4194304 4196468 140736142528640 139713040161040 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30562] ppid=30556 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30562/stat : 30562 (java) S 30556 30556 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409135897 15512600576 12662 33554432000 4194304 4196468 140736142528640 139713039108752 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30563] ppid=30556 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30563/stat : 30563 (java) S 30556 30556 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409135897 15512600576 12662 33554432000 4194304 4196468 140736142528640 139713038055952 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30564] ppid=30556 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30564/stat : 30564 (java) S 30556 30556 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409135898 15512600576 12662 33554432000 4194304 4196468 140736142528640 139712917355120 139713448938114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30565] ppid=30556 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30565/stat : 30565 (java) S 30556 30556 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409135899 15512600576 12662 33554432000 4194304 4196468 140736142528640 139712916301088 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30566] ppid=30556 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30566/stat : 30566 (java) S 30556 30556 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409135899 15512600576 12662 33554432000 4194304 4196468 140736142528640 139712915248752 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30567] ppid=30556 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30567/stat : 30567 (java) S 30556 30556 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409135901 15512600576 12662 33554432000 4194304 4196468 140736142528640 139712914197072 139713448945563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30568] ppid=30556 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/30558/task/30568/stat : 30568 (java) S 30556 30556 18186 0 -1 1077944384 564 0 0 0 4 0 0 0 20 0 15 0 409135901 15512600576 12662 33554432000 4194304 4196468 140736142528640 139712913143920 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30569] ppid=30556 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/30558/task/30569/stat : 30569 (java) S 30556 30556 18186 0 -1 1077944384 378 0 0 0 4 0 0 0 20 0 15 0 409135901 15512600576 12662 33554432000 4194304 4196468 140736142528640 139712912091120 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30570] ppid=30556 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30558/task/30570/stat : 30570 (java) S 30556 30556 18186 0 -1 1077944384 811 0 0 0 12 0 0 0 20 0 15 0 409135901 15512600576 12662 33554432000 4194304 4196468 140736142528640 139712911038832 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30571] ppid=30556 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30571/stat : 30571 (java) S 30556 30556 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409135902 15512600576 12662 33554432000 4194304 4196468 140736142528640 139712909986272 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30572] ppid=30556 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30572/stat : 30572 (java) S 30556 30556 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409135902 15512600576 12662 33554432000 4194304 4196468 140736142528640 139712908934064 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52100 KiB
[startup+0.709357 s]
/proc/loadavg: 8.05 8.08 7.76 7/233 30572
/proc/meminfo: memFree=19621028/32770624 swapFree=66959216/67108860
[pid=30556] ppid=30553 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30556/stat : 30556 (xcsp3-exec) S 30553 30556 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409135896 115843072 363 33554432000 4194304 5098028 140720801139264 140720801137368 139921483260540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10829824 140720801145723 140720801145965 140720801145965 140720801148874 0
/proc/30556/statm: 28282 363 304 221 0 87 0
[pid=30558] ppid=30556 vsize=15417404 memory=101968 CPUtime=1.64 cores=1,3,5,7
/proc/30558/stat : 30558 (java) S 30556 30556 18186 0 -1 1077944320 14657 0 0 0 158 6 0 0 20 0 19 0 409135896 15787421696 25492 33554432000 4194304 4196468 140736142528640 140736142511184 139713448926967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
/proc/30558/statm: 3854351 25492 3459 1 0 3815453 0
[pid=30558/tid=30559] ppid=30556 vsize=15417404 memory=33 CPUtime=0.65 cores=1,3,5,7
/proc/30558/task/30559/stat : 30559 (java) S 30556 30556 18186 0 -1 1077944384 8624 0 0 0 62 3 0 0 20 0 19 0 409135896 15787421696 25492 33554432000 4194304 4196468 140736142528640 139713453167744 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30560] ppid=30556 vsize=15417404 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30560/stat : 30560 (java) S 30556 30556 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409135897 15787421696 25492 33554432000 4194304 4196468 140736142528640 139713041213840 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30561] ppid=30556 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30561/stat : 30561 (java) S 30556 30556 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409135897 15787421696 25492 33554432000 4194304 4196468 140736142528640 139713040161040 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30562] ppid=30556 vsize=15417404 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30562/stat : 30562 (java) S 30556 30556 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409135897 15787421696 25492 33554432000 4194304 4196468 140736142528640 139713039108752 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30563] ppid=30556 vsize=15417404 memory=38324 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30563/stat : 30563 (java) S 30556 30556 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409135897 15787421696 25492 33554432000 4194304 4196468 140736142528640 139713038055952 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30564] ppid=30556 vsize=15417404 memory=988 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30564/stat : 30564 (java) S 30556 30556 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 409135898 15787421696 25492 33554432000 4194304 4196468 140736142528640 139712917355120 139713448938114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30565] ppid=30556 vsize=15417404 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30565/stat : 30565 (java) S 30556 30556 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409135899 15787421696 25492 33554432000 4194304 4196468 140736142528640 139712916301088 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30566] ppid=30556 vsize=15417404 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30566/stat : 30566 (java) S 30556 30556 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 409135899 15787421696 25492 33554432000 4194304 4196468 140736142528640 139712915248752 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30567] ppid=30556 vsize=15417404 memory=580 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30567/stat : 30567 (java) S 30556 30556 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409135901 15787421696 25492 33554432000 4194304 4196468 140736142528640 139712914197072 139713448945563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30568] ppid=30556 vsize=15417404 memory=1720 CPUtime=0.23 cores=1,3,5,7
/proc/30558/task/30568/stat : 30568 (java) R 30556 30556 18186 0 -1 4202560 1143 0 0 0 23 0 0 0 20 0 19 0 409135901 15787421696 25492 33554432000 4194304 4196468 140736142528640 139712913142608 139713428186749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30569] ppid=30556 vsize=15417404 memory=10604 CPUtime=0.27 cores=1,3,5,7
/proc/30558/task/30569/stat : 30569 (java) R 30556 30556 18186 0 -1 4202560 1544 0 0 0 27 0 0 0 20 0 19 0 409135901 15787421696 25492 33554432000 4194304 4196468 140736142528640 139712912077000 139713434034591 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30570] ppid=30556 vsize=15417404 memory=3360 CPUtime=0.4 cores=1,3,5,7
/proc/30558/task/30570/stat : 30570 (java) S 30556 30556 18186 0 -1 1077944384 1916 0 0 0 40 0 0 0 20 0 19 0 409135901 15787421696 25492 33554432000 4194304 4196468 140736142528640 139712911038832 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30571] ppid=30556 vsize=15417404 memory=776 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30571/stat : 30571 (java) S 30556 30556 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409135902 15787421696 25492 33554432000 4194304 4196468 140736142528640 139712909986272 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30572] ppid=30556 vsize=15417404 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30572/stat : 30572 (java) S 30556 30556 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409135902 15787421696 25492 33554432000 4194304 4196468 140736142528640 139712908934064 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 103420 KiB
[startup+1.50736 s]
/proc/loadavg: 8.05 8.08 7.76 13/237 30596
/proc/meminfo: memFree=19531860/32770624 swapFree=66959216/67108860
[pid=30556] ppid=30553 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30556/stat : 30556 (xcsp3-exec) S 30553 30556 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409135896 115843072 363 33554432000 4194304 5098028 140720801139264 140720801137368 139921483260540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10829824 140720801145723 140720801145965 140720801145965 140720801148874 0
/proc/30556/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/30558/task/30568/stat : 30568 (java) S 30556 30556 18186 0 -1 1077944384 8681 0 0 0 164 1 0 0 20 0 19 0 409135901 15855583232 99418 33554432000 4194304 4196468 140736142528640 139712913143920 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30569] ppid=30556 vsize=15483968 memory=280941192869128 CPUtime=1.54 cores=1,3,5,7
/proc/30558/task/30569/stat : 30569 (java) S 30556 30556 18186 0 -1 1077944384 8294 0 0 0 153 1 0 0 20 0 19 0 409135901 15855583232 99418 33554432000 4194304 4196468 140736142528640 139712912091120 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30570] ppid=30556 vsize=15483968 memory=280941192959000 CPUtime=0.57 cores=1,3,5,7
/proc/30558/task/30570/stat : 30570 (java) S 30556 30556 18186 0 -1 1077944384 4619 0 0 0 57 0 0 0 20 0 19 0 409135901 15855583232 99418 33554432000 4194304 4196468 140736142528640 139712911038832 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30571] ppid=30556 vsize=15483968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30571/stat : 30571 (java) S 30556 30556 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409135902 15855583232 99418 33554432000 4194304 4196468 140736142528640 139712909986272 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30572] ppid=30556 vsize=15483968 memory=-2746958450906831424 CPUtime=0.04 cores=1,3,5,7
/proc/30558/task/30572/stat : 30572 (java) S 30556 30556 18186 0 -1 1077944384 590 0 0 0 0 4 0 0 20 0 19 0 409135902 15855583232 99418 33554432000 4194304 4196468 140736142528640 139712908934064 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30609] ppid=30556 vsize=15483968 memory=6298653928584532309 CPUtime=99.3 cores=1,3,5,7
/proc/30558/task/30609/stat : 30609 (java) R 30556 30556 18186 0 -1 4202560 685 0 0 0 9929 1 0 0 20 0 19 0 409136027 15855583232 99418 33554432000 4194304 4196468 140736142528640 139712895511816 139713091832992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30610] ppid=30556 vsize=15483968 memory=-5921431000321636112 CPUtime=99.39 cores=1,3,5,7
/proc/30558/task/30610/stat : 30610 (java) R 30556 30556 18186 0 -1 4202560 757 0 0 0 9938 1 0 0 20 0 19 0 409136027 15855583232 99418 33554432000 4194304 4196468 140736142528640 139712896566008 139713091833196 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30611] ppid=30556 vsize=15483968 memory=362740 CPUtime=99.2 cores=1,3,5,7
/proc/30558/task/30611/stat : 30611 (java) R 30556 30556 18186 0 -1 4202560 4300 0 0 0 9919 1 0 0 20 0 19 0 409136027 15855583232 99418 33554432000 4194304 4196468 140736142528640 139712897617488 139713092029907 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30612] ppid=30556 vsize=15483968 memory=14004 CPUtime=99.09 cores=1,3,5,7
/proc/30558/task/30612/stat : 30612 (java) R 30556 30556 18186 0 -1 4202560 3262 0 0 0 9909 0 0 0 20 0 19 0 409136027 15855583232 99418 33554432000 4194304 4196468 140736142528640 139712898673632 139713091832992 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
Current children cumulated CPU time: 404.41 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 399124 KiB
[startup+103.208 s]
/proc/loadavg: 8.13 8.07 7.79 9/237 30712
/proc/meminfo: memFree=18435688/32770624 swapFree=66959216/67108860
[pid=30556] ppid=30553 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30556/stat : 30556 (xcsp3-exec) S 30553 30556 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409135896 115843072 363 33554432000 4194304 5098028 140720801139264 140720801137368 139921483260540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10829824 140720801145723 140720801145965 140720801145965 140720801148874 0
/proc/30556/statm: 28282 363 304 221 0 87 0
[pid=30558] ppid=30556 vsize=15483968 memory=399208 CPUtime=407.62 cores=1,3,5,7
/proc/30558/stat : 30558 (java) S 30556 30556 18186 0 -1 1077944320 53149 0 0 0 40724 38 0 0 20 0 19 0 409135896 15855583232 99802 33554432000 4194304 4196468 140736142528640 140736142511184 139713448926967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
/proc/30558/statm: 3870992 99802 3539 1 0 3832094 0
[pid=30558/tid=30559] ppid=30556 vsize=15483968 memory=398568 CPUtime=0.66 cores=1,3,5,7
/proc/30558/task/30559/stat : 30559 (java) S 30556 30556 18186 0 -1 1077944384 8625 0 0 0 63 3 0 0 20 0 19 0 409135896 15855583232 99802 33554432000 4194304 4196468 140736142528640 139713453167744 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30560] ppid=30556 vsize=15483968 memory=1660 CPUtime=0.33 cores=1,3,5,7
/proc/30558/task/30560/stat : 30560 (java) S 30556 30556 18186 0 -1 1077944384 1533 0 0 0 28 5 0 0 20 0 19 0 409135897 15855583232 99802 33554432000 4194304 4196468 140736142528640 139713041213840 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30561] ppid=30556 vsize=15483968 memory=38324 CPUtime=0.32 cores=1,3,5,7
/proc/30558/task/30561/stat : 30561 (java) S 30556 30556 18186 0 -1 1077944384 1535 0 0 0 27 5 0 0 20 0 19 0 409135897 15855583232 99802 33554432000 4194304 4196468 140736142528640 139713040161040 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30562] ppid=30556 vsize=15483968 memory=6791534058613427641 CPUtime=0.32 cores=1,3,5,7
/proc/30558/task/30562/stat : 30562 (java) S 30556 30556 18186 0 -1 1077944384 1178 0 0 0 28 4 0 0 20 0 19 0 409135897 15855583232 99802 33554432000 4194304 4196468 140736142528640 139713039108752 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30563] ppid=30556 vsize=15483968 memory=6944656592455097440 CPUtime=0.32 cores=1,3,5,7
/proc/30558/task/30563/stat : 30563 (java) S 30556 30556 18186 0 -1 1077944384 2118 0 0 0 28 4 0 0 20 0 19 0 409135897 15855583232 99802 33554432000 4194304 4196468 140736142528640 139713038055952 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30564] ppid=30556 vsize=15483968 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/30558/task/30564/stat : 30564 (java) S 30556 30556 18186 0 -1 1077944384 4806 0 0 0 12 6 0 0 20 0 19 0 409135898 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712917355120 139713448938114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30565] ppid=30556 vsize=15483968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30565/stat : 30565 (java) S 30556 30556 18186 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 409135899 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712916301152 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30566] ppid=30556 vsize=15483968 memory=288230608902298921 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30566/stat : 30566 (java) S 30556 30556 18186 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 409135899 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712915248768 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30567] ppid=30556 vsize=15483968 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30567/stat : 30567 (java) S 30556 30556 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409135901 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712914197072 139713448945563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30568] ppid=30556 vsize=15483968 memory=1452 CPUtime=1.65 cores=1,3,5,7
/proc/30558/task/30568/stat : 30568 (java) S 30556 30556 18186 0 -1 1077944384 8681 0 0 0 164 1 0 0 20 0 19 0 409135901 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712913143920 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30569] ppid=30556 vsize=15483968 memory=291228 CPUtime=1.54 cores=1,3,5,7
/proc/30558/task/30569/stat : 30569 (java) S 30556 30556 18186 0 -1 1077944384 8294 0 0 0 153 1 0 0 20 0 19 0 409135901 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712912091120 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30570] ppid=30556 vsize=15483968 memory=1412 CPUtime=0.57 cores=1,3,5,7
/proc/30558/task/30570/stat : 30570 (java) S 30556 30556 18186 0 -1 1077944384 4619 0 0 0 57 0 0 0 20 0 19 0 409135901 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712911038832 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30571] ppid=30556 vsize=15483968 memory=2796 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30571/stat : 30571 (java) S 30556 30556 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409135902 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712909986272 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30572] ppid=30556 vsize=15483968 memory=6933690279252828305 CPUtime=0.04 cores=1,3,5,7
/proc/30558/task/30572/stat : 30572 (java) S 30556 30556 18186 0 -1 1077944384 590 0 0 0 0 4 0 0 20 0 19 0 409135902 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712908934064 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30609] ppid=30556 vsize=15483968 memory=7523657246433176161 CPUtime=100.11 cores=1,3,5,7
/proc/30558/task/30609/stat : 30609 (java) R 30556 30556 18186 0 -1 4202560 685 0 0 0 10010 1 0 0 20 0 19 0 409136027 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712895511264 139713091833157 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30610] ppid=30556 vsize=15483968 memory=280941192988256 CPUtime=100.19 cores=1,3,5,7
/proc/30558/task/30610/stat : 30610 (java) R 30556 30556 18186 0 -1 4202560 758 0 0 0 10018 1 0 0 20 0 19 0 409136027 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712896565872 139713091832992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30611] ppid=30556 vsize=15483968 memory=503268 CPUtime=99.99 cores=1,3,5,7
/proc/30558/task/30611/stat : 30611 (java) R 30556 30556 18186 0 -1 4202560 4301 0 0 0 9998 1 0 0 20 0 19 0 409136027 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712897618552 139713091832992 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30612] ppid=30556 vsize=15483968 memory=0 CPUtime=99.89 cores=1,3,5,7
/proc/30558/task/30612/stat : 30612 (java) R 30556 30556 18186 0 -1 4202560 3263 0 0 0 9989 0 0 0 20 0 19 0 409136027 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712898673632 139713091833193 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
Current children cumulated CPU time: 407.62 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 400660 KiB
[startup+103.401 s]
/proc/loadavg: 8.13 8.07 7.79 9/237 30712
/proc/meminfo: memFree=18435688/32770624 swapFree=66959216/67108860
[pid=30556] ppid=30553 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30556/stat : 30556 (xcsp3-exec) S 30553 30556 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409135896 115843072 363 33554432000 4194304 5098028 140720801139264 140720801137368 139921483260540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10829824 140720801145723 140720801145965 140720801145965 140720801148874 0
/proc/30556/statm: 28282 363 304 221 0 87 0
[pid=30558] ppid=30556 vsize=15483968 memory=399208 CPUtime=408.38 cores=1,3,5,7
/proc/30558/stat : 30558 (java) S 30556 30556 18186 0 -1 1077944320 53150 0 0 0 40800 38 0 0 20 0 19 0 409135896 15855583232 99802 33554432000 4194304 4196468 140736142528640 140736142511184 139713448926967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
/proc/30558/statm: 3870992 99802 3539 1 0 3832094 0
[pid=30558/tid=30559] ppid=30556 vsize=15483968 memory=6791534058613427641 CPUtime=0.66 cores=1,3,5,7
/proc/30558/task/30559/stat : 30559 (java) S 30556 30556 18186 0 -1 1077944384 8625 0 0 0 63 3 0 0 20 0 19 0 409135896 15855583232 99802 33554432000 4194304 4196468 140736142528640 139713453167744 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30560] ppid=30556 vsize=15483968 memory=7162531440177276259 CPUtime=0.33 cores=1,3,5,7
/proc/30558/task/30560/stat : 30560 (java) S 30556 30556 18186 0 -1 1077944384 1533 0 0 0 28 5 0 0 20 0 19 0 409135897 15855583232 99802 33554432000 4194304 4196468 140736142528640 139713041213840 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30561] ppid=30556 vsize=15483968 memory=7235714959876117334 CPUtime=0.32 cores=1,3,5,7
/proc/30558/task/30561/stat : 30561 (java) S 30556 30556 18186 0 -1 1077944384 1535 0 0 0 27 5 0 0 20 0 19 0 409135897 15855583232 99802 33554432000 4194304 4196468 140736142528640 139713040161040 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30562] ppid=30556 vsize=15483968 memory=7518026630507424360 CPUtime=0.32 cores=1,3,5,7
/proc/30558/task/30562/stat : 30562 (java) S 30556 30556 18186 0 -1 1077944384 1178 0 0 0 28 4 0 0 20 0 19 0 409135897 15855583232 99802 33554432000 4194304 4196468 140736142528640 139713039108752 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30563] ppid=30556 vsize=15483968 memory=7518026630507424360 CPUtime=0.32 cores=1,3,5,7
/proc/30558/task/30563/stat : 30563 (java) S 30556 30556 18186 0 -1 1077944384 2118 0 0 0 28 4 0 0 20 0 19 0 409135897 15855583232 99802 33554432000 4194304 4196468 140736142528640 139713038055952 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30564] ppid=30556 vsize=15483968 memory=7518026630507424360 CPUtime=0.18 cores=1,3,5,7
/proc/30558/task/30564/stat : 30564 (java) S 30556 30556 18186 0 -1 1077944384 4806 0 0 0 12 6 0 0 20 0 19 0 409135898 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712917355120 139713448938114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30565] ppid=30556 vsize=15483968 memory=7518026630507424360 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30565/stat : 30565 (java) S 30556 30556 18186 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 409135899 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712916301152 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30566] ppid=30556 vsize=15483968 memory=7518026630507424360 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30566/stat : 30566 (java) S 30556 30556 18186 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 409135899 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712915248768 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30567] ppid=30556 vsize=15483968 memory=7518026630507424360 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30567/stat : 30567 (java) S 30556 30556 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409135901 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712914197072 139713448945563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30568] ppid=30556 vsize=15483968 memory=6082202987142146903 CPUtime=1.65 cores=1,3,5,7
/proc/30558/task/30568/stat : 30568 (java) S 30556 30556 18186 0 -1 1077944384 8681 0 0 0 164 1 0 0 20 0 19 0 409135901 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712913143920 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30569] ppid=30556 vsize=15483968 memory=0 CPUtime=1.54 cores=1,3,5,7
/proc/30558/task/30569/stat : 30569 (java) S 30556 30556 18186 0 -1 1077944384 8294 0 0 0 153 1 0 0 20 0 19 0 409135901 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712912091120 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30570] ppid=30556 vsize=15483968 memory=140470597651974 CPUtime=0.57 cores=1,3,5,7
/proc/30558/task/30570/stat : 30570 (java) S 30556 30556 18186 0 -1 1077944384 4619 0 0 0 57 0 0 0 20 0 19 0 409135901 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712911038832 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30571] ppid=30556 vsize=15483968 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30571/stat : 30571 (java) S 30556 30556 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409135902 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712909986272 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30572] ppid=30556 vsize=15483968 memory=398184 CPUtime=0.04 cores=1,3,5,7
/proc/30558/task/30572/stat : 30572 (java) S 30556 30556 18186 0 -1 1077944384 590 0 0 0 0 4 0 0 20 0 19 0 409135902 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712908934064 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30609] ppid=30556 vsize=15483968 memory=984 CPUtime=100.3 cores=1,3,5,7
/proc/30558/task/30609/stat : 30609 (java) R 30556 30556 18186 0 -1 4202560 685 0 0 0 10029 1 0 0 20 0 19 0 409136027 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712895511056 139713092201436 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30610] ppid=30556 vsize=15483968 memory=14004 CPUtime=100.38 cores=1,3,5,7
/proc/30558/task/30610/stat : 30610 (java) R 30556 30556 18186 0 -1 4202560 759 0 0 0 10037 1 0 0 20 0 19 0 409136027 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712896566008 139713434136942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30611] ppid=30556 vsize=15483968 memory=20500 CPUtime=100.17 cores=1,3,5,7
/proc/30558/task/30611/stat : 30611 (java) R 30556 30556 18186 0 -1 4202560 4301 0 0 0 10016 1 0 0 20 0 19 0 409136027 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712897617896 139713091833344 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30612] ppid=30556 vsize=15483968 memory=14048 CPUtime=100.08 cores=1,3,5,7
/proc/30558/task/30612/stat : 30612 (java) R 30556 30556 18186 0 -1 4202560 3263 0 0 0 10008 0 0 0 20 0 19 0 409136027 15855583232 99802 33554432000 4194304 4196468 140736142528640 139712898673584 139713429769857 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
Current children cumulated CPU time: 408.38 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 400660 KiB
[startup+103.501 s]
/proc/loadavg: 8.13 8.07 7.79 9/237 30712
/proc/meminfo: memFree=18435688/32770624 swapFree=66959216/67108860
[pid=30556] ppid=30553 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30556/stat : 30556 (xcsp3-exec) S 30553 30556 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409135896 115843072 363 33554432000 4194304 5098028 140720801139264 140720801137368 139921483260540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10829824 140720801145723 140720801145965 140720801145965 140720801148874 0
/proc/30556/statm: 28282 363 304 221 0 87 0
[pid=30558] ppid=30556 vsize=15483968 memory=399264 CPUtime=408.51 cores=1,3,5,7
/proc/30558/stat : 30558 (java) S 30556 30556 18186 0 -1 1077944320 53492 0 0 0 40813 38 0 0 20 0 19 0 409135896 15855583232 99816 33554432000 4194304 4196468 140736142528640 140736142511184 139713448926967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
/proc/30558/statm: 3870992 99816 3540 1 0 3832094 0
[pid=30558/tid=30559] ppid=30556 vsize=15483968 memory=298240 CPUtime=0.66 cores=1,3,5,7
/proc/30558/task/30559/stat : 30559 (java) S 30556 30556 18186 0 -1 1077944384 8661 0 0 0 63 3 0 0 20 0 19 0 409135896 15855583232 99816 33554432000 4194304 4196468 140736142528640 139713453167744 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30560] ppid=30556 vsize=15483968 memory=1452 CPUtime=0.33 cores=1,3,5,7
/proc/30558/task/30560/stat : 30560 (java) S 30556 30556 18186 0 -1 1077944384 1533 0 0 0 28 5 0 0 20 0 19 0 409135897 15855583232 99816 33554432000 4194304 4196468 140736142528640 139713041213840 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30561] ppid=30556 vsize=15483968 memory=399720 CPUtime=0.32 cores=1,3,5,7
/proc/30558/task/30561/stat : 30561 (java) S 30556 30556 18186 0 -1 1077944384 1535 0 0 0 27 5 0 0 20 0 19 0 409135897 15855583232 99816 33554432000 4194304 4196468 140736142528640 139713040161040 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30562] ppid=30556 vsize=15483968 memory=399208 CPUtime=0.32 cores=1,3,5,7
/proc/30558/task/30562/stat : 30562 (java) S 30556 30556 18186 0 -1 1077944384 1178 0 0 0 28 4 0 0 20 0 19 0 409135897 15855583232 99816 33554432000 4194304 4196468 140736142528640 139713039108752 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30563] ppid=30556 vsize=15483968 memory=1452 CPUtime=0.32 cores=1,3,5,7
/proc/30558/task/30563/stat : 30563 (java) S 30556 30556 18186 0 -1 1077944384 2118 0 0 0 28 4 0 0 20 0 19 0 409135897 15855583232 99816 33554432000 4194304 4196468 140736142528640 139713038055952 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30564] ppid=30556 vsize=15483968 memory=1452 CPUtime=0.18 cores=1,3,5,7
/proc/30558/task/30564/stat : 30564 (java) S 30556 30556 18186 0 -1 1077944384 4806 0 0 0 12 6 0 0 20 0 19 0 409135898 15855583232 99816 33554432000 4194304 4196468 140736142528640 139712917355120 139713448938114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30565] ppid=30556 vsize=15483968 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30565/stat : 30565 (java) S 30556 30556 18186 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 409135899 15855583232 99816 33554432000 4194304 4196468 140736142528640 139712916301152 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30566] ppid=30556 vsize=15483968 memory=6364238771711345281 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30566/stat : 30566 (java) S 30556 30556 18186 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 409135899 15855583232 99816 33554432000 4194304 4196468 140736142528640 139712915248768 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30567] ppid=30556 vsize=15483968 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30567/stat : 30567 (java) S 30556 30556 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409135901 15855583232 99816 33554432000 4194304 4196468 140736142528640 139712914197072 139713448945563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30568] ppid=30556 vsize=15483968 memory=56 CPUtime=1.65 cores=1,3,5,7
/proc/30558/task/30568/stat : 30568 (java) S 30556 30556 18186 0 -1 1077944384 8728 0 0 0 164 1 0 0 20 0 19 0 409135901 15855583232 99816 33554432000 4194304 4196468 140736142528640 139712913143920 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30569] ppid=30556 vsize=15483968 memory=1452 CPUtime=1.54 cores=1,3,5,7
/proc/30558/task/30569/stat : 30569 (java) S 30556 30556 18186 0 -1 1077944384 8380 0 0 0 153 1 0 0 20 0 19 0 409135901 15855583232 99816 33554432000 4194304 4196468 140736142528640 139712912091120 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30570] ppid=30556 vsize=15483968 memory=513048 CPUtime=0.57 cores=1,3,5,7
/proc/30558/task/30570/stat : 30570 (java) S 30556 30556 18186 0 -1 1077944384 4619 0 0 0 57 0 0 0 20 0 19 0 409135901 15855583232 99816 33554432000 4194304 4196468 140736142528640 139712911038832 139713448938114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30571] ppid=30556 vsize=15483968 memory=-7966001967256141664 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30571/stat : 30571 (java) S 30556 30556 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409135902 15855583232 99816 33554432000 4194304 4196468 140736142528640 139712909986272 139713448937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
[pid=30558/tid=30572] ppid=30556 vsize=15483968 memory=8303054830060986464 CPUtime=0.04 cores=1,3,5,7
/proc/30558/task/30572/stat : 30572 (java) R 30556 30556 18186 0 -1 1077944384 590 0 0 0 0 4 0 0 20 0 19 0 409135902 15855583232 99816 33554432000 4194304 4196468 140736142528640 139712908934064 139713448938114 0 4 0 16800975 0 0 0 -1 1 0 0 39 0 0 6293624 6294260 28057600 140736142533615 140736142533786 140736142533786 140736142536655 0
Current children cumulated CPU time: 408.51 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 400716 KiB
Child status: 0
Real time (s): 103.533
CPU time (s): 408.555
CPU user time (s): 408.16
CPU system time (s): 0.394423
CPU usage (%): 394.614
Max. virtual memory (cumulated for all children) (KiB): 15597096
Max. memory (cumulated for all children) (KiB): 532420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 408.16
system time used= 0.394423
maximum resident set size= 558796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54163
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8732
involuntary context switches= 7973
# summary of solver processes directly reported to runsolver:
# pid: 30556
# total CPU time (s): 408.555
# total CPU user time (s): 408.16
# total CPU system time (s): 0.394423
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.653512 second user time and 1.26538 second system time
The end