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 (15270 MiB free)
memory of node 1: 16384 MiB (15690 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393385-1568312521/watcher-4393385-1568312521 -o /tmp/evaluation-result-4393385-1568312521/solver-4393385-1568312521 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6785 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1913578334 HOME/instance-4393385-1568312521.xml
running on 4 cores: 1,3,5,7
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=6804, runsolver pid=6801
[startup+0.100061 s]*
/proc/loadavg: 1.02 1.00 1.22 4/223 6839
/proc/meminfo: memFree=31673464/32770624 swapFree=66979376/67108860
[pid=6804] ppid=6801 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6804/stat : 6804 (xcsp3-exec) S 6801 6804 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407514792 115843072 363 33554432000 4194304 5098028 140728280631696 140728280629800 140153707807356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19628032 140728280638330 140728280638573 140728280638573 140728280641482 0
/proc/6804/statm: 28282 363 304 221 0 87 0
[pid=6806] ppid=6804 vsize=15144768 memory=30128 CPUtime=0.13 cores=1,3,5,7
/proc/6806/stat : 6806 (java) S 6804 6804 6753 0 -1 1077944320 5941 0 0 0 12 1 0 0 20 0 15 0 407514792 15508242432 7532 33554432000 4194304 4196468 140720668566080 140720668548624 139770742464247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
/proc/6806/statm: 3786192 7532 3150 1 0 3748377 0
[pid=6806/tid=6807] ppid=6804 vsize=15144768 memory=7100839878644302962 CPUtime=0.08 cores=1,3,5,7
/proc/6806/task/6807/stat : 6807 (java) R 6804 6804 6753 0 -1 4202560 3853 0 0 0 8 0 0 0 20 0 15 0 407514793 15508242432 7532 33554432000 4194304 4196468 140720668566080 139770746690208 139770742486173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6808] ppid=6804 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6808/stat : 6808 (java) S 6804 6804 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407514793 15508242432 7532 33554432000 4194304 4196468 140720668566080 139770654120336 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6809] ppid=6804 vsize=15144768 memory=140552016856704 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6809/stat : 6809 (java) S 6804 6804 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407514793 15508242432 7532 33554432000 4194304 4196468 140720668566080 139770653067536 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6810] ppid=6804 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6810/stat : 6810 (java) S 6804 6804 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407514793 15508242432 7532 33554432000 4194304 4196468 140720668566080 139770652015248 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6811] ppid=6804 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6811/stat : 6811 (java) S 6804 6804 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407514793 15508242432 7532 33554432000 4194304 4196468 140720668566080 139770332178960 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6812] ppid=6804 vsize=15144768 memory=140552016856704 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6812/stat : 6812 (java) S 6804 6804 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407514795 15508242432 7532 33554432000 4194304 4196468 140720668566080 139770211084912 139770742475394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6813] ppid=6804 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6813/stat : 6813 (java) S 6804 6804 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407514795 15508242432 7532 33554432000 4194304 4196468 140720668566080 139770210030880 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6814] ppid=6804 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6814/stat : 6814 (java) S 6804 6804 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407514795 15508242432 7532 33554432000 4194304 4196468 140720668566080 139770208978544 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6826] ppid=6804 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6826/stat : 6826 (java) S 6804 6804 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407514798 15508242432 7532 33554432000 4194304 4196468 140720668566080 139770207926864 139770742482843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6827] ppid=6804 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6827/stat : 6827 (java) S 6804 6804 6753 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 407514798 15508242432 7532 33554432000 4194304 4196468 140720668566080 139770206873712 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6828] ppid=6804 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6828/stat : 6828 (java) R 6804 6804 6753 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 15 0 407514798 15508242432 7532 33554432000 4194304 4196468 140720668566080 139770205820096 139770724007536 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6829] ppid=6804 vsize=15144768 memory=140552016856704 CPUtime=0.02 cores=1,3,5,7
/proc/6806/task/6829/stat : 6829 (java) R 6804 6804 6753 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 407514798 15508242432 7532 33554432000 4194304 4196468 140720668566080 139770204768624 139770742485594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6830] ppid=6804 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6830/stat : 6830 (java) S 6804 6804 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407514798 15508242432 7532 33554432000 4194304 4196468 140720668566080 139770203716064 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6832] ppid=6804 vsize=15144768 memory=140552016856704 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6832/stat : 6832 (java) S 6804 6804 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407514798 15508242432 7532 33554432000 4194304 4196468 140720668566080 139770202663856 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31580 KiB
[startup+0.211012 s]*
/proc/loadavg: 1.02 1.00 1.22 5/229 6845
/proc/meminfo: memFree=31651152/32770624 swapFree=66979376/67108860
[pid=6804] ppid=6801 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6804/stat : 6804 (xcsp3-exec) S 6801 6804 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407514792 115843072 363 33554432000 4194304 5098028 140728280631696 140728280629800 140153707807356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19628032 140728280638330 140728280638573 140728280638573 140728280641482 0
/proc/6804/statm: 28282 363 304 221 0 87 0
[pid=6806] ppid=6804 vsize=15144768 memory=41112 CPUtime=0.34 cores=1,3,5,7
/proc/6806/stat : 6806 (java) S 6804 6804 6753 0 -1 1077944320 9481 0 0 0 31 3 0 0 20 0 15 0 407514792 15508242432 10278 33554432000 4194304 4196468 140720668566080 140720668548624 139770742464247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
/proc/6806/statm: 3786192 10278 3299 1 0 3748377 0
[pid=6806/tid=6807] ppid=6804 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/6806/task/6807/stat : 6807 (java) R 6804 6804 6753 0 -1 4202560 6664 0 0 0 18 2 0 0 20 0 15 0 407514793 15508242432 10278 33554432000 4194304 4196468 140720668566080 139770746699888 139770742486173 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6808] ppid=6804 vsize=15144768 memory=2995868 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6808/stat : 6808 (java) S 6804 6804 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407514793 15508242432 10278 33554432000 4194304 4196468 140720668566080 139770654120336 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6809] ppid=6804 vsize=15144768 memory=140552019992186 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6809/stat : 6809 (java) S 6804 6804 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407514793 15508242432 10278 33554432000 4194304 4196468 140720668566080 139770653067536 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6810] ppid=6804 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6810/stat : 6810 (java) S 6804 6804 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407514793 15508242432 10278 33554432000 4194304 4196468 140720668566080 139770652015248 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6811] ppid=6804 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6811/stat : 6811 (java) S 6804 6804 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407514793 15508242432 10278 33554432000 4194304 4196468 140720668566080 139770332178960 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6812] ppid=6804 vsize=15144768 memory=140552016856704 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6812/stat : 6812 (java) S 6804 6804 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407514795 15508242432 10278 33554432000 4194304 4196468 140720668566080 139770211084912 139770742475394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6813] ppid=6804 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6813/stat : 6813 (java) S 6804 6804 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407514795 15508242432 10278 33554432000 4194304 4196468 140720668566080 139770210030880 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6814] ppid=6804 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6814/stat : 6814 (java) S 6804 6804 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407514795 15508242432 10278 33554432000 4194304 4196468 140720668566080 139770208978544 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6826] ppid=6804 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6826/stat : 6826 (java) S 6804 6804 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407514798 15508242432 10278 33554432000 4194304 4196468 140720668566080 139770207926864 139770742482843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6827] ppid=6804 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6806/task/6827/stat : 6827 (java) S 6804 6804 6753 0 -1 1077944384 517 0 0 0 2 0 0 0 20 0 15 0 407514798 15508242432 10278 33554432000 4194304 4196468 140720668566080 139770206873712 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6828] ppid=6804 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6806/task/6828/stat : 6828 (java) S 6804 6804 6753 0 -1 1077944384 234 0 0 0 2 0 0 0 20 0 15 0 407514798 15508242432 10278 33554432000 4194304 4196468 140720668566080 139770205820912 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6829] ppid=6804 vsize=15144768 memory=140552016856704 CPUtime=0.08 cores=1,3,5,7
/proc/6806/task/6829/stat : 6829 (java) S 6804 6804 6753 0 -1 1077944384 761 0 0 0 8 0 0 0 20 0 15 0 407514798 15508242432 10278 33554432000 4194304 4196468 140720668566080 139770204768624 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6830] ppid=6804 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6830/stat : 6830 (java) S 6804 6804 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407514798 15508242432 10278 33554432000 4194304 4196468 140720668566080 139770203716064 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6832] ppid=6804 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6832/stat : 6832 (java) S 6804 6804 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407514798 15508242432 10278 33554432000 4194304 4196468 140720668566080 139770202663856 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42564 KiB
[startup+0.31122 s]*
/proc/loadavg: 1.02 1.00 1.22 5/229 6845
/proc/meminfo: memFree=31635196/32770624 swapFree=66979376/67108860
[pid=6804] ppid=6801 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6804/stat : 6804 (xcsp3-exec) S 6801 6804 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407514792 115843072 363 33554432000 4194304 5098028 140728280631696 140728280629800 140153707807356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19628032 140728280638330 140728280638573 140728280638573 140728280641482 0
/proc/6804/statm: 28282 363 304 221 0 87 0
[pid=6806] ppid=6804 vsize=15149024 memory=49696 CPUtime=0.53 cores=1,3,5,7
/proc/6806/stat : 6806 (java) S 6804 6804 6753 0 -1 1077944320 10809 0 1 0 49 4 0 0 20 0 15 0 407514792 15512600576 12424 33554432000 4194304 4196468 140720668566080 140720668548624 139770742464247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
/proc/6806/statm: 3787256 12424 3343 1 0 3748377 0
[pid=6806/tid=6807] ppid=6804 vsize=15149024 memory=7882827048052850738 CPUtime=0.29 cores=1,3,5,7
/proc/6806/task/6807/stat : 6807 (java) R 6804 6804 6753 0 -1 4202560 7768 0 1 0 27 2 0 0 20 0 15 0 407514793 15512600576 12456 33554432000 4194304 4196468 140720668566080 139770746695736 139770726544734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6808] ppid=6804 vsize=15149024 memory=288230596084498767 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6808/stat : 6808 (java) S 6804 6804 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407514793 15512600576 12456 33554432000 4194304 4196468 140720668566080 139770654120336 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6809] ppid=6804 vsize=15149024 memory=14133368166029688 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6809/stat : 6809 (java) S 6804 6804 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407514793 15512600576 12456 33554432000 4194304 4196468 140720668566080 139770653067536 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6810] ppid=6804 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6810/stat : 6810 (java) S 6804 6804 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407514793 15512600576 12456 33554432000 4194304 4196468 140720668566080 139770652015248 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6811] ppid=6804 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6811/stat : 6811 (java) S 6804 6804 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407514793 15512600576 12456 33554432000 4194304 4196468 140720668566080 139770332178960 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6812] ppid=6804 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6812/stat : 6812 (java) S 6804 6804 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407514795 15512600576 12456 33554432000 4194304 4196468 140720668566080 139770211084912 139770742475394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6813] ppid=6804 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6813/stat : 6813 (java) S 6804 6804 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407514795 15512600576 12456 33554432000 4194304 4196468 140720668566080 139770210030880 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6814] ppid=6804 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6814/stat : 6814 (java) S 6804 6804 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407514795 15512600576 12456 33554432000 4194304 4196468 140720668566080 139770208978544 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6826] ppid=6804 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6826/stat : 6826 (java) S 6804 6804 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407514798 15512600576 12456 33554432000 4194304 4196468 140720668566080 139770207926864 139770742482843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6827] ppid=6804 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6806/task/6827/stat : 6827 (java) R 6804 6804 6753 0 -1 4202560 624 0 0 0 4 0 0 0 20 0 15 0 407514798 15512600576 12456 33554432000 4194304 4196468 140720668566080 139770206873712 139770727577032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6828] ppid=6804 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6806/task/6828/stat : 6828 (java) S 6804 6804 6753 0 -1 1077944384 262 0 0 0 4 0 0 0 20 0 15 0 407514798 15512600576 12456 33554432000 4194304 4196468 140720668566080 139770205820912 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6829] ppid=6804 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6806/task/6829/stat : 6829 (java) S 6804 6804 6753 0 -1 1077944384 860 0 0 0 12 0 0 0 20 0 15 0 407514798 15512600576 12456 33554432000 4194304 4196468 140720668566080 139770204768624 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6830] ppid=6804 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6830/stat : 6830 (java) S 6804 6804 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407514798 15512600576 12456 33554432000 4194304 4196468 140720668566080 139770203716064 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6832] ppid=6804 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6832/stat : 6832 (java) S 6804 6804 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407514798 15512600576 12456 33554432000 4194304 4196468 140720668566080 139770202663856 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51148 KiB
[startup+0.701273 s]
/proc/loadavg: 1.02 1.00 1.22 7/229 6845
/proc/meminfo: memFree=31603640/32770624 swapFree=66979376/67108860
[pid=6804] ppid=6801 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6804/stat : 6804 (xcsp3-exec) S 6801 6804 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407514792 115843072 363 33554432000 4194304 5098028 140728280631696 140728280629800 140153707807356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19628032 140728280638330 140728280638573 140728280638573 140728280641482 0
/proc/6804/statm: 28282 363 304 221 0 87 0
[pid=6806] ppid=6804 vsize=15151148 memory=110348 CPUtime=1.76 cores=1,3,5,7
/proc/6806/stat : 6806 (java) S 6804 6804 6753 0 -1 1077944320 15619 0 1 0 171 5 0 0 20 0 15 0 407514792 15514775552 27587 33554432000 4194304 4196468 140720668566080 140720668548624 139770742464247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
/proc/6806/statm: 3787787 27587 3447 1 0 3748889 0
[pid=6806/tid=6807] ppid=6804 vsize=15151148 memory=2442896869121 CPUtime=0.67 cores=1,3,5,7
/proc/6806/task/6807/stat : 6807 (java) R 6804 6804 6753 0 -1 4202560 9138 0 1 0 64 3 0 0 20 0 15 0 407514793 15514775552 27587 33554432000 4194304 4196468 140720668566080 139770746699392 139770332335103 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6808] ppid=6804 vsize=15151148 memory=2447191836417 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6808/stat : 6808 (java) S 6804 6804 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407514793 15514775552 27587 33554432000 4194304 4196468 140720668566080 139770654120336 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6809] ppid=6804 vsize=15151148 memory=2455781770753 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6809/stat : 6809 (java) S 6804 6804 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407514793 15514775552 27587 33554432000 4194304 4196468 140720668566080 139770653067536 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6810] ppid=6804 vsize=15151148 memory=2477256607233 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6810/stat : 6810 (java) S 6804 6804 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407514793 15514775552 27587 33554432000 4194304 4196468 140720668566080 139770652015248 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6811] ppid=6804 vsize=15151148 memory=2503026410753 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6811/stat : 6811 (java) S 6804 6804 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407514793 15514775552 27587 33554432000 4194304 4196468 140720668566080 139770332178960 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6812] ppid=6804 vsize=15151148 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6812/stat : 6812 (java) S 6804 6804 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407514795 15514775552 27587 33554432000 4194304 4196468 140720668566080 139770211084912 139770742475394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6813] ppid=6804 vsize=15151148 memory=920 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6813/stat : 6813 (java) S 6804 6804 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407514795 15514775552 27587 33554432000 4194304 4196468 140720668566080 139770210030880 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6814] ppid=6804 vsize=15151148 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6814/stat : 6814 (java) S 6804 6804 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407514795 15514775552 27587 33554432000 4194304 4196468 140720668566080 139770208978544 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6826] ppid=6804 vsize=15151148 memory=2404 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6826/stat : 6826 (java) S 6804 6804 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407514798 15514775552 27587 33554432000 4194304 4196468 140720668566080 139770207926864 139770742482843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6827] ppid=6804 vsize=15151148 memory=1764 CPUtime=0.37 cores=1,3,5,7
/proc/6806/task/6827/stat : 6827 (java) R 6804 6804 6753 0 -1 4202560 1488 0 0 0 37 0 0 0 20 0 15 0 407514798 15514775552 27587 33554432000 4194304 4196468 140720668566080 139770206862304 139770723985622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6828] ppid=6804 vsize=15151148 memory=111632 CPUtime=0.32 cores=1,3,5,7
/proc/6806/task/6828/stat : 6828 (java) R 6804 6804 6753 0 -1 4202560 1406 0 0 0 32 0 0 0 20 0 15 0 407514798 15514775552 27587 33554432000 4194304 4196468 140720668566080 139770205810624 139770726858072 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6829] ppid=6804 vsize=15151148 memory=804 CPUtime=0.37 cores=1,3,5,7
/proc/6806/task/6829/stat : 6829 (java) R 6804 6804 6753 0 -1 4202560 2279 0 0 0 37 0 0 0 20 0 15 0 407514798 15514775552 27587 33554432000 4194304 4196468 140720668566080 139770204766584 139770721592738 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6830] ppid=6804 vsize=15151148 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6830/stat : 6830 (java) S 6804 6804 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407514798 15514775552 27587 33554432000 4194304 4196468 140720668566080 139770203716064 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6832] ppid=6804 vsize=15151148 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6832/stat : 6832 (java) S 6804 6804 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407514798 15514775552 27587 33554432000 4194304 4196468 140720668566080 139770202663856 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 111800 KiB
[startup+1.50076 s]
/proc/loadavg: 1.02 1.00 1.22 5/209 6857
/proc/meminfo: memFree=31549512/32770624 swapFree=66979376/67108860
[pid=6804] ppid=6801 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6804/stat : 6804 (xcsp3-exec) S 6801 6804 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407514792 115843072 363 33554432000 4194304 5098028 140728280631696 140728280629800 140153707807356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19628032 140728280638330 140728280638573 140728280638573 140728280641482 0
/proc/6804/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/6806/stat : 6806 (java) S 6804 6804 6753 0 -1 1077944320 139057 0 1 0 231328 131 0 0 20 0 19 0 407514792 15789518848 880478 33554432000 4194304 4196468 140720668566080 140720668548624 139770742464247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
/proc/6806/statm: 3854863 880478 3538 1 0 3815965 0
[pid=6806/tid=6807] ppid=6804 vsize=15419452 memory=3521912 CPUtime=1.65 cores=1,3,5,7
/proc/6806/task/6807/stat : 6807 (java) S 6804 6804 6753 0 -1 1077944384 11736 0 1 0 160 5 0 0 20 0 19 0 407514793 15789518848 880478 33554432000 4194304 4196468 140720668566080 139770746705024 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6808] ppid=6804 vsize=15419452 memory=3521912 CPUtime=0.94 cores=1,3,5,7
/proc/6806/task/6808/stat : 6808 (java) S 6804 6804 6753 0 -1 1077944384 3790 0 0 0 82 12 0 0 20 0 19 0 407514793 15789518848 880478 33554432000 4194304 4196468 140720668566080 139770654120336 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6809] ppid=6804 vsize=15419452 memory=1452 CPUtime=0.94 cores=1,3,5,7
/proc/6806/task/6809/stat : 6809 (java) S 6804 6804 6753 0 -1 1077944384 3115 0 0 0 80 14 0 0 20 0 19 0 407514793 15789518848 880478 33554432000 4194304 4196468 140720668566080 139770653067536 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6810] ppid=6804 vsize=15419452 memory=1452 CPUtime=0.91 cores=1,3,5,7
/proc/6806/task/6810/stat : 6810 (java) S 6804 6804 6753 0 -1 1077944384 2989 0 0 0 79 12 0 0 20 0 19 0 407514793 15789518848 880478 33554432000 4194304 4196468 140720668566080 139770652015248 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6811] ppid=6804 vsize=15419452 memory=3521912 CPUtime=0.95 cores=1,3,5,7
/proc/6806/task/6811/stat : 6811 (java) S 6804 6804 6753 0 -1 1077944384 1876 0 0 0 82 13 0 0 20 0 19 0 407514793 15789518848 880478 33554432000 4194304 4196468 140720668566080 139770332178960 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6812] ppid=6804 vsize=15419452 memory=1452 CPUtime=0.65 cores=1,3,5,7
/proc/6806/task/6812/stat : 6812 (java) S 6804 6804 6753 0 -1 1077944384 8461 0 0 0 54 11 0 0 20 0 19 0 407514795 15789518848 880478 33554432000 4194304 4196468 140720668566080 139770211084912 139770742475394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6813] ppid=6804 vsize=15419452 memory=3521912 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6813/stat : 6813 (java) S 6804 6804 6753 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 407514795 15789518848 880478 33554432000 4194304 4196468 140720668566080 139770210030944 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6814] ppid=6804 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6814/stat : 6814 (java) S 6804 6804 6753 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 19 0 407514795 15789518848 880478 33554432000 4194304 4196468 140720668566080 139770208978560 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6826] ppid=6804 vsize=15419452 memory=3521912 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6826/stat : 6826 (java) S 6804 6804 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407514798 15789518848 880478 33554432000 4194304 4196468 140720668566080 139770207926864 139770742482843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6827] ppid=6804 vsize=15419452 memory=804 CPUtime=5.23 cores=1,3,5,7
/proc/6806/task/6827/stat : 6827 (java) S 6804 6804 6753 0 -1 1077944384 22650 0 0 0 522 1 0 0 20 0 19 0 407514798 15789518848 880478 33554432000 4194304 4196468 140720668566080 139770206873712 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6828] ppid=6804 vsize=15419452 memory=1452 CPUtime=5.27 cores=1,3,5,7
/proc/6806/task/6828/stat : 6828 (java) S 6804 6804 6753 0 -1 1077944384 23337 0 0 0 524 3 0 0 20 0 19 0 407514798 15789518848 880478 33554432000 4194304 4196468 140720668566080 139770205820912 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6829] ppid=6804 vsize=15419452 memory=1452 CPUtime=1.07 cores=1,3,5,7
/proc/6806/task/6829/stat : 6829 (java) S 6804 6804 6753 0 -1 1077944384 12586 0 0 0 105 2 0 0 20 0 19 0 407514798 15789518848 880478 33554432000 4194304 4196468 140720668566080 139770204768624 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6830] ppid=6804 vsize=15419452 memory=3521912 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6830/stat : 6830 (java) S 6804 6804 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407514798 15789518848 880478 33554432000 4194304 4196468 140720668566080 139770203716064 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6832] ppid=6804 vsize=15419452 memory=1452 CPUtime=0.21 cores=1,3,5,7
/proc/6806/task/6832/stat : 6832 (java) S 6804 6804 6753 0 -1 1077944384 842 0 0 0 0 21 0 0 20 0 19 0 407514798 15789518848 880478 33554432000 4194304 4196468 140720668566080 139770202663856 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6880] ppid=6804 vsize=15419452 memory=1452 CPUtime=574.57 cores=1,3,5,7
/proc/6806/task/6880/stat : 6880 (java) R 6804 6804 6753 0 -1 4202560 10229 0 0 0 57446 11 0 0 20 0 19 0 407514970 15789518848 880478 33554432000 4194304 4196468 140720668566080 139770191357248 139770340791714 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6881] ppid=6804 vsize=15419452 memory=3521912 CPUtime=574.79 cores=1,3,5,7
/proc/6806/task/6881/stat : 6881 (java) R 6804 6804 6753 0 -1 4202560 21239 0 0 0 57452 27 0 0 20 0 19 0 407514970 15789518848 880478 33554432000 4194304 4196468 140720668566080 139770190303360 139770333849367 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6882] ppid=6804 vsize=15419452 memory=3521912 CPUtime=575.09 cores=1,3,5,7
/proc/6806/task/6882/stat : 6882 (java) R 6804 6804 6753 0 -1 4202560 8580 0 0 0 57498 11 0 0 20 0 19 0 407514970 15789518848 880478 33554432000 4194304 4196468 140720668566080 139770189250664 139770334377471 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6883] ppid=6804 vsize=15419452 memory=1452 CPUtime=572.19 cores=1,3,5,7
/proc/6806/task/6883/stat : 6883 (java) R 6804 6804 6753 0 -1 4202560 6232 0 0 0 57214 5 0 0 20 0 19 0 407514970 15789518848 880478 33554432000 4194304 4196468 140720668566080 139770188196712 139770341376955 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
Current children cumulated CPU time: 2314.59 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 3523364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.901 s]
/proc/loadavg: 8.84 7.88 4.95 9/238 6991
/proc/meminfo: memFree=28083332/32770624 swapFree=66979388/67108860
[pid=6804] ppid=6801 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6804/stat : 6804 (xcsp3-exec) S 6801 6804 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407514792 115843072 363 33554432000 4194304 5098028 140728280631696 140728280629800 140153707807356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19628032 140728280638330 140728280638573 140728280638573 140728280641482 0
/proc/6804/statm: 28282 363 304 221 0 87 0
[pid=6806] ppid=6804 vsize=15419452 memory=3448552 CPUtime=2520.02 cores=1,3,5,7
/proc/6806/stat : 6806 (java) S 6804 6804 6753 0 -1 1077944320 143858 0 1 0 251870 132 0 0 20 0 19 0 407514792 15789518848 862138 33554432000 4194304 4196468 140720668566080 140720668548624 139770742464247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
/proc/6806/statm: 3854863 862138 3538 1 0 3815965 0
[pid=6806/tid=6807] ppid=6804 vsize=15419452 memory=3448552 CPUtime=1.65 cores=1,3,5,7
/proc/6806/task/6807/stat : 6807 (java) S 6804 6804 6753 0 -1 1077944384 11736 0 1 0 160 5 0 0 20 0 19 0 407514793 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770746705024 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6808] ppid=6804 vsize=15419452 memory=3448552 CPUtime=0.95 cores=1,3,5,7
/proc/6806/task/6808/stat : 6808 (java) S 6804 6804 6753 0 -1 1077944384 3850 0 0 0 83 12 0 0 20 0 19 0 407514793 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770654120336 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6809] ppid=6804 vsize=15419452 memory=3448552 CPUtime=0.95 cores=1,3,5,7
/proc/6806/task/6809/stat : 6809 (java) S 6804 6804 6753 0 -1 1077944384 3165 0 0 0 81 14 0 0 20 0 19 0 407514793 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770653067536 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6810] ppid=6804 vsize=15419452 memory=1452 CPUtime=0.92 cores=1,3,5,7
/proc/6806/task/6810/stat : 6810 (java) S 6804 6804 6753 0 -1 1077944384 3619 0 0 0 80 12 0 0 20 0 19 0 407514793 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770652015248 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6811] ppid=6804 vsize=15419452 memory=1452 CPUtime=0.96 cores=1,3,5,7
/proc/6806/task/6811/stat : 6811 (java) S 6804 6804 6753 0 -1 1077944384 1926 0 0 0 83 13 0 0 20 0 19 0 407514793 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770332178960 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6812] ppid=6804 vsize=15419452 memory=6628 CPUtime=0.65 cores=1,3,5,7
/proc/6806/task/6812/stat : 6812 (java) S 6804 6804 6753 0 -1 1077944384 8735 0 0 0 54 11 0 0 20 0 19 0 407514795 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770211084912 139770742475394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6813] ppid=6804 vsize=15419452 memory=3448552 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6813/stat : 6813 (java) S 6804 6804 6753 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 407514795 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770210030944 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6814] ppid=6804 vsize=15419452 memory=33 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6814/stat : 6814 (java) S 6804 6804 6753 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 19 0 407514795 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770208978560 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6826] ppid=6804 vsize=15419452 memory=140551865348321 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6826/stat : 6826 (java) S 6804 6804 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407514798 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770207926864 139770742482843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6827] ppid=6804 vsize=15419452 memory=1452 CPUtime=5.24 cores=1,3,5,7
/proc/6806/task/6827/stat : 6827 (java) S 6804 6804 6753 0 -1 1077944384 23652 0 0 0 523 1 0 0 20 0 19 0 407514798 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770206873712 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6828] ppid=6804 vsize=15419452 memory=1452 CPUtime=5.27 cores=1,3,5,7
/proc/6806/task/6828/stat : 6828 (java) S 6804 6804 6753 0 -1 1077944384 23341 0 0 0 524 3 0 0 20 0 19 0 407514798 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770205820912 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6829] ppid=6804 vsize=15419452 memory=0 CPUtime=1.07 cores=1,3,5,7
/proc/6806/task/6829/stat : 6829 (java) S 6804 6804 6753 0 -1 1077944384 12590 0 0 0 105 2 0 0 20 0 19 0 407514798 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770204768624 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6830] ppid=6804 vsize=15419452 memory=248698 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6830/stat : 6830 (java) S 6804 6804 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407514798 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770203716064 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6832] ppid=6804 vsize=15419452 memory=2257 CPUtime=0.23 cores=1,3,5,7
/proc/6806/task/6832/stat : 6832 (java) S 6804 6804 6753 0 -1 1077944384 868 0 0 0 0 23 0 0 20 0 19 0 407514798 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770202663856 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6880] ppid=6804 vsize=15419452 memory=0 CPUtime=626.13 cores=1,3,5,7
/proc/6806/task/6880/stat : 6880 (java) R 6804 6804 6753 0 -1 4202560 10809 0 0 0 62602 11 0 0 20 0 19 0 407514970 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770191354464 139770342185104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6881] ppid=6804 vsize=15419452 memory=1452 CPUtime=626.36 cores=1,3,5,7
/proc/6806/task/6881/stat : 6881 (java) R 6804 6804 6753 0 -1 4202560 22577 0 0 0 62609 27 0 0 20 0 19 0 407514970 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770190304184 139770334377037 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6882] ppid=6804 vsize=15419452 memory=3448552 CPUtime=626.65 cores=1,3,5,7
/proc/6806/task/6882/stat : 6882 (java) R 6804 6804 6753 0 -1 4202560 9130 0 0 0 62654 11 0 0 20 0 19 0 407514970 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770189250136 139770341305242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6883] ppid=6804 vsize=15419452 memory=3448552 CPUtime=622.84 cores=1,3,5,7
/proc/6806/task/6883/stat : 6883 (java) R 6804 6804 6753 0 -1 4202560 6465 0 0 0 62279 5 0 0 20 0 19 0 407514970 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770188197176 139770341376955 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 3450004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.935 s]
# the end of solver process 6804 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002375 s, system=0 s
[startup+633.981 s]
# the end of solver process 6806 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.95 s, system=1.34528 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+633.901 s]
/proc/loadavg: 8.84 7.88 4.95 9/238 6991
/proc/meminfo: memFree=28083332/32770624 swapFree=66979388/67108860
[pid=6804] ppid=6801 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6804/stat : 6804 (xcsp3-exec) S 6801 6804 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407514792 115843072 363 33554432000 4194304 5098028 140728280631696 140728280629800 140153707807356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19628032 140728280638330 140728280638573 140728280638573 140728280641482 0
/proc/6804/statm: 28282 363 304 221 0 87 0
[pid=6806] ppid=6804 vsize=15419452 memory=3448552 CPUtime=2520.02 cores=1,3,5,7
/proc/6806/stat : 6806 (java) S 6804 6804 6753 0 -1 1077944320 143858 0 1 0 251870 132 0 0 20 0 19 0 407514792 15789518848 862138 33554432000 4194304 4196468 140720668566080 140720668548624 139770742464247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
/proc/6806/statm: 3854863 862138 3538 1 0 3815965 0
[pid=6806/tid=6807] ppid=6804 vsize=15419452 memory=3448552 CPUtime=1.65 cores=1,3,5,7
/proc/6806/task/6807/stat : 6807 (java) S 6804 6804 6753 0 -1 1077944384 11736 0 1 0 160 5 0 0 20 0 19 0 407514793 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770746705024 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6808] ppid=6804 vsize=15419452 memory=3448552 CPUtime=0.95 cores=1,3,5,7
/proc/6806/task/6808/stat : 6808 (java) S 6804 6804 6753 0 -1 1077944384 3850 0 0 0 83 12 0 0 20 0 19 0 407514793 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770654120336 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6809] ppid=6804 vsize=15419452 memory=3448552 CPUtime=0.95 cores=1,3,5,7
/proc/6806/task/6809/stat : 6809 (java) S 6804 6804 6753 0 -1 1077944384 3165 0 0 0 81 14 0 0 20 0 19 0 407514793 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770653067536 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6810] ppid=6804 vsize=15419452 memory=1452 CPUtime=0.92 cores=1,3,5,7
/proc/6806/task/6810/stat : 6810 (java) S 6804 6804 6753 0 -1 1077944384 3619 0 0 0 80 12 0 0 20 0 19 0 407514793 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770652015248 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6811] ppid=6804 vsize=15419452 memory=1452 CPUtime=0.96 cores=1,3,5,7
/proc/6806/task/6811/stat : 6811 (java) S 6804 6804 6753 0 -1 1077944384 1926 0 0 0 83 13 0 0 20 0 19 0 407514793 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770332178960 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6812] ppid=6804 vsize=15419452 memory=6628 CPUtime=0.65 cores=1,3,5,7
/proc/6806/task/6812/stat : 6812 (java) S 6804 6804 6753 0 -1 1077944384 8735 0 0 0 54 11 0 0 20 0 19 0 407514795 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770211084912 139770742475394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6813] ppid=6804 vsize=15419452 memory=3448552 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6813/stat : 6813 (java) S 6804 6804 6753 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 407514795 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770210030944 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6814] ppid=6804 vsize=15419452 memory=33 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6814/stat : 6814 (java) S 6804 6804 6753 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 19 0 407514795 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770208978560 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6826] ppid=6804 vsize=15419452 memory=140551865348321 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6826/stat : 6826 (java) S 6804 6804 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407514798 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770207926864 139770742482843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6827] ppid=6804 vsize=15419452 memory=1452 CPUtime=5.24 cores=1,3,5,7
/proc/6806/task/6827/stat : 6827 (java) S 6804 6804 6753 0 -1 1077944384 23652 0 0 0 523 1 0 0 20 0 19 0 407514798 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770206873712 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6828] ppid=6804 vsize=15419452 memory=1452 CPUtime=5.27 cores=1,3,5,7
/proc/6806/task/6828/stat : 6828 (java) S 6804 6804 6753 0 -1 1077944384 23341 0 0 0 524 3 0 0 20 0 19 0 407514798 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770205820912 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6829] ppid=6804 vsize=15419452 memory=0 CPUtime=1.07 cores=1,3,5,7
/proc/6806/task/6829/stat : 6829 (java) S 6804 6804 6753 0 -1 1077944384 12590 0 0 0 105 2 0 0 20 0 19 0 407514798 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770204768624 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6830] ppid=6804 vsize=15419452 memory=248698 CPUtime=0 cores=1,3,5,7
/proc/6806/task/6830/stat : 6830 (java) S 6804 6804 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407514798 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770203716064 139770742474453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6832] ppid=6804 vsize=15419452 memory=2257 CPUtime=0.23 cores=1,3,5,7
/proc/6806/task/6832/stat : 6832 (java) S 6804 6804 6753 0 -1 1077944384 868 0 0 0 0 23 0 0 20 0 19 0 407514798 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770202663856 139770742475394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6880] ppid=6804 vsize=15419452 memory=0 CPUtime=626.13 cores=1,3,5,7
/proc/6806/task/6880/stat : 6880 (java) R 6804 6804 6753 0 -1 4202560 10809 0 0 0 62602 11 0 0 20 0 19 0 407514970 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770191354464 139770342185104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6881] ppid=6804 vsize=15419452 memory=1452 CPUtime=626.36 cores=1,3,5,7
/proc/6806/task/6881/stat : 6881 (java) R 6804 6804 6753 0 -1 4202560 22577 0 0 0 62609 27 0 0 20 0 19 0 407514970 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770190304184 139770334377037 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6882] ppid=6804 vsize=15419452 memory=3448552 CPUtime=626.65 cores=1,3,5,7
/proc/6806/task/6882/stat : 6882 (java) R 6804 6804 6753 0 -1 4202560 9130 0 0 0 62654 11 0 0 20 0 19 0 407514970 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770189250136 139770341305242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
[pid=6806/tid=6883] ppid=6804 vsize=15419452 memory=3448552 CPUtime=622.84 cores=1,3,5,7
/proc/6806/task/6883/stat : 6883 (java) R 6804 6804 6753 0 -1 4202560 6465 0 0 0 62279 5 0 0 20 0 19 0 407514970 15789518848 862138 33554432000 4194304 4196468 140720668566080 139770188197176 139770341376955 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12668928 140720668570607 140720668570778 140720668570778 140720668573647 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 3450004 KiB
Child status: 143
Real time (s): 633.981
CPU time (s): 2520.3
CPU user time (s): 2518.95
CPU system time (s): 1.34528
CPU usage (%): 397.535
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 3719328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.95
system time used= 1.34528
maximum resident set size= 3718312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146041
page faults= 1
swaps= 0
block input operations= 456
block output operations= 824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17434
involuntary context switches= 47888
# summary of solver processes directly reported to runsolver:
# pid: 6804,6806
# total CPU time (s): 2520.3
# total CPU user time (s): 2518.95
# total CPU system time (s): 1.34528
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.99325 second user time and 7.20791 second system time
The end