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 (15231 MiB free)
memory of node 1: 16384 MiB (15505 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399140-1568699986/watcher-4399140-1568699986 -o /tmp/evaluation-result-4399140-1568699986/solver-4399140-1568699986 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568699927-7006 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2124681138 HOME/instance-4399140-1568699986.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=7025, runsolver pid=7022
[startup+0.100057 s]*
/proc/loadavg: 1.43 1.13 1.98 8/228 7066
/proc/meminfo: memFree=31445976/32770624 swapFree=66997372/67108860
[pid=7025] ppid=7022 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7025/stat : 7025 (xcsp3-exec) S 7022 7025 6974 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446251647 115843072 362 33554432000 4194304 5098028 140727323185408 140727323183512 140270368109180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17309696 140727323190138 140727323190381 140727323190381 140727323193290 0
/proc/7025/statm: 28282 362 304 221 0 87 0
[pid=7027] ppid=7025 vsize=15144776 memory=27736 CPUtime=0.12 cores=1,3,5,7
/proc/7027/stat : 7027 (java) S 7025 7025 6974 0 -1 1077944320 5890 0 0 0 11 1 0 0 20 0 15 0 446251647 15508250624 6934 33554432000 4194304 4196468 140720421498352 140720421480896 140133609123575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
/proc/7027/statm: 3786194 6934 3146 1 0 3748377 0
[pid=7027/tid=7028] ppid=7025 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=1,3,5,7
/proc/7027/task/7028/stat : 7028 (java) R 7025 7025 6974 0 -1 4202560 3771 0 0 0 8 1 0 0 20 0 15 0 446251648 15508250624 7000 33554432000 4194304 4196468 140720421498352 140133613353952 140133609145501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7029] ppid=7025 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7029/stat : 7029 (java) S 7025 7025 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446251648 15508250624 7000 33554432000 4194304 4196468 140720421498352 140133201013520 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7030] ppid=7025 vsize=15144776 memory=140164837181056 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7030/stat : 7030 (java) S 7025 7025 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446251648 15508250624 7000 33554432000 4194304 4196468 140720421498352 140133199960976 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7031] ppid=7025 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7031/stat : 7031 (java) S 7025 7025 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446251648 15508250624 7000 33554432000 4194304 4196468 140720421498352 140133198908432 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7032] ppid=7025 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7032/stat : 7032 (java) S 7025 7025 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446251648 15508250624 7000 33554432000 4194304 4196468 140720421498352 140133197855888 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7037] ppid=7025 vsize=15144776 memory=140164837181056 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7037/stat : 7037 (java) S 7025 7025 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446251650 15508250624 7000 33554432000 4194304 4196468 140720421498352 140133077133296 140133609134722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7038] ppid=7025 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7038/stat : 7038 (java) S 7025 7025 6974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446251650 15508250624 7000 33554432000 4194304 4196468 140720421498352 140133076079520 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7039] ppid=7025 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7039/stat : 7039 (java) S 7025 7025 6974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446251650 15508250624 7000 33554432000 4194304 4196468 140720421498352 140133075026928 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7052] ppid=7025 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7052/stat : 7052 (java) S 7025 7025 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446251653 15508250624 7000 33554432000 4194304 4196468 140720421498352 140133073975504 140133609142171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7053] ppid=7025 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7053/stat : 7053 (java) R 7025 7025 6974 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 446251653 15508250624 7000 33554432000 4194304 4196468 140720421498352 140133072923216 140133609133781 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7054] ppid=7025 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7054/stat : 7054 (java) R 7025 7025 6974 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 446251653 15508250624 7000 33554432000 4194304 4196468 140720421498352 140133071862080 140133586956432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7056] ppid=7025 vsize=15144776 memory=140164837181056 CPUtime=0.02 cores=1,3,5,7
/proc/7027/task/7056/stat : 7056 (java) R 7025 7025 6974 0 -1 4202560 396 0 0 0 2 0 0 0 20 0 15 0 446251653 15508250624 7000 33554432000 4194304 4196468 140720421498352 140133070815568 140133609135510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7057] ppid=7025 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7057/stat : 7057 (java) S 7025 7025 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446251653 15508250624 7000 33554432000 4194304 4196468 140720421498352 140133069765728 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7058] ppid=7025 vsize=15144776 memory=140164837181056 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7058/stat : 7058 (java) S 7025 7025 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446251653 15508250624 7000 33554432000 4194304 4196468 140720421498352 140133068712240 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29184 KiB
[startup+0.211014 s]*
/proc/loadavg: 1.43 1.13 1.98 3/229 7067
/proc/meminfo: memFree=31418352/32770624 swapFree=66997372/67108860
[pid=7025] ppid=7022 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7025/stat : 7025 (xcsp3-exec) S 7022 7025 6974 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446251647 115843072 362 33554432000 4194304 5098028 140727323185408 140727323183512 140270368109180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17309696 140727323190138 140727323190381 140727323190381 140727323193290 0
/proc/7025/statm: 28282 362 304 221 0 87 0
[pid=7027] ppid=7025 vsize=15144776 memory=39860 CPUtime=0.34 cores=1,3,5,7
/proc/7027/stat : 7027 (java) S 7025 7025 6974 0 -1 1077944320 9690 0 0 0 31 3 0 0 20 0 15 0 446251647 15508250624 9965 33554432000 4194304 4196468 140720421498352 140720421480896 140133609123575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
/proc/7027/statm: 3786194 9965 3310 1 0 3748377 0
[pid=7027/tid=7028] ppid=7025 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/7027/task/7028/stat : 7028 (java) R 7025 7025 6974 0 -1 4202560 6698 0 0 0 18 2 0 0 20 0 15 0 446251648 15508250624 9965 33554432000 4194304 4196468 140720421498352 140133613357248 140133609135510 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7029] ppid=7025 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7029/stat : 7029 (java) S 7025 7025 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446251648 15508250624 9965 33554432000 4194304 4196468 140720421498352 140133201013520 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7030] ppid=7025 vsize=15144776 memory=140164837204526 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7030/stat : 7030 (java) S 7025 7025 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446251648 15508250624 9965 33554432000 4194304 4196468 140720421498352 140133199960976 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7031] ppid=7025 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7031/stat : 7031 (java) S 7025 7025 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446251648 15508250624 9965 33554432000 4194304 4196468 140720421498352 140133198908432 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7032] ppid=7025 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7032/stat : 7032 (java) S 7025 7025 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446251648 15508250624 9965 33554432000 4194304 4196468 140720421498352 140133197855888 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7037] ppid=7025 vsize=15144776 memory=140164837181056 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7037/stat : 7037 (java) S 7025 7025 6974 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446251650 15508250624 9965 33554432000 4194304 4196468 140720421498352 140133077133296 140133609134722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7038] ppid=7025 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7038/stat : 7038 (java) S 7025 7025 6974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446251650 15508250624 9965 33554432000 4194304 4196468 140720421498352 140133076079520 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7039] ppid=7025 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7039/stat : 7039 (java) S 7025 7025 6974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446251650 15508250624 9965 33554432000 4194304 4196468 140720421498352 140133075026928 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7052] ppid=7025 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7052/stat : 7052 (java) S 7025 7025 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446251653 15508250624 9965 33554432000 4194304 4196468 140720421498352 140133073975504 140133609142171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7053] ppid=7025 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7027/task/7053/stat : 7053 (java) S 7025 7025 6974 0 -1 1077944384 707 0 0 0 2 0 0 0 20 0 15 0 446251653 15508250624 9965 33554432000 4194304 4196468 140720421498352 140133072923120 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7054] ppid=7025 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/7027/task/7054/stat : 7054 (java) S 7025 7025 6974 0 -1 1077944384 100 0 0 0 2 0 0 0 20 0 15 0 446251653 15508250624 9965 33554432000 4194304 4196468 140720421498352 140133071870576 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7056] ppid=7025 vsize=15144776 memory=140164837181056 CPUtime=0.08 cores=1,3,5,7
/proc/7027/task/7056/stat : 7056 (java) R 7025 7025 6974 0 -1 4202560 884 0 0 0 8 0 0 0 20 0 15 0 446251653 15508250624 9965 33554432000 4194304 4196468 140720421498352 140133070818032 140133602220411 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7057] ppid=7025 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7057/stat : 7057 (java) S 7025 7025 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446251653 15508250624 9965 33554432000 4194304 4196468 140720421498352 140133069765728 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7058] ppid=7025 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7058/stat : 7058 (java) S 7025 7025 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446251653 15508250624 9965 33554432000 4194304 4196468 140720421498352 140133068712240 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41308 KiB
[startup+0.314067 s]*
/proc/loadavg: 1.43 1.13 1.98 7/229 7067
/proc/meminfo: memFree=31407348/32770624 swapFree=66997372/67108860
[pid=7025] ppid=7022 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7025/stat : 7025 (xcsp3-exec) S 7022 7025 6974 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446251647 115843072 362 33554432000 4194304 5098028 140727323185408 140727323183512 140270368109180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17309696 140727323190138 140727323190381 140727323190381 140727323193290 0
/proc/7025/statm: 28282 362 304 221 0 87 0
[pid=7027] ppid=7025 vsize=15149032 memory=49476 CPUtime=0.53 cores=1,3,5,7
/proc/7027/stat : 7027 (java) S 7025 7025 6974 0 -1 1077944320 11224 0 0 0 49 4 0 0 20 0 15 0 446251647 15512608768 12369 33554432000 4194304 4196468 140720421498352 140720421480896 140133609123575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
/proc/7027/statm: 3787258 12369 3367 1 0 3748377 0
[pid=7027/tid=7028] ppid=7025 vsize=15149032 memory=7882827048052850738 CPUtime=0.3 cores=1,3,5,7
/proc/7027/task/7028/stat : 7028 (java) R 7025 7025 6974 0 -1 4202560 7894 0 0 0 27 3 0 0 20 0 15 0 446251648 15512608768 12438 33554432000 4194304 4196468 140720421498352 140133613354688 140133593204062 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7029] ppid=7025 vsize=15149032 memory=288230613264367967 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7029/stat : 7029 (java) S 7025 7025 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446251648 15512608768 12438 33554432000 4194304 4196468 140720421498352 140133201013520 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7030] ppid=7025 vsize=15149032 memory=13845257498401910 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7030/stat : 7030 (java) S 7025 7025 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446251648 15512608768 12438 33554432000 4194304 4196468 140720421498352 140133199960976 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7031] ppid=7025 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7031/stat : 7031 (java) S 7025 7025 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446251648 15512608768 12438 33554432000 4194304 4196468 140720421498352 140133198908432 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7032] ppid=7025 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7032/stat : 7032 (java) S 7025 7025 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446251648 15512608768 12438 33554432000 4194304 4196468 140720421498352 140133197855888 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7037] ppid=7025 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7037/stat : 7037 (java) S 7025 7025 6974 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446251650 15512608768 12438 33554432000 4194304 4196468 140720421498352 140133077133296 140133609134722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7038] ppid=7025 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7038/stat : 7038 (java) S 7025 7025 6974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446251650 15512608768 12438 33554432000 4194304 4196468 140720421498352 140133076079520 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7039] ppid=7025 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7039/stat : 7039 (java) S 7025 7025 6974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446251650 15512608768 12438 33554432000 4194304 4196468 140720421498352 140133075026928 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7052] ppid=7025 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7052/stat : 7052 (java) S 7025 7025 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446251653 15512608768 12438 33554432000 4194304 4196468 140720421498352 140133073975504 140133609142171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7053] ppid=7025 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/7027/task/7053/stat : 7053 (java) R 7025 7025 6974 0 -1 4202560 844 0 0 0 5 0 0 0 20 0 15 0 446251653 15512608768 12438 33554432000 4194304 4196468 140720421498352 140133072923120 140133590670963 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7054] ppid=7025 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7027/task/7054/stat : 7054 (java) S 7025 7025 6974 0 -1 1077944384 158 0 0 0 4 0 0 0 20 0 15 0 446251653 15512608768 12438 33554432000 4194304 4196468 140720421498352 140133071870576 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7056] ppid=7025 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7027/task/7056/stat : 7056 (java) S 7025 7025 6974 0 -1 1077944384 1053 0 0 0 12 0 0 0 20 0 15 0 446251653 15512608768 12438 33554432000 4194304 4196468 140720421498352 140133070818032 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7057] ppid=7025 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7057/stat : 7057 (java) S 7025 7025 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446251653 15512608768 12438 33554432000 4194304 4196468 140720421498352 140133069765728 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7058] ppid=7025 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7058/stat : 7058 (java) S 7025 7025 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446251653 15512608768 12438 33554432000 4194304 4196468 140720421498352 140133068712240 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50924 KiB
[startup+0.700809 s]
/proc/loadavg: 1.43 1.13 1.98 7/229 7067
/proc/meminfo: memFree=31381736/32770624 swapFree=66997372/67108860
[pid=7025] ppid=7022 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7025/stat : 7025 (xcsp3-exec) S 7022 7025 6974 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446251647 115843072 362 33554432000 4194304 5098028 140727323185408 140727323183512 140270368109180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17309696 140727323190138 140727323190381 140727323190381 140727323193290 0
/proc/7025/statm: 28282 362 304 221 0 87 0
[pid=7027] ppid=7025 vsize=15151156 memory=77192 CPUtime=1.46 cores=1,3,5,7
/proc/7027/stat : 7027 (java) S 7025 7025 6974 0 -1 1077944320 15030 0 0 0 140 6 0 0 20 0 15 0 446251647 15514783744 19298 33554432000 4194304 4196468 140720421498352 140720421480896 140133609123575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
/proc/7027/statm: 3787789 19298 3441 1 0 3748889 0
[pid=7027/tid=7028] ppid=7025 vsize=15151156 memory=2433702954753 CPUtime=0.66 cores=1,3,5,7
/proc/7027/task/7028/stat : 7028 (java) R 7025 7025 6974 0 -1 4202560 9486 0 0 0 63 3 0 0 20 0 15 0 446251648 15514783744 19298 33554432000 4194304 4196468 140720421498352 140133613359984 140133590529870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7029] ppid=7025 vsize=15151156 memory=2442292889345 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7029/stat : 7029 (java) S 7025 7025 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446251648 15514783744 19298 33554432000 4194304 4196468 140720421498352 140133201013520 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7030] ppid=7025 vsize=15151156 memory=2455177790977 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7030/stat : 7030 (java) S 7025 7025 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446251648 15514783744 19298 33554432000 4194304 4196468 140720421498352 140133199960976 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7031] ppid=7025 vsize=15151156 memory=2463767725569 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7031/stat : 7031 (java) S 7025 7025 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446251648 15514783744 19298 33554432000 4194304 4196468 140720421498352 140133198908432 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7032] ppid=7025 vsize=15151156 memory=2515307333121 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7032/stat : 7032 (java) S 7025 7025 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446251648 15514783744 19298 33554432000 4194304 4196468 140720421498352 140133197855888 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7037] ppid=7025 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7037/stat : 7037 (java) S 7025 7025 6974 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446251650 15514783744 19298 33554432000 4194304 4196468 140720421498352 140133077133296 140133609134722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7038] ppid=7025 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7038/stat : 7038 (java) S 7025 7025 6974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446251650 15514783744 19298 33554432000 4194304 4196468 140720421498352 140133076079520 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7039] ppid=7025 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7039/stat : 7039 (java) S 7025 7025 6974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446251650 15514783744 19298 33554432000 4194304 4196468 140720421498352 140133075026928 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7052] ppid=7025 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7052/stat : 7052 (java) S 7025 7025 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446251653 15514783744 19298 33554432000 4194304 4196468 140720421498352 140133073975504 140133609142171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7053] ppid=7025 vsize=15151156 memory=1764 CPUtime=0.23 cores=1,3,5,7
/proc/7027/task/7053/stat : 7053 (java) S 7025 7025 6974 0 -1 1077944384 1524 0 0 0 23 0 0 0 20 0 15 0 446251653 15514783744 19298 33554432000 4194304 4196468 140720421498352 140133072923120 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7054] ppid=7025 vsize=15151156 memory=111628 CPUtime=0.18 cores=1,3,5,7
/proc/7027/task/7054/stat : 7054 (java) S 7025 7025 6974 0 -1 1077944384 814 0 0 0 18 0 0 0 20 0 15 0 446251653 15514783744 19298 33554432000 4194304 4196468 140720421498352 140133071870576 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7056] ppid=7025 vsize=15151156 memory=796 CPUtime=0.34 cores=1,3,5,7
/proc/7027/task/7056/stat : 7056 (java) S 7025 7025 6974 0 -1 1077944384 1899 0 0 0 34 0 0 0 20 0 15 0 446251653 15514783744 19298 33554432000 4194304 4196468 140720421498352 140133070818032 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7057] ppid=7025 vsize=15151156 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7057/stat : 7057 (java) S 7025 7025 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446251653 15514783744 19298 33554432000 4194304 4196468 140720421498352 140133069765728 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7058] ppid=7025 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7058/stat : 7058 (java) S 7025 7025 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446251653 15514783744 19298 33554432000 4194304 4196468 140720421498352 140133068712240 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 78640 KiB
[startup+1.50073 s]
/proc/loadavg: 1.64 1.18 1.99 6/229 7067
/proc/meminfo: memFree=31150272/32770624 swapFree=66997372/67108860
[pid=7025] ppid=7022 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7025/stat : 7025 (xcsp3-exec) S 7022 7025 6974 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446251647 115843072 362 33554432000 4194304 5098028 140727323185408 140727323183512 140270368109180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17309696 140727323190138 140727323190381 140727323190381 140727323193290 0
/proc/7025/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/7027/task/7058/stat : 7058 (java) S 7025 7025 6974 0 -1 1077944384 396 0 0 0 0 1 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133068712240 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7148] ppid=7025 vsize=15552588 memory=1412 CPUtime=16.84 cores=1,3,5,7
/proc/7027/task/7148/stat : 7148 (java) R 7025 7025 6974 0 -1 4202560 478 0 0 0 1684 0 0 0 20 0 19 0 446251864 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133054474592 140133256658589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7149] ppid=7025 vsize=15552588 memory=2696 CPUtime=17.05 cores=1,3,5,7
/proc/7027/task/7149/stat : 7149 (java) R 7025 7025 6974 0 -1 4202560 1627 0 0 0 1705 0 0 0 20 0 19 0 446251864 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133057634016 140133252731951 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7150] ppid=7025 vsize=15552588 memory=1452 CPUtime=16.84 cores=1,3,5,7
/proc/7027/task/7150/stat : 7150 (java) R 7025 7025 6974 0 -1 4202560 1572 0 0 0 1683 1 0 0 20 0 19 0 446251864 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133056583728 140133254443450 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7151] ppid=7025 vsize=15552588 memory=4801520 CPUtime=16.82 cores=1,3,5,7
/proc/7027/task/7151/stat : 7151 (java) R 7025 7025 6974 0 -1 4202560 784 0 0 0 1682 0 0 0 20 0 19 0 446251864 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133053423968 140133253432602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
Current children cumulated CPU time: 77.83 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 370932 KiB
[startup+20.8017 s]
/proc/loadavg: 2.69 1.44 2.06 6/234 7154
/proc/meminfo: memFree=26321644/32770624 swapFree=66997372/67108860
[pid=7025] ppid=7022 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7025/stat : 7025 (xcsp3-exec) S 7022 7025 6974 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446251647 115843072 362 33554432000 4194304 5098028 140727323185408 140727323183512 140270368109180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17309696 140727323190138 140727323190381 140727323190381 140727323193290 0
/proc/7025/statm: 28282 362 304 221 0 87 0
[pid=7027] ppid=7025 vsize=15552588 memory=369484 CPUtime=80.99 cores=1,3,5,7
/proc/7027/stat : 7027 (java) S 7025 7025 6974 0 -1 1077944320 56410 0 0 0 8077 22 0 0 20 0 19 0 446251647 15925850112 92371 33554432000 4194304 4196468 140720421498352 140720421480896 140133609123575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
/proc/7027/statm: 3888147 92371 3533 1 0 3849247 0
[pid=7027/tid=7028] ppid=7025 vsize=15552588 memory=4872558044660077418 CPUtime=1.09 cores=1,3,5,7
/proc/7027/task/7028/stat : 7028 (java) S 7025 7025 6974 0 -1 1077944384 12783 0 0 0 104 5 0 0 20 0 19 0 446251648 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133613364352 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7029] ppid=7025 vsize=15552588 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/7027/task/7029/stat : 7029 (java) S 7025 7025 6974 0 -1 1077944384 1194 0 0 0 5 1 0 0 20 0 19 0 446251648 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133201013520 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7030] ppid=7025 vsize=15552588 memory=6944656592455360608 CPUtime=0.05 cores=1,3,5,7
/proc/7027/task/7030/stat : 7030 (java) S 7025 7025 6974 0 -1 1077944384 736 0 0 0 4 1 0 0 20 0 19 0 446251648 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133199960976 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7031] ppid=7025 vsize=15552588 memory=6944656592455360608 CPUtime=0.05 cores=1,3,5,7
/proc/7027/task/7031/stat : 7031 (java) S 7025 7025 6974 0 -1 1077944384 2094 0 0 0 4 1 0 0 20 0 19 0 446251648 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133198908432 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7032] ppid=7025 vsize=15552588 memory=8112282956445269571 CPUtime=0.05 cores=1,3,5,7
/proc/7027/task/7032/stat : 7032 (java) S 7025 7025 6974 0 -1 1077944384 2219 0 0 0 4 1 0 0 20 0 19 0 446251648 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133197855888 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7037] ppid=7025 vsize=15552588 memory=359244 CPUtime=0.02 cores=1,3,5,7
/proc/7027/task/7037/stat : 7037 (java) S 7025 7025 6974 0 -1 1077944384 1170 0 0 0 2 0 0 0 20 0 19 0 446251650 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133077133296 140133609134722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7038] ppid=7025 vsize=15552588 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7038/stat : 7038 (java) S 7025 7025 6974 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446251650 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133076079584 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7039] ppid=7025 vsize=15552588 memory=1388 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7039/stat : 7039 (java) S 7025 7025 6974 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 446251650 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133075026944 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7052] ppid=7025 vsize=15552588 memory=776 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7052/stat : 7052 (java) S 7025 7025 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133073975504 140133609142171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7053] ppid=7025 vsize=15552588 memory=3992 CPUtime=2.95 cores=1,3,5,7
/proc/7027/task/7053/stat : 7053 (java) S 7025 7025 6974 0 -1 1077944384 11151 0 0 0 293 2 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133072923120 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7054] ppid=7025 vsize=15552588 memory=2828 CPUtime=2.75 cores=1,3,5,7
/proc/7027/task/7054/stat : 7054 (java) S 7025 7025 6974 0 -1 1077944384 8070 0 0 0 274 1 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133071870576 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7056] ppid=7025 vsize=15552588 memory=1448 CPUtime=1 cores=1,3,5,7
/proc/7027/task/7056/stat : 7056 (java) S 7025 7025 6974 0 -1 1077944384 8756 0 0 0 98 2 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133070818032 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7057] ppid=7025 vsize=15552588 memory=359224 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7057/stat : 7057 (java) S 7025 7025 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133069765728 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7058] ppid=7025 vsize=15552588 memory=1408 CPUtime=0.01 cores=1,3,5,7
/proc/7027/task/7058/stat : 7058 (java) S 7025 7025 6974 0 -1 1077944384 549 0 0 0 0 1 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133068712240 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7148] ppid=7025 vsize=15552588 memory=1448 CPUtime=17.63 cores=1,3,5,7
/proc/7027/task/7148/stat : 7148 (java) R 7025 7025 6974 0 -1 4202560 479 0 0 0 1763 0 0 0 20 0 19 0 446251864 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133054474728 140133255166864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7149] ppid=7025 vsize=15552588 memory=359244 CPUtime=17.84 cores=1,3,5,7
/proc/7027/task/7149/stat : 7149 (java) R 7025 7025 6974 0 -1 4202560 1650 0 0 0 1784 0 0 0 20 0 19 0 446251864 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133057634776 140133253682837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7150] ppid=7025 vsize=15552588 memory=372560 CPUtime=17.62 cores=1,3,5,7
/proc/7027/task/7150/stat : 7150 (java) R 7025 7025 6974 0 -1 4202560 1578 0 0 0 1761 1 0 0 20 0 19 0 446251864 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133056583728 140133255794400 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7151] ppid=7025 vsize=15552588 memory=1412 CPUtime=17.61 cores=1,3,5,7
/proc/7027/task/7151/stat : 7151 (java) R 7025 7025 6974 0 -1 4202560 784 0 0 0 1761 0 0 0 20 0 19 0 446251864 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133053423856 140133253685471 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
Current children cumulated CPU time: 80.99 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 370932 KiB
[startup+21.0018 s]*
/proc/loadavg: 3.12 1.54 2.09 6/234 7154
/proc/meminfo: memFree=26317676/32770624 swapFree=66997372/67108860
[pid=7025] ppid=7022 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7025/stat : 7025 (xcsp3-exec) S 7022 7025 6974 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446251647 115843072 362 33554432000 4194304 5098028 140727323185408 140727323183512 140270368109180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17309696 140727323190138 140727323190381 140727323190381 140727323193290 0
/proc/7025/statm: 28282 362 304 221 0 87 0
[pid=7027] ppid=7025 vsize=15552588 memory=369484 CPUtime=81.81 cores=1,3,5,7
/proc/7027/stat : 7027 (java) S 7025 7025 6974 0 -1 1077944320 56416 0 0 0 8159 22 0 0 20 0 19 0 446251647 15925850112 92371 33554432000 4194304 4196468 140720421498352 140720421480896 140133609123575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
/proc/7027/statm: 3888147 92371 3533 1 0 3849247 0
[pid=7027/tid=7028] ppid=7025 vsize=15552588 memory=8317482817917895235 CPUtime=1.09 cores=1,3,5,7
/proc/7027/task/7028/stat : 7028 (java) S 7025 7025 6974 0 -1 1077944384 12783 0 0 0 104 5 0 0 20 0 19 0 446251648 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133613364352 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7029] ppid=7025 vsize=15552588 memory=4872558044660077418 CPUtime=0.06 cores=1,3,5,7
/proc/7027/task/7029/stat : 7029 (java) S 7025 7025 6974 0 -1 1077944384 1194 0 0 0 5 1 0 0 20 0 19 0 446251648 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133201013520 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7030] ppid=7025 vsize=15552588 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/7027/task/7030/stat : 7030 (java) S 7025 7025 6974 0 -1 1077944384 736 0 0 0 4 1 0 0 20 0 19 0 446251648 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133199960976 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7031] ppid=7025 vsize=15552588 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/7027/task/7031/stat : 7031 (java) S 7025 7025 6974 0 -1 1077944384 2094 0 0 0 4 1 0 0 20 0 19 0 446251648 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133198908432 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7032] ppid=7025 vsize=15552588 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/7027/task/7032/stat : 7032 (java) S 7025 7025 6974 0 -1 1077944384 2219 0 0 0 4 1 0 0 20 0 19 0 446251648 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133197855888 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7037] ppid=7025 vsize=15552588 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7027/task/7037/stat : 7037 (java) S 7025 7025 6974 0 -1 1077944384 1170 0 0 0 2 0 0 0 20 0 19 0 446251650 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133077133296 140133609134722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7038] ppid=7025 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7038/stat : 7038 (java) S 7025 7025 6974 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446251650 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133076079584 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7039] ppid=7025 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7039/stat : 7039 (java) S 7025 7025 6974 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 446251650 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133075026944 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7052] ppid=7025 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7052/stat : 7052 (java) S 7025 7025 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133073975504 140133609142171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7053] ppid=7025 vsize=15552588 memory=0 CPUtime=2.95 cores=1,3,5,7
/proc/7027/task/7053/stat : 7053 (java) S 7025 7025 6974 0 -1 1077944384 11151 0 0 0 293 2 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133072923120 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7054] ppid=7025 vsize=15552588 memory=0 CPUtime=2.75 cores=1,3,5,7
/proc/7027/task/7054/stat : 7054 (java) S 7025 7025 6974 0 -1 1077944384 8070 0 0 0 274 1 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133071870576 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7056] ppid=7025 vsize=15552588 memory=0 CPUtime=1 cores=1,3,5,7
/proc/7027/task/7056/stat : 7056 (java) S 7025 7025 6974 0 -1 1077944384 8756 0 0 0 98 2 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133070818032 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7057] ppid=7025 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7057/stat : 7057 (java) S 7025 7025 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133069765728 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7058] ppid=7025 vsize=15552588 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/7027/task/7058/stat : 7058 (java) S 7025 7025 6974 0 -1 1077944384 549 0 0 0 0 1 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133068712240 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7148] ppid=7025 vsize=15552588 memory=0 CPUtime=17.84 cores=1,3,5,7
/proc/7027/task/7148/stat : 7148 (java) R 7025 7025 6974 0 -1 4202560 479 0 0 0 1784 0 0 0 20 0 19 0 446251864 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133054474728 140133253005056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7149] ppid=7025 vsize=15552588 memory=0 CPUtime=18.05 cores=1,3,5,7
/proc/7027/task/7149/stat : 7149 (java) R 7025 7025 6974 0 -1 4202560 1651 0 0 0 1805 0 0 0 20 0 19 0 446251864 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133057634776 140133254446236 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7150] ppid=7025 vsize=15552588 memory=0 CPUtime=17.82 cores=1,3,5,7
/proc/7027/task/7150/stat : 7150 (java) R 7025 7025 6974 0 -1 4202560 1582 0 0 0 1781 1 0 0 20 0 19 0 446251864 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133056583728 140133256527267 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7151] ppid=7025 vsize=15552588 memory=0 CPUtime=17.82 cores=1,3,5,7
/proc/7027/task/7151/stat : 7151 (java) R 7025 7025 6974 0 -1 4202560 785 0 0 0 1782 0 0 0 20 0 19 0 446251864 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133053423856 140133255167893 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
Current children cumulated CPU time: 81.81 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 370932 KiB
[startup+21.1118 s]
/proc/loadavg: 3.12 1.54 2.09 6/234 7154
/proc/meminfo: memFree=26317676/32770624 swapFree=66997372/67108860
[pid=7025] ppid=7022 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7025/stat : 7025 (xcsp3-exec) S 7022 7025 6974 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446251647 115843072 362 33554432000 4194304 5098028 140727323185408 140727323183512 140270368109180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17309696 140727323190138 140727323190381 140727323190381 140727323193290 0
/proc/7025/statm: 28282 362 304 221 0 87 0
[pid=7027] ppid=7025 vsize=15552588 memory=369484 CPUtime=82.22 cores=1,3,5,7
/proc/7027/stat : 7027 (java) S 7025 7025 6974 0 -1 1077944320 56416 0 0 0 8200 22 0 0 20 0 19 0 446251647 15925850112 92371 33554432000 4194304 4196468 140720421498352 140720421480896 140133609123575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
/proc/7027/statm: 3888147 92371 3533 1 0 3849247 0
[pid=7027/tid=7028] ppid=7025 vsize=15552588 memory=1448 CPUtime=1.09 cores=1,3,5,7
/proc/7027/task/7028/stat : 7028 (java) S 7025 7025 6974 0 -1 1077944384 12783 0 0 0 104 5 0 0 20 0 19 0 446251648 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133613364352 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7029] ppid=7025 vsize=15552588 memory=1448 CPUtime=0.06 cores=1,3,5,7
/proc/7027/task/7029/stat : 7029 (java) S 7025 7025 6974 0 -1 1077944384 1194 0 0 0 5 1 0 0 20 0 19 0 446251648 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133201013520 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7030] ppid=7025 vsize=15552588 memory=372568 CPUtime=0.05 cores=1,3,5,7
/proc/7027/task/7030/stat : 7030 (java) S 7025 7025 6974 0 -1 1077944384 736 0 0 0 4 1 0 0 20 0 19 0 446251648 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133199960976 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7031] ppid=7025 vsize=15552588 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/7027/task/7031/stat : 7031 (java) S 7025 7025 6974 0 -1 1077944384 2094 0 0 0 4 1 0 0 20 0 19 0 446251648 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133198908432 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7032] ppid=7025 vsize=15552588 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/7027/task/7032/stat : 7032 (java) S 7025 7025 6974 0 -1 1077944384 2219 0 0 0 4 1 0 0 20 0 19 0 446251648 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133197855888 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7037] ppid=7025 vsize=15552588 memory=100 CPUtime=0.02 cores=1,3,5,7
/proc/7027/task/7037/stat : 7037 (java) S 7025 7025 6974 0 -1 1077944384 1170 0 0 0 2 0 0 0 20 0 19 0 446251650 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133077133296 140133609134722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7038] ppid=7025 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7038/stat : 7038 (java) S 7025 7025 6974 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446251650 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133076079584 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7039] ppid=7025 vsize=15552588 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7039/stat : 7039 (java) S 7025 7025 6974 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 446251650 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133075026944 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7052] ppid=7025 vsize=15552588 memory=366352 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7052/stat : 7052 (java) S 7025 7025 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133073975504 140133609142171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7053] ppid=7025 vsize=15552588 memory=1526 CPUtime=2.95 cores=1,3,5,7
/proc/7027/task/7053/stat : 7053 (java) S 7025 7025 6974 0 -1 1077944384 11151 0 0 0 293 2 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133072923120 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7054] ppid=7025 vsize=15552588 memory=1523 CPUtime=2.75 cores=1,3,5,7
/proc/7027/task/7054/stat : 7054 (java) S 7025 7025 6974 0 -1 1077944384 8070 0 0 0 274 1 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133071870576 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7056] ppid=7025 vsize=15552588 memory=280329428743384 CPUtime=1 cores=1,3,5,7
/proc/7027/task/7056/stat : 7056 (java) S 7025 7025 6974 0 -1 1077944384 8756 0 0 0 98 2 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133070818032 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7057] ppid=7025 vsize=15552588 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7027/task/7057/stat : 7057 (java) S 7025 7025 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133069765728 140133609133781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7058] ppid=7025 vsize=15552588 memory=359244 CPUtime=0.01 cores=1,3,5,7
/proc/7027/task/7058/stat : 7058 (java) S 7025 7025 6974 0 -1 1077944384 549 0 0 0 0 1 0 0 20 0 19 0 446251653 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133068712240 140133609134722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7148] ppid=7025 vsize=15552588 memory=1448 CPUtime=17.94 cores=1,3,5,7
/proc/7027/task/7148/stat : 7148 (java) R 7025 7025 6974 0 -1 4202560 479 0 0 0 1794 0 0 0 20 0 19 0 446251864 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133054474728 140133254447201 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7149] ppid=7025 vsize=15552588 memory=0 CPUtime=18.15 cores=1,3,5,7
/proc/7027/task/7149/stat : 7149 (java) R 7025 7025 6974 0 -1 4202560 1651 0 0 0 1815 0 0 0 20 0 19 0 446251864 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133057634776 140133252991520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7150] ppid=7025 vsize=15552588 memory=0 CPUtime=17.92 cores=1,3,5,7
/proc/7027/task/7150/stat : 7150 (java) R 7025 7025 6974 0 -1 4202560 1582 0 0 0 1791 1 0 0 20 0 19 0 446251864 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133056583728 140133254224870 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
[pid=7027/tid=7151] ppid=7025 vsize=15552588 memory=0 CPUtime=17.92 cores=1,3,5,7
/proc/7027/task/7151/stat : 7151 (java) R 7025 7025 6974 0 -1 4202560 785 0 0 0 1792 0 0 0 20 0 19 0 446251864 15925850112 92371 33554432000 4194304 4196468 140720421498352 140133053423856 140133253682774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22278144 140720421503983 140720421504154 140720421504154 140720421507023 0
Current children cumulated CPU time: 82.22 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 370932 KiB
Child status: 0
Real time (s): 21.1671
CPU time (s): 82.4203
CPU user time (s): 82.1884
CPU system time (s): 0.231883
CPU usage (%): 389.379
Max. virtual memory (cumulated for all children) (KiB): 15665716
Max. memory (cumulated for all children) (KiB): 374016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 82.1884
system time used= 0.231883
maximum resident set size= 372572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57886
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4257
involuntary context switches= 1531
# summary of solver processes directly reported to runsolver:
# pid: 7025
# total CPU time (s): 82.4203
# total CPU user time (s): 82.1884
# total CPU system time (s): 0.231883
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.161412 second user time and 0.283603 second system time
The end