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 (13114 MiB free)
memory of node 1: 16384 MiB (10844 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405898-1569402944/watcher-4405898-1569402944 -o /tmp/evaluation-result-4405898-1569402944/solver-4405898-1569402944 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1569396627-21715 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 674984274 HOME/instance-4405898-1569402944.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22860, runsolver pid=22857
[startup+0.100163 s]*
/proc/loadavg: 1.93 2.00 2.04 3/230 22876
/proc/meminfo: memFree=24520004/32770624 swapFree=66936828/67108860
[pid=22860] ppid=22857 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22860/stat : 22860 (xcsp3-exec) S 22857 22860 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516232242 115843072 363 33554432000 4194304 5098028 140736427415616 140736427413720 140518434382460 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10444800 140736427422587 140736427422829 140736427422829 140736427425738 0
/proc/22860/statm: 28282 363 304 221 0 87 0
[pid=22862] ppid=22860 vsize=15144776 memory=27232 CPUtime=0.12 cores=0,2,4,6
/proc/22862/stat : 22862 (java) S 22860 22860 21684 0 -1 1077944320 5768 0 0 0 11 1 0 0 20 0 15 0 516232243 15508250624 6808 33554432000 4194304 4196468 140724546114128 140724546096672 140231784263415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
/proc/22862/statm: 3786194 6808 3125 1 0 3748377 0
[pid=22862/tid=22863] ppid=22860 vsize=15144776 memory=-8895323862916359523 CPUtime=0.09 cores=0,2,4,6
/proc/22862/task/22863/stat : 22863 (java) R 22860 22860 21684 0 -1 4202560 3635 0 0 0 8 1 0 0 20 0 15 0 516232243 15508250624 6808 33554432000 4194304 4196468 140724546114128 140231788496688 140231768343902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22864] ppid=22860 vsize=15144776 memory=3472468708366185680 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22864/stat : 22864 (java) S 22860 22860 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516232244 15508250624 6808 33554432000 4194304 4196468 140724546114128 140231376996752 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22865] ppid=22860 vsize=15144776 memory=140579471033984 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22865/stat : 22865 (java) S 22860 22860 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516232244 15508250624 6808 33554432000 4194304 4196468 140724546114128 140231375943952 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22866] ppid=22860 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22866/stat : 22866 (java) S 22860 22860 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516232244 15508250624 6808 33554432000 4194304 4196468 140724546114128 140231374891664 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22867] ppid=22860 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22867/stat : 22867 (java) S 22860 22860 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516232244 15508250624 6808 33554432000 4194304 4196468 140724546114128 140231373838864 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22868] ppid=22860 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22868/stat : 22868 (java) S 22860 22860 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516232245 15508250624 6808 33554432000 4194304 4196468 140724546114128 140231252920944 140231784274562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22869] ppid=22860 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22869/stat : 22869 (java) S 22860 22860 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516232246 15508250624 6808 33554432000 4194304 4196468 140724546114128 140231251866912 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22870] ppid=22860 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22870/stat : 22870 (java) S 22860 22860 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516232246 15508250624 6808 33554432000 4194304 4196468 140724546114128 140231250814576 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22871] ppid=22860 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22871/stat : 22871 (java) S 22860 22860 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516232248 15508250624 6808 33554432000 4194304 4196468 140724546114128 140231249762896 140231784282011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22872] ppid=22860 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22872/stat : 22872 (java) S 22860 22860 21684 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 516232248 15508250624 6808 33554432000 4194304 4196468 140724546114128 140231248709744 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22873] ppid=22860 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22873/stat : 22873 (java) S 22860 22860 21684 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 516232248 15508250624 6808 33554432000 4194304 4196468 140724546114128 140231247656944 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22874] ppid=22860 vsize=15144776 memory=140579471033984 CPUtime=0.02 cores=0,2,4,6
/proc/22862/task/22874/stat : 22874 (java) R 22860 22860 21684 0 -1 4202560 399 0 0 0 2 0 0 0 20 0 15 0 516232248 15508250624 6808 33554432000 4194304 4196468 140724546114128 140231246604656 140231784275350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22875] ppid=22860 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22875/stat : 22875 (java) S 22860 22860 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516232249 15508250624 6808 33554432000 4194304 4196468 140724546114128 140231245552096 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22876] ppid=22860 vsize=15144776 memory=140579471033984 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22876/stat : 22876 (java) S 22860 22860 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516232249 15508250624 6808 33554432000 4194304 4196468 140724546114128 140231244499888 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28684 KiB
[startup+0.210823 s]*
/proc/loadavg: 1.93 2.00 2.04 3/230 22876
/proc/meminfo: memFree=24505440/32770624 swapFree=66936828/67108860
[pid=22860] ppid=22857 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22860/stat : 22860 (xcsp3-exec) S 22857 22860 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516232242 115843072 363 33554432000 4194304 5098028 140736427415616 140736427413720 140518434382460 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10444800 140736427422587 140736427422829 140736427422829 140736427425738 0
/proc/22860/statm: 28282 363 304 221 0 87 0
[pid=22862] ppid=22860 vsize=15144776 memory=39500 CPUtime=0.34 cores=0,2,4,6
/proc/22862/stat : 22862 (java) S 22860 22860 21684 0 -1 1077944320 9672 0 0 0 31 3 0 0 20 0 15 0 516232243 15508250624 9875 33554432000 4194304 4196468 140724546114128 140724546096672 140231784263415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
/proc/22862/statm: 3786194 9875 3291 1 0 3748377 0
[pid=22862/tid=22863] ppid=22860 vsize=15144776 memory=-8895323862916359523 CPUtime=0.2 cores=0,2,4,6
/proc/22862/task/22863/stat : 22863 (java) R 22860 22860 21684 0 -1 4202560 6674 0 0 0 18 2 0 0 20 0 15 0 516232243 15508250624 9875 33554432000 4194304 4196468 140724546114128 140231788496144 140231784275350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22864] ppid=22860 vsize=15144776 memory=3472468708366185680 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22864/stat : 22864 (java) S 22860 22860 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516232244 15508250624 9875 33554432000 4194304 4196468 140724546114128 140231376996752 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22865] ppid=22860 vsize=15144776 memory=140579471033984 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22865/stat : 22865 (java) S 22860 22860 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516232244 15508250624 9875 33554432000 4194304 4196468 140724546114128 140231375943952 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22866] ppid=22860 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22866/stat : 22866 (java) S 22860 22860 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516232244 15508250624 9875 33554432000 4194304 4196468 140724546114128 140231374891664 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22867] ppid=22860 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22867/stat : 22867 (java) S 22860 22860 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516232244 15508250624 9875 33554432000 4194304 4196468 140724546114128 140231373838864 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22868] ppid=22860 vsize=15144776 memory=140579471033984 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22868/stat : 22868 (java) S 22860 22860 21684 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516232245 15508250624 9875 33554432000 4194304 4196468 140724546114128 140231252920944 140231784274562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22869] ppid=22860 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22869/stat : 22869 (java) S 22860 22860 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516232246 15508250624 9875 33554432000 4194304 4196468 140724546114128 140231251866912 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22870] ppid=22860 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22870/stat : 22870 (java) S 22860 22860 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516232246 15508250624 9875 33554432000 4194304 4196468 140724546114128 140231250814576 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22871] ppid=22860 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22871/stat : 22871 (java) S 22860 22860 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516232248 15508250624 9875 33554432000 4194304 4196468 140724546114128 140231249762896 140231784282011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22872] ppid=22860 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22862/task/22872/stat : 22872 (java) R 22860 22860 21684 0 -1 1077944384 394 0 0 0 2 0 0 0 20 0 15 0 516232248 15508250624 9875 33554432000 4194304 4196468 140724546114128 140231248709744 140231784274562 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22873] ppid=22860 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/22862/task/22873/stat : 22873 (java) S 22860 22860 21684 0 -1 1077944384 375 0 0 0 3 0 0 0 20 0 15 0 516232248 15508250624 9875 33554432000 4194304 4196468 140724546114128 140231247656944 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22874] ppid=22860 vsize=15144776 memory=140579471033984 CPUtime=0.08 cores=0,2,4,6
/proc/22862/task/22874/stat : 22874 (java) R 22860 22860 21684 0 -1 4202560 923 0 0 0 8 0 0 0 20 0 15 0 516232248 15508250624 9875 33554432000 4194304 4196468 140724546114128 140231246604656 140231768343902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22875] ppid=22860 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22875/stat : 22875 (java) S 22860 22860 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516232249 15508250624 9875 33554432000 4194304 4196468 140724546114128 140231245552096 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22876] ppid=22860 vsize=15144776 memory=140579471033984 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22876/stat : 22876 (java) S 22860 22860 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516232249 15508250624 9875 33554432000 4194304 4196468 140724546114128 140231244499888 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40952 KiB
[startup+0.313042 s]*
/proc/loadavg: 1.93 2.00 2.04 4/230 22876
/proc/meminfo: memFree=24501104/32770624 swapFree=66936828/67108860
[pid=22860] ppid=22857 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22860/stat : 22860 (xcsp3-exec) S 22857 22860 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516232242 115843072 363 33554432000 4194304 5098028 140736427415616 140736427413720 140518434382460 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10444800 140736427422587 140736427422829 140736427422829 140736427425738 0
/proc/22860/statm: 28282 363 304 221 0 87 0
[pid=22862] ppid=22860 vsize=15149032 memory=49276 CPUtime=0.53 cores=0,2,4,6
/proc/22862/stat : 22862 (java) S 22860 22860 21684 0 -1 1077944320 11136 0 0 0 49 4 0 0 20 0 15 0 516232243 15512608768 12319 33554432000 4194304 4196468 140724546114128 140724546096672 140231784263415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
/proc/22862/statm: 3787258 12319 3365 1 0 3748377 0
[pid=22862/tid=22863] ppid=22860 vsize=15149032 memory=-8094235084319000145 CPUtime=0.3 cores=0,2,4,6
/proc/22862/task/22863/stat : 22863 (java) R 22860 22860 21684 0 -1 4202560 7793 0 0 0 27 3 0 0 20 0 15 0 516232243 15512608768 12319 33554432000 4194304 4196468 140724546114128 140231788494528 140231768343902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22864] ppid=22860 vsize=15149032 memory=3472468708366185680 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22864/stat : 22864 (java) S 22860 22860 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516232244 15512608768 12319 33554432000 4194304 4196468 140724546114128 140231376996752 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22865] ppid=22860 vsize=15149032 memory=281158783908224 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22865/stat : 22865 (java) S 22860 22860 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516232244 15512608768 12319 33554432000 4194304 4196468 140724546114128 140231375943952 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22866] ppid=22860 vsize=15149032 memory=281158625780768 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22866/stat : 22866 (java) S 22860 22860 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516232244 15512608768 12319 33554432000 4194304 4196468 140724546114128 140231374891664 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22867] ppid=22860 vsize=15149032 memory=140579312874255 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22867/stat : 22867 (java) S 22860 22860 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516232244 15512608768 12319 33554432000 4194304 4196468 140724546114128 140231373838864 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22868] ppid=22860 vsize=15149032 memory=281158783917440 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22868/stat : 22868 (java) S 22860 22860 21684 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516232245 15512608768 12319 33554432000 4194304 4196468 140724546114128 140231252920944 140231784274562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22869] ppid=22860 vsize=15149032 memory=140579312878863 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22869/stat : 22869 (java) S 22860 22860 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516232246 15512608768 12319 33554432000 4194304 4196468 140724546114128 140231251866912 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22870] ppid=22860 vsize=15149032 memory=140579312903164 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22870/stat : 22870 (java) S 22860 22860 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516232246 15512608768 12319 33554432000 4194304 4196468 140724546114128 140231250814576 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22871] ppid=22860 vsize=15149032 memory=140579312906113 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22871/stat : 22871 (java) S 22860 22860 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516232248 15512608768 12319 33554432000 4194304 4196468 140724546114128 140231249762896 140231784282011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22872] ppid=22860 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22862/task/22872/stat : 22872 (java) S 22860 22860 21684 0 -1 1077944384 428 0 0 0 4 0 0 0 20 0 15 0 516232248 15512608768 12319 33554432000 4194304 4196468 140724546114128 140231248709744 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22873] ppid=22860 vsize=15149032 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/22862/task/22873/stat : 22873 (java) R 22860 22860 21684 0 -1 4202560 508 0 0 0 5 0 0 0 20 0 15 0 516232248 15512608768 12319 33554432000 4194304 4196468 140724546114128 140231247656944 140231769931400 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22874] ppid=22860 vsize=15149032 memory=140579471033984 CPUtime=0.12 cores=0,2,4,6
/proc/22862/task/22874/stat : 22874 (java) R 22860 22860 21684 0 -1 1077944384 1119 0 0 0 12 0 0 0 20 0 15 0 516232248 15512608768 12319 33554432000 4194304 4196468 140724546114128 140231246604656 140231784274562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22875] ppid=22860 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22875/stat : 22875 (java) S 22860 22860 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516232249 15512608768 12319 33554432000 4194304 4196468 140724546114128 140231245552096 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22876] ppid=22860 vsize=15149032 memory=140579471035436 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22876/stat : 22876 (java) S 22860 22860 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516232249 15512608768 12319 33554432000 4194304 4196468 140724546114128 140231244499888 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50728 KiB
[startup+0.701123 s]
/proc/loadavg: 1.93 2.00 2.04 6/229 22876
/proc/meminfo: memFree=24479208/32770624 swapFree=66936828/67108860
[pid=22860] ppid=22857 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22860/stat : 22860 (xcsp3-exec) S 22857 22860 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516232242 115843072 363 33554432000 4194304 5098028 140736427415616 140736427413720 140518434382460 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10444800 140736427422587 140736427422829 140736427422829 140736427425738 0
/proc/22860/statm: 28282 363 304 221 0 87 0
[pid=22862] ppid=22860 vsize=15151156 memory=114368 CPUtime=1.76 cores=0,2,4,6
/proc/22862/stat : 22862 (java) S 22860 22860 21684 0 -1 1077944320 15688 0 0 0 170 6 0 0 20 0 15 0 516232243 15514783744 28592 33554432000 4194304 4196468 140724546114128 140724546096672 140231784263415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
/proc/22862/statm: 3787789 28592 3454 1 0 3748889 0
[pid=22862/tid=22863] ppid=22860 vsize=15151156 memory=6945208551368380768 CPUtime=0.66 cores=0,2,4,6
/proc/22862/task/22863/stat : 22863 (java) R 22860 22860 21684 0 -1 4202560 8406 0 0 0 62 4 0 0 20 0 15 0 516232243 15514783744 28592 33554432000 4194304 4196468 140724546114128 140231788499584 140231425021158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22864] ppid=22860 vsize=15151156 memory=7084813469732589655 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22864/stat : 22864 (java) S 22860 22860 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516232244 15514783744 28592 33554432000 4194304 4196468 140724546114128 140231376996752 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22865] ppid=22860 vsize=15151156 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22865/stat : 22865 (java) S 22860 22860 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516232244 15514783744 28592 33554432000 4194304 4196468 140724546114128 140231375943952 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22866] ppid=22860 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22866/stat : 22866 (java) S 22860 22860 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516232244 15514783744 28592 33554432000 4194304 4196468 140724546114128 140231374891664 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22867] ppid=22860 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22867/stat : 22867 (java) S 22860 22860 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516232244 15514783744 28592 33554432000 4194304 4196468 140724546114128 140231373838864 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22868] ppid=22860 vsize=15151156 memory=11620 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22868/stat : 22868 (java) S 22860 22860 21684 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516232245 15514783744 28592 33554432000 4194304 4196468 140724546114128 140231252920944 140231784274562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22869] ppid=22860 vsize=15151156 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22869/stat : 22869 (java) S 22860 22860 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516232246 15514783744 28592 33554432000 4194304 4196468 140724546114128 140231251866912 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22870] ppid=22860 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22870/stat : 22870 (java) S 22860 22860 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516232246 15514783744 28592 33554432000 4194304 4196468 140724546114128 140231250814576 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22871] ppid=22860 vsize=15151156 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22871/stat : 22871 (java) S 22860 22860 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516232248 15514783744 28592 33554432000 4194304 4196468 140724546114128 140231249762896 140231784282011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22872] ppid=22860 vsize=15151156 memory=1560 CPUtime=0.36 cores=0,2,4,6
/proc/22862/task/22872/stat : 22872 (java) R 22860 22860 21684 0 -1 4202560 1556 0 0 0 36 0 0 0 20 0 15 0 516232248 15514783744 28592 33554432000 4194304 4196468 140724546114128 140231248695712 140231769870640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22873] ppid=22860 vsize=15151156 memory=1172 CPUtime=0.36 cores=0,2,4,6
/proc/22862/task/22873/stat : 22873 (java) R 22860 22860 21684 0 -1 4202560 1901 0 0 0 36 0 0 0 20 0 15 0 516232248 15514783744 28592 33554432000 4194304 4196468 140724546114128 140231247637960 140231767763621 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22874] ppid=22860 vsize=15151156 memory=14008 CPUtime=0.34 cores=0,2,4,6
/proc/22862/task/22874/stat : 22874 (java) R 22860 22860 21684 0 -1 4202560 2522 0 0 0 34 0 0 0 20 0 15 0 516232248 15514783744 28592 33554432000 4194304 4196468 140724546114128 140231246604656 140231777360259 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22875] ppid=22860 vsize=15151156 memory=14076 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22875/stat : 22875 (java) S 22860 22860 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516232249 15514783744 28592 33554432000 4194304 4196468 140724546114128 140231245552096 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22876] ppid=22860 vsize=15151156 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22876/stat : 22876 (java) S 22860 22860 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516232249 15514783744 28592 33554432000 4194304 4196468 140724546114128 140231244499888 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 115820 KiB
[startup+1.50089 s]
/proc/loadavg: 1.93 2.00 2.04 3/229 22876
/proc/meminfo: memFree=24305324/32770624 swapFree=66936828/67108860
[pid=22860] ppid=22857 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22860/stat : 22860 (xcsp3-exec) S 22857 22860 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516232242 115843072 363 33554432000 4194304 5098028 140736427415616 140736427413720 140518434382460 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10444800 140736427422587 140736427422829 140736427422829 140736427425738 0
/proc/22860/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/22860/stat : 22860 (xcsp3-exec) S 22857 22860 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516232242 115843072 363 33554432000 4194304 5098028 140736427415616 140736427413720 140518434382460 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10444800 140736427422587 140736427422829 140736427422829 140736427425738 0
/proc/22860/statm: 28282 363 304 221 0 87 0
[pid=22862] ppid=22860 vsize=15151156 memory=2108284 CPUtime=28.17 cores=0,2,4,6
/proc/22862/stat : 22862 (java) S 22860 22860 21684 0 -1 1077944320 51140 0 0 0 2604 213 0 0 20 0 15 0 516232243 15514783744 527071 33554432000 4194304 4196468 140724546114128 140724546096672 140231784263415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
/proc/22862/statm: 3787789 527071 3520 1 0 3748889 0
[pid=22862/tid=22863] ppid=22860 vsize=15151156 memory=1452 CPUtime=14.74 cores=0,2,4,6
/proc/22862/task/22863/stat : 22863 (java) R 22860 22860 21684 0 -1 4202560 12148 0 0 0 1464 10 0 0 20 0 15 0 516232243 15514783744 527071 33554432000 4194304 4196468 140724546114128 140231788502120 140231427880778 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22864] ppid=22860 vsize=15151156 memory=2108284 CPUtime=2.66 cores=0,2,4,6
/proc/22862/task/22864/stat : 22864 (java) S 22860 22860 21684 0 -1 1077944384 3693 0 0 0 216 50 0 0 20 0 15 0 516232244 15514783744 527071 33554432000 4194304 4196468 140724546114128 140231376996752 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22865] ppid=22860 vsize=15151156 memory=988 CPUtime=2.67 cores=0,2,4,6
/proc/22862/task/22865/stat : 22865 (java) S 22860 22860 21684 0 -1 1077944384 8722 0 0 0 218 49 0 0 20 0 15 0 516232244 15514783744 527071 33554432000 4194304 4196468 140724546114128 140231375943952 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22866] ppid=22860 vsize=15151156 memory=2012 CPUtime=2.62 cores=0,2,4,6
/proc/22862/task/22866/stat : 22866 (java) S 22860 22860 21684 0 -1 1077944384 3767 0 0 0 214 48 0 0 20 0 15 0 516232244 15514783744 527071 33554432000 4194304 4196468 140724546114128 140231374891664 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22867] ppid=22860 vsize=15151156 memory=1452 CPUtime=2.67 cores=0,2,4,6
/proc/22862/task/22867/stat : 22867 (java) S 22860 22860 21684 0 -1 1077944384 7899 0 0 0 217 50 0 0 20 0 15 0 516232244 15514783744 527071 33554432000 4194304 4196468 140724546114128 140231373838864 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22868] ppid=22860 vsize=15151156 memory=1452 CPUtime=0.11 cores=0,2,4,6
/proc/22862/task/22868/stat : 22868 (java) S 22860 22860 21684 0 -1 1077944384 2294 0 0 0 11 0 0 0 20 0 15 0 516232245 15514783744 527071 33554432000 4194304 4196468 140724546114128 140231252920944 140231784274562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22869] ppid=22860 vsize=15151156 memory=2108284 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22869/stat : 22869 (java) S 22860 22860 21684 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 516232246 15514783744 527071 33554432000 4194304 4196468 140724546114128 140231251866976 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22870] ppid=22860 vsize=15151156 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22870/stat : 22870 (java) S 22860 22860 21684 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 516232246 15514783744 527071 33554432000 4194304 4196468 140724546114128 140231250814592 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22871] ppid=22860 vsize=15151156 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22871/stat : 22871 (java) S 22860 22860 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516232248 15514783744 527071 33554432000 4194304 4196468 140724546114128 140231249762896 140231784282011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22872] ppid=22860 vsize=15151156 memory=2592 CPUtime=0.94 cores=0,2,4,6
/proc/22862/task/22872/stat : 22872 (java) S 22860 22860 21684 0 -1 1077944384 2729 0 0 0 94 0 0 0 20 0 15 0 516232248 15514783744 527071 33554432000 4194304 4196468 140724546114128 140231248709744 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22873] ppid=22860 vsize=15151156 memory=4100 CPUtime=1.05 cores=0,2,4,6
/proc/22862/task/22873/stat : 22873 (java) S 22860 22860 21684 0 -1 1077944384 3667 0 0 0 105 0 0 0 20 0 15 0 516232248 15514783744 527071 33554432000 4194304 4196468 140724546114128 140231247656944 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22874] ppid=22860 vsize=15151156 memory=1408 CPUtime=0.61 cores=0,2,4,6
/proc/22862/task/22874/stat : 22874 (java) S 22860 22860 21684 0 -1 1077944384 4893 0 0 0 60 1 0 0 20 0 15 0 516232248 15514783744 527071 33554432000 4194304 4196468 140724546114128 140231246604656 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22875] ppid=22860 vsize=15151156 memory=3236 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22875/stat : 22875 (java) S 22860 22860 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516232249 15514783744 527071 33554432000 4194304 4196468 140724546114128 140231245552096 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22876] ppid=22860 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22876/stat : 22876 (java) S 22860 22860 21684 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 516232249 15514783744 527071 33554432000 4194304 4196468 140724546114128 140231244499888 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 36 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
Current children cumulated CPU time: 28.17 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2109736 KiB
[startup+19.2009 s]
/proc/loadavg: 2.15 2.05 2.06 3/230 22878
/proc/meminfo: memFree=22436168/32770624 swapFree=66936828/67108860
[pid=22860] ppid=22857 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22860/stat : 22860 (xcsp3-exec) S 22857 22860 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516232242 115843072 363 33554432000 4194304 5098028 140736427415616 140736427413720 140518434382460 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10444800 140736427422587 140736427422829 140736427422829 140736427425738 0
/proc/22860/statm: 28282 363 304 221 0 87 0
[pid=22862] ppid=22860 vsize=15151156 memory=2108384 CPUtime=29.78 cores=0,2,4,6
/proc/22862/stat : 22862 (java) S 22860 22860 21684 0 -1 1077944320 51201 0 0 0 2765 213 0 0 20 0 15 0 516232243 15514783744 527096 33554432000 4194304 4196468 140724546114128 140724546096672 140231784263415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
/proc/22862/statm: 3787789 527096 3520 1 0 3748889 0
[pid=22862/tid=22863] ppid=22860 vsize=15151156 memory=6791534058613427641 CPUtime=16.34 cores=0,2,4,6
/proc/22862/task/22863/stat : 22863 (java) R 22860 22860 21684 0 -1 4202560 12164 0 0 0 1624 10 0 0 20 0 15 0 516232243 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231788500096 140231427525049 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22864] ppid=22860 vsize=15151156 memory=1760 CPUtime=2.66 cores=0,2,4,6
/proc/22862/task/22864/stat : 22864 (java) S 22860 22860 21684 0 -1 1077944384 3693 0 0 0 216 50 0 0 20 0 15 0 516232244 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231376996752 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22865] ppid=22860 vsize=15151156 memory=111636 CPUtime=2.67 cores=0,2,4,6
/proc/22862/task/22865/stat : 22865 (java) S 22860 22860 21684 0 -1 1077944384 8722 0 0 0 218 49 0 0 20 0 15 0 516232244 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231375943952 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22866] ppid=22860 vsize=15151156 memory=800 CPUtime=2.62 cores=0,2,4,6
/proc/22862/task/22866/stat : 22866 (java) S 22860 22860 21684 0 -1 1077944384 3767 0 0 0 214 48 0 0 20 0 15 0 516232244 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231374891664 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22867] ppid=22860 vsize=15151156 memory=1452 CPUtime=2.67 cores=0,2,4,6
/proc/22862/task/22867/stat : 22867 (java) S 22860 22860 21684 0 -1 1077944384 7899 0 0 0 217 50 0 0 20 0 15 0 516232244 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231373838864 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22868] ppid=22860 vsize=15151156 memory=2108000 CPUtime=0.11 cores=0,2,4,6
/proc/22862/task/22868/stat : 22868 (java) S 22860 22860 21684 0 -1 1077944384 2294 0 0 0 11 0 0 0 20 0 15 0 516232245 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231252920944 140231784274562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22869] ppid=22860 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22869/stat : 22869 (java) S 22860 22860 21684 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 516232246 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231251866976 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22870] ppid=22860 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22870/stat : 22870 (java) S 22860 22860 21684 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 516232246 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231250814592 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22871] ppid=22860 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22871/stat : 22871 (java) S 22860 22860 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516232248 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231249762896 140231784282011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22872] ppid=22860 vsize=15151156 memory=2106536 CPUtime=0.94 cores=0,2,4,6
/proc/22862/task/22872/stat : 22872 (java) S 22860 22860 21684 0 -1 1077944384 2729 0 0 0 94 0 0 0 20 0 15 0 516232248 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231248709744 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22873] ppid=22860 vsize=15151156 memory=238761526997663 CPUtime=1.05 cores=0,2,4,6
/proc/22862/task/22873/stat : 22873 (java) S 22860 22860 21684 0 -1 1077944384 3667 0 0 0 105 0 0 0 20 0 15 0 516232248 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231247656944 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22874] ppid=22860 vsize=15151156 memory=238761526997664 CPUtime=0.62 cores=0,2,4,6
/proc/22862/task/22874/stat : 22874 (java) S 22860 22860 21684 0 -1 1077944384 4938 0 0 0 61 1 0 0 20 0 15 0 516232248 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231246604656 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22875] ppid=22860 vsize=15151156 memory=238761526997665 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22875/stat : 22875 (java) S 22860 22860 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516232249 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231245552096 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22876] ppid=22860 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22876/stat : 22876 (java) S 22860 22860 21684 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 516232249 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231244499888 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 36 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
Current children cumulated CPU time: 29.78 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2109836 KiB
[startup+19.6009 s]
/proc/loadavg: 2.15 2.05 2.06 3/230 22878
/proc/meminfo: memFree=22436168/32770624 swapFree=66936828/67108860
[pid=22860] ppid=22857 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22860/stat : 22860 (xcsp3-exec) S 22857 22860 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516232242 115843072 363 33554432000 4194304 5098028 140736427415616 140736427413720 140518434382460 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10444800 140736427422587 140736427422829 140736427422829 140736427425738 0
/proc/22860/statm: 28282 363 304 221 0 87 0
[pid=22862] ppid=22860 vsize=15151156 memory=2108384 CPUtime=30.18 cores=0,2,4,6
/proc/22862/stat : 22862 (java) S 22860 22860 21684 0 -1 1077944320 51204 0 0 0 2805 213 0 0 20 0 15 0 516232243 15514783744 527096 33554432000 4194304 4196468 140724546114128 140724546096672 140231784263415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
/proc/22862/statm: 3787789 527096 3520 1 0 3748889 0
[pid=22862/tid=22863] ppid=22860 vsize=15151156 memory=14008 CPUtime=16.74 cores=0,2,4,6
/proc/22862/task/22863/stat : 22863 (java) R 22860 22860 21684 0 -1 4202560 12164 0 0 0 1664 10 0 0 20 0 15 0 516232243 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231788500472 140231427539376 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22864] ppid=22860 vsize=15151156 memory=14076 CPUtime=2.66 cores=0,2,4,6
/proc/22862/task/22864/stat : 22864 (java) S 22860 22860 21684 0 -1 1077944384 3693 0 0 0 216 50 0 0 20 0 15 0 516232244 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231376996752 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22865] ppid=22860 vsize=15151156 memory=2116 CPUtime=2.67 cores=0,2,4,6
/proc/22862/task/22865/stat : 22865 (java) S 22860 22860 21684 0 -1 1077944384 8722 0 0 0 218 49 0 0 20 0 15 0 516232244 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231375943952 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22866] ppid=22860 vsize=15151156 memory=23916 CPUtime=2.62 cores=0,2,4,6
/proc/22862/task/22866/stat : 22866 (java) S 22860 22860 21684 0 -1 1077944384 3767 0 0 0 214 48 0 0 20 0 15 0 516232244 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231374891664 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22867] ppid=22860 vsize=15151156 memory=1452 CPUtime=2.67 cores=0,2,4,6
/proc/22862/task/22867/stat : 22867 (java) S 22860 22860 21684 0 -1 1077944384 7899 0 0 0 217 50 0 0 20 0 15 0 516232244 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231373838864 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22868] ppid=22860 vsize=15151156 memory=6791534058613427641 CPUtime=0.11 cores=0,2,4,6
/proc/22862/task/22868/stat : 22868 (java) S 22860 22860 21684 0 -1 1077944384 2294 0 0 0 11 0 0 0 20 0 15 0 516232245 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231252920944 140231784274562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22869] ppid=22860 vsize=15151156 memory=2108284 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22869/stat : 22869 (java) S 22860 22860 21684 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 516232246 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231251866976 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22870] ppid=22860 vsize=15151156 memory=768 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22870/stat : 22870 (java) S 22860 22860 21684 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 516232246 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231250814592 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22871] ppid=22860 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22871/stat : 22871 (java) S 22860 22860 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516232248 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231249762896 140231784282011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22872] ppid=22860 vsize=15151156 memory=0 CPUtime=0.94 cores=0,2,4,6
/proc/22862/task/22872/stat : 22872 (java) S 22860 22860 21684 0 -1 1077944384 2729 0 0 0 94 0 0 0 20 0 15 0 516232248 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231248709744 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22873] ppid=22860 vsize=15151156 memory=281158626257776 CPUtime=1.05 cores=0,2,4,6
/proc/22862/task/22873/stat : 22873 (java) S 22860 22860 21684 0 -1 1077944384 3667 0 0 0 105 0 0 0 20 0 15 0 516232248 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231247656944 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22874] ppid=22860 vsize=15151156 memory=140579313252268 CPUtime=0.62 cores=0,2,4,6
/proc/22862/task/22874/stat : 22874 (java) S 22860 22860 21684 0 -1 1077944384 4941 0 0 0 61 1 0 0 20 0 15 0 516232248 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231246604656 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22875] ppid=22860 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22875/stat : 22875 (java) S 22860 22860 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516232249 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231245552096 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22876] ppid=22860 vsize=15151156 memory=281158626411184 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22876/stat : 22876 (java) S 22860 22860 21684 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 516232249 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231244499888 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 36 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
Current children cumulated CPU time: 30.18 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2109836 KiB
[startup+20.0008 s]*
/proc/loadavg: 2.14 2.04 2.05 3/230 22878
/proc/meminfo: memFree=22436044/32770624 swapFree=66936828/67108860
[pid=22860] ppid=22857 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22860/stat : 22860 (xcsp3-exec) S 22857 22860 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516232242 115843072 363 33554432000 4194304 5098028 140736427415616 140736427413720 140518434382460 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10444800 140736427422587 140736427422829 140736427422829 140736427425738 0
/proc/22860/statm: 28282 363 304 221 0 87 0
[pid=22862] ppid=22860 vsize=15151156 memory=2108384 CPUtime=30.59 cores=0,2,4,6
/proc/22862/stat : 22862 (java) S 22860 22860 21684 0 -1 1077944320 51204 0 0 0 2846 213 0 0 20 0 15 0 516232243 15514783744 527096 33554432000 4194304 4196468 140724546114128 140724546096672 140231784263415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
/proc/22862/statm: 3787789 527096 3520 1 0 3748889 0
[pid=22862/tid=22863] ppid=22860 vsize=15151156 memory=1398722017469774279 CPUtime=17.15 cores=0,2,4,6
/proc/22862/task/22863/stat : 22863 (java) R 22860 22860 21684 0 -1 4202560 12164 0 0 0 1705 10 0 0 20 0 15 0 516232243 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231788500472 140231427880814 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22864] ppid=22860 vsize=15151156 memory=-7003737579269690708 CPUtime=2.66 cores=0,2,4,6
/proc/22862/task/22864/stat : 22864 (java) S 22860 22860 21684 0 -1 1077944384 3693 0 0 0 216 50 0 0 20 0 15 0 516232244 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231376996752 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22865] ppid=22860 vsize=15151156 memory=-3472574513799858007 CPUtime=2.67 cores=0,2,4,6
/proc/22862/task/22865/stat : 22865 (java) S 22860 22860 21684 0 -1 1077944384 8722 0 0 0 218 49 0 0 20 0 15 0 516232244 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231375943952 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22866] ppid=22860 vsize=15151156 memory=6944656575208382560 CPUtime=2.62 cores=0,2,4,6
/proc/22862/task/22866/stat : 22866 (java) S 22860 22860 21684 0 -1 1077944384 3767 0 0 0 214 48 0 0 20 0 15 0 516232244 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231374891664 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22867] ppid=22860 vsize=15151156 memory=6944656592387989600 CPUtime=2.67 cores=0,2,4,6
/proc/22862/task/22867/stat : 22867 (java) S 22860 22860 21684 0 -1 1077944384 7899 0 0 0 217 50 0 0 20 0 15 0 516232244 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231373838864 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22868] ppid=22860 vsize=15151156 memory=6944656592455097440 CPUtime=0.11 cores=0,2,4,6
/proc/22862/task/22868/stat : 22868 (java) S 22860 22860 21684 0 -1 1077944384 2294 0 0 0 11 0 0 0 20 0 15 0 516232245 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231252920944 140231784274562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22869] ppid=22860 vsize=15151156 memory=-4866522518848036719 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22869/stat : 22869 (java) S 22860 22860 21684 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 516232246 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231251866976 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22870] ppid=22860 vsize=15151156 memory=7305771399818405986 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22870/stat : 22870 (java) S 22860 22860 21684 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 516232246 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231250814592 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22871] ppid=22860 vsize=15151156 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22871/stat : 22871 (java) S 22860 22860 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516232248 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231249762896 140231784282011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22872] ppid=22860 vsize=15151156 memory=-7457052372387209120 CPUtime=0.94 cores=0,2,4,6
/proc/22862/task/22872/stat : 22872 (java) S 22860 22860 21684 0 -1 1077944384 2729 0 0 0 94 0 0 0 20 0 15 0 516232248 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231248709744 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22873] ppid=22860 vsize=15151156 memory=-7882587367953249371 CPUtime=1.05 cores=0,2,4,6
/proc/22862/task/22873/stat : 22873 (java) S 22860 22860 21684 0 -1 1077944384 3667 0 0 0 105 0 0 0 20 0 15 0 516232248 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231247656944 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22874] ppid=22860 vsize=15151156 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/22862/task/22874/stat : 22874 (java) S 22860 22860 21684 0 -1 1077944384 4941 0 0 0 61 1 0 0 20 0 15 0 516232248 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231246604656 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22875] ppid=22860 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22875/stat : 22875 (java) S 22860 22860 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516232249 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231245552096 140231784273621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
[pid=22862/tid=22876] ppid=22860 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22876/stat : 22876 (java) S 22860 22860 21684 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 516232249 15514783744 527096 33554432000 4194304 4196468 140724546114128 140231244499888 140231784274562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 36 0 0 6293624 6294260 35946496 140724546122735 140724546122906 140724546122906 140724546125775 0
Current children cumulated CPU time: 30.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2109836 KiB
Child status: 0
Real time (s): 20.0867
CPU time (s): 30.6837
CPU user time (s): 28.5302
CPU system time (s): 2.15347
CPU usage (%): 152.756
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 2109836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.5302
system time used= 2.15347
maximum resident set size= 2108748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51980
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= 3242
involuntary context switches= 147
# summary of solver processes directly reported to runsolver:
# pid: 22860
# total CPU time (s): 30.6837
# total CPU user time (s): 28.5302
# total CPU system time (s): 2.15347
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.156554 second user time and 0.246428 second system time
The end