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 (13948 MiB free)
memory of node 1: 16384 MiB (14118 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399047-1568698528/watcher-4399047-1568698528 -o /tmp/evaluation-result-4399047-1568698528/solver-4399047-1568698528 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568694401-32469 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1164272759 HOME/instance-4399047-1568698528.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8305, runsolver pid=8302
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 8.35 8.51 8.23 6/234 8321
/proc/meminfo: memFree=28721652/32770624 swapFree=66939908/67108860
[pid=8305] ppid=8302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/8305/stat : 8305 (xcsp3-exec) S 8302 8305 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445767675 115843072 362 33554432000 4194304 5098028 140721585966480 140721585964584 139690723345020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26812416 140721585967994 140721585968237 140721585968237 140721585971146 0
/proc/8305/statm: 28282 362 304 221 0 87 0
[pid=8307] ppid=8305 vsize=15144776 memory=28804 CPUtime=0.11 cores=1,3,5,7
/proc/8307/stat : 8307 (java) S 8305 8305 32437 0 -1 1077944320 5663 0 0 0 10 1 0 0 20 0 15 0 445767676 15508250624 7201 33554432000 4194304 4196468 140735758467184 140735758449728 139849441513207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
/proc/8307/statm: 3786194 7201 3123 1 0 3748377 0
[pid=8307/tid=8308] ppid=8305 vsize=15144776 memory=7031125463459224206 CPUtime=0.08 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (java) R 8305 8305 32437 0 -1 4202560 3584 0 0 0 7 1 0 0 20 0 15 0 445767676 15508250624 7201 33554432000 4194304 4196468 140735758467184 139849445745472 139849441525142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8309] ppid=8305 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (java) S 8305 8305 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767677 15508250624 7201 33554432000 4194304 4196468 140735758467184 139849377749776 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8310] ppid=8305 vsize=15144776 memory=139696292443776 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (java) S 8305 8305 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445767677 15508250624 7201 33554432000 4194304 4196468 140735758467184 139849376697232 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8311] ppid=8305 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8311/stat : 8311 (java) S 8305 8305 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767677 15508250624 7201 33554432000 4194304 4196468 140735758467184 139849375644688 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8312] ppid=8305 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8312/stat : 8312 (java) S 8305 8305 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445767677 15508250624 7201 33554432000 4194304 4196468 140735758467184 139849374592144 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8313] ppid=8305 vsize=15144776 memory=139696292443776 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8313/stat : 8313 (java) S 8305 8305 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445767678 15508250624 7201 33554432000 4194304 4196468 140735758467184 139848977270768 139849441524354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8314] ppid=8305 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8314/stat : 8314 (java) S 8305 8305 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445767679 15508250624 7201 33554432000 4194304 4196468 140735758467184 139848976216992 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8315] ppid=8305 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8315/stat : 8315 (java) S 8305 8305 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445767679 15508250624 7201 33554432000 4194304 4196468 140735758467184 139848975164400 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8316] ppid=8305 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8316/stat : 8316 (java) S 8305 8305 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445767681 15508250624 7201 33554432000 4194304 4196468 140735758467184 139848974112976 139849441531803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8317] ppid=8305 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8317/stat : 8317 (java) S 8305 8305 32437 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 445767681 15508250624 7201 33554432000 4194304 4196468 140735758467184 139848973060592 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8318] ppid=8305 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8318/stat : 8318 (java) S 8305 8305 32437 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 445767681 15508250624 7201 33554432000 4194304 4196468 140735758467184 139848972008048 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8319] ppid=8305 vsize=15144776 memory=139696292443776 CPUtime=0.01 cores=1,3,5,7
/proc/8307/task/8319/stat : 8319 (java) R 8305 8305 32437 0 -1 4202560 349 0 0 0 1 0 0 0 20 0 15 0 445767681 15508250624 7201 33554432000 4194304 4196468 140735758467184 139848970955504 139849433750334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8320] ppid=8305 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8320/stat : 8320 (java) S 8305 8305 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445767681 15508250624 7201 33554432000 4194304 4196468 140735758467184 139848969903200 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8321] ppid=8305 vsize=15144776 memory=139696292443776 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8321/stat : 8321 (java) S 8305 8305 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767682 15508250624 7201 33554432000 4194304 4196468 140735758467184 139848968849712 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30252 KiB
[startup+0.211309 s]*
/proc/loadavg: 8.35 8.51 8.23 6/234 8321
/proc/meminfo: memFree=28706116/32770624 swapFree=66939908/67108860
[pid=8305] ppid=8302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/8305/stat : 8305 (xcsp3-exec) S 8302 8305 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445767675 115843072 362 33554432000 4194304 5098028 140721585966480 140721585964584 139690723345020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26812416 140721585967994 140721585968237 140721585968237 140721585971146 0
/proc/8305/statm: 28282 362 304 221 0 87 0
[pid=8307] ppid=8305 vsize=15144776 memory=40960 CPUtime=0.33 cores=1,3,5,7
/proc/8307/stat : 8307 (java) S 8305 8305 32437 0 -1 1077944320 9459 0 0 0 30 3 0 0 20 0 15 0 445767676 15508250624 10240 33554432000 4194304 4196468 140735758467184 140735758449728 139849441513207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
/proc/8307/statm: 3786194 10240 3299 1 0 3748377 0
[pid=8307/tid=8308] ppid=8305 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (java) R 8305 8305 32437 0 -1 4202560 6604 0 0 0 17 2 0 0 20 0 15 0 445767676 15508250624 10240 33554432000 4194304 4196468 140735758467184 139849445752880 139849441535133 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8309] ppid=8305 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (java) S 8305 8305 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767677 15508250624 10240 33554432000 4194304 4196468 140735758467184 139849377749776 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8310] ppid=8305 vsize=15144776 memory=139696292470525 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (java) S 8305 8305 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445767677 15508250624 10240 33554432000 4194304 4196468 140735758467184 139849376697232 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8311] ppid=8305 vsize=15144776 memory=139696292443776 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8311/stat : 8311 (java) S 8305 8305 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767677 15508250624 10240 33554432000 4194304 4196468 140735758467184 139849375644688 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8312] ppid=8305 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8312/stat : 8312 (java) S 8305 8305 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445767677 15508250624 10240 33554432000 4194304 4196468 140735758467184 139849374592144 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8313] ppid=8305 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8313/stat : 8313 (java) S 8305 8305 32437 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445767678 15508250624 10240 33554432000 4194304 4196468 140735758467184 139848977270768 139849441524354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8314] ppid=8305 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8314/stat : 8314 (java) S 8305 8305 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445767679 15508250624 10240 33554432000 4194304 4196468 140735758467184 139848976216992 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8315] ppid=8305 vsize=15144776 memory=139696292443776 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8315/stat : 8315 (java) S 8305 8305 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445767679 15508250624 10240 33554432000 4194304 4196468 140735758467184 139848975164400 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8316] ppid=8305 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8316/stat : 8316 (java) S 8305 8305 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445767681 15508250624 10240 33554432000 4194304 4196468 140735758467184 139848974112976 139849441531803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8317] ppid=8305 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8307/task/8317/stat : 8317 (java) S 8305 8305 32437 0 -1 1077944384 686 0 0 0 3 0 0 0 20 0 15 0 445767681 15508250624 10240 33554432000 4194304 4196468 140735758467184 139848973060592 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8318] ppid=8305 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/8307/task/8318/stat : 8318 (java) S 8305 8305 32437 0 -1 1077944384 149 0 0 0 1 0 0 0 20 0 15 0 445767681 15508250624 10240 33554432000 4194304 4196468 140735758467184 139848972008048 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8319] ppid=8305 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8307/task/8319/stat : 8319 (java) S 8305 8305 32437 0 -1 1077944384 721 0 0 0 8 0 0 0 20 0 15 0 445767681 15508250624 10240 33554432000 4194304 4196468 140735758467184 139848970955504 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8320] ppid=8305 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8320/stat : 8320 (java) S 8305 8305 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445767681 15508250624 10240 33554432000 4194304 4196468 140735758467184 139848969903200 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8321] ppid=8305 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8321/stat : 8321 (java) S 8305 8305 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767682 15508250624 10240 33554432000 4194304 4196468 140735758467184 139848968849712 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42408 KiB
[startup+0.310618 s]*
/proc/loadavg: 8.35 8.51 8.23 7/234 8321
/proc/meminfo: memFree=28699976/32770624 swapFree=66939908/67108860
[pid=8305] ppid=8302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/8305/stat : 8305 (xcsp3-exec) S 8302 8305 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445767675 115843072 362 33554432000 4194304 5098028 140721585966480 140721585964584 139690723345020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26812416 140721585967994 140721585968237 140721585968237 140721585971146 0
/proc/8305/statm: 28282 362 304 221 0 87 0
[pid=8307] ppid=8305 vsize=15149032 memory=49612 CPUtime=0.51 cores=1,3,5,7
/proc/8307/stat : 8307 (java) S 8305 8305 32437 0 -1 1077944320 10710 0 0 0 48 3 0 0 20 0 15 0 445767676 15512608768 12403 33554432000 4194304 4196468 140735758467184 140735758449728 139849441513207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
/proc/8307/statm: 3787258 12403 3352 1 0 3748377 0
[pid=8307/tid=8308] ppid=8305 vsize=15149032 memory=7100839887217527144 CPUtime=0.29 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (java) R 8305 8305 32437 0 -1 4202560 7717 0 0 0 26 3 0 0 20 0 15 0 445767676 15512608768 12442 33554432000 4194304 4196468 140735758467184 139849445744320 139849425593694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8309] ppid=8305 vsize=15149032 memory=4294967331 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (java) S 8305 8305 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767677 15512608768 12442 33554432000 4194304 4196468 140735758467184 139849377749776 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8310] ppid=8305 vsize=15149032 memory=139696292497184 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (java) S 8305 8305 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445767677 15512608768 12442 33554432000 4194304 4196468 140735758467184 139849376697232 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8311] ppid=8305 vsize=15149032 memory=55780 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8311/stat : 8311 (java) S 8305 8305 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767677 15512608768 12442 33554432000 4194304 4196468 140735758467184 139849375644688 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8312] ppid=8305 vsize=15149032 memory=35 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8312/stat : 8312 (java) S 8305 8305 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445767677 15512608768 12442 33554432000 4194304 4196468 140735758467184 139849374592144 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8313] ppid=8305 vsize=15149032 memory=139696292504096 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8313/stat : 8313 (java) S 8305 8305 32437 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445767678 15512608768 12442 33554432000 4194304 4196468 140735758467184 139848977270768 139849441524354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8314] ppid=8305 vsize=15149032 memory=35 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8314/stat : 8314 (java) S 8305 8305 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445767679 15512608768 12442 33554432000 4194304 4196468 140735758467184 139848976216992 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8315] ppid=8305 vsize=15149032 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8315/stat : 8315 (java) S 8305 8305 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445767679 15512608768 12442 33554432000 4194304 4196468 140735758467184 139848975164400 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8316] ppid=8305 vsize=15149032 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8316/stat : 8316 (java) S 8305 8305 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445767681 15512608768 12442 33554432000 4194304 4196468 140735758467184 139848974112976 139849441531803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8317] ppid=8305 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8307/task/8317/stat : 8317 (java) R 8305 8305 32437 0 -1 4202560 765 0 0 0 5 0 0 0 20 0 15 0 445767681 15512608768 12442 33554432000 4194304 4196468 140735758467184 139848973050976 139849427177245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8318] ppid=8305 vsize=15149032 memory=139696160226223 CPUtime=0.03 cores=1,3,5,7
/proc/8307/task/8318/stat : 8318 (java) S 8305 8305 32437 0 -1 1077944384 178 0 0 0 3 0 0 0 20 0 15 0 445767681 15512608768 12442 33554432000 4194304 4196468 140735758467184 139848972008048 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8319] ppid=8305 vsize=15149032 memory=139696292451997 CPUtime=0.12 cores=1,3,5,7
/proc/8307/task/8319/stat : 8319 (java) S 8305 8305 32437 0 -1 1077944384 802 0 0 0 12 0 0 0 20 0 15 0 445767681 15512608768 12442 33554432000 4194304 4196468 140735758467184 139848970955504 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8320] ppid=8305 vsize=15149032 memory=139696160235439 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8320/stat : 8320 (java) S 8305 8305 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445767681 15512608768 12442 33554432000 4194304 4196468 140735758467184 139848969903200 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8321] ppid=8305 vsize=15149032 memory=279392452681600 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8321/stat : 8321 (java) S 8305 8305 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767682 15512608768 12442 33554432000 4194304 4196468 140735758467184 139848968849712 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51060 KiB
[startup+0.701501 s]
/proc/loadavg: 8.35 8.51 8.23 9/234 8321
/proc/meminfo: memFree=28681948/32770624 swapFree=66939908/67108860
[pid=8305] ppid=8302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/8305/stat : 8305 (xcsp3-exec) S 8302 8305 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445767675 115843072 362 33554432000 4194304 5098028 140721585966480 140721585964584 139690723345020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26812416 140721585967994 140721585968237 140721585968237 140721585971146 0
/proc/8305/statm: 28282 362 304 221 0 87 0
[pid=8307] ppid=8305 vsize=15151156 memory=96208 CPUtime=1.62 cores=1,3,5,7
/proc/8307/stat : 8307 (java) S 8305 8305 32437 0 -1 1077944320 15115 0 0 0 156 6 0 0 20 0 15 0 445767676 15514783744 24052 33554432000 4194304 4196468 140735758467184 140735758449728 139849441513207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
/proc/8307/statm: 3787789 24052 3451 1 0 3748889 0
[pid=8307/tid=8308] ppid=8305 vsize=15151156 memory=148 CPUtime=0.67 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (java) R 8305 8305 32437 0 -1 4202560 8920 0 0 0 63 4 0 0 20 0 15 0 445767676 15514783744 24052 33554432000 4194304 4196468 140735758467184 139849445734224 139849054172965 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8309] ppid=8305 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (java) S 8305 8305 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767677 15514783744 24052 33554432000 4194304 4196468 140735758467184 139849377749776 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8310] ppid=8305 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (java) S 8305 8305 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445767677 15514783744 24052 33554432000 4194304 4196468 140735758467184 139849376697232 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8311] ppid=8305 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8311/stat : 8311 (java) S 8305 8305 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767677 15514783744 24052 33554432000 4194304 4196468 140735758467184 139849375644688 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8312] ppid=8305 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8312/stat : 8312 (java) S 8305 8305 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445767677 15514783744 24052 33554432000 4194304 4196468 140735758467184 139849374592144 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8313] ppid=8305 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8313/stat : 8313 (java) S 8305 8305 32437 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445767678 15514783744 24052 33554432000 4194304 4196468 140735758467184 139848977270768 139849441524354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8314] ppid=8305 vsize=15151156 memory=132 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8314/stat : 8314 (java) S 8305 8305 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445767679 15514783744 24052 33554432000 4194304 4196468 140735758467184 139848976216992 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8315] ppid=8305 vsize=15151156 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8315/stat : 8315 (java) S 8305 8305 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445767679 15514783744 24052 33554432000 4194304 4196468 140735758467184 139848975164400 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8316] ppid=8305 vsize=15151156 memory=14698517092372542 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8316/stat : 8316 (java) S 8305 8305 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445767681 15514783744 24052 33554432000 4194304 4196468 140735758467184 139848974112976 139849441531803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8317] ppid=8305 vsize=15151156 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/8307/task/8317/stat : 8317 (java) R 8305 8305 32437 0 -1 4202560 1692 0 0 0 28 0 0 0 20 0 15 0 445767681 15514783744 24052 33554432000 4194304 4196468 140735758467184 139848973046944 139849420751691 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8318] ppid=8305 vsize=15151156 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/8307/task/8318/stat : 8318 (java) R 8305 8305 32437 0 -1 4202560 1139 0 0 0 24 0 0 0 20 0 15 0 445767681 15514783744 24052 33554432000 4194304 4196468 140735758467184 139848971989160 139849433750334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8319] ppid=8305 vsize=15151156 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/8307/task/8319/stat : 8319 (java) S 8305 8305 32437 0 -1 1077944384 2070 0 0 0 40 0 0 0 20 0 15 0 445767681 15514783744 24118 33554432000 4194304 4196468 140735758467184 139848970955504 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8320] ppid=8305 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8320/stat : 8320 (java) S 8305 8305 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445767681 15514783744 24118 33554432000 4194304 4196468 140735758467184 139848969903200 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8321] ppid=8305 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8321/stat : 8321 (java) S 8305 8305 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767682 15514783744 24118 33554432000 4194304 4196468 140735758467184 139848968849712 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 97656 KiB
[startup+1.5045 s]
/proc/loadavg: 8.35 8.51 8.23 11/238 8325
/proc/meminfo: memFree=28586884/32770624 swapFree=66939908/67108860
[pid=8305] ppid=8302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/8305/stat : 8305 (xcsp3-exec) S 8302 8305 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445767675 115843072 362 33554432000 4194304 5098028 140721585966480 140721585964584 139690723345020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26812416 140721585967994 140721585968237 140721585968237 140721585971146 0
/proc/8305/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/8307/stat : 8307 (java) S 8305 8305 32437 0 -1 1077944320 58243 0 0 0 207256 51 0 0 20 0 19 0 445767676 15787429888 155013 33554432000 4194304 4196468 140735758467184 140735758449728 139849441513207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
/proc/8307/statm: 3854353 155013 3521 1 0 3815453 0
[pid=8307/tid=8308] ppid=8305 vsize=15417412 memory=620052 CPUtime=0.87 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (java) S 8305 8305 32437 0 -1 1077944384 9007 0 0 0 82 5 0 0 20 0 19 0 445767676 15787429888 155013 33554432000 4194304 4196468 140735758467184 139849445753984 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8309] ppid=8305 vsize=15417412 memory=620052 CPUtime=0.74 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (java) S 8305 8305 32437 0 -1 1077944384 3013 0 0 0 67 7 0 0 20 0 19 0 445767677 15787429888 155013 33554432000 4194304 4196468 140735758467184 139849377749776 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8310] ppid=8305 vsize=15417412 memory=1448 CPUtime=0.75 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (java) S 8305 8305 32437 0 -1 1077944384 1703 0 0 0 66 9 0 0 20 0 19 0 445767677 15787429888 155013 33554432000 4194304 4196468 140735758467184 139849376697232 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8311] ppid=8305 vsize=15417412 memory=1448 CPUtime=0.73 cores=1,3,5,7
/proc/8307/task/8311/stat : 8311 (java) S 8305 8305 32437 0 -1 1077944384 1650 0 0 0 63 10 0 0 20 0 19 0 445767677 15787429888 155013 33554432000 4194304 4196468 140735758467184 139849375644688 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8312] ppid=8305 vsize=15417412 memory=585056 CPUtime=0.74 cores=1,3,5,7
/proc/8307/task/8312/stat : 8312 (java) S 8305 8305 32437 0 -1 1077944384 2227 0 0 0 65 9 0 0 20 0 19 0 445767677 15787429888 155013 33554432000 4194304 4196468 140735758467184 139849374592144 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8313] ppid=8305 vsize=15417412 memory=1448 CPUtime=0.46 cores=1,3,5,7
/proc/8307/task/8313/stat : 8313 (java) S 8305 8305 32437 0 -1 1077944384 2675 0 0 0 42 4 0 0 20 0 19 0 445767678 15787429888 155013 33554432000 4194304 4196468 140735758467184 139848977270768 139849441524354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8314] ppid=8305 vsize=15417412 memory=620052 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8314/stat : 8314 (java) S 8305 8305 32437 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 445767679 15787429888 155013 33554432000 4194304 4196468 140735758467184 139848976216992 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8315] ppid=8305 vsize=15417412 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8315/stat : 8315 (java) S 8305 8305 32437 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 445767679 15787429888 155013 33554432000 4194304 4196468 140735758467184 139848975164400 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8316] ppid=8305 vsize=15417412 memory=8072 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8316/stat : 8316 (java) S 8305 8305 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445767681 15787429888 155013 33554432000 4194304 4196468 140735758467184 139848974112976 139849441531803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8317] ppid=8305 vsize=15417412 memory=1448 CPUtime=1.94 cores=1,3,5,7
/proc/8307/task/8317/stat : 8317 (java) S 8305 8305 32437 0 -1 1077944384 7698 0 0 0 194 0 0 0 20 0 19 0 445767681 15787429888 155013 33554432000 4194304 4196468 140735758467184 139848973060592 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8318] ppid=8305 vsize=15417412 memory=348404 CPUtime=1.85 cores=1,3,5,7
/proc/8307/task/8318/stat : 8318 (java) S 8305 8305 32437 0 -1 1077944384 10726 0 0 0 185 0 0 0 20 0 19 0 445767681 15787429888 155013 33554432000 4194304 4196468 140735758467184 139848972008048 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8319] ppid=8305 vsize=15417412 memory=414436 CPUtime=0.68 cores=1,3,5,7
/proc/8307/task/8319/stat : 8319 (java) S 8305 8305 32437 0 -1 1077944384 5078 0 0 0 67 1 0 0 20 0 19 0 445767681 15787429888 155013 33554432000 4194304 4196468 140735758467184 139848970955504 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8320] ppid=8305 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8320/stat : 8320 (java) S 8305 8305 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445767681 15787429888 155013 33554432000 4194304 4196468 140735758467184 139848969903200 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8321] ppid=8305 vsize=15417412 memory=668 CPUtime=0.12 cores=1,3,5,7
/proc/8307/task/8321/stat : 8321 (java) S 8305 8305 32437 0 -1 1077944384 403 0 0 0 0 12 0 0 20 0 19 0 445767682 15787429888 155013 33554432000 4194304 4196468 140735758467184 139848968849712 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8322] ppid=8305 vsize=15417412 memory=1256 CPUtime=516.74 cores=1,3,5,7
/proc/8307/task/8322/stat : 8322 (java) R 8305 8305 32437 0 -1 4202560 1644 0 0 0 51672 2 0 0 20 0 19 0 445767766 15787429888 155013 33554432000 4194304 4196468 140735758467184 139848891952216 139849057929828 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8323] ppid=8305 vsize=15417412 memory=1448 CPUtime=515.33 cores=1,3,5,7
/proc/8307/task/8323/stat : 8323 (java) R 8305 8305 32437 0 -1 4202560 6113 0 0 0 51529 4 0 0 20 0 19 0 445767766 15787429888 155013 33554432000 4194304 4196468 140735758467184 139848890900392 139849058562468 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8324] ppid=8305 vsize=15417412 memory=1448 CPUtime=516.2 cores=1,3,5,7
/proc/8307/task/8324/stat : 8324 (java) R 8305 8305 32437 0 -1 4202560 1126 0 0 0 51620 0 0 0 20 0 19 0 445767766 15787429888 155013 33554432000 4194304 4196468 140735758467184 139848889850784 139849056837905 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8325] ppid=8305 vsize=15417412 memory=620052 CPUtime=515.77 cores=1,3,5,7
/proc/8307/task/8325/stat : 8325 (java) R 8305 8305 32437 0 -1 4202560 3837 0 0 0 51574 3 0 0 20 0 19 0 445767766 15787429888 155013 33554432000 4194304 4196468 140735758467184 139848888794976 139849058562584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
Current children cumulated CPU time: 2073.07 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 621500 KiB
[startup+582.302 s]
/proc/loadavg: 8.65 8.46 8.34 9/238 8378
/proc/meminfo: memFree=28326764/32770624 swapFree=66939908/67108860
[pid=8305] ppid=8302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/8305/stat : 8305 (xcsp3-exec) S 8302 8305 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445767675 115843072 362 33554432000 4194304 5098028 140721585966480 140721585964584 139690723345020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26812416 140721585967994 140721585968237 140721585968237 140721585971146 0
/proc/8305/statm: 28282 362 304 221 0 87 0
[pid=8307] ppid=8305 vsize=15417412 memory=527800 CPUtime=2311.06 cores=1,3,5,7
/proc/8307/stat : 8307 (java) S 8305 8305 32437 0 -1 1077944320 65402 0 0 0 231050 56 0 0 20 0 19 0 445767676 15787429888 131950 33554432000 4194304 4196468 140735758467184 140735758449728 139849441513207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
/proc/8307/statm: 3854353 131950 3537 1 0 3815453 0
[pid=8307/tid=8308] ppid=8305 vsize=15417412 memory=527800 CPUtime=0.87 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (java) S 8305 8305 32437 0 -1 1077944384 9007 0 0 0 82 5 0 0 20 0 19 0 445767676 15787429888 131950 33554432000 4194304 4196468 140735758467184 139849445753984 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8309] ppid=8305 vsize=15417412 memory=500952 CPUtime=0.96 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (java) S 8305 8305 32437 0 -1 1077944384 3618 0 0 0 89 7 0 0 20 0 19 0 445767677 15787429888 131950 33554432000 4194304 4196468 140735758467184 139849377749776 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8310] ppid=8305 vsize=15417412 memory=500952 CPUtime=0.96 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (java) S 8305 8305 32437 0 -1 1077944384 1930 0 0 0 87 9 0 0 20 0 19 0 445767677 15787429888 131950 33554432000 4194304 4196468 140735758467184 139849376697232 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8311] ppid=8305 vsize=15417412 memory=1448 CPUtime=0.95 cores=1,3,5,7
/proc/8307/task/8311/stat : 8311 (java) S 8305 8305 32437 0 -1 1077944384 1915 0 0 0 85 10 0 0 20 0 19 0 445767677 15787429888 131950 33554432000 4194304 4196468 140735758467184 139849375644688 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8312] ppid=8305 vsize=15417412 memory=521656 CPUtime=0.96 cores=1,3,5,7
/proc/8307/task/8312/stat : 8312 (java) S 8305 8305 32437 0 -1 1077944384 2862 0 0 0 86 10 0 0 20 0 19 0 445767677 15787429888 131950 33554432000 4194304 4196468 140735758467184 139849374592144 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8313] ppid=8305 vsize=15417412 memory=521656 CPUtime=0.56 cores=1,3,5,7
/proc/8307/task/8313/stat : 8313 (java) S 8305 8305 32437 0 -1 1077944384 6821 0 0 0 51 5 0 0 20 0 19 0 445767678 15787429888 131950 33554432000 4194304 4196468 140735758467184 139848977270768 139849441524354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8314] ppid=8305 vsize=15417412 memory=527800 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8314/stat : 8314 (java) S 8305 8305 32437 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 445767679 15787429888 131950 33554432000 4194304 4196468 140735758467184 139848976217056 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8315] ppid=8305 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8315/stat : 8315 (java) S 8305 8305 32437 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 19 0 445767679 15787429888 131950 33554432000 4194304 4196468 140735758467184 139848975164416 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8316] ppid=8305 vsize=15417412 memory=622100 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8316/stat : 8316 (java) S 8305 8305 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445767681 15787429888 131950 33554432000 4194304 4196468 140735758467184 139848974112976 139849441531803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8317] ppid=8305 vsize=15417412 memory=527800 CPUtime=1.94 cores=1,3,5,7
/proc/8307/task/8317/stat : 8317 (java) S 8305 8305 32437 0 -1 1077944384 7701 0 0 0 194 0 0 0 20 0 19 0 445767681 15787429888 131950 33554432000 4194304 4196468 140735758467184 139848973060592 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8318] ppid=8305 vsize=15417412 memory=503112 CPUtime=1.85 cores=1,3,5,7
/proc/8307/task/8318/stat : 8318 (java) S 8305 8305 32437 0 -1 1077944384 10728 0 0 0 185 0 0 0 20 0 19 0 445767681 15787429888 131950 33554432000 4194304 4196468 140735758467184 139848972008048 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8319] ppid=8305 vsize=15417412 memory=55 CPUtime=0.68 cores=1,3,5,7
/proc/8307/task/8319/stat : 8319 (java) S 8305 8305 32437 0 -1 1077944384 5080 0 0 0 67 1 0 0 20 0 19 0 445767681 15787429888 131950 33554432000 4194304 4196468 140735758467184 139848970955504 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8320] ppid=8305 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8320/stat : 8320 (java) S 8305 8305 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445767681 15787429888 131950 33554432000 4194304 4196468 140735758467184 139848969903200 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8321] ppid=8305 vsize=15417412 memory=1448 CPUtime=0.26 cores=1,3,5,7
/proc/8307/task/8321/stat : 8321 (java) S 8305 8305 32437 0 -1 1077944384 435 0 0 0 13 13 0 0 20 0 19 0 445767682 15787429888 131950 33554432000 4194304 4196468 140735758467184 139848968849712 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8322] ppid=8305 vsize=15417412 memory=288230574492221466 CPUtime=576.04 cores=1,3,5,7
/proc/8307/task/8322/stat : 8322 (java) R 8305 8305 32437 0 -1 4202560 1821 0 0 0 57601 3 0 0 20 0 19 0 445767766 15787429888 131950 33554432000 4194304 4196468 140735758467184 139848891951720 139849056789968 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8323] ppid=8305 vsize=15417412 memory=288230596050944315 CPUtime=574.61 cores=1,3,5,7
/proc/8307/task/8323/stat : 8323 (java) R 8305 8305 32437 0 -1 4202560 6380 0 0 0 57457 4 0 0 20 0 19 0 445767766 15787429888 131950 33554432000 4194304 4196468 140735758467184 139848890903248 139849056766140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8324] ppid=8305 vsize=15417412 memory=1448 CPUtime=575.41 cores=1,3,5,7
/proc/8307/task/8324/stat : 8324 (java) R 8305 8305 32437 0 -1 4202560 1210 0 0 0 57541 0 0 0 20 0 19 0 445767766 15787429888 131950 33554432000 4194304 4196468 140735758467184 139848889847848 139849056765925 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8325] ppid=8305 vsize=15417412 memory=3504 CPUtime=574.99 cores=1,3,5,7
/proc/8307/task/8325/stat : 8325 (java) R 8305 8305 32437 0 -1 4202560 4504 0 0 0 57495 4 0 0 20 0 19 0 445767766 15787429888 131950 33554432000 4194304 4196468 140735758467184 139848888795024 139849058562094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
Current children cumulated CPU time: 2311.06 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 529248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+635.002 s]*
/proc/loadavg: 8.65 8.48 8.35 9/237 8616
/proc/meminfo: memFree=27823076/32770624 swapFree=66939908/67108860
[pid=8305] ppid=8302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/8305/stat : 8305 (xcsp3-exec) S 8302 8305 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445767675 115843072 362 33554432000 4194304 5098028 140721585966480 140721585964584 139690723345020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26812416 140721585967994 140721585968237 140721585968237 140721585971146 0
/proc/8305/statm: 28282 362 304 221 0 87 0
[pid=8307] ppid=8305 vsize=15417412 memory=527872 CPUtime=2520.33 cores=1,3,5,7
/proc/8307/stat : 8307 (java) S 8305 8305 32437 0 -1 1077944320 66027 0 0 0 251975 58 0 0 20 0 19 0 445767676 15787429888 131968 33554432000 4194304 4196468 140735758467184 140735758449728 139849441513207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
/proc/8307/statm: 3854353 131968 3537 1 0 3815453 0
[pid=8307/tid=8308] ppid=8305 vsize=15417412 memory=6935054825532540783 CPUtime=0.87 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (java) S 8305 8305 32437 0 -1 1077944384 9007 0 0 0 82 5 0 0 20 0 19 0 445767676 15787429888 131968 33554432000 4194304 4196468 140735758467184 139849445753984 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8309] ppid=8305 vsize=15417412 memory=2580 CPUtime=1.01 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (java) S 8305 8305 32437 0 -1 1077944384 3652 0 0 0 94 7 0 0 20 0 19 0 445767677 15787429888 131968 33554432000 4194304 4196468 140735758467184 139849377749776 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8310] ppid=8305 vsize=15417412 memory=1760 CPUtime=1.01 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (java) S 8305 8305 32437 0 -1 1077944384 1966 0 0 0 92 9 0 0 20 0 19 0 445767677 15787429888 131968 33554432000 4194304 4196468 140735758467184 139849376697232 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8311] ppid=8305 vsize=15417412 memory=111636 CPUtime=1 cores=1,3,5,7
/proc/8307/task/8311/stat : 8311 (java) S 8305 8305 32437 0 -1 1077944384 2211 0 0 0 90 10 0 0 20 0 19 0 445767677 15787429888 131968 33554432000 4194304 4196468 140735758467184 139849375644688 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8312] ppid=8305 vsize=15417412 memory=808 CPUtime=1.02 cores=1,3,5,7
/proc/8307/task/8312/stat : 8312 (java) S 8305 8305 32437 0 -1 1077944384 2895 0 0 0 92 10 0 0 20 0 19 0 445767677 15787429888 131968 33554432000 4194304 4196468 140735758467184 139849374592144 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8313] ppid=8305 vsize=15417412 memory=4104 CPUtime=0.61 cores=1,3,5,7
/proc/8307/task/8313/stat : 8313 (java) S 8305 8305 32437 0 -1 1077944384 6866 0 0 0 55 6 0 0 20 0 19 0 445767678 15787429888 131968 33554432000 4194304 4196468 140735758467184 139848977270768 139849441524354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8314] ppid=8305 vsize=15417412 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8314/stat : 8314 (java) S 8305 8305 32437 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 445767679 15787429888 131968 33554432000 4194304 4196468 140735758467184 139848976217056 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8315] ppid=8305 vsize=15417412 memory=3436 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8315/stat : 8315 (java) S 8305 8305 32437 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 19 0 445767679 15787429888 131968 33554432000 4194304 4196468 140735758467184 139848975164416 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8316] ppid=8305 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8316/stat : 8316 (java) S 8305 8305 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445767681 15787429888 131968 33554432000 4194304 4196468 140735758467184 139848974112976 139849441531803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8317] ppid=8305 vsize=15417412 memory=527872 CPUtime=1.94 cores=1,3,5,7
/proc/8307/task/8317/stat : 8317 (java) S 8305 8305 32437 0 -1 1077944384 7701 0 0 0 194 0 0 0 20 0 19 0 445767681 15787429888 131968 33554432000 4194304 4196468 140735758467184 139848973060592 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8318] ppid=8305 vsize=15417412 memory=1412 CPUtime=1.85 cores=1,3,5,7
/proc/8307/task/8318/stat : 8318 (java) S 8305 8305 32437 0 -1 1077944384 10728 0 0 0 185 0 0 0 20 0 19 0 445767681 15787429888 131968 33554432000 4194304 4196468 140735758467184 139848972008048 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8319] ppid=8305 vsize=15417412 memory=2944 CPUtime=0.68 cores=1,3,5,7
/proc/8307/task/8319/stat : 8319 (java) S 8305 8305 32437 0 -1 1077944384 5080 0 0 0 67 1 0 0 20 0 19 0 445767681 15787429888 131968 33554432000 4194304 4196468 140735758467184 139848970955504 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8320] ppid=8305 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8320/stat : 8320 (java) S 8305 8305 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445767681 15787429888 131968 33554432000 4194304 4196468 140735758467184 139848969903200 139849441523413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8321] ppid=8305 vsize=15417412 memory=988208 CPUtime=0.26 cores=1,3,5,7
/proc/8307/task/8321/stat : 8321 (java) S 8305 8305 32437 0 -1 1077944384 437 0 0 0 13 13 0 0 20 0 19 0 445767682 15787429888 131968 33554432000 4194304 4196468 140735758467184 139848968849712 139849441524354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8322] ppid=8305 vsize=15417412 memory=1620 CPUtime=628.21 cores=1,3,5,7
/proc/8307/task/8322/stat : 8322 (java) R 8305 8305 32437 0 -1 4202560 1863 0 0 0 62818 3 0 0 20 0 19 0 445767766 15787429888 131968 33554432000 4194304 4196468 140735758467184 139848891954640 139849058562468 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8323] ppid=8305 vsize=15417412 memory=1808 CPUtime=626.86 cores=1,3,5,7
/proc/8307/task/8323/stat : 8323 (java) R 8305 8305 32437 0 -1 4202560 6414 0 0 0 62682 4 0 0 20 0 19 0 445767766 15787429888 131968 33554432000 4194304 4196468 140735758467184 139848890900360 139849058562027 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8324] ppid=8305 vsize=15417412 memory=924 CPUtime=627.73 cores=1,3,5,7
/proc/8307/task/8324/stat : 8324 (java) R 8305 8305 32437 0 -1 4202560 1235 0 0 0 62772 1 0 0 20 0 19 0 445767766 15787429888 131968 33554432000 4194304 4196468 140735758467184 139848889847504 139849056766130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
[pid=8307/tid=8325] ppid=8305 vsize=15417412 memory=3848 CPUtime=627.25 cores=1,3,5,7
/proc/8307/task/8325/stat : 8325 (java) R 8305 8305 32437 0 -1 4202560 4582 0 0 0 62721 4 0 0 20 0 19 0 445767766 15787429888 131968 33554432000 4194304 4196468 140735758467184 139848888795272 139849056816612 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140735758472175 140735758472346 140735758472346 140735758475215 0
Current children cumulated CPU time: 2520.33 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 529320 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+635.034 s]
# the end of solver process 8305 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001091 s, system=0.001091 s
[startup+635.101 s]
# the end of solver process 8307 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.08 s, system=0.591106 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.101
CPU time (s): 2520.68
CPU user time (s): 2520.08
CPU system time (s): 0.591106
CPU usage (%): 396.894
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 658264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.08
system time used= 0.591106
maximum resident set size= 659908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66750
page faults= 0
swaps= 0
block input operations= 0
block output operations= 824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37791
involuntary context switches= 47597
# summary of solver processes directly reported to runsolver:
# pid: 8305,8307
# total CPU time (s): 2520.68
# total CPU user time (s): 2520.08
# total CPU system time (s): 0.591106
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.0581 second user time and 7.29599 second system time
The end