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 (15236 MiB free)
memory of node 1: 16384 MiB (14382 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400562-1568695237/watcher-4400562-1568695237 -o /tmp/evaluation-result-4400562-1568695237/solver-4400562-1568695237 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24303 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 626526821 HOME/instance-4400562-1568695237.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=4354, runsolver pid=4351
Current StackSize limit: 8192 KiB
[startup+0.100161 s]*
/proc/loadavg: 8.60 8.46 8.47 3/212 4371
/proc/meminfo: memFree=31464620/32770624 swapFree=66997372/67108860
[pid=4354] ppid=4351 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp3-exec) S 4351 4354 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445776780 115843072 363 33554432000 4194304 5098028 140726601591856 140726601589960 140621955179132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24584192 140726601593723 140726601593965 140726601593965 140726601596874 0
/proc/4354/statm: 28282 363 305 221 0 87 0
[pid=4357] ppid=4354 vsize=15144776 memory=28912 CPUtime=0.12 cores=0,2,4,6
/proc/4357/stat : 4357 (java) S 4354 4354 24272 0 -1 1077944320 5692 0 0 0 11 1 0 0 20 0 15 0 445776781 15508250624 7228 33554432000 4194304 4196468 140732720257808 140732720240352 139659860934391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
/proc/4357/statm: 3786194 7228 3086 1 0 3748377 0
[pid=4357/tid=4358] ppid=4354 vsize=15144776 memory=8325818968650782363 CPUtime=0.08 cores=0,2,4,6
/proc/4357/task/4358/stat : 4358 (java) R 4354 4354 24272 0 -1 4202560 3616 0 0 0 8 0 0 0 20 0 15 0 445776781 15508250624 7228 33554432000 4194304 4196468 140732720257808 139659865160352 139659860946326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4359] ppid=4354 vsize=15144776 memory=735272052430568040 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4359/stat : 4359 (java) S 4354 4354 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445776782 15508250624 7228 33554432000 4194304 4196468 140732720257808 139659788974608 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4360] ppid=4354 vsize=15144776 memory=139779498903168 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4360/stat : 4360 (java) S 4354 4354 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445776782 15508250624 7228 33554432000 4194304 4196468 140732720257808 139659451951760 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4361] ppid=4354 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4361/stat : 4361 (java) S 4354 4354 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445776782 15508250624 7228 33554432000 4194304 4196468 140732720257808 139659450898704 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4362] ppid=4354 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4362/stat : 4362 (java) S 4354 4354 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445776782 15508250624 7228 33554432000 4194304 4196468 140732720257808 139659449846160 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4363] ppid=4354 vsize=15144776 memory=139779498903168 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4363/stat : 4363 (java) S 4354 4354 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445776783 15508250624 7228 33554432000 4194304 4196468 140732720257808 139659396733680 139659860945538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4364] ppid=4354 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4364/stat : 4364 (java) S 4354 4354 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445776784 15508250624 7228 33554432000 4194304 4196468 140732720257808 139659395679904 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4365] ppid=4354 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4365/stat : 4365 (java) S 4354 4354 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445776784 15508250624 7228 33554432000 4194304 4196468 140732720257808 139659394626800 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4366] ppid=4354 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4366/stat : 4366 (java) S 4354 4354 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445776786 15508250624 7228 33554432000 4194304 4196468 140732720257808 139659393575376 139659860952987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4367] ppid=4354 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4367/stat : 4367 (java) S 4354 4354 24272 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 445776786 15508250624 7228 33554432000 4194304 4196468 140732720257808 139659392522480 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4368] ppid=4354 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4368/stat : 4368 (java) S 4354 4354 24272 0 -1 1077944384 395 0 0 0 0 0 0 0 20 0 15 0 445776786 15508250624 7228 33554432000 4194304 4196468 140732720257808 139659391469936 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4369] ppid=4354 vsize=15144776 memory=139779498903168 CPUtime=0.02 cores=0,2,4,6
/proc/4357/task/4369/stat : 4369 (java) R 4354 4354 24272 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 15 0 445776786 15508250624 7228 33554432000 4194304 4196468 140732720257808 139659390416880 139659852966963 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4370] ppid=4354 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4370/stat : 4370 (java) S 4354 4354 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445776786 15508250624 7228 33554432000 4194304 4196468 140732720257808 139659389364576 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4371] ppid=4354 vsize=15144776 memory=139779498903168 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4371/stat : 4371 (java) S 4354 4354 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445776787 15508250624 7228 33554432000 4194304 4196468 140732720257808 139659388312624 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30364 KiB
[startup+0.211116 s]*
/proc/loadavg: 8.60 8.46 8.47 3/221 4394
/proc/meminfo: memFree=31443752/32770624 swapFree=66997372/67108860
[pid=4354] ppid=4351 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp3-exec) S 4351 4354 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445776780 115843072 363 33554432000 4194304 5098028 140726601591856 140726601589960 140621955179132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24584192 140726601593723 140726601593965 140726601593965 140726601596874 0
/proc/4354/statm: 28282 363 305 221 0 87 0
[pid=4357] ppid=4354 vsize=15144776 memory=40084 CPUtime=0.34 cores=0,2,4,6
/proc/4357/stat : 4357 (java) S 4354 4354 24272 0 -1 1077944320 9286 0 0 0 31 3 0 0 20 0 15 0 445776781 15508250624 10021 33554432000 4194304 4196468 140732720257808 140732720240352 139659860934391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
/proc/4357/statm: 3786194 10021 3264 1 0 3748377 0
[pid=4357/tid=4358] ppid=4354 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/4357/task/4358/stat : 4358 (java) R 4354 4354 24272 0 -1 4202560 6592 0 0 0 18 2 0 0 20 0 15 0 445776781 15508250624 10021 33554432000 4194304 4196468 140732720257808 139659865168320 139659468464851 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4359] ppid=4354 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4359/stat : 4359 (java) S 4354 4354 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445776782 15508250624 10021 33554432000 4194304 4196468 140732720257808 139659788974608 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4360] ppid=4354 vsize=15144776 memory=4051464319054186144 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4360/stat : 4360 (java) S 4354 4354 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445776782 15508250624 10021 33554432000 4194304 4196468 140732720257808 139659451951760 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4361] ppid=4354 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4361/stat : 4361 (java) S 4354 4354 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445776782 15508250624 10021 33554432000 4194304 4196468 140732720257808 139659450898704 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4362] ppid=4354 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4362/stat : 4362 (java) S 4354 4354 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445776782 15508250624 10021 33554432000 4194304 4196468 140732720257808 139659449846160 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4363] ppid=4354 vsize=15144776 memory=139779498903168 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4363/stat : 4363 (java) S 4354 4354 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445776783 15508250624 10021 33554432000 4194304 4196468 140732720257808 139659396733680 139659860945538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4364] ppid=4354 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4364/stat : 4364 (java) S 4354 4354 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445776784 15508250624 10021 33554432000 4194304 4196468 140732720257808 139659395679904 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4365] ppid=4354 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4365/stat : 4365 (java) S 4354 4354 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445776784 15508250624 10021 33554432000 4194304 4196468 140732720257808 139659394626800 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4366] ppid=4354 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4366/stat : 4366 (java) S 4354 4354 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445776786 15508250624 10021 33554432000 4194304 4196468 140732720257808 139659393575376 139659860952987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4367] ppid=4354 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4357/task/4367/stat : 4367 (java) S 4354 4354 24272 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 15 0 445776786 15508250624 10021 33554432000 4194304 4196468 140732720257808 139659392522480 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4368] ppid=4354 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/4357/task/4368/stat : 4368 (java) S 4354 4354 24272 0 -1 1077944384 509 0 0 0 3 0 0 0 20 0 15 0 445776786 15508250624 10021 33554432000 4194304 4196468 140732720257808 139659391469936 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4369] ppid=4354 vsize=15144776 memory=139779498903168 CPUtime=0.08 cores=0,2,4,6
/proc/4357/task/4369/stat : 4369 (java) R 4354 4354 24272 0 -1 4202560 775 0 0 0 8 0 0 0 20 0 15 0 445776786 15508250624 10021 33554432000 4194304 4196468 140732720257808 139659390416880 139659839568251 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4370] ppid=4354 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4370/stat : 4370 (java) S 4354 4354 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445776786 15508250624 10021 33554432000 4194304 4196468 140732720257808 139659389364576 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4371] ppid=4354 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4371/stat : 4371 (java) S 4354 4354 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445776787 15508250624 10021 33554432000 4194304 4196468 140732720257808 139659388312624 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41536 KiB
[startup+0.310505 s]*
/proc/loadavg: 8.60 8.46 8.47 6/227 4400
/proc/meminfo: memFree=31423308/32770624 swapFree=66997372/67108860
[pid=4354] ppid=4351 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp3-exec) S 4351 4354 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445776780 115843072 363 33554432000 4194304 5098028 140726601591856 140726601589960 140621955179132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24584192 140726601593723 140726601593965 140726601593965 140726601596874 0
/proc/4354/statm: 28282 363 305 221 0 87 0
[pid=4357] ppid=4354 vsize=15149032 memory=49860 CPUtime=0.53 cores=0,2,4,6
/proc/4357/stat : 4357 (java) S 4354 4354 24272 0 -1 1077944320 10750 0 0 0 49 4 0 0 20 0 15 0 445776781 15512608768 12465 33554432000 4194304 4196468 140732720257808 140732720240352 139659860934391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
/proc/4357/statm: 3787258 12465 3372 1 0 3748377 0
[pid=4357/tid=4358] ppid=4354 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/4357/task/4358/stat : 4358 (java) R 4354 4354 24272 0 -1 4202560 7731 0 0 0 27 3 0 0 20 0 15 0 445776781 15512608768 12494 33554432000 4194304 4196468 140732720257808 139659865165504 139659845014878 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4359] ppid=4354 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4359/stat : 4359 (java) S 4354 4354 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445776782 15512608768 12494 33554432000 4194304 4196468 140732720257808 139659788974608 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4360] ppid=4354 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4360/stat : 4360 (java) S 4354 4354 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445776782 15512608768 12494 33554432000 4194304 4196468 140732720257808 139659451951760 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4361] ppid=4354 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4361/stat : 4361 (java) S 4354 4354 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445776782 15512608768 12494 33554432000 4194304 4196468 140732720257808 139659450898704 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4362] ppid=4354 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4362/stat : 4362 (java) S 4354 4354 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445776782 15512608768 12494 33554432000 4194304 4196468 140732720257808 139659449846160 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4363] ppid=4354 vsize=15149032 memory=667913 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4363/stat : 4363 (java) S 4354 4354 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445776783 15512608768 12494 33554432000 4194304 4196468 140732720257808 139659396733680 139659860945538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4364] ppid=4354 vsize=15149032 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4364/stat : 4364 (java) S 4354 4354 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445776784 15512608768 12494 33554432000 4194304 4196468 140732720257808 139659395679904 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4365] ppid=4354 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4365/stat : 4365 (java) S 4354 4354 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445776784 15512608768 12494 33554432000 4194304 4196468 140732720257808 139659394626800 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4366] ppid=4354 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4366/stat : 4366 (java) S 4354 4354 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445776786 15512608768 12494 33554432000 4194304 4196468 140732720257808 139659393575376 139659860952987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4367] ppid=4354 vsize=15149032 memory=-1751206868705893467 CPUtime=0.04 cores=0,2,4,6
/proc/4357/task/4367/stat : 4367 (java) R 4354 4354 24272 0 -1 4202560 268 0 0 0 4 0 0 0 20 0 15 0 445776786 15512608768 12494 33554432000 4194304 4196468 140732720257808 139659392504048 139659846060672 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4368] ppid=4354 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4357/task/4368/stat : 4368 (java) R 4354 4354 24272 0 -1 1077944384 552 0 0 0 4 0 0 0 20 0 15 0 445776786 15512608768 12494 33554432000 4194304 4196468 140732720257808 139659391469936 139659860945538 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4369] ppid=4354 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/4357/task/4369/stat : 4369 (java) S 4354 4354 24272 0 -1 1077944384 923 0 0 0 13 0 0 0 20 0 15 0 445776786 15512608768 12494 33554432000 4194304 4196468 140732720257808 139659390416880 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4370] ppid=4354 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4370/stat : 4370 (java) S 4354 4354 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445776786 15512608768 12494 33554432000 4194304 4196468 140732720257808 139659389364576 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4371] ppid=4354 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4371/stat : 4371 (java) S 4354 4354 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445776787 15512608768 12494 33554432000 4194304 4196468 140732720257808 139659388312624 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51312 KiB
[startup+0.702504 s]
/proc/loadavg: 8.60 8.46 8.47 9/227 4400
/proc/meminfo: memFree=31380404/32770624 swapFree=66997372/67108860
[pid=4354] ppid=4351 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp3-exec) S 4351 4354 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445776780 115843072 363 33554432000 4194304 5098028 140726601591856 140726601589960 140621955179132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24584192 140726601593723 140726601593965 140726601593965 140726601596874 0
/proc/4354/statm: 28282 363 305 221 0 87 0
[pid=4357] ppid=4354 vsize=15151156 memory=161772 CPUtime=1.54 cores=0,2,4,6
/proc/4357/stat : 4357 (java) S 4354 4354 24272 0 -1 1077944320 14025 0 0 0 147 7 0 0 20 0 15 0 445776781 15514783744 40443 33554432000 4194304 4196468 140732720257808 140732720240352 139659860934391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
/proc/4357/statm: 3787789 40443 3442 1 0 3748889 0
[pid=4357/tid=4358] ppid=4354 vsize=15151156 memory=4104 CPUtime=0.68 cores=0,2,4,6
/proc/4357/task/4358/stat : 4358 (java) R 4354 4354 24272 0 -1 4202560 8910 0 0 0 63 5 0 0 20 0 15 0 445776781 15514783744 40443 33554432000 4194304 4196468 140732720257808 139659865162976 139659860946326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4359] ppid=4354 vsize=15151156 memory=1388 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4359/stat : 4359 (java) S 4354 4354 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445776782 15514783744 40443 33554432000 4194304 4196468 140732720257808 139659788974608 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4360] ppid=4354 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4360/stat : 4360 (java) S 4354 4354 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445776782 15514783744 40443 33554432000 4194304 4196468 140732720257808 139659451951760 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4361] ppid=4354 vsize=15151156 memory=143 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4361/stat : 4361 (java) S 4354 4354 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445776782 15514783744 40443 33554432000 4194304 4196468 140732720257808 139659450898704 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4362] ppid=4354 vsize=15151156 memory=2 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4362/stat : 4362 (java) S 4354 4354 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445776782 15514783744 40443 33554432000 4194304 4196468 140732720257808 139659449846160 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4363] ppid=4354 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4363/stat : 4363 (java) S 4354 4354 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445776783 15514783744 40443 33554432000 4194304 4196468 140732720257808 139659396733680 139659860945538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4364] ppid=4354 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4364/stat : 4364 (java) S 4354 4354 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445776784 15514783744 40443 33554432000 4194304 4196468 140732720257808 139659395679904 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4365] ppid=4354 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4365/stat : 4365 (java) S 4354 4354 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445776784 15514783744 40443 33554432000 4194304 4196468 140732720257808 139659394626800 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4366] ppid=4354 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4366/stat : 4366 (java) S 4354 4354 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445776786 15514783744 40443 33554432000 4194304 4196468 140732720257808 139659393575376 139659860952987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4367] ppid=4354 vsize=15151156 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/4357/task/4367/stat : 4367 (java) R 4354 4354 24272 0 -1 4202560 894 0 0 0 26 0 0 0 20 0 15 0 445776786 15514783744 40443 33554432000 4194304 4196468 140732720257808 139659392522480 139659860946326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4368] ppid=4354 vsize=15151156 memory=1112 CPUtime=0.26 cores=0,2,4,6
/proc/4357/task/4368/stat : 4368 (java) R 4354 4354 24272 0 -1 1077944384 1318 0 0 0 26 0 0 0 20 0 15 0 445776786 15514783744 40443 33554432000 4194304 4196468 140732720257808 139659391469936 139659860945538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4369] ppid=4354 vsize=15151156 memory=1004 CPUtime=0.3 cores=0,2,4,6
/proc/4357/task/4369/stat : 4369 (java) R 4354 4354 24272 0 -1 4202560 1598 0 0 0 30 0 0 0 20 0 15 0 445776786 15514783744 40443 33554432000 4194304 4196468 140732720257808 139659390412640 139659860955738 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4370] ppid=4354 vsize=15151156 memory=6036 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4370/stat : 4370 (java) S 4354 4354 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445776786 15514783744 40443 33554432000 4194304 4196468 140732720257808 139659389364576 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4371] ppid=4354 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4371/stat : 4371 (java) S 4354 4354 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445776787 15514783744 40443 33554432000 4194304 4196468 140732720257808 139659388312624 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 163224 KiB
[startup+1.50271 s]
/proc/loadavg: 8.60 8.46 8.47 6/210 4404
/proc/meminfo: memFree=31218676/32770624 swapFree=66997372/67108860
[pid=4354] ppid=4351 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp3-exec) S 4351 4354 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445776780 115843072 363 33554432000 4194304 5098028 140726601591856 140726601589960 140621955179132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24584192 140726601593723 140726601593965 140726601593965 140726601596874 0
/proc/4354/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/4357/stat : 4357 (java) S 4354 4354 24272 0 -1 1077944320 263268 0 0 0 207351 91 0 0 20 0 19 0 445776781 16062173184 273953 33554432000 4194304 4196468 140732720257808 140732720240352 139659860934391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
/proc/4357/statm: 3921429 273953 3546 1 0 3882529 0
[pid=4357/tid=4358] ppid=4354 vsize=15685716 memory=8317482817917895235 CPUtime=1.1 cores=0,2,4,6
/proc/4357/task/4358/stat : 4358 (java) S 4354 4354 24272 0 -1 1077944384 13521 0 0 0 105 5 0 0 20 0 19 0 445776781 16062173184 273953 33554432000 4194304 4196468 140732720257808 139659865175168 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4359] ppid=4354 vsize=15685716 memory=4872558044660077418 CPUtime=0.65 cores=0,2,4,6
/proc/4357/task/4359/stat : 4359 (java) S 4354 4354 24272 0 -1 1077944384 7464 0 0 0 53 12 0 0 20 0 19 0 445776782 16062173184 273953 33554432000 4194304 4196468 140732720257808 139659788974608 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4360] ppid=4354 vsize=15685716 memory=1764 CPUtime=0.63 cores=0,2,4,6
/proc/4357/task/4360/stat : 4360 (java) S 4354 4354 24272 0 -1 1077944384 9483 0 0 0 51 12 0 0 20 0 19 0 445776782 16062173184 273953 33554432000 4194304 4196468 140732720257808 139659451951760 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4361] ppid=4354 vsize=15685716 memory=111628 CPUtime=0.62 cores=0,2,4,6
/proc/4357/task/4361/stat : 4361 (java) S 4354 4354 24272 0 -1 1077944384 7751 0 0 0 51 11 0 0 20 0 19 0 445776782 16062173184 273953 33554432000 4194304 4196468 140732720257808 139659450898704 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4362] ppid=4354 vsize=15685716 memory=796 CPUtime=0.64 cores=0,2,4,6
/proc/4357/task/4362/stat : 4362 (java) S 4354 4354 24272 0 -1 1077944384 8878 0 0 0 52 12 0 0 20 0 19 0 445776782 16062173184 273953 33554432000 4194304 4196468 140732720257808 139659449846160 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4363] ppid=4354 vsize=15685716 memory=1412 CPUtime=0.22 cores=0,2,4,6
/proc/4357/task/4363/stat : 4363 (java) S 4354 4354 24272 0 -1 1077944384 10900 0 0 0 20 2 0 0 20 0 19 0 445776783 16062173184 273953 33554432000 4194304 4196468 140732720257808 139659396733680 139659860945538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4364] ppid=4354 vsize=15685716 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4364/stat : 4364 (java) S 4354 4354 24272 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 445776784 16062173184 273953 33554432000 4194304 4196468 140732720257808 139659395679968 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4365] ppid=4354 vsize=15685716 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4365/stat : 4365 (java) S 4354 4354 24272 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 445776784 16062173184 273953 33554432000 4194304 4196468 140732720257808 139659394626816 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4366] ppid=4354 vsize=15685716 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4366/stat : 4366 (java) S 4354 4354 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445776786 16062173184 273953 33554432000 4194304 4196468 140732720257808 139659393575376 139659860952987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4367] ppid=4354 vsize=15685716 memory=14692993764428413 CPUtime=3.23 cores=0,2,4,6
/proc/4357/task/4367/stat : 4367 (java) S 4354 4354 24272 0 -1 1077944384 24929 0 0 0 321 2 0 0 20 0 19 0 445776786 16062173184 273953 33554432000 4194304 4196468 140732720257808 139659392522480 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4368] ppid=4354 vsize=15685716 memory=1004 CPUtime=3.7 cores=0,2,4,6
/proc/4357/task/4368/stat : 4368 (java) S 4354 4354 24272 0 -1 1077944384 26364 0 0 0 367 3 0 0 20 0 19 0 445776786 16062173184 273953 33554432000 4194304 4196468 140732720257808 139659391469936 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4369] ppid=4354 vsize=15685716 memory=6036 CPUtime=0.89 cores=0,2,4,6
/proc/4357/task/4369/stat : 4369 (java) S 4354 4354 24272 0 -1 1077944384 21022 0 0 0 87 2 0 0 20 0 19 0 445776786 16062173184 273953 33554432000 4194304 4196468 140732720257808 139659390416880 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4370] ppid=4354 vsize=15685716 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4370/stat : 4370 (java) S 4354 4354 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445776786 16062173184 273953 33554432000 4194304 4196468 140732720257808 139659389364576 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4371] ppid=4354 vsize=15685716 memory=2124 CPUtime=0.2 cores=0,2,4,6
/proc/4357/task/4371/stat : 4371 (java) S 4354 4354 24272 0 -1 1077944384 2172 0 0 0 10 10 0 0 20 0 19 0 445776787 16062173184 273953 33554432000 4194304 4196468 140732720257808 139659388312624 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=5034] ppid=4354 vsize=15685716 memory=26220 CPUtime=7.23 cores=0,2,4,6
/proc/4357/task/5034/stat : 5034 (java) R 4354 4354 24272 0 -1 4202560 653 0 0 0 723 0 0 0 20 0 19 0 445828287 16062173184 273953 33554432000 4194304 4196468 140732720257808 139658336738840 139659475182760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=5035] ppid=4354 vsize=15685716 memory=12024 CPUtime=7.16 cores=0,2,4,6
/proc/4357/task/5035/stat : 5035 (java) R 4354 4354 24272 0 -1 4202560 602 0 0 0 716 0 0 0 20 0 19 0 445828287 16062173184 273953 33554432000 4194304 4196468 140732720257808 139658338844544 139659475182028 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=5036] ppid=4354 vsize=15685716 memory=500 CPUtime=7.16 cores=0,2,4,6
/proc/4357/task/5036/stat : 5036 (java) R 4354 4354 24272 0 -1 4202560 903 0 0 0 716 0 0 0 20 0 19 0 445828287 16062173184 273953 33554432000 4194304 4196468 140732720257808 139658783447008 139659475181760 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=5037] ppid=4354 vsize=15685716 memory=8112282956445269571 CPUtime=7.23 cores=0,2,4,6
/proc/4357/task/5037/stat : 5037 (java) R 4354 4354 24272 0 -1 4202560 769 0 0 0 723 0 0 0 20 0 19 0 445828287 16062173184 273953 33554432000 4194304 4196468 140732720257808 139658334633752 139659475181977 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
Current children cumulated CPU time: 2074.42 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 1097264 KiB
[startup+582.302 s]*
/proc/loadavg: 8.36 8.62 8.56 9/237 5043
/proc/meminfo: memFree=29439008/32770624 swapFree=66997372/67108860
[pid=4354] ppid=4351 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp3-exec) S 4351 4354 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445776780 115843072 363 33554432000 4194304 5098028 140726601591856 140726601589960 140621955179132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24584192 140726601593723 140726601593965 140726601593965 140726601596874 0
/proc/4354/statm: 28282 363 305 221 0 87 0
[pid=4357] ppid=4354 vsize=15685716 memory=1047600 CPUtime=2313.27 cores=0,2,4,6
/proc/4357/stat : 4357 (java) S 4354 4354 24272 0 -1 1077944320 278942 0 0 0 231233 94 0 0 20 0 19 0 445776781 16062173184 261900 33554432000 4194304 4196468 140732720257808 140732720240352 139659860934391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
/proc/4357/statm: 3921429 261900 3546 1 0 3882529 0
[pid=4357/tid=4358] ppid=4354 vsize=15685716 memory=8317482817917895235 CPUtime=1.1 cores=0,2,4,6
/proc/4357/task/4358/stat : 4358 (java) S 4354 4354 24272 0 -1 1077944384 13521 0 0 0 105 5 0 0 20 0 19 0 445776781 16062173184 261900 33554432000 4194304 4196468 140732720257808 139659865175168 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4359] ppid=4354 vsize=15685716 memory=2624 CPUtime=0.67 cores=0,2,4,6
/proc/4357/task/4359/stat : 4359 (java) S 4354 4354 24272 0 -1 1077944384 8274 0 0 0 55 12 0 0 20 0 19 0 445776782 16062173184 261900 33554432000 4194304 4196468 140732720257808 139659788974608 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4360] ppid=4354 vsize=15685716 memory=1756 CPUtime=0.65 cores=0,2,4,6
/proc/4357/task/4360/stat : 4360 (java) S 4354 4354 24272 0 -1 1077944384 10277 0 0 0 53 12 0 0 20 0 19 0 445776782 16062173184 261900 33554432000 4194304 4196468 140732720257808 139659451951760 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4361] ppid=4354 vsize=15685716 memory=8317482817917895235 CPUtime=0.64 cores=0,2,4,6
/proc/4357/task/4361/stat : 4361 (java) S 4354 4354 24272 0 -1 1077944384 10246 0 0 0 53 11 0 0 20 0 19 0 445776782 16062173184 261900 33554432000 4194304 4196468 140732720257808 139659450898704 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4362] ppid=4354 vsize=15685716 memory=4872558044660077418 CPUtime=0.66 cores=0,2,4,6
/proc/4357/task/4362/stat : 4362 (java) S 4354 4354 24272 0 -1 1077944384 9439 0 0 0 54 12 0 0 20 0 19 0 445776782 16062173184 261900 33554432000 4194304 4196468 140732720257808 139659449846160 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4363] ppid=4354 vsize=15685716 memory=1067604 CPUtime=0.22 cores=0,2,4,6
/proc/4357/task/4363/stat : 4363 (java) S 4354 4354 24272 0 -1 1077944384 12188 0 0 0 20 2 0 0 20 0 19 0 445776783 16062173184 261900 33554432000 4194304 4196468 140732720257808 139659396733680 139659860945538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4364] ppid=4354 vsize=15685716 memory=14692993764428413 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4364/stat : 4364 (java) S 4354 4354 24272 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 445776784 16062173184 261900 33554432000 4194304 4196468 140732720257808 139659395679968 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4365] ppid=4354 vsize=15685716 memory=7378837008689164871 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4365/stat : 4365 (java) S 4354 4354 24272 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 445776784 16062173184 261900 33554432000 4194304 4196468 140732720257808 139659394626816 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4366] ppid=4354 vsize=15685716 memory=7378837408853859620 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4366/stat : 4366 (java) S 4354 4354 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445776786 16062173184 261900 33554432000 4194304 4196468 140732720257808 139659393575376 139659860952987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4367] ppid=4354 vsize=15685716 memory=7809767957709465130 CPUtime=3.23 cores=0,2,4,6
/proc/4357/task/4367/stat : 4367 (java) S 4354 4354 24272 0 -1 1077944384 24943 0 0 0 321 2 0 0 20 0 19 0 445776786 16062173184 261900 33554432000 4194304 4196468 140732720257808 139659392522480 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4368] ppid=4354 vsize=15685716 memory=139779376145546 CPUtime=3.72 cores=0,2,4,6
/proc/4357/task/4368/stat : 4368 (java) S 4354 4354 24272 0 -1 1077944384 27791 0 0 0 369 3 0 0 20 0 19 0 445776786 16062173184 261900 33554432000 4194304 4196468 140732720257808 139659391469936 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4369] ppid=4354 vsize=15685716 memory=139779376490036 CPUtime=0.89 cores=0,2,4,6
/proc/4357/task/4369/stat : 4369 (java) S 4354 4354 24272 0 -1 1077944384 21060 0 0 0 87 2 0 0 20 0 19 0 445776786 16062173184 261900 33554432000 4194304 4196468 140732720257808 139659390416880 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4370] ppid=4354 vsize=15685716 memory=139779376488874 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4370/stat : 4370 (java) S 4354 4354 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445776786 16062173184 261900 33554432000 4194304 4196468 140732720257808 139659389364576 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4371] ppid=4354 vsize=15685716 memory=139779376490228 CPUtime=0.3 cores=0,2,4,6
/proc/4357/task/4371/stat : 4371 (java) S 4354 4354 24272 0 -1 1077944384 2285 0 0 0 20 10 0 0 20 0 19 0 445776787 16062173184 261900 33554432000 4194304 4196468 140732720257808 139659388312624 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=5034] ppid=4354 vsize=15685716 memory=3618254521085804944 CPUtime=67.04 cores=0,2,4,6
/proc/4357/task/5034/stat : 5034 (java) R 4354 4354 24272 0 -1 4202560 2188 0 0 0 6704 0 0 0 20 0 19 0 445828287 16062173184 261900 33554432000 4194304 4196468 140732720257808 139658336740848 139659473940580 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=5035] ppid=4354 vsize=15685716 memory=139779376489162 CPUtime=66.73 cores=0,2,4,6
/proc/4357/task/5035/stat : 5035 (java) R 4354 4354 24272 0 -1 4202560 2529 0 0 0 6672 1 0 0 20 0 19 0 445828287 16062173184 261900 33554432000 4194304 4196468 140732720257808 139658338844952 139659476952968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=5036] ppid=4354 vsize=15685716 memory=139779376490516 CPUtime=66.69 cores=0,2,4,6
/proc/4357/task/5036/stat : 5036 (java) R 4354 4354 24272 0 -1 4202560 3596 0 0 0 6669 0 0 0 20 0 19 0 445828287 16062173184 261900 33554432000 4194304 4196468 140732720257808 139658783445128 139659475181760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=5037] ppid=4354 vsize=15685716 memory=139779376489088 CPUtime=67.03 cores=0,2,4,6
/proc/4357/task/5037/stat : 5037 (java) R 4354 4354 24272 0 -1 4202560 2748 0 0 0 6703 0 0 0 20 0 19 0 445828287 16062173184 261900 33554432000 4194304 4196468 140732720257808 139658334633520 139659474612750 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
Current children cumulated CPU time: 2313.27 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 1049052 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+604.102 s]
/proc/loadavg: 8.32 8.59 8.55 9/237 5044
/proc/meminfo: memFree=29477908/32770624 swapFree=66997372/67108860
[pid=4354] ppid=4351 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp3-exec) S 4351 4354 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445776780 115843072 363 33554432000 4194304 5098028 140726601591856 140726601589960 140621955179132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24584192 140726601593723 140726601593965 140726601593965 140726601596874 0
/proc/4354/statm: 28282 363 305 221 0 87 0
[pid=4357] ppid=4354 vsize=15685716 memory=1033236 CPUtime=2400.03 cores=0,2,4,6
/proc/4357/stat : 4357 (java) S 4354 4354 24272 0 -1 1077944320 279559 0 0 0 239909 94 0 0 20 0 19 0 445776781 16062173184 258309 33554432000 4194304 4196468 140732720257808 140732720240352 139659860934391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
/proc/4357/statm: 3921429 258309 3546 1 0 3882529 0
[pid=4357/tid=4358] ppid=4354 vsize=15685716 memory=1408 CPUtime=1.1 cores=0,2,4,6
/proc/4357/task/4358/stat : 4358 (java) S 4354 4354 24272 0 -1 1077944384 13521 0 0 0 105 5 0 0 20 0 19 0 445776781 16062173184 258309 33554432000 4194304 4196468 140732720257808 139659865175168 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4359] ppid=4354 vsize=15685716 memory=3600 CPUtime=0.68 cores=0,2,4,6
/proc/4357/task/4359/stat : 4359 (java) S 4354 4354 24272 0 -1 1077944384 8275 0 0 0 56 12 0 0 20 0 19 0 445776782 16062173184 258309 33554432000 4194304 4196468 140732720257808 139659788974608 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4360] ppid=4354 vsize=15685716 memory=1452 CPUtime=0.65 cores=0,2,4,6
/proc/4357/task/4360/stat : 4360 (java) S 4354 4354 24272 0 -1 1077944384 10281 0 0 0 53 12 0 0 20 0 19 0 445776782 16062173184 258309 33554432000 4194304 4196468 140732720257808 139659451951760 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4361] ppid=4354 vsize=15685716 memory=8317482817917895235 CPUtime=0.65 cores=0,2,4,6
/proc/4357/task/4361/stat : 4361 (java) S 4354 4354 24272 0 -1 1077944384 10248 0 0 0 54 11 0 0 20 0 19 0 445776782 16062173184 258309 33554432000 4194304 4196468 140732720257808 139659450898704 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4362] ppid=4354 vsize=15685716 memory=4872558044660077418 CPUtime=0.67 cores=0,2,4,6
/proc/4357/task/4362/stat : 4362 (java) S 4354 4354 24272 0 -1 1077944384 9448 0 0 0 55 12 0 0 20 0 19 0 445776782 16062173184 258309 33554432000 4194304 4196468 140732720257808 139659449846160 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4363] ppid=4354 vsize=15685716 memory=111628 CPUtime=0.22 cores=0,2,4,6
/proc/4357/task/4363/stat : 4363 (java) S 4354 4354 24272 0 -1 1077944384 12197 0 0 0 20 2 0 0 20 0 19 0 445776783 16062173184 258309 33554432000 4194304 4196468 140732720257808 139659396733680 139659860945538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4364] ppid=4354 vsize=15685716 memory=796 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4364/stat : 4364 (java) S 4354 4354 24272 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 445776784 16062173184 258309 33554432000 4194304 4196468 140732720257808 139659395679968 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4365] ppid=4354 vsize=15685716 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4365/stat : 4365 (java) S 4354 4354 24272 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 445776784 16062173184 258309 33554432000 4194304 4196468 140732720257808 139659394626816 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4366] ppid=4354 vsize=15685716 memory=1039392 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4366/stat : 4366 (java) S 4354 4354 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445776786 16062173184 258309 33554432000 4194304 4196468 140732720257808 139659393575376 139659860952987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4367] ppid=4354 vsize=15685716 memory=1452 CPUtime=3.23 cores=0,2,4,6
/proc/4357/task/4367/stat : 4367 (java) S 4354 4354 24272 0 -1 1077944384 24943 0 0 0 321 2 0 0 20 0 19 0 445776786 16062173184 258309 33554432000 4194304 4196468 140732720257808 139659392522480 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4368] ppid=4354 vsize=15685716 memory=1452 CPUtime=3.72 cores=0,2,4,6
/proc/4357/task/4368/stat : 4368 (java) S 4354 4354 24272 0 -1 1077944384 27791 0 0 0 369 3 0 0 20 0 19 0 445776786 16062173184 258309 33554432000 4194304 4196468 140732720257808 139659391469936 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4369] ppid=4354 vsize=15685716 memory=1033236 CPUtime=0.89 cores=0,2,4,6
/proc/4357/task/4369/stat : 4369 (java) S 4354 4354 24272 0 -1 1077944384 21472 0 0 0 87 2 0 0 20 0 19 0 445776786 16062173184 258309 33554432000 4194304 4196468 140732720257808 139659390416880 139659860945538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4370] ppid=4354 vsize=15685716 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4357/task/4370/stat : 4370 (java) S 4354 4354 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445776786 16062173184 258309 33554432000 4194304 4196468 140732720257808 139659389364576 139659860944597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=4371] ppid=4354 vsize=15685716 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/4357/task/4371/stat : 4371 (java) R 4354 4354 24272 0 -1 1077944384 2287 0 0 0 20 10 0 0 20 0 19 0 445776787 16062173184 258309 33554432000 4194304 4196468 140732720257808 139659388312624 139659860945538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=5034] ppid=4354 vsize=15685716 memory=139779375925248 CPUtime=88.53 cores=0,2,4,6
/proc/4357/task/5034/stat : 5034 (java) R 4354 4354 24272 0 -1 4202560 2218 0 0 0 8853 0 0 0 20 0 19 0 445828287 16062173184 258309 33554432000 4194304 4196468 140732720257808 139658336740848 139659475253303 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=5035] ppid=4354 vsize=15685716 memory=1452 CPUtime=88.51 cores=0,2,4,6
/proc/4357/task/5035/stat : 5035 (java) R 4354 4354 24272 0 -1 4202560 2578 0 0 0 8850 1 0 0 20 0 19 0 445828287 16062173184 258309 33554432000 4194304 4196468 140732720257808 139658338845384 139659475181372 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=5036] ppid=4354 vsize=15685716 memory=0 CPUtime=88.47 cores=0,2,4,6
/proc/4357/task/5036/stat : 5036 (java) R 4354 4354 24272 0 -1 4202560 3650 0 0 0 8847 0 0 0 20 0 19 0 445828287 16062173184 258309 33554432000 4194304 4196468 140732720257808 139658783444992 139659475182028 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
[pid=4357/tid=5037] ppid=4354 vsize=15685716 memory=1048628 CPUtime=88.71 cores=0,2,4,6
/proc/4357/task/5037/stat : 5037 (java) R 4354 4354 24272 0 -1 4202560 2793 0 0 0 8871 0 0 0 20 0 19 0 445828287 16062173184 258309 33554432000 4194304 4196468 140732720257808 139658334633448 139659475134605 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140732720260079 140732720260250 140732720260250 140732720263119 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 1034688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+604.14 s]
# the end of solver process 4354 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001178 s, system=0.001178 s
[startup+604.192 s]
# the end of solver process 4357 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.42 s, system=0.956223 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): 604.192
CPU time (s): 2400.37
CPU user time (s): 2399.42
CPU system time (s): 0.956223
CPU usage (%): 397.287
Max. virtual memory (cumulated for all children) (KiB): 15798844
Max. memory (cumulated for all children) (KiB): 1244620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.42
system time used= 0.956223
maximum resident set size= 1243188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281087
page faults= 0
swaps= 0
block input operations= 0
block output operations= 888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19706
involuntary context switches= 43621
# summary of solver processes directly reported to runsolver:
# pid: 4354,4357
# total CPU time (s): 2400.37
# total CPU user time (s): 2399.42
# total CPU system time (s): 0.956223
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.77733 second user time and 6.95817 second system time
The end