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 (11095 MiB free)
memory of node 1: 16384 MiB (13092 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393371-1568320270/watcher-4393371-1568320270 -o /tmp/evaluation-result-4393371-1568320270/solver-4393371-1568320270 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11622 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 911994338 HOME/instance-4393371-1568320270.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=23043, runsolver pid=23040
[startup+0.100098 s]*
/proc/loadavg: 8.82 8.49 8.19 7/234 23059
/proc/meminfo: memFree=24752616/32770624 swapFree=66952812/67108860
[pid=23043] ppid=23040 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23043/stat : 23043 (xcsp3-exec) S 23040 23043 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407968908 115843072 362 33554432000 4194304 5098028 140729179405856 140729179403960 140342013071996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35160064 140729179407227 140729179407469 140729179407469 140729179410378 0
/proc/23043/statm: 28282 362 304 221 0 87 0
[pid=23045] ppid=23043 vsize=15144768 memory=29620 CPUtime=0.13 cores=0,2,4,6
/proc/23045/stat : 23045 (java) S 23043 23043 11591 0 -1 1077944320 5851 0 0 0 12 1 0 0 20 0 15 0 407968908 15508242432 7405 33554432000 4194304 4196468 140732295787088 140732295769632 139651208867575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
/proc/23045/statm: 3786192 7405 3152 1 0 3748377 0
[pid=23045/tid=23046] ppid=23043 vsize=15144768 memory=7100839861464564850 CPUtime=0.09 cores=0,2,4,6
/proc/23045/task/23046/stat : 23046 (java) R 23043 23043 11591 0 -1 4202560 3732 0 0 0 8 1 0 0 20 0 15 0 407968908 15508242432 7405 33554432000 4194304 4196468 140732295787088 139651213090272 139651208879510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23047] ppid=23043 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23047/stat : 23047 (java) S 23043 23043 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407968909 15508242432 7405 33554432000 4194304 4196468 140732295787088 139651136907792 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23048] ppid=23043 vsize=15144768 memory=139976767563392 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23048/stat : 23048 (java) S 23043 23043 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407968909 15508242432 7405 33554432000 4194304 4196468 140732295787088 139651135855248 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23049] ppid=23043 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23049/stat : 23049 (java) S 23043 23043 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407968909 15508242432 7405 33554432000 4194304 4196468 140732295787088 139651134802192 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23050] ppid=23043 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23050/stat : 23050 (java) S 23043 23043 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407968909 15508242432 7405 33554432000 4194304 4196468 140732295787088 139651133749648 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23051] ppid=23043 vsize=15144768 memory=139976767563392 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23051/stat : 23051 (java) S 23043 23043 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407968910 15508242432 7405 33554432000 4194304 4196468 140732295787088 139650677496560 139651208878722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23052] ppid=23043 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23052/stat : 23052 (java) S 23043 23043 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407968911 15508242432 7405 33554432000 4194304 4196468 140732295787088 139650676442784 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23053] ppid=23043 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23053/stat : 23053 (java) S 23043 23043 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407968911 15508242432 7405 33554432000 4194304 4196468 140732295787088 139650675389680 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23054] ppid=23043 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23054/stat : 23054 (java) S 23043 23043 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407968914 15508242432 7405 33554432000 4194304 4196468 140732295787088 139650674338256 139651208886171 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23055] ppid=23043 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23055/stat : 23055 (java) S 23043 23043 11591 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 15 0 407968914 15508242432 7405 33554432000 4194304 4196468 140732295787088 139650673285360 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23056] ppid=23043 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23056/stat : 23056 (java) S 23043 23043 11591 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 407968914 15508242432 7405 33554432000 4194304 4196468 140732295787088 139650672232816 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23057] ppid=23043 vsize=15144768 memory=139976767563392 CPUtime=0.02 cores=0,2,4,6
/proc/23045/task/23057/stat : 23057 (java) R 23043 23043 11591 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 407968914 15508242432 7405 33554432000 4194304 4196468 140732295787088 139650671177296 139651201104702 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23058] ppid=23043 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23058/stat : 23058 (java) S 23043 23043 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407968914 15508242432 7405 33554432000 4194304 4196468 140732295787088 139650670127456 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23059] ppid=23043 vsize=15144768 memory=139976767563392 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23059/stat : 23059 (java) S 23043 23043 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407968914 15508242432 7405 33554432000 4194304 4196468 140732295787088 139650669075504 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31068 KiB
[startup+0.210773 s]*
/proc/loadavg: 8.82 8.49 8.19 6/234 23059
/proc/meminfo: memFree=24739424/32770624 swapFree=66952812/67108860
[pid=23043] ppid=23040 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23043/stat : 23043 (xcsp3-exec) S 23040 23043 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407968908 115843072 362 33554432000 4194304 5098028 140729179405856 140729179403960 140342013071996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35160064 140729179407227 140729179407469 140729179407469 140729179410378 0
/proc/23043/statm: 28282 362 304 221 0 87 0
[pid=23045] ppid=23043 vsize=15144768 memory=40828 CPUtime=0.34 cores=0,2,4,6
/proc/23045/stat : 23045 (java) S 23043 23043 11591 0 -1 1077944320 9427 0 0 0 31 3 0 0 20 0 15 0 407968908 15508242432 10207 33554432000 4194304 4196468 140732295787088 140732295769632 139651208867575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
/proc/23045/statm: 3786192 10207 3305 1 0 3748377 0
[pid=23045/tid=23046] ppid=23043 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/23045/task/23046/stat : 23046 (java) R 23043 23043 11591 0 -1 4202560 6627 0 0 0 18 2 0 0 20 0 15 0 407968908 15508242432 10207 33554432000 4194304 4196468 140732295787088 139651213105888 139651208889501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23047] ppid=23043 vsize=15144768 memory=13655 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23047/stat : 23047 (java) S 23043 23043 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407968909 15508242432 10207 33554432000 4194304 4196468 140732295787088 139651136907792 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23048] ppid=23043 vsize=15144768 memory=139976767581008 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23048/stat : 23048 (java) S 23043 23043 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407968909 15508242432 10207 33554432000 4194304 4196468 140732295787088 139651135855248 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23049] ppid=23043 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23049/stat : 23049 (java) S 23043 23043 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407968909 15508242432 10207 33554432000 4194304 4196468 140732295787088 139651134802192 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23050] ppid=23043 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23050/stat : 23050 (java) S 23043 23043 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407968909 15508242432 10207 33554432000 4194304 4196468 140732295787088 139651133749648 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23051] ppid=23043 vsize=15144768 memory=139976767563392 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23051/stat : 23051 (java) S 23043 23043 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407968910 15508242432 10207 33554432000 4194304 4196468 140732295787088 139650677496560 139651208878722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23052] ppid=23043 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23052/stat : 23052 (java) S 23043 23043 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407968911 15508242432 10207 33554432000 4194304 4196468 140732295787088 139650676442784 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23053] ppid=23043 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23053/stat : 23053 (java) S 23043 23043 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407968911 15508242432 10207 33554432000 4194304 4196468 140732295787088 139650675389680 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23054] ppid=23043 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23054/stat : 23054 (java) S 23043 23043 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407968914 15508242432 10207 33554432000 4194304 4196468 140732295787088 139650674338256 139651208886171 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23055] ppid=23043 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23045/task/23055/stat : 23055 (java) S 23043 23043 11591 0 -1 1077944384 564 0 0 0 3 0 0 0 20 0 15 0 407968914 15508242432 10207 33554432000 4194304 4196468 140732295787088 139650673285360 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23056] ppid=23043 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/23045/task/23056/stat : 23056 (java) S 23043 23043 11591 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 15 0 407968914 15508242432 10207 33554432000 4194304 4196468 140732295787088 139650672232816 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23057] ppid=23043 vsize=15144768 memory=139976767563392 CPUtime=0.08 cores=0,2,4,6
/proc/23045/task/23057/stat : 23057 (java) S 23043 23043 11591 0 -1 1077944384 767 0 0 0 8 0 0 0 20 0 15 0 407968914 15508242432 10207 33554432000 4194304 4196468 140732295787088 139650671179760 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23058] ppid=23043 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23058/stat : 23058 (java) S 23043 23043 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407968914 15508242432 10207 33554432000 4194304 4196468 140732295787088 139650670127456 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23059] ppid=23043 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23059/stat : 23059 (java) S 23043 23043 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407968914 15508242432 10207 33554432000 4194304 4196468 140732295787088 139650669075504 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42276 KiB
[startup+0.310838 s]*
/proc/loadavg: 8.82 8.49 8.19 7/234 23059
/proc/meminfo: memFree=24731276/32770624 swapFree=66952812/67108860
[pid=23043] ppid=23040 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23043/stat : 23043 (xcsp3-exec) S 23040 23043 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407968908 115843072 362 33554432000 4194304 5098028 140729179405856 140729179403960 140342013071996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35160064 140729179407227 140729179407469 140729179407469 140729179410378 0
/proc/23043/statm: 28282 362 304 221 0 87 0
[pid=23045] ppid=23043 vsize=15149024 memory=50000 CPUtime=0.53 cores=0,2,4,6
/proc/23045/stat : 23045 (java) S 23043 23043 11591 0 -1 1077944320 10853 0 0 0 49 4 0 0 20 0 15 0 407968908 15512600576 12500 33554432000 4194304 4196468 140732295787088 140732295769632 139651208867575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
/proc/23045/statm: 3787256 12500 3370 1 0 3748377 0
[pid=23045/tid=23046] ppid=23043 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/23045/task/23046/stat : 23046 (java) R 23043 23043 11591 0 -1 4202560 7816 0 0 0 27 3 0 0 20 0 15 0 407968908 15512600576 12565 33554432000 4194304 4196468 140732295787088 139651213098688 139651192948062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23047] ppid=23043 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23047/stat : 23047 (java) S 23043 23043 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407968909 15512600576 12565 33554432000 4194304 4196468 140732295787088 139651136907792 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23048] ppid=23043 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23048/stat : 23048 (java) S 23043 23043 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407968909 15512600576 12565 33554432000 4194304 4196468 140732295787088 139651135855248 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23049] ppid=23043 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23049/stat : 23049 (java) S 23043 23043 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407968909 15512600576 12565 33554432000 4194304 4196468 140732295787088 139651134802192 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23050] ppid=23043 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23050/stat : 23050 (java) S 23043 23043 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407968909 15512600576 12565 33554432000 4194304 4196468 140732295787088 139651133749648 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23051] ppid=23043 vsize=15149024 memory=-7089679947157586079 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23051/stat : 23051 (java) S 23043 23043 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407968910 15512600576 12565 33554432000 4194304 4196468 140732295787088 139650677496560 139651208878722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23052] ppid=23043 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23052/stat : 23052 (java) S 23043 23043 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407968911 15512600576 12565 33554432000 4194304 4196468 140732295787088 139650676442784 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23053] ppid=23043 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23053/stat : 23053 (java) S 23043 23043 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407968911 15512600576 12565 33554432000 4194304 4196468 140732295787088 139650675389680 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23054] ppid=23043 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23054/stat : 23054 (java) S 23043 23043 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407968914 15512600576 12565 33554432000 4194304 4196468 140732295787088 139650674338256 139651208886171 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23055] ppid=23043 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/23045/task/23055/stat : 23055 (java) R 23043 23043 11591 0 -1 4202560 663 0 0 0 5 0 0 0 20 0 15 0 407968914 15512600576 12565 33554432000 4194304 4196468 140732295787088 139650673275744 139651208888922 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23056] ppid=23043 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23045/task/23056/stat : 23056 (java) S 23043 23043 11591 0 -1 1077944384 206 0 0 0 3 0 0 0 20 0 15 0 407968914 15512600576 12565 33554432000 4194304 4196468 140732295787088 139650672232816 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23057] ppid=23043 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23045/task/23057/stat : 23057 (java) S 23043 23043 11591 0 -1 1077944384 865 0 0 0 12 0 0 0 20 0 15 0 407968914 15512600576 12571 33554432000 4194304 4196468 140732295787088 139650671179760 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23058] ppid=23043 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23058/stat : 23058 (java) S 23043 23043 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407968914 15512600576 12571 33554432000 4194304 4196468 140732295787088 139650670127456 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23059] ppid=23043 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23059/stat : 23059 (java) S 23043 23043 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407968914 15512600576 12571 33554432000 4194304 4196468 140732295787088 139650669075504 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51448 KiB
[startup+0.704172 s]
/proc/loadavg: 8.82 8.49 8.19 8/238 23107
/proc/meminfo: memFree=24622352/32770624 swapFree=66952812/67108860
[pid=23043] ppid=23040 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23043/stat : 23043 (xcsp3-exec) S 23040 23043 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407968908 115843072 362 33554432000 4194304 5098028 140729179405856 140729179403960 140342013071996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35160064 140729179407227 140729179407469 140729179407469 140729179410378 0
/proc/23043/statm: 28282 362 304 221 0 87 0
[pid=23045] ppid=23043 vsize=15484996 memory=187116 CPUtime=1.64 cores=0,2,4,6
/proc/23045/stat : 23045 (java) S 23043 23043 11591 0 -1 1077944320 17688 0 0 0 156 8 0 0 20 0 20 0 407968908 15856635904 46779 33554432000 4194304 4196468 140732295787088 140732295769632 139651208867575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
/proc/23045/statm: 3871249 46779 3484 1 0 3832351 0
[pid=23045/tid=23046] ppid=23043 vsize=15484996 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/23045/task/23046/stat : 23046 (java) S 23043 23043 11591 0 -1 1077944384 8998 0 0 0 42 4 0 0 20 0 20 0 407968908 15856635904 46779 33554432000 4194304 4196468 140732295787088 139651213108352 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23047] ppid=23043 vsize=15484996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23047/stat : 23047 (java) S 23043 23043 11591 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 407968909 15856635904 46779 33554432000 4194304 4196468 140732295787088 139651136907792 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23048] ppid=23043 vsize=15484996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23048/stat : 23048 (java) S 23043 23043 11591 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 407968909 15856635904 46779 33554432000 4194304 4196468 140732295787088 139651135855248 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23049] ppid=23043 vsize=15484996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23049/stat : 23049 (java) S 23043 23043 11591 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 407968909 15856635904 46779 33554432000 4194304 4196468 140732295787088 139651134802192 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23050] ppid=23043 vsize=15484996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23050/stat : 23050 (java) S 23043 23043 11591 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 407968909 15856635904 46779 33554432000 4194304 4196468 140732295787088 139651133749648 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23051] ppid=23043 vsize=15484996 memory=38068 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23051/stat : 23051 (java) S 23043 23043 11591 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 407968910 15856635904 46779 33554432000 4194304 4196468 140732295787088 139650677496560 139651208878722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23052] ppid=23043 vsize=15484996 memory=992 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23052/stat : 23052 (java) S 23043 23043 11591 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 407968911 15856635904 46779 33554432000 4194304 4196468 140732295787088 139650676442848 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23053] ppid=23043 vsize=15484996 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23053/stat : 23053 (java) S 23043 23043 11591 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 407968911 15856635904 46779 33554432000 4194304 4196468 140732295787088 139650675389696 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23054] ppid=23043 vsize=15484996 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23054/stat : 23054 (java) S 23043 23043 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 407968914 15856635904 46779 33554432000 4194304 4196468 140732295787088 139650674338256 139651208886171 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23055] ppid=23043 vsize=15484996 memory=11624 CPUtime=0.29 cores=0,2,4,6
/proc/23045/task/23055/stat : 23055 (java) R 23043 23043 11591 0 -1 4202560 1221 0 0 0 29 0 0 0 20 0 20 0 407968914 15856635904 46779 33554432000 4194304 4196468 140732295787088 139650673272144 139651194931648 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23056] ppid=23043 vsize=15484996 memory=752 CPUtime=0.25 cores=0,2,4,6
/proc/23045/task/23056/stat : 23056 (java) R 23043 23043 11591 0 -1 4202560 834 0 0 0 25 0 0 0 20 0 20 0 407968914 15856635904 46779 33554432000 4194304 4196468 140732295787088 139650672219248 139651190388640 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23057] ppid=23043 vsize=15484996 memory=1056 CPUtime=0.3 cores=0,2,4,6
/proc/23045/task/23057/stat : 23057 (java) R 23043 23043 11591 0 -1 1077944384 1724 0 0 0 30 0 0 0 20 0 20 0 407968914 15856635904 46779 33554432000 4194304 4196468 140732295787088 139650671179760 139651208878722 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23058] ppid=23043 vsize=15484996 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23058/stat : 23058 (java) S 23043 23043 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 407968914 15856635904 46779 33554432000 4194304 4196468 140732295787088 139650670127456 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23059] ppid=23043 vsize=15484996 memory=944 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23059/stat : 23059 (java) S 23043 23043 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 407968914 15856635904 46779 33554432000 4194304 4196468 140732295787088 139650669075504 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 188564 KiB
[startup+1.50117 s]
/proc/loadavg: 8.82 8.49 8.19 12/238 23295
/proc/meminfo: memFree=24584748/32770624 swapFree=66952812/67108860
[pid=23043] ppid=23040 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23043/stat : 23043 (xcsp3-exec) S 23040 23043 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407968908 115843072 362 33554432000 4194304 5098028 140729179405856 140729179403960 140342013071996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35160064 140729179407227 140729179407469 140729179407469 140729179410378 0
/proc/23043/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/23045/task/23059/stat : 23059 (java) S 23043 23043 11591 0 -1 1077944384 603 0 0 0 0 0 0 0 20 0 19 0 407968914 15991906304 77825 33554432000 4194304 4196468 140732295787088 139650669075504 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23320] ppid=23043 vsize=15617096 memory=311300 CPUtime=23.72 cores=0,2,4,6
/proc/23045/task/23320/stat : 23320 (java) R 23043 23043 11591 0 -1 4202560 294 0 0 0 2372 0 0 0 20 0 19 0 407969038 15991906304 77825 33554432000 4194304 4196468 140732295787088 139650591084080 139650815525541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23321] ppid=23043 vsize=15617096 memory=1056 CPUtime=23.7 cores=0,2,4,6
/proc/23045/task/23321/stat : 23321 (java) R 23043 23043 11591 0 -1 4202560 730 0 0 0 2370 0 0 0 20 0 19 0 407969038 15991906304 77825 33554432000 4194304 4196468 140732295787088 139650586874208 139650817054375 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23322] ppid=23043 vsize=15617096 memory=1552 CPUtime=23.65 cores=0,2,4,6
/proc/23045/task/23322/stat : 23322 (java) R 23043 23043 11591 0 -1 4202560 1118 0 0 0 2365 0 0 0 20 0 19 0 407969038 15991906304 77825 33554432000 4194304 4196468 140732295787088 139650590032160 139650814813624 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23323] ppid=23043 vsize=15617096 memory=944 CPUtime=23.57 cores=0,2,4,6
/proc/23045/task/23323/stat : 23323 (java) R 23043 23043 11591 0 -1 4202560 563 0 0 0 2356 1 0 0 20 0 19 0 407969038 15991906304 77825 33554432000 4194304 4196468 140732295787088 139650585823504 139650816561441 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
Current children cumulated CPU time: 100.2 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 312748 KiB
[startup+26.4012 s]
/proc/loadavg: 8.54 8.45 8.18 8/238 23325
/proc/meminfo: memFree=24464440/32770624 swapFree=66952812/67108860
[pid=23043] ppid=23040 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23043/stat : 23043 (xcsp3-exec) S 23040 23043 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407968908 115843072 362 33554432000 4194304 5098028 140729179405856 140729179403960 140342013071996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35160064 140729179407227 140729179407469 140729179407469 140729179410378 0
/proc/23043/statm: 28282 362 304 221 0 87 0
[pid=23045] ppid=23043 vsize=15617096 memory=313356 CPUtime=103.33 cores=0,2,4,6
/proc/23045/stat : 23045 (java) S 23043 23043 11591 0 -1 1077944320 40825 0 0 0 10314 19 0 0 20 0 19 0 407968908 15991906304 78339 33554432000 4194304 4196468 140732295787088 140732295769632 139651208867575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
/proc/23045/statm: 3904274 78339 3514 1 0 3865376 0
[pid=23045/tid=23046] ppid=23043 vsize=15617096 memory=992 CPUtime=0.46 cores=0,2,4,6
/proc/23045/task/23046/stat : 23046 (java) S 23043 23043 11591 0 -1 1077944384 8998 0 0 0 42 4 0 0 20 0 19 0 407968908 15991906304 78339 33554432000 4194304 4196468 140732295787088 139651213108352 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23047] ppid=23043 vsize=15617096 memory=1448 CPUtime=0.06 cores=0,2,4,6
/proc/23045/task/23047/stat : 23047 (java) S 23043 23043 11591 0 -1 1077944384 541 0 0 0 5 1 0 0 20 0 19 0 407968909 15991906304 78339 33554432000 4194304 4196468 140732295787088 139651136907792 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23048] ppid=23043 vsize=15617096 memory=311300 CPUtime=0.06 cores=0,2,4,6
/proc/23045/task/23048/stat : 23048 (java) S 23043 23043 11591 0 -1 1077944384 354 0 0 0 5 1 0 0 20 0 19 0 407968909 15991906304 78339 33554432000 4194304 4196468 140732295787088 139651135855248 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23049] ppid=23043 vsize=15617096 memory=56 CPUtime=0.06 cores=0,2,4,6
/proc/23045/task/23049/stat : 23049 (java) S 23043 23043 11591 0 -1 1077944384 453 0 0 0 5 1 0 0 20 0 19 0 407968909 15991906304 78339 33554432000 4194304 4196468 140732295787088 139651134802192 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23050] ppid=23043 vsize=15617096 memory=6944656592455097440 CPUtime=0.06 cores=0,2,4,6
/proc/23045/task/23050/stat : 23050 (java) S 23043 23043 11591 0 -1 1077944384 345 0 0 0 5 1 0 0 20 0 19 0 407968909 15991906304 78339 33554432000 4194304 4196468 140732295787088 139651133749648 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23051] ppid=23043 vsize=15617096 memory=-3535470213243961690 CPUtime=0.06 cores=0,2,4,6
/proc/23045/task/23051/stat : 23051 (java) S 23043 23043 11591 0 -1 1077944384 1070 0 0 0 5 1 0 0 20 0 19 0 407968910 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650677496560 139651208878722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23052] ppid=23043 vsize=15617096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23052/stat : 23052 (java) S 23043 23043 11591 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 407968911 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650676442848 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23053] ppid=23043 vsize=15617096 memory=7740677769542592616 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23053/stat : 23053 (java) S 23043 23043 11591 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407968911 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650675389696 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23054] ppid=23043 vsize=15617096 memory=6935650410838380624 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23054/stat : 23054 (java) S 23043 23043 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407968914 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650674338256 139651208886171 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23055] ppid=23043 vsize=15617096 memory=6228034517633290865 CPUtime=1.4 cores=0,2,4,6
/proc/23045/task/23055/stat : 23055 (java) S 23043 23043 11591 0 -1 1077944384 7830 0 0 0 139 1 0 0 20 0 19 0 407968914 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650673285360 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23056] ppid=23043 vsize=15617096 memory=6791534058613427641 CPUtime=1.36 cores=0,2,4,6
/proc/23045/task/23056/stat : 23056 (java) S 23043 23043 11591 0 -1 1077944384 8918 0 0 0 135 1 0 0 20 0 19 0 407968914 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650672232816 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23057] ppid=23043 vsize=15617096 memory=332456 CPUtime=0.46 cores=0,2,4,6
/proc/23045/task/23057/stat : 23057 (java) S 23043 23043 11591 0 -1 1077944384 3037 0 0 0 46 0 0 0 20 0 19 0 407968914 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650671179760 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23058] ppid=23043 vsize=15617096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23058/stat : 23058 (java) S 23043 23043 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407968914 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650670127456 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23059] ppid=23043 vsize=15617096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23059/stat : 23059 (java) S 23043 23043 11591 0 -1 1077944384 603 0 0 0 0 0 0 0 20 0 19 0 407968914 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650669075504 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23320] ppid=23043 vsize=15617096 memory=8740 CPUtime=24.49 cores=0,2,4,6
/proc/23045/task/23320/stat : 23320 (java) R 23043 23043 11591 0 -1 4202560 298 0 0 0 2449 0 0 0 20 0 19 0 407969038 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650591086416 139650815183232 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23321] ppid=23043 vsize=15617096 memory=0 CPUtime=24.47 cores=0,2,4,6
/proc/23045/task/23321/stat : 23321 (java) R 23043 23043 11591 0 -1 4202560 731 0 0 0 2447 0 0 0 20 0 19 0 407969038 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650586874264 139650816068180 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23322] ppid=23043 vsize=15617096 memory=-3252517613199061085 CPUtime=24.44 cores=0,2,4,6
/proc/23045/task/23322/stat : 23322 (java) R 23043 23043 11591 0 -1 4202560 1120 0 0 0 2444 0 0 0 20 0 19 0 407969038 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650590032272 139650815057971 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23323] ppid=23043 vsize=15617096 memory=812 CPUtime=24.32 cores=0,2,4,6
/proc/23045/task/23323/stat : 23323 (java) R 23043 23043 11591 0 -1 4202560 567 0 0 0 2431 1 0 0 20 0 19 0 407969038 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650585821152 139651201688446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
Current children cumulated CPU time: 103.33 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 314804 KiB
[startup+26.6012 s]
/proc/loadavg: 8.54 8.45 8.18 8/238 23325
/proc/meminfo: memFree=24464440/32770624 swapFree=66952812/67108860
[pid=23043] ppid=23040 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23043/stat : 23043 (xcsp3-exec) S 23040 23043 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407968908 115843072 362 33554432000 4194304 5098028 140729179405856 140729179403960 140342013071996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35160064 140729179407227 140729179407469 140729179407469 140729179410378 0
/proc/23043/statm: 28282 362 304 221 0 87 0
[pid=23045] ppid=23043 vsize=15617096 memory=313356 CPUtime=104.12 cores=0,2,4,6
/proc/23045/stat : 23045 (java) S 23043 23043 11591 0 -1 1077944320 40828 0 0 0 10393 19 0 0 20 0 19 0 407968908 15991906304 78339 33554432000 4194304 4196468 140732295787088 140732295769632 139651208867575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
/proc/23045/statm: 3904274 78339 3514 1 0 3865376 0
[pid=23045/tid=23046] ppid=23043 vsize=15617096 memory=2492 CPUtime=0.46 cores=0,2,4,6
/proc/23045/task/23046/stat : 23046 (java) S 23043 23043 11591 0 -1 1077944384 8998 0 0 0 42 4 0 0 20 0 19 0 407968908 15991906304 78339 33554432000 4194304 4196468 140732295787088 139651213108352 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23047] ppid=23043 vsize=15617096 memory=1764 CPUtime=0.06 cores=0,2,4,6
/proc/23045/task/23047/stat : 23047 (java) S 23043 23043 11591 0 -1 1077944384 541 0 0 0 5 1 0 0 20 0 19 0 407968909 15991906304 78339 33554432000 4194304 4196468 140732295787088 139651136907792 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23048] ppid=23043 vsize=15617096 memory=111636 CPUtime=0.06 cores=0,2,4,6
/proc/23045/task/23048/stat : 23048 (java) S 23043 23043 11591 0 -1 1077944384 354 0 0 0 5 1 0 0 20 0 19 0 407968909 15991906304 78339 33554432000 4194304 4196468 140732295787088 139651135855248 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23049] ppid=23043 vsize=15617096 memory=804 CPUtime=0.06 cores=0,2,4,6
/proc/23045/task/23049/stat : 23049 (java) S 23043 23043 11591 0 -1 1077944384 453 0 0 0 5 1 0 0 20 0 19 0 407968909 15991906304 78339 33554432000 4194304 4196468 140732295787088 139651134802192 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23050] ppid=23043 vsize=15617096 memory=288230574492221466 CPUtime=0.06 cores=0,2,4,6
/proc/23045/task/23050/stat : 23050 (java) S 23043 23043 11591 0 -1 1077944384 347 0 0 0 5 1 0 0 20 0 19 0 407968909 15991906304 78339 33554432000 4194304 4196468 140732295787088 139651133749648 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23051] ppid=23043 vsize=15617096 memory=288230617509003574 CPUtime=0.06 cores=0,2,4,6
/proc/23045/task/23051/stat : 23051 (java) S 23043 23043 11591 0 -1 1077944384 1070 0 0 0 5 1 0 0 20 0 19 0 407968910 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650677496560 139651208878722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23052] ppid=23043 vsize=15617096 memory=14135532779211192 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23052/stat : 23052 (java) S 23043 23043 11591 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 407968911 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650676442848 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23053] ppid=23043 vsize=15617096 memory=2696 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23053/stat : 23053 (java) S 23043 23043 11591 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407968911 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650675389696 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23054] ppid=23043 vsize=15617096 memory=2720 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23054/stat : 23054 (java) S 23043 23043 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407968914 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650674338256 139651208886171 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23055] ppid=23043 vsize=15617096 memory=4104 CPUtime=1.4 cores=0,2,4,6
/proc/23045/task/23055/stat : 23055 (java) S 23043 23043 11591 0 -1 1077944384 7830 0 0 0 139 1 0 0 20 0 19 0 407968914 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650673285360 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23056] ppid=23043 vsize=15617096 memory=1412 CPUtime=1.36 cores=0,2,4,6
/proc/23045/task/23056/stat : 23056 (java) S 23043 23043 11591 0 -1 1077944384 8918 0 0 0 135 1 0 0 20 0 19 0 407968914 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650672232816 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23057] ppid=23043 vsize=15617096 memory=3232 CPUtime=0.46 cores=0,2,4,6
/proc/23045/task/23057/stat : 23057 (java) S 23043 23043 11591 0 -1 1077944384 3037 0 0 0 46 0 0 0 20 0 19 0 407968914 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650671179760 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23058] ppid=23043 vsize=15617096 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23058/stat : 23058 (java) S 23043 23043 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407968914 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650670127456 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23059] ppid=23043 vsize=15617096 memory=1044912 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23059/stat : 23059 (java) S 23043 23043 11591 0 -1 1077944384 603 0 0 0 0 0 0 0 20 0 19 0 407968914 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650669075504 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23320] ppid=23043 vsize=15617096 memory=139976608312337 CPUtime=24.69 cores=0,2,4,6
/proc/23045/task/23320/stat : 23320 (java) R 23043 23043 11591 0 -1 4202560 298 0 0 0 2469 0 0 0 20 0 19 0 407969038 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650591086432 139650815183239 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23321] ppid=23043 vsize=15617096 memory=4122685381854624582 CPUtime=24.66 cores=0,2,4,6
/proc/23045/task/23321/stat : 23321 (java) R 23043 23043 11591 0 -1 4202560 732 0 0 0 2466 0 0 0 20 0 19 0 407969038 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650586874128 139650816941939 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23322] ppid=23043 vsize=15617096 memory=4122685381854624614 CPUtime=24.63 cores=0,2,4,6
/proc/23045/task/23322/stat : 23322 (java) R 23043 23043 11591 0 -1 4202560 1120 0 0 0 2463 0 0 0 20 0 19 0 407969038 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650590032408 139650815157504 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23323] ppid=23043 vsize=15617096 memory=4122685381854624646 CPUtime=24.52 cores=0,2,4,6
/proc/23045/task/23323/stat : 23323 (java) R 23043 23043 11591 0 -1 4202560 567 0 0 0 2451 1 0 0 20 0 19 0 407969038 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650585821040 139650816561441 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
Current children cumulated CPU time: 104.12 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 314804 KiB
[startup+26.7112 s]
/proc/loadavg: 8.54 8.45 8.18 8/238 23325
/proc/meminfo: memFree=24464440/32770624 swapFree=66952812/67108860
[pid=23043] ppid=23040 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23043/stat : 23043 (xcsp3-exec) S 23040 23043 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407968908 115843072 362 33554432000 4194304 5098028 140729179405856 140729179403960 140342013071996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35160064 140729179407227 140729179407469 140729179407469 140729179410378 0
/proc/23043/statm: 28282 362 304 221 0 87 0
[pid=23045] ppid=23043 vsize=15617096 memory=313356 CPUtime=104.55 cores=0,2,4,6
/proc/23045/stat : 23045 (java) S 23043 23043 11591 0 -1 1077944320 40832 0 0 0 10436 19 0 0 20 0 19 0 407968908 15991906304 78339 33554432000 4194304 4196468 140732295787088 140732295769632 139651208867575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
/proc/23045/statm: 3904274 78339 3514 1 0 3865376 0
[pid=23045/tid=23046] ppid=23043 vsize=15617096 memory=1448 CPUtime=0.46 cores=0,2,4,6
/proc/23045/task/23046/stat : 23046 (java) S 23043 23043 11591 0 -1 1077944384 8998 0 0 0 42 4 0 0 20 0 19 0 407968908 15991906304 78339 33554432000 4194304 4196468 140732295787088 139651213108352 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23047] ppid=23043 vsize=15617096 memory=313356 CPUtime=0.06 cores=0,2,4,6
/proc/23045/task/23047/stat : 23047 (java) S 23043 23043 11591 0 -1 1077944384 541 0 0 0 5 1 0 0 20 0 19 0 407968909 15991906304 78339 33554432000 4194304 4196468 140732295787088 139651136907792 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23048] ppid=23043 vsize=15617096 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/23045/task/23048/stat : 23048 (java) S 23043 23043 11591 0 -1 1077944384 354 0 0 0 5 1 0 0 20 0 19 0 407968909 15991906304 78339 33554432000 4194304 4196468 140732295787088 139651135855248 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23049] ppid=23043 vsize=15617096 memory=279953216311056 CPUtime=0.06 cores=0,2,4,6
/proc/23045/task/23049/stat : 23049 (java) S 23043 23043 11591 0 -1 1077944384 455 0 0 0 5 1 0 0 20 0 19 0 407968909 15991906304 78339 33554432000 4194304 4196468 140732295787088 139651134802192 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23050] ppid=23043 vsize=15617096 memory=279953216673888 CPUtime=0.06 cores=0,2,4,6
/proc/23045/task/23050/stat : 23050 (java) S 23043 23043 11591 0 -1 1077944384 347 0 0 0 5 1 0 0 20 0 19 0 407968909 15991906304 78339 33554432000 4194304 4196468 140732295787088 139651133749648 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23051] ppid=23043 vsize=15617096 memory=-3253322038155611931 CPUtime=0.06 cores=0,2,4,6
/proc/23045/task/23051/stat : 23051 (java) S 23043 23043 11591 0 -1 1077944384 1070 0 0 0 5 1 0 0 20 0 19 0 407968910 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650677496560 139651208878722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23052] ppid=23043 vsize=15617096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23052/stat : 23052 (java) S 23043 23043 11591 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 407968911 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650676442848 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23053] ppid=23043 vsize=15617096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23053/stat : 23053 (java) S 23043 23043 11591 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407968911 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650675389696 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23054] ppid=23043 vsize=15617096 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23054/stat : 23054 (java) S 23043 23043 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407968914 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650674338256 139651208886171 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23055] ppid=23043 vsize=15617096 memory=1448 CPUtime=1.4 cores=0,2,4,6
/proc/23045/task/23055/stat : 23055 (java) S 23043 23043 11591 0 -1 1077944384 7830 0 0 0 139 1 0 0 20 0 19 0 407968914 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650673285360 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23056] ppid=23043 vsize=15617096 memory=313348 CPUtime=1.36 cores=0,2,4,6
/proc/23045/task/23056/stat : 23056 (java) S 23043 23043 11591 0 -1 1077944384 8918 0 0 0 135 1 0 0 20 0 19 0 407968914 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650672232816 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23057] ppid=23043 vsize=15617096 memory=7454130749351154278 CPUtime=0.46 cores=0,2,4,6
/proc/23045/task/23057/stat : 23057 (java) S 23043 23043 11591 0 -1 1077944384 3037 0 0 0 46 0 0 0 20 0 19 0 407968914 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650671179760 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23058] ppid=23043 vsize=15617096 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23058/stat : 23058 (java) S 23043 23043 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407968914 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650670127456 139651208877781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23059] ppid=23043 vsize=15617096 memory=311300 CPUtime=0 cores=0,2,4,6
/proc/23045/task/23059/stat : 23059 (java) S 23043 23043 11591 0 -1 1077944384 603 0 0 0 0 0 0 0 20 0 19 0 407968914 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650669075504 139651208878722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23320] ppid=23043 vsize=15617096 memory=1324 CPUtime=24.8 cores=0,2,4,6
/proc/23045/task/23320/stat : 23320 (java) R 23043 23043 11591 0 -1 4202560 299 0 0 0 2480 0 0 0 20 0 19 0 407969038 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650591084080 139650812342406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23321] ppid=23043 vsize=15617096 memory=0 CPUtime=24.77 cores=0,2,4,6
/proc/23045/task/23321/stat : 23321 (java) R 23043 23043 11591 0 -1 4202560 732 0 0 0 2477 0 0 0 20 0 19 0 407969038 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650586873360 139650816119267 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23322] ppid=23043 vsize=15617096 memory=6791534058613427641 CPUtime=24.74 cores=0,2,4,6
/proc/23045/task/23322/stat : 23322 (java) R 23043 23043 11591 0 -1 4202560 1120 0 0 0 2474 0 0 0 20 0 19 0 407969038 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650590032272 139650814814312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
[pid=23045/tid=23323] ppid=23043 vsize=15617096 memory=311300 CPUtime=24.63 cores=0,2,4,6
/proc/23045/task/23323/stat : 23323 (java) R 23043 23043 11591 0 -1 4202560 568 0 0 0 2462 1 0 0 20 0 19 0 407969038 15991906304 78339 33554432000 4194304 4196468 140732295787088 139650585824352 139650816561033 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140732295795695 140732295795866 140732295795866 140732295798735 0
Current children cumulated CPU time: 104.55 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 314804 KiB
Child status: 0
Real time (s): 26.7957
CPU time (s): 104.87
CPU user time (s): 104.671
CPU system time (s): 0.199069
CPU usage (%): 391.37
Max. virtual memory (cumulated for all children) (KiB): 15730224
Max. memory (cumulated for all children) (KiB): 338484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 104.671
system time used= 0.199069
maximum resident set size= 338580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42089
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= 6225
involuntary context switches= 3089
# summary of solver processes directly reported to runsolver:
# pid: 23043
# total CPU time (s): 104.87
# total CPU user time (s): 104.671
# total CPU system time (s): 0.199069
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.20326 second user time and 0.329699 second system time
The end