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 (13713 MiB free)
memory of node 1: 16384 MiB (14078 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400531-1568694600/watcher-4400531-1568694600 -o /tmp/evaluation-result-4400531-1568694600/solver-4400531-1568694600 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568694194-22970 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2109883498 HOME/instance-4400531-1568694600.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=26550, runsolver pid=26547
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 9.19 6.72 3.88 5/229 26566
/proc/meminfo: memFree=28434060/32770624 swapFree=66959728/67108860
[pid=26550] ppid=26547 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26550/stat : 26550 (xcsp3-exec) S 26547 26550 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445400128 115843072 362 33554432000 4194304 5098028 140734986878560 140734986876664 139996347523708 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34136064 140734986879866 140734986880109 140734986880109 140734986883018 0
/proc/26550/statm: 28282 362 304 221 0 87 0
[pid=26552] ppid=26550 vsize=15144776 memory=29068 CPUtime=0.13 cores=0,2,4,6
/proc/26552/stat : 26552 (java) S 26550 26550 22939 0 -1 1077944320 5733 0 0 0 12 1 0 0 20 0 15 0 445400128 15508250624 7267 33554432000 4194304 4196468 140729361281168 140729361263712 140568749006583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
/proc/26552/statm: 3786194 7267 3121 1 0 3748377 0
[pid=26552/tid=26553] ppid=26550 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (java) R 26550 26550 22939 0 -1 4202560 3655 0 0 0 9 0 0 0 20 0 15 0 445400129 15508250624 7267 33554432000 4194304 4196468 140729361281168 140568753241600 140568741243710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26554] ppid=26550 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (java) S 26550 26550 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400129 15508250624 7333 33554432000 4194304 4196468 140729361281168 140568341486736 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26555] ppid=26550 vsize=15144776 memory=140212519827072 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (java) S 26550 26550 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400129 15508250624 7333 33554432000 4194304 4196468 140729361281168 140568340433936 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26556] ppid=26550 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26556/stat : 26556 (java) S 26550 26550 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400129 15508250624 7333 33554432000 4194304 4196468 140729361281168 140568339381136 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26557] ppid=26550 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26557/stat : 26557 (java) S 26550 26550 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445400129 15508250624 7333 33554432000 4194304 4196468 140729361281168 140568338328336 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26558] ppid=26550 vsize=15144776 memory=140212519827072 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26558/stat : 26558 (java) S 26550 26550 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445400131 15508250624 7333 33554432000 4194304 4196468 140729361281168 140567623178608 140568749017730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26559] ppid=26550 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26559/stat : 26559 (java) S 26550 26550 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445400131 15508250624 7333 33554432000 4194304 4196468 140729361281168 140567622124576 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26560] ppid=26550 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26560/stat : 26560 (java) S 26550 26550 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445400131 15508250624 7333 33554432000 4194304 4196468 140729361281168 140567621071728 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26561] ppid=26550 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26561/stat : 26561 (java) S 26550 26550 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445400134 15508250624 7333 33554432000 4194304 4196468 140729361281168 140567620020048 140568749025179 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26562] ppid=26550 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26562/stat : 26562 (java) R 26550 26550 22939 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 445400134 15508250624 7333 33554432000 4194304 4196468 140729361281168 140567618968528 140568749016789 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26563] ppid=26550 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26563/stat : 26563 (java) R 26550 26550 22939 0 -1 4202560 144 0 0 0 0 0 0 0 20 0 15 0 445400134 15508250624 7333 33554432000 4194304 4196468 140729361281168 140567617907280 140568732442321 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26564] ppid=26550 vsize=15144776 memory=140212519827072 CPUtime=0.02 cores=0,2,4,6
/proc/26552/task/26564/stat : 26564 (java) R 26550 26550 22939 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 445400134 15508250624 7333 33554432000 4194304 4196468 140729361281168 140567616862832 140568727980311 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26565] ppid=26550 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26565/stat : 26565 (java) S 26550 26550 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445400134 15508250624 7333 33554432000 4194304 4196468 140729361281168 140567615810272 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26566] ppid=26550 vsize=15144776 memory=140212519827072 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26566/stat : 26566 (java) S 26550 26550 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400134 15508250624 7333 33554432000 4194304 4196468 140729361281168 140567614757552 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30516 KiB
[startup+0.21139 s]*
/proc/loadavg: 9.19 6.72 3.88 4/229 26566
/proc/meminfo: memFree=28414908/32770624 swapFree=66959728/67108860
[pid=26550] ppid=26547 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26550/stat : 26550 (xcsp3-exec) S 26547 26550 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445400128 115843072 362 33554432000 4194304 5098028 140734986878560 140734986876664 139996347523708 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34136064 140734986879866 140734986880109 140734986880109 140734986883018 0
/proc/26550/statm: 28282 362 304 221 0 87 0
[pid=26552] ppid=26550 vsize=15144776 memory=41028 CPUtime=0.34 cores=0,2,4,6
/proc/26552/stat : 26552 (java) S 26550 26550 22939 0 -1 1077944320 9476 0 0 0 32 2 0 0 20 0 15 0 445400128 15508250624 10257 33554432000 4194304 4196468 140729361281168 140729361263712 140568749006583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
/proc/26552/statm: 3786194 10257 3299 1 0 3748377 0
[pid=26552/tid=26553] ppid=26550 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (java) R 26550 26550 22939 0 -1 4202560 6657 0 0 0 18 1 0 0 20 0 15 0 445400129 15508250624 10257 33554432000 4194304 4196468 140729361281168 140568753239312 140568714351089 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26554] ppid=26550 vsize=15144776 memory=1965946 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (java) S 26550 26550 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400129 15508250624 10257 33554432000 4194304 4196468 140729361281168 140568341486736 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26555] ppid=26550 vsize=15144776 memory=140212523179891 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (java) S 26550 26550 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400129 15508250624 10257 33554432000 4194304 4196468 140729361281168 140568340433936 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26556] ppid=26550 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26556/stat : 26556 (java) S 26550 26550 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400129 15508250624 10257 33554432000 4194304 4196468 140729361281168 140568339381136 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26557] ppid=26550 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26557/stat : 26557 (java) S 26550 26550 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445400129 15508250624 10257 33554432000 4194304 4196468 140729361281168 140568338328336 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26558] ppid=26550 vsize=15144776 memory=140212519827072 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26558/stat : 26558 (java) S 26550 26550 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445400131 15508250624 10257 33554432000 4194304 4196468 140729361281168 140567623178608 140568749017730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26559] ppid=26550 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26559/stat : 26559 (java) S 26550 26550 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445400131 15508250624 10257 33554432000 4194304 4196468 140729361281168 140567622124576 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26560] ppid=26550 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26560/stat : 26560 (java) S 26550 26550 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445400131 15508250624 10257 33554432000 4194304 4196468 140729361281168 140567621071728 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26561] ppid=26550 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26561/stat : 26561 (java) S 26550 26550 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445400134 15508250624 10257 33554432000 4194304 4196468 140729361281168 140567620020048 140568749025179 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26562] ppid=26550 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26552/task/26562/stat : 26562 (java) S 26550 26550 22939 0 -1 1077944384 504 0 0 0 2 0 0 0 20 0 15 0 445400134 15508250624 10257 33554432000 4194304 4196468 140729361281168 140567618968432 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26563] ppid=26550 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26552/task/26563/stat : 26563 (java) S 26550 26550 22939 0 -1 1077944384 252 0 0 0 2 0 0 0 20 0 15 0 445400134 15508250624 10257 33554432000 4194304 4196468 140729361281168 140567617915632 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26564] ppid=26550 vsize=15144776 memory=140212519827072 CPUtime=0.08 cores=0,2,4,6
/proc/26552/task/26564/stat : 26564 (java) R 26550 26550 22939 0 -1 4202560 757 0 0 0 8 0 0 0 20 0 15 0 445400134 15508250624 10257 33554432000 4194304 4196468 140729361281168 140567616862832 140568731148375 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26565] ppid=26550 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26565/stat : 26565 (java) S 26550 26550 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445400134 15508250624 10257 33554432000 4194304 4196468 140729361281168 140567615810272 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26566] ppid=26550 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26566/stat : 26566 (java) S 26550 26550 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400134 15508250624 10257 33554432000 4194304 4196468 140729361281168 140567614757552 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42476 KiB
[startup+0.314615 s]*
/proc/loadavg: 9.19 6.72 3.88 5/229 26566
/proc/meminfo: memFree=28396920/32770624 swapFree=66959728/67108860
[pid=26550] ppid=26547 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26550/stat : 26550 (xcsp3-exec) S 26547 26550 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445400128 115843072 362 33554432000 4194304 5098028 140734986878560 140734986876664 139996347523708 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34136064 140734986879866 140734986880109 140734986880109 140734986883018 0
/proc/26550/statm: 28282 362 304 221 0 87 0
[pid=26552] ppid=26550 vsize=15149032 memory=50468 CPUtime=0.54 cores=0,2,4,6
/proc/26552/stat : 26552 (java) S 26550 26550 22939 0 -1 1077944320 10939 0 0 0 51 3 0 0 20 0 15 0 445400128 15512608768 12617 33554432000 4194304 4196468 140729361281168 140729361263712 140568749006583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
/proc/26552/statm: 3787258 12617 3355 1 0 3748377 0
[pid=26552/tid=26553] ppid=26550 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (java) R 26550 26550 22939 0 -1 4202560 7850 0 0 0 28 2 0 0 20 0 15 0 445400129 15512608768 12617 33554432000 4194304 4196468 140729361281168 140568753240368 140568733087070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26554] ppid=26550 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (java) S 26550 26550 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400129 15512608768 12617 33554432000 4194304 4196468 140729361281168 140568341486736 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26555] ppid=26550 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (java) S 26550 26550 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400129 15512608768 12617 33554432000 4194304 4196468 140729361281168 140568340433936 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26556] ppid=26550 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26556/stat : 26556 (java) S 26550 26550 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400129 15512608768 12617 33554432000 4194304 4196468 140729361281168 140568339381136 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26557] ppid=26550 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26557/stat : 26557 (java) S 26550 26550 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445400129 15512608768 12617 33554432000 4194304 4196468 140729361281168 140568338328336 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26558] ppid=26550 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26558/stat : 26558 (java) S 26550 26550 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445400131 15512608768 12617 33554432000 4194304 4196468 140729361281168 140567623178608 140568749017730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26559] ppid=26550 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26559/stat : 26559 (java) S 26550 26550 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445400131 15512608768 12623 33554432000 4194304 4196468 140729361281168 140567622124576 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26560] ppid=26550 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26560/stat : 26560 (java) S 26550 26550 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445400131 15512608768 12623 33554432000 4194304 4196468 140729361281168 140567621071728 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26561] ppid=26550 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26561/stat : 26561 (java) S 26550 26550 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445400134 15512608768 12623 33554432000 4194304 4196468 140729361281168 140567620020048 140568749025179 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26562] ppid=26550 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/26552/task/26562/stat : 26562 (java) R 26550 26550 22939 0 -1 4202560 649 0 0 0 5 0 0 0 20 0 15 0 445400134 15512608768 12623 33554432000 4194304 4196468 140729361281168 140567618949544 140568728250380 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26563] ppid=26550 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/26552/task/26563/stat : 26563 (java) S 26550 26550 22939 0 -1 1077944384 280 0 0 0 4 0 0 0 20 0 15 0 445400134 15512608768 12623 33554432000 4194304 4196468 140729361281168 140567617915632 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26564] ppid=26550 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/26552/task/26564/stat : 26564 (java) S 26550 26550 22939 0 -1 1077944384 857 0 0 0 12 0 0 0 20 0 15 0 445400134 15512608768 12623 33554432000 4194304 4196468 140729361281168 140567616862832 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26565] ppid=26550 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26565/stat : 26565 (java) S 26550 26550 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445400134 15512608768 12623 33554432000 4194304 4196468 140729361281168 140567615810272 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26566] ppid=26550 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26566/stat : 26566 (java) S 26550 26550 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400134 15512608768 12623 33554432000 4194304 4196468 140729361281168 140567614757552 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51916 KiB
[startup+0.70081 s]
/proc/loadavg: 9.19 6.72 3.88 9/237 26952
/proc/meminfo: memFree=28162836/32770624 swapFree=66959728/67108860
[pid=26550] ppid=26547 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26550/stat : 26550 (xcsp3-exec) S 26547 26550 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445400128 115843072 362 33554432000 4194304 5098028 140734986878560 140734986876664 139996347523708 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34136064 140734986879866 140734986880109 140734986880109 140734986883018 0
/proc/26550/statm: 28282 362 304 221 0 87 0
[pid=26552] ppid=26550 vsize=15617104 memory=187248 CPUtime=1.63 cores=0,2,4,6
/proc/26552/stat : 26552 (java) S 26550 26550 22939 0 -1 1077944320 18139 0 0 0 154 9 0 0 20 0 19 0 445400128 15991914496 46812 33554432000 4194304 4196468 140729361281168 140729361263712 140568749006583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
/proc/26552/statm: 3904276 46812 3481 1 0 3865376 0
[pid=26552/tid=26553] ppid=26550 vsize=15617104 memory=33 CPUtime=0.46 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (java) S 26550 26550 22939 0 -1 1077944384 9080 0 0 0 43 3 0 0 20 0 19 0 445400129 15991914496 46812 33554432000 4194304 4196468 140729361281168 140568753247360 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26554] ppid=26550 vsize=15617104 memory=-7082918048272507482 CPUtime=0.01 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (java) S 26550 26550 22939 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 19 0 445400129 15991914496 46812 33554432000 4194304 4196468 140729361281168 140568341486736 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26555] ppid=26550 vsize=15617104 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (java) S 26550 26550 22939 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 19 0 445400129 15991914496 46812 33554432000 4194304 4196468 140729361281168 140568340433936 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26556] ppid=26550 vsize=15617104 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26552/task/26556/stat : 26556 (java) S 26550 26550 22939 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 19 0 445400129 15991914496 46812 33554432000 4194304 4196468 140729361281168 140568339381136 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26557] ppid=26550 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26557/stat : 26557 (java) S 26550 26550 22939 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 445400129 15991914496 46812 33554432000 4194304 4196468 140729361281168 140568338328336 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26558] ppid=26550 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26558/stat : 26558 (java) S 26550 26550 22939 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 445400131 15991914496 46812 33554432000 4194304 4196468 140729361281168 140567623178608 140568749017730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26559] ppid=26550 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26559/stat : 26559 (java) S 26550 26550 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445400131 15991914496 46812 33554432000 4194304 4196468 140729361281168 140567622124640 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26560] ppid=26550 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26560/stat : 26560 (java) S 26550 26550 22939 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445400131 15991914496 46812 33554432000 4194304 4196468 140729361281168 140567621071744 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26561] ppid=26550 vsize=15617104 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26561/stat : 26561 (java) S 26550 26550 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445400134 15991914496 46812 33554432000 4194304 4196468 140729361281168 140567620020048 140568749025179 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26562] ppid=26550 vsize=15617104 memory=48264 CPUtime=0.27 cores=0,2,4,6
/proc/26552/task/26562/stat : 26562 (java) R 26550 26550 22939 0 -1 4202560 1124 0 0 0 27 0 0 0 20 0 19 0 445400134 15991914496 46812 33554432000 4194304 4196468 140729361281168 140567618955000 140568729462164 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26563] ppid=26550 vsize=15617104 memory=988 CPUtime=0.22 cores=0,2,4,6
/proc/26552/task/26563/stat : 26563 (java) R 26550 26550 22939 0 -1 4202560 972 0 0 0 22 0 0 0 20 0 19 0 445400134 15991914496 46812 33554432000 4194304 4196468 140729361281168 140567617915632 140568732503367 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26564] ppid=26550 vsize=15617104 memory=2008 CPUtime=0.3 cores=0,2,4,6
/proc/26552/task/26564/stat : 26564 (java) R 26550 26550 22939 0 -1 1077944384 1661 0 0 0 30 0 0 0 20 0 19 0 445400134 15991914496 46812 33554432000 4194304 4196468 140729361281168 140567616862928 140568749016789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26565] ppid=26550 vsize=15617104 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26565/stat : 26565 (java) S 26550 26550 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445400134 15991914496 46812 33554432000 4194304 4196468 140729361281168 140567615810272 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26566] ppid=26550 vsize=15617104 memory=580 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26566/stat : 26566 (java) S 26550 26550 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445400134 15991914496 46812 33554432000 4194304 4196468 140729361281168 140567614757552 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 188696 KiB
[startup+1.50128 s]
/proc/loadavg: 9.19 6.72 3.88 16/237 27284
/proc/meminfo: memFree=28102888/32770624 swapFree=66959728/67108860
[pid=26550] ppid=26547 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26550/stat : 26550 (xcsp3-exec) S 26547 26550 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445400128 115843072 362 33554432000 4194304 5098028 140734986878560 140734986876664 139996347523708 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34136064 140734986879866 140734986880109 140734986880109 140734986883018 0
/proc/26550/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/26552/task/26566/stat : 26566 (java) S 26550 26550 22939 0 -1 1077944384 1107 0 0 0 0 0 0 0 20 0 19 0 445400134 15991914496 153754 33554432000 4194304 4196468 140729361281168 140567614757552 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=27301] ppid=26550 vsize=15617104 memory=0 CPUtime=22.83 cores=0,2,4,6
/proc/26552/task/27301/stat : 27301 (java) R 26550 26550 22939 0 -1 4202560 428 0 0 0 2282 1 0 0 20 0 19 0 445400337 15991914496 153754 33554432000 4194304 4196468 140729361281168 140567601329984 140568389727860 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=27302] ppid=26550 vsize=15617104 memory=988 CPUtime=22.82 cores=0,2,4,6
/proc/26552/task/27302/stat : 27302 (java) R 26550 26550 22939 0 -1 4202560 756 0 0 0 2280 2 0 0 20 0 19 0 445400338 15991914496 153754 33554432000 4194304 4196468 140729361281168 140567605538320 140568392452019 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=27303] ppid=26550 vsize=15617104 memory=2008 CPUtime=22.96 cores=0,2,4,6
/proc/26552/task/27303/stat : 27303 (java) R 26550 26550 22939 0 -1 4202560 1076 0 0 0 2296 0 0 0 20 0 19 0 445400338 15991914496 153754 33554432000 4194304 4196468 140729361281168 140567602381224 140568390612601 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=27304] ppid=26550 vsize=15617104 memory=1436 CPUtime=22.6 cores=0,2,4,6
/proc/26552/task/27304/stat : 27304 (java) R 26550 26550 22939 0 -1 4202560 1102 0 0 0 2257 3 0 0 20 0 19 0 445400340 15991914496 153754 33554432000 4194304 4196468 140729361281168 140567600275704 140568735074576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
Current children cumulated CPU time: 100.47 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 616464 KiB
[startup+27.2073 s]
/proc/loadavg: 9.37 6.97 4.04 10/237 27642
/proc/meminfo: memFree=27503496/32770624 swapFree=66959728/67108860
[pid=26550] ppid=26547 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26550/stat : 26550 (xcsp3-exec) S 26547 26550 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445400128 115843072 362 33554432000 4194304 5098028 140734986878560 140734986876664 139996347523708 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34136064 140734986879866 140734986880109 140734986880109 140734986883018 0
/proc/26550/statm: 28282 362 304 221 0 87 0
[pid=26552] ppid=26550 vsize=15617104 memory=614012 CPUtime=106.84 cores=0,2,4,6
/proc/26552/stat : 26552 (java) S 26550 26550 22939 0 -1 1077944320 47319 0 0 0 10655 29 0 0 20 0 19 0 445400128 15991914496 153503 33554432000 4194304 4196468 140729361281168 140729361263712 140568749006583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
/proc/26552/statm: 3904276 153503 3514 1 0 3865376 0
[pid=26552/tid=26553] ppid=26550 vsize=15617104 memory=2008 CPUtime=0.46 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (java) S 26550 26550 22939 0 -1 1077944384 9081 0 0 0 43 3 0 0 20 0 19 0 445400129 15991914496 153503 33554432000 4194304 4196468 140729361281168 140568753247360 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26554] ppid=26550 vsize=15617104 memory=-3622645143214314312 CPUtime=0.04 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (java) S 26550 26550 22939 0 -1 1077944384 438 0 0 0 3 1 0 0 20 0 19 0 445400129 15991914496 153503 33554432000 4194304 4196468 140729361281168 140568341486736 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26555] ppid=26550 vsize=15617104 memory=7956260087874802256 CPUtime=0.06 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (java) S 26550 26550 22939 0 -1 1077944384 652 0 0 0 5 1 0 0 20 0 19 0 445400129 15991914496 153503 33554432000 4194304 4196468 140729361281168 140568340433936 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26556] ppid=26550 vsize=15617104 memory=8023269665315972697 CPUtime=0.06 cores=0,2,4,6
/proc/26552/task/26556/stat : 26556 (java) S 26550 26550 22939 0 -1 1077944384 751 0 0 0 4 2 0 0 20 0 19 0 445400129 15991914496 153503 33554432000 4194304 4196468 140729361281168 140568339381136 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26557] ppid=26550 vsize=15617104 memory=7885618647264285542 CPUtime=0.05 cores=0,2,4,6
/proc/26552/task/26557/stat : 26557 (java) S 26550 26550 22939 0 -1 1077944384 407 0 0 0 3 2 0 0 20 0 19 0 445400129 15991914496 153503 33554432000 4194304 4196468 140729361281168 140568338328336 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26558] ppid=26550 vsize=15617104 memory=4640770713788629089 CPUtime=0.02 cores=0,2,4,6
/proc/26552/task/26558/stat : 26558 (java) S 26550 26550 22939 0 -1 1077944384 1189 0 0 0 2 0 0 0 20 0 19 0 445400131 15991914496 153503 33554432000 4194304 4196468 140729361281168 140567623178608 140568749017730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26559] ppid=26550 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26559/stat : 26559 (java) S 26550 26550 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445400131 15991914496 153503 33554432000 4194304 4196468 140729361281168 140567622124640 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26560] ppid=26550 vsize=15617104 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26560/stat : 26560 (java) S 26550 26550 22939 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445400131 15991914496 153503 33554432000 4194304 4196468 140729361281168 140567621071744 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26561] ppid=26550 vsize=15617104 memory=258810434317278 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26561/stat : 26561 (java) S 26550 26550 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445400134 15991914496 153503 33554432000 4194304 4196468 140729361281168 140567620020048 140568749025179 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26562] ppid=26550 vsize=15617104 memory=1448 CPUtime=1.99 cores=0,2,4,6
/proc/26552/task/26562/stat : 26562 (java) S 26550 26550 22939 0 -1 1077944384 9959 0 0 0 198 1 0 0 20 0 19 0 445400134 15991914496 153503 33554432000 4194304 4196468 140729361281168 140567618968432 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26563] ppid=26550 vsize=15617104 memory=614484 CPUtime=2.19 cores=0,2,4,6
/proc/26552/task/26563/stat : 26563 (java) S 26550 26550 22939 0 -1 1077944384 9862 0 0 0 216 3 0 0 20 0 19 0 445400134 15991914496 153503 33554432000 4194304 4196468 140729361281168 140567617915632 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26564] ppid=26550 vsize=15617104 memory=254240589139825 CPUtime=0.48 cores=0,2,4,6
/proc/26552/task/26564/stat : 26564 (java) S 26550 26550 22939 0 -1 1077944384 4216 0 0 0 47 1 0 0 20 0 19 0 445400134 15991914496 153503 33554432000 4194304 4196468 140729361281168 140567616862832 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26565] ppid=26550 vsize=15617104 memory=254240589139826 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26565/stat : 26565 (java) S 26550 26550 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445400134 15991914496 153503 33554432000 4194304 4196468 140729361281168 140567615810272 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26566] ppid=26550 vsize=15617104 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/26552/task/26566/stat : 26566 (java) S 26550 26550 22939 0 -1 1077944384 1107 0 0 0 0 1 0 0 20 0 19 0 445400134 15991914496 153503 33554432000 4194304 4196468 140729361281168 140567614757552 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=27301] ppid=26550 vsize=15617104 memory=576 CPUtime=24.41 cores=0,2,4,6
/proc/26552/task/27301/stat : 27301 (java) R 26550 26550 22939 0 -1 4202560 434 0 0 0 2440 1 0 0 20 0 19 0 445400337 15991914496 153503 33554432000 4194304 4196468 140729361281168 140567601327688 140568390261391 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=27302] ppid=26550 vsize=15617104 memory=647 CPUtime=24.41 cores=0,2,4,6
/proc/26552/task/27302/stat : 27302 (java) R 26550 26550 22939 0 -1 4202560 762 0 0 0 2439 2 0 0 20 0 19 0 445400338 15991914496 153503 33554432000 4194304 4196468 140729361281168 140567605538320 140568392499699 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=27303] ppid=26550 vsize=15617104 memory=4474 CPUtime=24.56 cores=0,2,4,6
/proc/26552/task/27303/stat : 27303 (java) R 26550 26550 22939 0 -1 4202560 1091 0 0 0 2456 0 0 0 20 0 19 0 445400338 15991914496 153503 33554432000 4194304 4196468 140729361281168 140567602380856 140568390075173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=27304] ppid=26550 vsize=15617104 memory=1437 CPUtime=24.18 cores=0,2,4,6
/proc/26552/task/27304/stat : 27304 (java) R 26550 26550 22939 0 -1 4202560 1146 0 0 0 2415 3 0 0 20 0 19 0 445400340 15991914496 153503 33554432000 4194304 4196468 140729361281168 140567600278672 140568390691214 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
Current children cumulated CPU time: 106.84 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 615460 KiB
[startup+28.0013 s]*
/proc/loadavg: 9.37 6.97 4.04 10/237 27642
/proc/meminfo: memFree=27502936/32770624 swapFree=66959728/67108860
[pid=26550] ppid=26547 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26550/stat : 26550 (xcsp3-exec) S 26547 26550 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445400128 115843072 362 33554432000 4194304 5098028 140734986878560 140734986876664 139996347523708 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34136064 140734986879866 140734986880109 140734986880109 140734986883018 0
/proc/26550/statm: 28282 362 304 221 0 87 0
[pid=26552] ppid=26550 vsize=15617104 memory=615036 CPUtime=110.02 cores=0,2,4,6
/proc/26552/stat : 26552 (java) S 26550 26550 22939 0 -1 1077944320 47330 0 0 0 10973 29 0 0 20 0 19 0 445400128 15991914496 153759 33554432000 4194304 4196468 140729361281168 140729361263712 140568749006583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
/proc/26552/statm: 3904276 153759 3514 1 0 3865376 0
[pid=26552/tid=26553] ppid=26550 vsize=15617104 memory=6791534058613427641 CPUtime=0.46 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (java) S 26550 26550 22939 0 -1 1077944384 9081 0 0 0 43 3 0 0 20 0 19 0 445400129 15991914496 153759 33554432000 4194304 4196468 140729361281168 140568753247360 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26554] ppid=26550 vsize=15617104 memory=615012 CPUtime=0.05 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (java) S 26550 26550 22939 0 -1 1077944384 440 0 0 0 4 1 0 0 20 0 19 0 445400129 15991914496 153759 33554432000 4194304 4196468 140729361281168 140568341486736 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26555] ppid=26550 vsize=15617104 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (java) S 26550 26550 22939 0 -1 1077944384 656 0 0 0 5 1 0 0 20 0 19 0 445400129 15991914496 153759 33554432000 4194304 4196468 140729361281168 140568340433936 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26556] ppid=26550 vsize=15617104 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/26552/task/26556/stat : 26556 (java) S 26550 26550 22939 0 -1 1077944384 752 0 0 0 4 2 0 0 20 0 19 0 445400129 15991914496 153759 33554432000 4194304 4196468 140729361281168 140568339381136 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26557] ppid=26550 vsize=15617104 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/26552/task/26557/stat : 26557 (java) S 26550 26550 22939 0 -1 1077944384 407 0 0 0 3 2 0 0 20 0 19 0 445400129 15991914496 153759 33554432000 4194304 4196468 140729361281168 140568338328336 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26558] ppid=26550 vsize=15617104 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26552/task/26558/stat : 26558 (java) S 26550 26550 22939 0 -1 1077944384 1189 0 0 0 2 0 0 0 20 0 19 0 445400131 15991914496 153759 33554432000 4194304 4196468 140729361281168 140567623178608 140568749017730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26559] ppid=26550 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26559/stat : 26559 (java) S 26550 26550 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445400131 15991914496 153759 33554432000 4194304 4196468 140729361281168 140567622124640 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26560] ppid=26550 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26560/stat : 26560 (java) S 26550 26550 22939 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445400131 15991914496 153759 33554432000 4194304 4196468 140729361281168 140567621071744 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26561] ppid=26550 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26561/stat : 26561 (java) S 26550 26550 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445400134 15991914496 153759 33554432000 4194304 4196468 140729361281168 140567620020048 140568749025179 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26562] ppid=26550 vsize=15617104 memory=0 CPUtime=1.99 cores=0,2,4,6
/proc/26552/task/26562/stat : 26562 (java) S 26550 26550 22939 0 -1 1077944384 9959 0 0 0 198 1 0 0 20 0 19 0 445400134 15991914496 153759 33554432000 4194304 4196468 140729361281168 140567618968432 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26563] ppid=26550 vsize=15617104 memory=140212362398775 CPUtime=2.19 cores=0,2,4,6
/proc/26552/task/26563/stat : 26563 (java) S 26550 26550 22939 0 -1 1077944384 9862 0 0 0 216 3 0 0 20 0 19 0 445400134 15991914496 153759 33554432000 4194304 4196468 140729361281168 140567617915632 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26564] ppid=26550 vsize=15617104 memory=4715435516538746410 CPUtime=0.48 cores=0,2,4,6
/proc/26552/task/26564/stat : 26564 (java) S 26550 26550 22939 0 -1 1077944384 4216 0 0 0 47 1 0 0 20 0 19 0 445400134 15991914496 153759 33554432000 4194304 4196468 140729361281168 140567616862832 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26565] ppid=26550 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26565/stat : 26565 (java) S 26550 26550 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445400134 15991914496 153759 33554432000 4194304 4196468 140729361281168 140567615810272 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26566] ppid=26550 vsize=15617104 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26552/task/26566/stat : 26566 (java) S 26550 26550 22939 0 -1 1077944384 1107 0 0 0 0 1 0 0 20 0 19 0 445400134 15991914496 153759 33554432000 4194304 4196468 140729361281168 140567614757552 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=27301] ppid=26550 vsize=15617104 memory=776 CPUtime=25.21 cores=0,2,4,6
/proc/26552/task/27301/stat : 27301 (java) R 26550 26550 22939 0 -1 4202560 434 0 0 0 2520 1 0 0 20 0 19 0 445400337 15991914496 153759 33554432000 4194304 4196468 140729361281168 140567601326784 140568390261391 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=27302] ppid=26550 vsize=15617104 memory=1564 CPUtime=25.21 cores=0,2,4,6
/proc/26552/task/27302/stat : 27302 (java) R 26550 26550 22939 0 -1 4202560 764 0 0 0 2519 2 0 0 20 0 19 0 445400338 15991914496 153759 33554432000 4194304 4196468 140729361281168 140567605539368 140568390694612 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=27303] ppid=26550 vsize=15617104 memory=6060 CPUtime=25.35 cores=0,2,4,6
/proc/26552/task/27303/stat : 27303 (java) R 26550 26550 22939 0 -1 4202560 1093 0 0 0 2535 0 0 0 20 0 19 0 445400338 15991914496 153759 33554432000 4194304 4196468 140729361281168 140567602383440 140568390075058 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=27304] ppid=26550 vsize=15617104 memory=1060 CPUtime=24.98 cores=0,2,4,6
/proc/26552/task/27304/stat : 27304 (java) R 26550 26550 22939 0 -1 4202560 1146 0 0 0 2495 3 0 0 20 0 19 0 445400340 15991914496 153759 33554432000 4194304 4196468 140729361281168 140567600275568 140568390691244 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
Current children cumulated CPU time: 110.02 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 616484 KiB
[startup+28.4013 s]
/proc/loadavg: 9.37 6.97 4.04 10/237 27642
/proc/meminfo: memFree=27502936/32770624 swapFree=66959728/67108860
[pid=26550] ppid=26547 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26550/stat : 26550 (xcsp3-exec) S 26547 26550 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445400128 115843072 362 33554432000 4194304 5098028 140734986878560 140734986876664 139996347523708 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34136064 140734986879866 140734986880109 140734986880109 140734986883018 0
/proc/26550/statm: 28282 362 304 221 0 87 0
[pid=26552] ppid=26550 vsize=15617104 memory=614524 CPUtime=111.58 cores=0,2,4,6
/proc/26552/stat : 26552 (java) S 26550 26550 22939 0 -1 1077944320 47334 0 0 0 11129 29 0 0 20 0 19 0 445400128 15991914496 153631 33554432000 4194304 4196468 140729361281168 140729361263712 140568749006583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
/proc/26552/statm: 3904276 153631 3514 1 0 3865376 0
[pid=26552/tid=26553] ppid=26550 vsize=15617104 memory=615036 CPUtime=0.46 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (java) S 26550 26550 22939 0 -1 1077944384 9081 0 0 0 43 3 0 0 20 0 19 0 445400129 15991914496 153631 33554432000 4194304 4196468 140729361281168 140568753247360 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26554] ppid=26550 vsize=15617104 memory=1448 CPUtime=0.05 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (java) S 26550 26550 22939 0 -1 1077944384 441 0 0 0 4 1 0 0 20 0 19 0 445400129 15991914496 153631 33554432000 4194304 4196468 140729361281168 140568341486736 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26555] ppid=26550 vsize=15617104 memory=616036 CPUtime=0.06 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (java) S 26550 26550 22939 0 -1 1077944384 656 0 0 0 5 1 0 0 20 0 19 0 445400129 15991914496 153631 33554432000 4194304 4196468 140729361281168 140568340433936 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26556] ppid=26550 vsize=15617104 memory=1412 CPUtime=0.06 cores=0,2,4,6
/proc/26552/task/26556/stat : 26556 (java) S 26550 26550 22939 0 -1 1077944384 753 0 0 0 4 2 0 0 20 0 19 0 445400129 15991914496 153631 33554432000 4194304 4196468 140729361281168 140568339381136 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26557] ppid=26550 vsize=15617104 memory=2640 CPUtime=0.06 cores=0,2,4,6
/proc/26552/task/26557/stat : 26557 (java) S 26550 26550 22939 0 -1 1077944384 407 0 0 0 4 2 0 0 20 0 19 0 445400129 15991914496 153631 33554432000 4194304 4196468 140729361281168 140568338328336 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26558] ppid=26550 vsize=15617104 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/26552/task/26558/stat : 26558 (java) S 26550 26550 22939 0 -1 1077944384 1189 0 0 0 2 0 0 0 20 0 19 0 445400131 15991914496 153631 33554432000 4194304 4196468 140729361281168 140567623178608 140568749017730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26559] ppid=26550 vsize=15617104 memory=364036 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26559/stat : 26559 (java) S 26550 26550 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445400131 15991914496 153631 33554432000 4194304 4196468 140729361281168 140567622124640 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26560] ppid=26550 vsize=15617104 memory=7301272236825470308 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26560/stat : 26560 (java) S 26550 26550 22939 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445400131 15991914496 153631 33554432000 4194304 4196468 140729361281168 140567621071744 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26561] ppid=26550 vsize=15617104 memory=4160 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26561/stat : 26561 (java) S 26550 26550 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445400134 15991914496 153631 33554432000 4194304 4196468 140729361281168 140567620020048 140568749025179 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26562] ppid=26550 vsize=15617104 memory=776 CPUtime=1.99 cores=0,2,4,6
/proc/26552/task/26562/stat : 26562 (java) S 26550 26550 22939 0 -1 1077944384 9959 0 0 0 198 1 0 0 20 0 19 0 445400134 15991914496 153631 33554432000 4194304 4196468 140729361281168 140567618968432 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26563] ppid=26550 vsize=15617104 memory=1564 CPUtime=2.19 cores=0,2,4,6
/proc/26552/task/26563/stat : 26563 (java) S 26550 26550 22939 0 -1 1077944384 9862 0 0 0 216 3 0 0 20 0 19 0 445400134 15991914496 153631 33554432000 4194304 4196468 140729361281168 140567617915632 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26564] ppid=26550 vsize=15617104 memory=6060 CPUtime=0.48 cores=0,2,4,6
/proc/26552/task/26564/stat : 26564 (java) S 26550 26550 22939 0 -1 1077944384 4216 0 0 0 47 1 0 0 20 0 19 0 445400134 15991914496 153631 33554432000 4194304 4196468 140729361281168 140567616862832 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26565] ppid=26550 vsize=15617104 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26565/stat : 26565 (java) S 26550 26550 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445400134 15991914496 153631 33554432000 4194304 4196468 140729361281168 140567615810272 140568749016789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=26566] ppid=26550 vsize=15617104 memory=2828 CPUtime=0.01 cores=0,2,4,6
/proc/26552/task/26566/stat : 26566 (java) S 26550 26550 22939 0 -1 1077944384 1107 0 0 0 0 1 0 0 20 0 19 0 445400134 15991914496 153631 33554432000 4194304 4196468 140729361281168 140567614757552 140568749017730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=27301] ppid=26550 vsize=15617104 memory=1216 CPUtime=25.6 cores=0,2,4,6
/proc/26552/task/27301/stat : 27301 (java) R 26550 26550 22939 0 -1 4202560 435 0 0 0 2559 1 0 0 20 0 19 0 445400337 15991914496 153631 33554432000 4194304 4196468 140729361281168 140567601327688 140568390612990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=27302] ppid=26550 vsize=15617104 memory=984 CPUtime=25.6 cores=0,2,4,6
/proc/26552/task/27302/stat : 27302 (java) R 26550 26550 22939 0 -1 4202560 764 0 0 0 2558 2 0 0 20 0 19 0 445400338 15991914496 153631 33554432000 4194304 4196468 140729361281168 140567605538320 140568392499830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=27303] ppid=26550 vsize=15617104 memory=14004 CPUtime=25.73 cores=0,2,4,6
/proc/26552/task/27303/stat : 27303 (java) R 26550 26550 22939 0 -1 4202560 1093 0 0 0 2573 0 0 0 20 0 19 0 445400338 15991914496 153631 33554432000 4194304 4196468 140729361281168 140567602381224 140568389728641 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
[pid=26552/tid=27304] ppid=26550 vsize=15617104 memory=25812 CPUtime=25.37 cores=0,2,4,6
/proc/26552/task/27304/stat : 27304 (java) R 26550 26550 22939 0 -1 4202560 1147 0 0 0 2534 3 0 0 20 0 19 0 445400340 15991914496 153631 33554432000 4194304 4196468 140729361281168 140567600278784 140568390691168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28590080 140729361286127 140729361286298 140729361286298 140729361289167 0
Current children cumulated CPU time: 111.58 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 615972 KiB
Child status: 0
Real time (s): 28.453
CPU time (s): 111.73
CPU user time (s): 111.418
CPU system time (s): 0.312568
CPU usage (%): 392.683
Max. virtual memory (cumulated for all children) (KiB): 15732316
Max. memory (cumulated for all children) (KiB): 619008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 111.418
system time used= 0.312568
maximum resident set size= 617988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48542
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= 5431
involuntary context switches= 2746
# summary of solver processes directly reported to runsolver:
# pid: 26550
# total CPU time (s): 111.73
# total CPU user time (s): 111.418
# total CPU system time (s): 0.312568
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.181016 second user time and 0.392865 second system time
The end