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 (15252 MiB free)
memory of node 1: 16384 MiB (15312 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399392-1568683810/watcher-4399392-1568683810 -o /tmp/evaluation-result-4399392-1568683810/solver-4399392-1568683810 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15014 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 669203834 HOME/instance-4399392-1568683810.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17081, runsolver pid=17078
Current StackSize limit: 8192 KiB
[startup+0.10097 s]*
/proc/loadavg: 9.02 8.86 8.59 7/234 17097
/proc/meminfo: memFree=31281824/32770624 swapFree=66997372/67108860
[pid=17081] ppid=17078 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17081/stat : 17081 (xcsp3-exec) S 17078 17081 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444634053 115843072 362 33554432000 4194304 5098028 140723567049440 140723567047544 139914968453756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36061184 140723567055739 140723567055981 140723567055981 140723567058890 0
/proc/17081/statm: 28282 362 304 221 0 87 0
[pid=17083] ppid=17081 vsize=15144776 memory=28868 CPUtime=0.12 cores=0,2,4,6
/proc/17083/stat : 17083 (java) S 17081 17081 14983 0 -1 1077944320 5660 0 0 0 11 1 0 0 20 0 15 0 444634054 15508250624 7217 33554432000 4194304 4196468 140725129875072 140725129857616 140273546915575 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
/proc/17083/statm: 3786194 7217 3124 1 0 3748377 0
[pid=17083/tid=17084] ppid=17081 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=0,2,4,6
/proc/17083/task/17084/stat : 17084 (java) R 17081 17081 14983 0 -1 4202560 3585 0 0 0 8 1 0 0 20 0 15 0 444634054 15508250624 7283 33554432000 4194304 4196468 140725129875072 140273551146896 140273530996062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17085] ppid=17081 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17085/stat : 17085 (java) S 17081 17081 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444634055 15508250624 7283 33554432000 4194304 4196468 140725129875072 140273499536144 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17086] ppid=17081 vsize=15144776 memory=140386599437952 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17086/stat : 17086 (java) S 17081 17081 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444634055 15508250624 7283 33554432000 4194304 4196468 140725129875072 140273137933200 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17087] ppid=17081 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17087/stat : 17087 (java) S 17081 17081 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444634055 15508250624 7283 33554432000 4194304 4196468 140725129875072 140273136880656 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17088] ppid=17081 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17088/stat : 17088 (java) S 17081 17081 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444634055 15508250624 7283 33554432000 4194304 4196468 140725129875072 140273135828112 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17089] ppid=17081 vsize=15144776 memory=140386599437952 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17089/stat : 17089 (java) S 17081 17081 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444634056 15508250624 7283 33554432000 4194304 4196468 140725129875072 140272420726768 140273546926722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17090] ppid=17081 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17090/stat : 17090 (java) S 17081 17081 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444634057 15508250624 7283 33554432000 4194304 4196468 140725129875072 140272419672992 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17091] ppid=17081 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17091/stat : 17091 (java) S 17081 17081 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444634057 15508250624 7283 33554432000 4194304 4196468 140725129875072 140272418620400 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17092] ppid=17081 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17092/stat : 17092 (java) S 17081 17081 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444634059 15508250624 7283 33554432000 4194304 4196468 140725129875072 140272417568976 140273546934171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17093] ppid=17081 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17093/stat : 17093 (java) R 17081 17081 14983 0 -1 4202560 330 0 0 0 0 0 0 0 20 0 15 0 444634059 15508250624 7283 33554432000 4194304 4196468 140725129875072 140272416516592 140273532041478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17094] ppid=17081 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17094/stat : 17094 (java) R 17081 17081 14983 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 444634059 15508250624 7283 33554432000 4194304 4196468 140725129875072 140272415464048 140273546926722 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17095] ppid=17081 vsize=15144776 memory=140386599437952 CPUtime=0.02 cores=0,2,4,6
/proc/17083/task/17095/stat : 17095 (java) R 17081 17081 14983 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 444634059 15508250624 7283 33554432000 4194304 4196468 140725129875072 140272414411504 140273530996062 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17096] ppid=17081 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17096/stat : 17096 (java) S 17081 17081 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444634059 15508250624 7283 33554432000 4194304 4196468 140725129875072 140272413359200 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17097] ppid=17081 vsize=15144776 memory=140386599437952 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17097/stat : 17097 (java) S 17081 17081 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444634060 15508250624 7283 33554432000 4194304 4196468 140725129875072 140272412305712 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30316 KiB
[startup+0.210668 s]*
/proc/loadavg: 9.02 8.86 8.59 7/234 17097
/proc/meminfo: memFree=31270024/32770624 swapFree=66997372/67108860
[pid=17081] ppid=17078 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17081/stat : 17081 (xcsp3-exec) S 17078 17081 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444634053 115843072 362 33554432000 4194304 5098028 140723567049440 140723567047544 139914968453756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36061184 140723567055739 140723567055981 140723567055981 140723567058890 0
/proc/17081/statm: 28282 362 304 221 0 87 0
[pid=17083] ppid=17081 vsize=15144776 memory=40864 CPUtime=0.34 cores=0,2,4,6
/proc/17083/stat : 17083 (java) S 17081 17081 14983 0 -1 1077944320 9438 0 0 0 31 3 0 0 20 0 15 0 444634054 15508250624 10216 33554432000 4194304 4196468 140725129875072 140725129857616 140273546915575 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
/proc/17083/statm: 3786194 10216 3310 1 0 3748377 0
[pid=17083/tid=17084] ppid=17081 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/17083/task/17084/stat : 17084 (java) R 17081 17081 14983 0 -1 4202560 6614 0 0 0 17 2 0 0 20 0 15 0 444634054 15508250624 10216 33554432000 4194304 4196468 140725129875072 140273551149520 140273546927510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17085] ppid=17081 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17085/stat : 17085 (java) S 17081 17081 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444634055 15508250624 10216 33554432000 4194304 4196468 140725129875072 140273499536144 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17086] ppid=17081 vsize=15144776 memory=140386602985249 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17086/stat : 17086 (java) S 17081 17081 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444634055 15508250624 10216 33554432000 4194304 4196468 140725129875072 140273137933200 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17087] ppid=17081 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17087/stat : 17087 (java) S 17081 17081 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444634055 15508250624 10216 33554432000 4194304 4196468 140725129875072 140273136880656 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17088] ppid=17081 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17088/stat : 17088 (java) S 17081 17081 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444634055 15508250624 10216 33554432000 4194304 4196468 140725129875072 140273135828112 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17089] ppid=17081 vsize=15144776 memory=140386599437952 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17089/stat : 17089 (java) S 17081 17081 14983 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 444634056 15508250624 10216 33554432000 4194304 4196468 140725129875072 140272420726768 140273546926722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17090] ppid=17081 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17090/stat : 17090 (java) S 17081 17081 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444634057 15508250624 10216 33554432000 4194304 4196468 140725129875072 140272419672992 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17091] ppid=17081 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17091/stat : 17091 (java) S 17081 17081 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444634057 15508250624 10216 33554432000 4194304 4196468 140725129875072 140272418620400 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17092] ppid=17081 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17092/stat : 17092 (java) S 17081 17081 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444634059 15508250624 10216 33554432000 4194304 4196468 140725129875072 140272417568976 140273546934171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17093] ppid=17081 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/17083/task/17093/stat : 17093 (java) S 17081 17081 14983 0 -1 1077944384 587 0 0 0 3 0 0 0 20 0 15 0 444634059 15508250624 10216 33554432000 4194304 4196468 140725129875072 140272416516592 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17094] ppid=17081 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/17083/task/17094/stat : 17094 (java) S 17081 17081 14983 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 15 0 444634059 15508250624 10216 33554432000 4194304 4196468 140725129875072 140272415464048 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17095] ppid=17081 vsize=15144776 memory=140386599437952 CPUtime=0.08 cores=0,2,4,6
/proc/17083/task/17095/stat : 17095 (java) R 17081 17081 14983 0 -1 4202560 780 0 0 0 8 0 0 0 20 0 15 0 444634059 15508250624 10216 33554432000 4194304 4196468 140725129875072 140272414411504 140273530284202 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17096] ppid=17081 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17096/stat : 17096 (java) S 17081 17081 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444634059 15508250624 10216 33554432000 4194304 4196468 140725129875072 140272413359200 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17097] ppid=17081 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17097/stat : 17097 (java) S 17081 17081 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444634060 15508250624 10216 33554432000 4194304 4196468 140725129875072 140272412305712 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42312 KiB
[startup+0.310539 s]*
/proc/loadavg: 9.02 8.86 8.59 8/234 17097
/proc/meminfo: memFree=31261896/32770624 swapFree=66997372/67108860
[pid=17081] ppid=17078 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17081/stat : 17081 (xcsp3-exec) S 17078 17081 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444634053 115843072 362 33554432000 4194304 5098028 140723567049440 140723567047544 139914968453756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36061184 140723567055739 140723567055981 140723567055981 140723567058890 0
/proc/17081/statm: 28282 362 304 221 0 87 0
[pid=17083] ppid=17081 vsize=15149032 memory=50048 CPUtime=0.52 cores=0,2,4,6
/proc/17083/stat : 17083 (java) S 17081 17081 14983 0 -1 1077944320 10840 0 0 0 48 4 0 0 20 0 15 0 444634054 15512608768 12512 33554432000 4194304 4196468 140725129875072 140725129857616 140273546915575 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
/proc/17083/statm: 3787258 12512 3364 1 0 3748377 0
[pid=17083/tid=17084] ppid=17081 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/17083/task/17084/stat : 17084 (java) R 17081 17081 14983 0 -1 4202560 7749 0 0 0 27 3 0 0 20 0 15 0 444634054 15512608768 12543 33554432000 4194304 4196468 140725129875072 140273551146688 140273546937501 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17085] ppid=17081 vsize=15149032 memory=9461 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17085/stat : 17085 (java) S 17081 17081 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444634055 15512608768 12543 33554432000 4194304 4196468 140725129875072 140273499536144 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17086] ppid=17081 vsize=15149032 memory=3559081 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17086/stat : 17086 (java) S 17081 17081 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444634055 15512608768 12543 33554432000 4194304 4196468 140725129875072 140273137933200 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17087] ppid=17081 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17087/stat : 17087 (java) S 17081 17081 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444634055 15512608768 12543 33554432000 4194304 4196468 140725129875072 140273136880656 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17088] ppid=17081 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17088/stat : 17088 (java) S 17081 17081 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444634055 15512608768 12543 33554432000 4194304 4196468 140725129875072 140273135828112 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17089] ppid=17081 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17089/stat : 17089 (java) S 17081 17081 14983 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 444634056 15512608768 12543 33554432000 4194304 4196468 140725129875072 140272420726768 140273546926722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17090] ppid=17081 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17090/stat : 17090 (java) S 17081 17081 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444634057 15512608768 12543 33554432000 4194304 4196468 140725129875072 140272419672992 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17091] ppid=17081 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17091/stat : 17091 (java) S 17081 17081 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444634057 15512608768 12543 33554432000 4194304 4196468 140725129875072 140272418620400 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17092] ppid=17081 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17092/stat : 17092 (java) S 17081 17081 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444634059 15512608768 12543 33554432000 4194304 4196468 140725129875072 140272417568976 140273546934171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17093] ppid=17081 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/17083/task/17093/stat : 17093 (java) S 17081 17081 14983 0 -1 1077944384 600 0 0 0 5 0 0 0 20 0 15 0 444634059 15512608768 12543 33554432000 4194304 4196468 140725129875072 140272416516592 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17094] ppid=17081 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/17083/task/17094/stat : 17094 (java) R 17081 17081 14983 0 -1 4202560 299 0 0 0 4 0 0 0 20 0 15 0 444634059 15512608768 12543 33554432000 4194304 4196468 140725129875072 140272415455504 140273528460923 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17095] ppid=17081 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/17083/task/17095/stat : 17095 (java) S 17081 17081 14983 0 -1 1077944384 899 0 0 0 12 0 0 0 20 0 15 0 444634059 15512608768 12543 33554432000 4194304 4196468 140725129875072 140272414411504 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17096] ppid=17081 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17096/stat : 17096 (java) S 17081 17081 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444634059 15512608768 12543 33554432000 4194304 4196468 140725129875072 140272413359200 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17097] ppid=17081 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17097/stat : 17097 (java) S 17081 17081 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444634060 15512608768 12543 33554432000 4194304 4196468 140725129875072 140272412305712 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51496 KiB
[startup+0.703889 s]
/proc/loadavg: 9.02 8.86 8.59 8/234 17097
/proc/meminfo: memFree=31250544/32770624 swapFree=66997372/67108860
[pid=17081] ppid=17078 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17081/stat : 17081 (xcsp3-exec) S 17078 17081 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444634053 115843072 362 33554432000 4194304 5098028 140723567049440 140723567047544 139914968453756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36061184 140723567055739 140723567055981 140723567055981 140723567058890 0
/proc/17081/statm: 28282 362 304 221 0 87 0
[pid=17083] ppid=17081 vsize=15151156 memory=83756 CPUtime=1.58 cores=0,2,4,6
/proc/17083/stat : 17083 (java) S 17081 17081 14983 0 -1 1077944320 15133 0 0 0 151 7 0 0 20 0 15 0 444634054 15514783744 20939 33554432000 4194304 4196468 140725129875072 140725129857616 140273546915575 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
/proc/17083/statm: 3787789 20939 3452 1 0 3748889 0
[pid=17083/tid=17084] ppid=17081 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/17083/task/17084/stat : 17084 (java) R 17081 17081 14983 0 -1 1077944384 9375 0 0 0 63 4 0 0 20 0 15 0 444634054 15514783744 20939 33554432000 4194304 4196468 140725129875072 140273551151696 140273546925781 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17085] ppid=17081 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17085/stat : 17085 (java) S 17081 17081 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444634055 15514783744 20939 33554432000 4194304 4196468 140725129875072 140273499536144 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17086] ppid=17081 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17086/stat : 17086 (java) S 17081 17081 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444634055 15514783744 20939 33554432000 4194304 4196468 140725129875072 140273137933200 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17087] ppid=17081 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17087/stat : 17087 (java) S 17081 17081 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444634055 15514783744 20939 33554432000 4194304 4196468 140725129875072 140273136880656 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17088] ppid=17081 vsize=15151156 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17088/stat : 17088 (java) S 17081 17081 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444634055 15514783744 20939 33554432000 4194304 4196468 140725129875072 140273135828112 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17089] ppid=17081 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17089/stat : 17089 (java) S 17081 17081 14983 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 444634056 15514783744 20939 33554432000 4194304 4196468 140725129875072 140272420726768 140273546926722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17090] ppid=17081 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17090/stat : 17090 (java) S 17081 17081 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444634057 15514783744 20939 33554432000 4194304 4196468 140725129875072 140272419672992 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17091] ppid=17081 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17091/stat : 17091 (java) S 17081 17081 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444634057 15514783744 20939 33554432000 4194304 4196468 140725129875072 140272418620400 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17092] ppid=17081 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17092/stat : 17092 (java) S 17081 17081 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444634059 15514783744 20939 33554432000 4194304 4196468 140725129875072 140272417568976 140273546934171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17093] ppid=17081 vsize=15151156 memory=1764 CPUtime=0.23 cores=0,2,4,6
/proc/17083/task/17093/stat : 17093 (java) R 17081 17081 14983 0 -1 4202560 1290 0 0 0 23 0 0 0 20 0 15 0 444634059 15514783744 20939 33554432000 4194304 4196468 140725129875072 140272416509616 140273531201564 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17094] ppid=17081 vsize=15151156 memory=111628 CPUtime=0.21 cores=0,2,4,6
/proc/17083/task/17094/stat : 17094 (java) R 17081 17081 14983 0 -1 4202560 1009 0 0 0 21 0 0 0 20 0 15 0 444634059 15514783744 20939 33554432000 4194304 4196468 140725129875072 140272415454880 140273525082056 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17095] ppid=17081 vsize=15151156 memory=796 CPUtime=0.42 cores=0,2,4,6
/proc/17083/task/17095/stat : 17095 (java) R 17081 17081 14983 0 -1 4202560 2154 0 0 0 41 1 0 0 20 0 15 0 444634059 15514783744 20939 33554432000 4194304 4196468 140725129875072 140272414405888 140273530996062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17096] ppid=17081 vsize=15151156 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17096/stat : 17096 (java) S 17081 17081 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444634059 15514783744 20939 33554432000 4194304 4196468 140725129875072 140272413359200 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17097] ppid=17081 vsize=15151156 memory=736 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17097/stat : 17097 (java) S 17081 17081 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444634060 15514783744 20939 33554432000 4194304 4196468 140725129875072 140272412305712 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 85204 KiB
[startup+1.50095 s]
/proc/loadavg: 9.02 8.86 8.59 12/238 17101
/proc/meminfo: memFree=31192592/32770624 swapFree=66997372/67108860
[pid=17081] ppid=17078 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17081/stat : 17081 (xcsp3-exec) S 17078 17081 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444634053 115843072 362 33554432000 4194304 5098028 140723567049440 140723567047544 139914968453756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36061184 140723567055739 140723567055981 140723567055981 140723567058890 0
/proc/17081/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/17083/stat : 17083 (java) S 17081 17081 14983 0 -1 1077944320 239127 0 0 0 207182 120 0 0 20 0 19 0 444634054 15789527040 209024 33554432000 4194304 4196468 140725129875072 140725129857616 140273546915575 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
/proc/17083/statm: 3854865 209024 3549 1 0 3815965 0
[pid=17083/tid=17084] ppid=17081 vsize=15419460 memory=1448 CPUtime=0.85 cores=0,2,4,6
/proc/17083/task/17084/stat : 17084 (java) S 17081 17081 14983 0 -1 1077944384 13544 0 0 0 80 5 0 0 20 0 19 0 444634054 15789527040 209024 33554432000 4194304 4196468 140725129875072 140273551156352 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17085] ppid=17081 vsize=15419460 memory=834560 CPUtime=0.73 cores=0,2,4,6
/proc/17083/task/17085/stat : 17085 (java) S 17081 17081 14983 0 -1 1077944384 10916 0 0 0 55 18 0 0 20 0 19 0 444634055 15789527040 209024 33554432000 4194304 4196468 140725129875072 140273499536144 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17086] ppid=17081 vsize=15419460 memory=680004 CPUtime=0.73 cores=0,2,4,6
/proc/17083/task/17086/stat : 17086 (java) S 17081 17081 14983 0 -1 1077944384 11199 0 0 0 55 18 0 0 20 0 19 0 444634055 15789527040 209024 33554432000 4194304 4196468 140725129875072 140273137933200 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17087] ppid=17081 vsize=15419460 memory=835460 CPUtime=0.72 cores=0,2,4,6
/proc/17083/task/17087/stat : 17087 (java) S 17081 17081 14983 0 -1 1077944384 12143 0 0 0 55 17 0 0 20 0 19 0 444634055 15789527040 209024 33554432000 4194304 4196468 140725129875072 140273136880656 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17088] ppid=17081 vsize=15419460 memory=836608 CPUtime=0.73 cores=0,2,4,6
/proc/17083/task/17088/stat : 17088 (java) S 17081 17081 14983 0 -1 1077944384 13306 0 0 0 57 16 0 0 20 0 19 0 444634055 15789527040 209024 33554432000 4194304 4196468 140725129875072 140273135828112 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17089] ppid=17081 vsize=15419460 memory=835072 CPUtime=0.55 cores=0,2,4,6
/proc/17083/task/17089/stat : 17089 (java) S 17081 17081 14983 0 -1 1077944384 27453 0 0 0 29 26 0 0 20 0 19 0 444634056 15789527040 209024 33554432000 4194304 4196468 140725129875072 140272420726768 140273546926722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17090] ppid=17081 vsize=15419460 memory=834048 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17090/stat : 17090 (java) S 17081 17081 14983 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 444634057 15789527040 209024 33554432000 4194304 4196468 140725129875072 140272419673056 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17091] ppid=17081 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17091/stat : 17091 (java) S 17081 17081 14983 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 19 0 444634057 15789527040 209024 33554432000 4194304 4196468 140725129875072 140272418620416 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17092] ppid=17081 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17092/stat : 17092 (java) S 17081 17081 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444634059 15789527040 209024 33554432000 4194304 4196468 140725129875072 140272417568976 140273546934171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17093] ppid=17081 vsize=15419460 memory=834560 CPUtime=3.88 cores=0,2,4,6
/proc/17083/task/17093/stat : 17093 (java) S 17081 17081 14983 0 -1 1077944384 28797 0 0 0 386 2 0 0 20 0 19 0 444634059 15789527040 209024 33554432000 4194304 4196468 140725129875072 140272416516592 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17094] ppid=17081 vsize=15419460 memory=1448 CPUtime=3.61 cores=0,2,4,6
/proc/17083/task/17094/stat : 17094 (java) S 17081 17081 14983 0 -1 1077944384 25803 0 0 0 358 3 0 0 20 0 19 0 444634059 15789527040 209024 33554432000 4194304 4196468 140725129875072 140272415464048 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17095] ppid=17081 vsize=15419460 memory=835072 CPUtime=0.94 cores=0,2,4,6
/proc/17083/task/17095/stat : 17095 (java) S 17081 17081 14983 0 -1 1077944384 23697 0 0 0 92 2 0 0 20 0 19 0 444634059 15789527040 209024 33554432000 4194304 4196468 140725129875072 140272414411504 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17096] ppid=17081 vsize=15419460 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17096/stat : 17096 (java) S 17081 17081 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444634059 15789527040 209024 33554432000 4194304 4196468 140725129875072 140272413359200 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17097] ppid=17081 vsize=15419460 memory=48020 CPUtime=0.11 cores=0,2,4,6
/proc/17083/task/17097/stat : 17097 (java) S 17081 17081 14983 0 -1 1077944384 2970 0 0 0 0 11 0 0 20 0 19 0 444634060 15789527040 209024 33554432000 4194304 4196468 140725129875072 140272412305712 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17587] ppid=17081 vsize=15419460 memory=3504 CPUtime=68.24 cores=0,2,4,6
/proc/17083/task/17587/stat : 17587 (java) R 17081 17081 14983 0 -1 4202560 767 0 0 0 6824 0 0 0 20 0 19 0 444679369 15789527040 209024 33554432000 4194304 4196468 140725129875072 140272399121328 140273187869119 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17588] ppid=17081 vsize=15419460 memory=48020 CPUtime=68.26 cores=0,2,4,6
/proc/17083/task/17588/stat : 17588 (java) R 17081 17081 14983 0 -1 4202560 1565 0 0 0 6826 0 0 0 20 0 19 0 444679369 15789527040 209024 33554432000 4194304 4196468 140725129875072 140272400178416 140273188588667 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17589] ppid=17081 vsize=15419460 memory=1448 CPUtime=68.2 cores=0,2,4,6
/proc/17083/task/17589/stat : 17589 (java) R 17081 17081 14983 0 -1 4202560 1182 0 0 0 6820 0 0 0 20 0 19 0 444679369 15789527040 209024 33554432000 4194304 4196468 140725129875072 140272401228264 140273188251370 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17590] ppid=17081 vsize=15419460 memory=835972 CPUtime=68.19 cores=0,2,4,6
/proc/17083/task/17590/stat : 17590 (java) R 17081 17081 14983 0 -1 4202560 1377 0 0 0 6819 0 0 0 20 0 19 0 444679369 15789527040 209024 33554432000 4194304 4196468 140725129875072 140272398069424 140273180642112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
Current children cumulated CPU time: 2073.02 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 837544 KiB
[startup+582.311 s]
/proc/loadavg: 8.44 8.71 8.64 6/215 18580
/proc/meminfo: memFree=30683720/32770624 swapFree=66997372/67108860
[pid=17081] ppid=17078 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17081/stat : 17081 (xcsp3-exec) S 17078 17081 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444634053 115843072 362 33554432000 4194304 5098028 140723567049440 140723567047544 139914968453756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36061184 140723567055739 140723567055981 140723567055981 140723567058890 0
/proc/17081/statm: 28282 362 304 221 0 87 0
[pid=17083] ppid=17081 vsize=15419460 memory=825204 CPUtime=2311.36 cores=0,2,4,6
/proc/17083/stat : 17083 (java) S 17081 17081 14983 0 -1 1077944320 264871 0 0 0 231004 132 0 0 20 0 19 0 444634054 15789527040 206301 33554432000 4194304 4196468 140725129875072 140725129857616 140273546915575 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
/proc/17083/statm: 3854865 206301 3549 1 0 3815965 0
[pid=17083/tid=17084] ppid=17081 vsize=15419460 memory=824896 CPUtime=0.86 cores=0,2,4,6
/proc/17083/task/17084/stat : 17084 (java) S 17081 17081 14983 0 -1 1077944384 13923 0 0 0 80 6 0 0 20 0 19 0 444634054 15789527040 206301 33554432000 4194304 4196468 140725129875072 140273551156352 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17085] ppid=17081 vsize=15419460 memory=835352 CPUtime=0.93 cores=0,2,4,6
/proc/17083/task/17085/stat : 17085 (java) S 17081 17081 14983 0 -1 1077944384 11770 0 0 0 75 18 0 0 20 0 19 0 444634055 15789527040 206301 33554432000 4194304 4196468 140725129875072 140273499536144 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17086] ppid=17081 vsize=15419460 memory=824372 CPUtime=0.93 cores=0,2,4,6
/proc/17083/task/17086/stat : 17086 (java) S 17081 17081 14983 0 -1 1077944384 12637 0 0 0 75 18 0 0 20 0 19 0 444634055 15789527040 206301 33554432000 4194304 4196468 140725129875072 140273137933200 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17087] ppid=17081 vsize=15419460 memory=824380 CPUtime=0.92 cores=0,2,4,6
/proc/17083/task/17087/stat : 17087 (java) S 17081 17081 14983 0 -1 1077944384 12928 0 0 0 75 17 0 0 20 0 19 0 444634055 15789527040 206301 33554432000 4194304 4196468 140725129875072 140273136880656 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17088] ppid=17081 vsize=15419460 memory=823868 CPUtime=0.93 cores=0,2,4,6
/proc/17083/task/17088/stat : 17088 (java) S 17081 17081 14983 0 -1 1077944384 14577 0 0 0 77 16 0 0 20 0 19 0 444634055 15789527040 206301 33554432000 4194304 4196468 140725129875072 140273135828112 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17089] ppid=17081 vsize=15419460 memory=825644 CPUtime=0.69 cores=0,2,4,6
/proc/17083/task/17089/stat : 17089 (java) S 17081 17081 14983 0 -1 1077944384 31555 0 0 0 37 32 0 0 20 0 19 0 444634056 15789527040 206301 33554432000 4194304 4196468 140725129875072 140272420726768 140273546926722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17090] ppid=17081 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17090/stat : 17090 (java) S 17081 17081 14983 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 444634057 15789527040 206301 33554432000 4194304 4196468 140725129875072 140272419673056 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17091] ppid=17081 vsize=15419460 memory=48020 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17091/stat : 17091 (java) S 17081 17081 14983 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 19 0 444634057 15789527040 206301 33554432000 4194304 4196468 140725129875072 140272418620416 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17092] ppid=17081 vsize=15419460 memory=3028 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17092/stat : 17092 (java) S 17081 17081 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444634059 15789527040 206301 33554432000 4194304 4196468 140725129875072 140272417568976 140273546934171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17093] ppid=17081 vsize=15419460 memory=836180 CPUtime=4.24 cores=0,2,4,6
/proc/17083/task/17093/stat : 17093 (java) S 17081 17081 14983 0 -1 1077944384 34343 0 0 0 422 2 0 0 20 0 19 0 444634059 15789527040 206301 33554432000 4194304 4196468 140725129875072 140272416516592 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17094] ppid=17081 vsize=15419460 memory=3504 CPUtime=3.96 cores=0,2,4,6
/proc/17083/task/17094/stat : 17094 (java) S 17081 17081 14983 0 -1 1077944384 30134 0 0 0 393 3 0 0 20 0 19 0 444634059 15789527040 206301 33554432000 4194304 4196468 140725129875072 140272415464048 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17095] ppid=17081 vsize=15419460 memory=823868 CPUtime=0.95 cores=0,2,4,6
/proc/17083/task/17095/stat : 17095 (java) S 17081 17081 14983 0 -1 1077944384 25517 0 0 0 93 2 0 0 20 0 19 0 444634059 15789527040 206301 33554432000 4194304 4196468 140725129875072 140272414411504 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17096] ppid=17081 vsize=15419460 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17096/stat : 17096 (java) S 17081 17081 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444634059 15789527040 206301 33554432000 4194304 4196468 140725129875072 140272413359200 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17097] ppid=17081 vsize=15419460 memory=48020 CPUtime=0.12 cores=0,2,4,6
/proc/17083/task/17097/stat : 17097 (java) S 17081 17081 14983 0 -1 1077944384 3814 0 0 0 0 12 0 0 20 0 19 0 444634060 15789527040 206301 33554432000 4194304 4196468 140725129875072 140272412305712 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=18542] ppid=17081 vsize=15419460 memory=3028 CPUtime=1.29 cores=0,2,4,6
/proc/17083/task/18542/stat : 18542 (java) R 17081 17081 14983 0 -1 1077944384 63 0 0 0 129 0 0 0 20 0 19 0 444692152 15789527040 206301 33554432000 4194304 4196468 140725129875072 140272400174656 140273546925781 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=18543] ppid=17081 vsize=15419460 memory=8560 CPUtime=1.3 cores=0,2,4,6
/proc/17083/task/18543/stat : 18543 (java) R 17081 17081 14983 0 -1 4202560 57 0 0 0 130 0 0 0 20 0 19 0 444692152 15789527040 206301 33554432000 4194304 4196468 140725129875072 140272399125552 140273188588680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=18544] ppid=17081 vsize=15419460 memory=1668 CPUtime=1.3 cores=0,2,4,6
/proc/17083/task/18544/stat : 18544 (java) R 17081 17081 14983 0 -1 4202560 59 0 0 0 130 0 0 0 20 0 19 0 444692152 15789527040 206301 33554432000 4194304 4196468 140725129875072 140272401228840 140273188250907 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=18545] ppid=17081 vsize=15419460 memory=0 CPUtime=1.28 cores=0,2,4,6
/proc/17083/task/18545/stat : 18545 (java) S 17081 17081 14983 0 -1 1077944384 67 0 0 0 128 0 0 0 20 0 19 0 444692152 15789527040 206301 33554432000 4194304 4196468 140725129875072 140272398069088 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
Current children cumulated CPU time: 2311.36 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 826652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+635.001 s]*
/proc/loadavg: 8.19 8.61 8.61 10/237 18830
/proc/meminfo: memFree=30407932/32770624 swapFree=66997372/67108860
[pid=17081] ppid=17078 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17081/stat : 17081 (xcsp3-exec) S 17078 17081 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444634053 115843072 362 33554432000 4194304 5098028 140723567049440 140723567047544 139914968453756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36061184 140723567055739 140723567055981 140723567055981 140723567058890 0
/proc/17081/statm: 28282 362 304 221 0 87 0
[pid=17083] ppid=17081 vsize=15419460 memory=819276 CPUtime=2520.17 cores=0,2,4,6
/proc/17083/stat : 17083 (java) S 17081 17081 14983 0 -1 1077944320 283787 0 0 0 251863 154 0 0 20 0 19 0 444634054 15789527040 204819 33554432000 4194304 4196468 140725129875072 140725129857616 140273546915575 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
/proc/17083/statm: 3854865 204819 3549 1 0 3815965 0
[pid=17083/tid=17084] ppid=17081 vsize=15419460 memory=8317482817917895235 CPUtime=0.86 cores=0,2,4,6
/proc/17083/task/17084/stat : 17084 (java) S 17081 17081 14983 0 -1 1077944384 14110 0 0 0 80 6 0 0 20 0 19 0 444634054 15789527040 204819 33554432000 4194304 4196468 140725129875072 140273551156352 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17085] ppid=17081 vsize=15419460 memory=4126316290023845779 CPUtime=1.08 cores=0,2,4,6
/proc/17083/task/17085/stat : 17085 (java) S 17081 17081 14983 0 -1 1077944384 13950 0 0 0 89 19 0 0 20 0 19 0 444634055 15789527040 204819 33554432000 4194304 4196468 140725129875072 140273499536144 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17086] ppid=17081 vsize=15419460 memory=1412 CPUtime=1.08 cores=0,2,4,6
/proc/17083/task/17086/stat : 17086 (java) S 17081 17081 14983 0 -1 1077944384 13883 0 0 0 89 19 0 0 20 0 19 0 444634055 15789527040 204819 33554432000 4194304 4196468 140725129875072 140273137933200 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17087] ppid=17081 vsize=15419460 memory=3052 CPUtime=1.08 cores=0,2,4,6
/proc/17083/task/17087/stat : 17087 (java) S 17081 17081 14983 0 -1 1077944384 14385 0 0 0 90 18 0 0 20 0 19 0 444634055 15789527040 204819 33554432000 4194304 4196468 140725129875072 140273136880656 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17088] ppid=17081 vsize=15419460 memory=1452 CPUtime=1.08 cores=0,2,4,6
/proc/17083/task/17088/stat : 17088 (java) S 17081 17081 14983 0 -1 1077944384 16322 0 0 0 91 17 0 0 20 0 19 0 444634055 15789527040 204819 33554432000 4194304 4196468 140725129875072 140273135828112 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17089] ppid=17081 vsize=15419460 memory=293844 CPUtime=0.92 cores=0,2,4,6
/proc/17083/task/17089/stat : 17089 (java) S 17081 17081 14983 0 -1 1077944384 37988 0 0 0 45 47 0 0 20 0 19 0 444634056 15789527040 204819 33554432000 4194304 4196468 140725129875072 140272420726768 140273546926722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17090] ppid=17081 vsize=15419460 memory=1756 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17090/stat : 17090 (java) S 17081 17081 14983 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 444634057 15789527040 204819 33554432000 4194304 4196468 140725129875072 140272419673056 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17091] ppid=17081 vsize=15419460 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17091/stat : 17091 (java) S 17081 17081 14983 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 19 0 444634057 15789527040 204819 33554432000 4194304 4196468 140725129875072 140272418620416 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17092] ppid=17081 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17092/stat : 17092 (java) S 17081 17081 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444634059 15789527040 204819 33554432000 4194304 4196468 140725129875072 140272417568976 140273546934171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17093] ppid=17081 vsize=15419460 memory=0 CPUtime=4.24 cores=0,2,4,6
/proc/17083/task/17093/stat : 17093 (java) S 17081 17081 14983 0 -1 1077944384 34355 0 0 0 422 2 0 0 20 0 19 0 444634059 15789527040 204819 33554432000 4194304 4196468 140725129875072 140272416516592 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17094] ppid=17081 vsize=15419460 memory=288230574492221466 CPUtime=3.96 cores=0,2,4,6
/proc/17083/task/17094/stat : 17094 (java) S 17081 17081 14983 0 -1 1077944384 30150 0 0 0 393 3 0 0 20 0 19 0 444634059 15789527040 204819 33554432000 4194304 4196468 140725129875072 140272415464048 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17095] ppid=17081 vsize=15419460 memory=288230596050944315 CPUtime=0.95 cores=0,2,4,6
/proc/17083/task/17095/stat : 17095 (java) S 17081 17081 14983 0 -1 1077944384 25871 0 0 0 93 2 0 0 20 0 19 0 444634059 15789527040 204819 33554432000 4194304 4196468 140725129875072 140272414411504 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17096] ppid=17081 vsize=15419460 memory=14410423571057304 CPUtime=0 cores=0,2,4,6
/proc/17083/task/17096/stat : 17096 (java) S 17081 17081 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444634059 15789527040 204819 33554432000 4194304 4196468 140725129875072 140272413359200 140273546925781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=17097] ppid=17081 vsize=15419460 memory=4225947302641096224 CPUtime=0.14 cores=0,2,4,6
/proc/17083/task/17097/stat : 17097 (java) S 17081 17081 14983 0 -1 1077944384 4006 0 0 0 0 14 0 0 20 0 19 0 444634060 15789527040 204819 33554432000 4194304 4196468 140725129875072 140272412305712 140273546926722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=18669] ppid=17081 vsize=15419460 memory=6943526294502006880 CPUtime=49.78 cores=0,2,4,6
/proc/17083/task/18669/stat : 18669 (java) R 17081 17081 14983 0 -1 4202560 801 0 0 0 4978 0 0 0 20 0 19 0 444692507 15789527040 204819 33554432000 4194304 4196468 140725129875072 140272400174280 140273180641682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=18670] ppid=17081 vsize=15419460 memory=6656426216303648864 CPUtime=49.79 cores=0,2,4,6
/proc/17083/task/18670/stat : 18670 (java) R 17081 17081 14983 0 -1 4202560 940 0 0 0 4979 0 0 0 20 0 19 0 444692507 15789527040 204819 33554432000 4194304 4196468 140725129875072 140272401227424 140273188588677 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=18671] ppid=17081 vsize=15419460 memory=6944656592455359580 CPUtime=49.84 cores=0,2,4,6
/proc/17083/task/18671/stat : 18671 (java) R 17081 17081 14983 0 -1 4202560 1183 0 0 0 4983 1 0 0 20 0 19 0 444692507 15789527040 204819 33554432000 4194304 4196468 140725129875072 140272399125360 140273187676287 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
[pid=17083/tid=18672] ppid=17081 vsize=15419460 memory=6944656592455359580 CPUtime=49.77 cores=0,2,4,6
/proc/17083/task/18672/stat : 18672 (java) R 17081 17081 14983 0 -1 4202560 1089 0 0 0 4977 0 0 0 20 0 19 0 444692507 15789527040 204819 33554432000 4194304 4196468 140725129875072 140272398070320 140273186149514 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24653824 140725129880559 140725129880730 140725129880730 140725129883599 0
Current children cumulated CPU time: 2520.17 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 820724 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+635.031 s]
# the end of solver process 17081 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000765 s, system=0.001531 s
[startup+635.091 s]
# the end of solver process 17083 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.89 s, system=1.55964 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
Child status: 143
Real time (s): 635.091
CPU time (s): 2520.45
CPU user time (s): 2518.89
CPU system time (s): 1.55964
CPU usage (%): 396.864
Max. virtual memory (cumulated for all children) (KiB): 15534800
Max. memory (cumulated for all children) (KiB): 1000304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.89
system time used= 1.55964
maximum resident set size= 998972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285015
page faults= 0
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33359
involuntary context switches= 48910
# summary of solver processes directly reported to runsolver:
# pid: 17081,17083
# total CPU time (s): 2520.45
# total CPU user time (s): 2518.89
# total CPU system time (s): 1.55964
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.10806 second user time and 6.74224 second system time
The end