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 (8809 MiB free)
memory of node 1: 16384 MiB (9559 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393062-1568343694/watcher-4393062-1568343694 -o /tmp/evaluation-result-4393062-1568343694/solver-4393062-1568343694 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4479 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1958904147 HOME/instance-4393062-1568343694.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4810, runsolver pid=4807
[startup+0.105561 s]*
/proc/loadavg: 7.91 5.32 3.04 8/235 4826
/proc/meminfo: memFree=18793728/32770624 swapFree=66959216/67108860
[pid=4810] ppid=4807 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4810/stat : 4810 (xcsp3-exec) S 4807 4810 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410309624 115843072 363 33554432000 4194304 5098028 140728504031792 140728504029896 140615434723964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30793728 140728504034170 140728504034413 140728504034413 140728504037322 0
/proc/4810/statm: 28282 363 304 221 0 87 0
[pid=4812] ppid=4810 vsize=15144768 memory=29128 CPUtime=0.14 cores=1,3,5,7
/proc/4812/stat : 4812 (java) S 4810 4810 3331 0 -1 1077944320 5729 0 0 0 13 1 0 0 20 0 15 0 410309624 15508242432 7282 33554432000 4194304 4196468 140723265534800 140723265517344 140081845120759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
/proc/4812/statm: 3786192 7282 3184 1 0 3748377 0
[pid=4812/tid=4813] ppid=4810 vsize=15144768 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/4812/task/4813/stat : 4813 (java) R 4810 4810 3331 0 -1 4202560 3586 0 0 0 9 0 0 0 20 0 15 0 410309625 15508242432 7282 33554432000 4194304 4196468 140723265534800 140081849343456 140081845132694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4814] ppid=4810 vsize=15144768 memory=3472468451749180624 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4814/stat : 4814 (java) S 4810 4810 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410309625 15508242432 7282 33554432000 4194304 4196468 140723265534800 140081773161104 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4815] ppid=4810 vsize=15144768 memory=140322854028928 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4815/stat : 4815 (java) S 4810 4810 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410309626 15508242432 7282 33554432000 4194304 4196468 140723265534800 140081772108304 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4816] ppid=4810 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4816/stat : 4816 (java) S 4810 4810 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410309626 15508242432 7282 33554432000 4194304 4196468 140723265534800 140081771055504 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4817] ppid=4810 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4817/stat : 4817 (java) S 4810 4810 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410309626 15508242432 7282 33554432000 4194304 4196468 140723265534800 140081770002704 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4818] ppid=4810 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4818/stat : 4818 (java) S 4810 4810 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410309627 15508242432 7282 33554432000 4194304 4196468 140723265534800 140080719133552 140081845131906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4819] ppid=4810 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4819/stat : 4819 (java) S 4810 4810 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410309627 15508242432 7282 33554432000 4194304 4196468 140723265534800 140080718079520 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4820] ppid=4810 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4820/stat : 4820 (java) S 4810 4810 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410309628 15508242432 7282 33554432000 4194304 4196468 140723265534800 140080717026672 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4821] ppid=4810 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4821/stat : 4821 (java) S 4810 4810 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410309630 15508242432 7282 33554432000 4194304 4196468 140723265534800 140080715974992 140081845139355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4822] ppid=4810 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4822/stat : 4822 (java) S 4810 4810 3331 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 410309630 15508242432 7282 33554432000 4194304 4196468 140723265534800 140080714922352 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4823] ppid=4810 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4823/stat : 4823 (java) S 4810 4810 3331 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 15 0 410309630 15508242432 7282 33554432000 4194304 4196468 140723265534800 140080713869552 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4824] ppid=4810 vsize=15144768 memory=140322854028928 CPUtime=0.02 cores=1,3,5,7
/proc/4812/task/4824/stat : 4824 (java) R 4810 4810 3331 0 -1 4202560 374 0 0 0 2 0 0 0 20 0 15 0 410309630 15508242432 7282 33554432000 4194304 4196468 140723265534800 140080712816752 140081824165248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4825] ppid=4810 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4825/stat : 4825 (java) S 4810 4810 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410309630 15508242432 7282 33554432000 4194304 4196468 140723265534800 140080711764192 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4826] ppid=4810 vsize=15144768 memory=140322854028928 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4826/stat : 4826 (java) S 4810 4810 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410309630 15508242432 7282 33554432000 4194304 4196468 140723265534800 140080710712496 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30580 KiB
[startup+0.210937 s]*
/proc/loadavg: 7.91 5.32 3.04 6/235 4826
/proc/meminfo: memFree=18780240/32770624 swapFree=66959216/67108860
[pid=4810] ppid=4807 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4810/stat : 4810 (xcsp3-exec) S 4807 4810 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410309624 115843072 363 33554432000 4194304 5098028 140728504031792 140728504029896 140615434723964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30793728 140728504034170 140728504034413 140728504034413 140728504037322 0
/proc/4810/statm: 28282 363 304 221 0 87 0
[pid=4812] ppid=4810 vsize=15144768 memory=40920 CPUtime=0.35 cores=1,3,5,7
/proc/4812/stat : 4812 (java) S 4810 4810 3331 0 -1 1077944320 9479 0 0 0 32 3 0 0 20 0 15 0 410309624 15508242432 10230 33554432000 4194304 4196468 140723265534800 140723265517344 140081845120759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
/proc/4812/statm: 3786192 10230 3309 1 0 3748377 0
[pid=4812/tid=4813] ppid=4810 vsize=15144768 memory=4212167822348820889 CPUtime=0.2 cores=1,3,5,7
/proc/4812/task/4813/stat : 4813 (java) R 4810 4810 3331 0 -1 4202560 6619 0 0 0 18 2 0 0 20 0 15 0 410309625 15508242432 10230 33554432000 4194304 4196468 140723265534800 140081849356560 140081845142685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4814] ppid=4810 vsize=15144768 memory=3472468451749180624 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4814/stat : 4814 (java) S 4810 4810 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410309625 15508242432 10230 33554432000 4194304 4196468 140723265534800 140081773161104 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4815] ppid=4810 vsize=15144768 memory=140322854028928 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4815/stat : 4815 (java) S 4810 4810 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410309626 15508242432 10230 33554432000 4194304 4196468 140723265534800 140081772108304 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4816] ppid=4810 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4816/stat : 4816 (java) S 4810 4810 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410309626 15508242432 10230 33554432000 4194304 4196468 140723265534800 140081771055504 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4817] ppid=4810 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4817/stat : 4817 (java) S 4810 4810 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410309626 15508242432 10230 33554432000 4194304 4196468 140723265534800 140081770002704 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4818] ppid=4810 vsize=15144768 memory=140322854028928 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4818/stat : 4818 (java) S 4810 4810 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410309627 15508242432 10230 33554432000 4194304 4196468 140723265534800 140080719133552 140081845131906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4819] ppid=4810 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4819/stat : 4819 (java) S 4810 4810 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410309627 15508242432 10230 33554432000 4194304 4196468 140723265534800 140080718079520 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4820] ppid=4810 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4820/stat : 4820 (java) S 4810 4810 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410309628 15508242432 10230 33554432000 4194304 4196468 140723265534800 140080717026672 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4821] ppid=4810 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4821/stat : 4821 (java) S 4810 4810 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410309630 15508242432 10230 33554432000 4194304 4196468 140723265534800 140080715974992 140081845139355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4822] ppid=4810 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4812/task/4822/stat : 4822 (java) R 4810 4810 3331 0 -1 4202560 309 0 0 0 1 0 0 0 20 0 15 0 410309630 15508242432 10230 33554432000 4194304 4196468 140723265534800 140080714922352 140081845142106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4823] ppid=4810 vsize=15144768 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/4812/task/4823/stat : 4823 (java) S 4810 4810 3331 0 -1 1077944384 487 0 0 0 3 0 0 0 20 0 15 0 410309630 15508242432 10230 33554432000 4194304 4196468 140723265534800 140080713869552 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4824] ppid=4810 vsize=15144768 memory=140322854028928 CPUtime=0.08 cores=1,3,5,7
/proc/4812/task/4824/stat : 4824 (java) S 4810 4810 3331 0 -1 1077944384 762 0 0 0 8 0 0 0 20 0 15 0 410309630 15508242432 10230 33554432000 4194304 4196468 140723265534800 140080712816752 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4825] ppid=4810 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4825/stat : 4825 (java) S 4810 4810 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410309630 15508242432 10294 33554432000 4194304 4196468 140723265534800 140080711764192 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4826] ppid=4810 vsize=15144768 memory=140322854028928 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4826/stat : 4826 (java) S 4810 4810 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410309630 15508242432 10294 33554432000 4194304 4196468 140723265534800 140080710712496 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42372 KiB
[startup+0.310651 s]*
/proc/loadavg: 7.91 5.32 3.04 7/235 4826
/proc/meminfo: memFree=18772844/32770624 swapFree=66959216/67108860
[pid=4810] ppid=4807 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4810/stat : 4810 (xcsp3-exec) S 4807 4810 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410309624 115843072 363 33554432000 4194304 5098028 140728504031792 140728504029896 140615434723964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30793728 140728504034170 140728504034413 140728504034413 140728504037322 0
/proc/4810/statm: 28282 363 304 221 0 87 0
[pid=4812] ppid=4810 vsize=15149024 memory=50188 CPUtime=0.53 cores=1,3,5,7
/proc/4812/stat : 4812 (java) S 4810 4810 3331 0 -1 1077944320 10915 0 0 0 50 3 0 0 20 0 15 0 410309624 15512600576 12547 33554432000 4194304 4196468 140723265534800 140723265517344 140081845120759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
/proc/4812/statm: 3787256 12547 3368 1 0 3748377 0
[pid=4812/tid=4813] ppid=4810 vsize=15149024 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/4812/task/4813/stat : 4813 (java) R 4810 4810 3331 0 -1 4202560 7828 0 0 0 27 2 0 0 20 0 15 0 410309625 15512600576 12547 33554432000 4194304 4196468 140723265534800 140081849357584 140081830800925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4814] ppid=4810 vsize=15149024 memory=3472468451749180624 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4814/stat : 4814 (java) S 4810 4810 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410309625 15512600576 12547 33554432000 4194304 4196468 140723265534800 140081773161104 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4815] ppid=4810 vsize=15149024 memory=140322854028928 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4815/stat : 4815 (java) S 4810 4810 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410309626 15512600576 12547 33554432000 4194304 4196468 140723265534800 140081772108304 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4816] ppid=4810 vsize=15149024 memory=3 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4816/stat : 4816 (java) S 4810 4810 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410309626 15512600576 12547 33554432000 4194304 4196468 140723265534800 140081771055504 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4817] ppid=4810 vsize=15149024 memory=140322755717151 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4817/stat : 4817 (java) S 4810 4810 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410309626 15512600576 12547 33554432000 4194304 4196468 140723265534800 140081770002704 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4818] ppid=4810 vsize=15149024 memory=280645511413536 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4818/stat : 4818 (java) S 4810 4810 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410309627 15512600576 12547 33554432000 4194304 4196468 140723265534800 140080719133552 140081845131906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4819] ppid=4810 vsize=15149024 memory=140322755694095 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4819/stat : 4819 (java) S 4810 4810 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410309627 15512600576 12547 33554432000 4194304 4196468 140723265534800 140080718079520 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4820] ppid=4810 vsize=15149024 memory=280645609732192 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4820/stat : 4820 (java) S 4810 4810 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410309628 15512600576 12547 33554432000 4194304 4196468 140723265534800 140080717026672 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4821] ppid=4810 vsize=15149024 memory=140322755698703 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4821/stat : 4821 (java) S 4810 4810 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410309630 15512600576 12547 33554432000 4194304 4196468 140723265534800 140080715974992 140081845139355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4822] ppid=4810 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4812/task/4822/stat : 4822 (java) S 4810 4810 3331 0 -1 1077944384 355 0 0 0 3 0 0 0 20 0 15 0 410309630 15512600576 12547 33554432000 4194304 4196468 140723265534800 140080714922352 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4823] ppid=4810 vsize=15149024 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/4812/task/4823/stat : 4823 (java) S 4810 4810 3331 0 -1 1077944384 585 0 0 0 6 0 0 0 20 0 15 0 410309630 15512600576 12547 33554432000 4194304 4196468 140723265534800 140080713869552 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4824] ppid=4810 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4812/task/4824/stat : 4824 (java) S 4810 4810 3331 0 -1 1077944384 850 0 0 0 12 0 0 0 20 0 15 0 410309630 15512600576 12547 33554432000 4194304 4196468 140723265534800 140080712816752 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4825] ppid=4810 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4825/stat : 4825 (java) S 4810 4810 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410309630 15512600576 12547 33554432000 4194304 4196468 140723265534800 140080711764192 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4826] ppid=4810 vsize=15149024 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4826/stat : 4826 (java) S 4810 4810 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410309630 15512600576 12547 33554432000 4194304 4196468 140723265534800 140080710712496 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51640 KiB
[startup+0.701522 s]
/proc/loadavg: 7.91 5.32 3.04 9/235 4826
/proc/meminfo: memFree=18750028/32770624 swapFree=66959216/67108860
[pid=4810] ppid=4807 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4810/stat : 4810 (xcsp3-exec) S 4807 4810 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410309624 115843072 363 33554432000 4194304 5098028 140728504031792 140728504029896 140615434723964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30793728 140728504034170 140728504034413 140728504034413 140728504037322 0
/proc/4810/statm: 28282 363 304 221 0 87 0
[pid=4812] ppid=4810 vsize=15151148 memory=113948 CPUtime=1.79 cores=1,3,5,7
/proc/4812/stat : 4812 (java) S 4810 4810 3331 0 -1 1077944320 15044 0 0 0 173 6 0 0 20 0 15 0 410309624 15514775552 28487 33554432000 4194304 4196468 140723265534800 140723265517344 140081845120759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
/proc/4812/statm: 3787787 28487 3450 1 0 3748889 0
[pid=4812/tid=4813] ppid=4810 vsize=15151148 memory=4639059877604708710 CPUtime=0.68 cores=1,3,5,7
/proc/4812/task/4813/stat : 4813 (java) R 4810 4810 3331 0 -1 4202560 8931 0 0 0 64 4 0 0 20 0 15 0 410309625 15514775552 28487 33554432000 4194304 4196468 140723265534800 140081849359088 140081845132694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4814] ppid=4810 vsize=15151148 memory=6935650355287975249 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4814/stat : 4814 (java) S 4810 4810 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410309625 15514775552 28487 33554432000 4194304 4196468 140723265534800 140081773161104 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4815] ppid=4810 vsize=15151148 memory=6935649255928589649 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4815/stat : 4815 (java) S 4810 4810 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410309626 15514775552 28487 33554432000 4194304 4196468 140723265534800 140081772108304 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4816] ppid=4810 vsize=15151148 memory=7825734864442108491 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4816/stat : 4816 (java) S 4810 4810 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410309626 15514775552 28487 33554432000 4194304 4196468 140723265534800 140081771055504 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4817] ppid=4810 vsize=15151148 memory=7100839870140027543 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4817/stat : 4817 (java) S 4810 4810 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410309626 15514775552 28487 33554432000 4194304 4196468 140723265534800 140081770002704 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4818] ppid=4810 vsize=15151148 memory=6944613755328037012 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4818/stat : 4818 (java) S 4810 4810 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410309627 15514775552 28487 33554432000 4194304 4196468 140723265534800 140080719133552 140081845131906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4819] ppid=4810 vsize=15151148 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4819/stat : 4819 (java) S 4810 4810 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410309627 15514775552 28487 33554432000 4194304 4196468 140723265534800 140080718079520 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4820] ppid=4810 vsize=15151148 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4820/stat : 4820 (java) S 4810 4810 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410309628 15514775552 28487 33554432000 4194304 4196468 140723265534800 140080717026672 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4821] ppid=4810 vsize=15151148 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4821/stat : 4821 (java) S 4810 4810 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410309630 15514775552 28487 33554432000 4194304 4196468 140723265534800 140080715974992 140081845139355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4822] ppid=4810 vsize=15151148 memory=1660 CPUtime=0.36 cores=1,3,5,7
/proc/4812/task/4822/stat : 4822 (java) R 4810 4810 3331 0 -1 4202560 1183 0 0 0 36 0 0 0 20 0 15 0 410309630 15514775552 28487 33554432000 4194304 4196468 140723265534800 140080714913680 140081824377183 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4823] ppid=4810 vsize=15151148 memory=38636 CPUtime=0.38 cores=1,3,5,7
/proc/4812/task/4823/stat : 4823 (java) R 4810 4810 3331 0 -1 4202560 1705 0 0 0 38 0 0 0 20 0 15 0 410309630 15514775552 28487 33554432000 4194304 4196468 140723265534800 140080713856096 140081826665248 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4824] ppid=4810 vsize=15151148 memory=988 CPUtime=0.34 cores=1,3,5,7
/proc/4812/task/4824/stat : 4824 (java) S 4810 4810 3331 0 -1 1077944384 1918 0 0 0 34 0 0 0 20 0 15 0 410309630 15514775552 28487 33554432000 4194304 4196468 140723265534800 140080712816752 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4825] ppid=4810 vsize=15151148 memory=5793994532452520804 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4825/stat : 4825 (java) S 4810 4810 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410309630 15514775552 28487 33554432000 4194304 4196468 140723265534800 140080711764192 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4826] ppid=4810 vsize=15151148 memory=8099279071866868836 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4826/stat : 4826 (java) S 4810 4810 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410309630 15514775552 28487 33554432000 4194304 4196468 140723265534800 140080710712496 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 115400 KiB
[startup+1.50076 s]
/proc/loadavg: 7.91 5.32 3.04 8/235 4826
/proc/meminfo: memFree=18645772/32770624 swapFree=66959216/67108860
[pid=4810] ppid=4807 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4810/stat : 4810 (xcsp3-exec) S 4807 4810 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410309624 115843072 363 33554432000 4194304 5098028 140728504031792 140728504029896 140615434723964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30793728 140728504034170 140728504034413 140728504034413 140728504037322 0
/proc/4810/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/4812/stat : 4812 (java) S 4810 4810 3331 0 -1 1077944320 75858 0 0 0 207713 69 0 0 20 0 19 0 410309624 15787421696 514531 33554432000 4194304 4196468 140723265534800 140723265517344 140081845120759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
/proc/4812/statm: 3854351 514531 3519 1 0 3815453 0
[pid=4812/tid=4813] ppid=4810 vsize=15417404 memory=2058124 CPUtime=1.33 cores=1,3,5,7
/proc/4812/task/4813/stat : 4813 (java) S 4810 4810 3331 0 -1 1077944384 9790 0 0 0 128 5 0 0 20 0 19 0 410309625 15787421696 514531 33554432000 4194304 4196468 140723265534800 140081849361536 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4814] ppid=4810 vsize=15417404 memory=2058124 CPUtime=0.23 cores=1,3,5,7
/proc/4812/task/4814/stat : 4814 (java) S 4810 4810 3331 0 -1 1077944384 2743 0 0 0 17 6 0 0 20 0 19 0 410309625 15787421696 514531 33554432000 4194304 4196468 140723265534800 140081773161104 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4815] ppid=4810 vsize=15417404 memory=2058124 CPUtime=0.21 cores=1,3,5,7
/proc/4812/task/4815/stat : 4815 (java) S 4810 4810 3331 0 -1 1077944384 2454 0 0 0 16 5 0 0 20 0 19 0 410309626 15787421696 514531 33554432000 4194304 4196468 140723265534800 140081772108304 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4816] ppid=4810 vsize=15417404 memory=984 CPUtime=0.22 cores=1,3,5,7
/proc/4812/task/4816/stat : 4816 (java) S 4810 4810 3331 0 -1 1077944384 3197 0 0 0 16 6 0 0 20 0 19 0 410309626 15787421696 514531 33554432000 4194304 4196468 140723265534800 140081771055504 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4817] ppid=4810 vsize=15417404 memory=2058124 CPUtime=0.22 cores=1,3,5,7
/proc/4812/task/4817/stat : 4817 (java) S 4810 4810 3331 0 -1 1077944384 1449 0 0 0 16 6 0 0 20 0 19 0 410309626 15787421696 514531 33554432000 4194304 4196468 140723265534800 140081770002704 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4818] ppid=4810 vsize=15417404 memory=2058124 CPUtime=0.04 cores=1,3,5,7
/proc/4812/task/4818/stat : 4818 (java) S 4810 4810 3331 0 -1 1077944384 3152 0 0 0 2 2 0 0 20 0 19 0 410309627 15787421696 514531 33554432000 4194304 4196468 140723265534800 140080719133552 140081845131906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4819] ppid=4810 vsize=15417404 memory=122143 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4819/stat : 4819 (java) S 4810 4810 3331 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 410309627 15787421696 514531 33554432000 4194304 4196468 140723265534800 140080718079584 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4820] ppid=4810 vsize=15417404 memory=133 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4820/stat : 4820 (java) S 4810 4810 3331 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 410309628 15787421696 514531 33554432000 4194304 4196468 140723265534800 140080717026688 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4821] ppid=4810 vsize=15417404 memory=2058124 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4821/stat : 4821 (java) S 4810 4810 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410309630 15787421696 514531 33554432000 4194304 4196468 140723265534800 140080715974992 140081845139355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4822] ppid=4810 vsize=15417404 memory=1452 CPUtime=2.11 cores=1,3,5,7
/proc/4812/task/4822/stat : 4822 (java) S 4810 4810 3331 0 -1 1077944384 9623 0 0 0 210 1 0 0 20 0 19 0 410309630 15787421696 514531 33554432000 4194304 4196468 140723265534800 140080714922352 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4823] ppid=4810 vsize=15417404 memory=2008 CPUtime=2.02 cores=1,3,5,7
/proc/4812/task/4823/stat : 4823 (java) S 4810 4810 3331 0 -1 1077944384 10205 0 0 0 201 1 0 0 20 0 19 0 410309630 15787421696 514531 33554432000 4194304 4196468 140723265534800 140080713869552 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4824] ppid=4810 vsize=15417404 memory=1436 CPUtime=0.7 cores=1,3,5,7
/proc/4812/task/4824/stat : 4824 (java) S 4810 4810 3331 0 -1 1077944384 7080 0 0 0 69 1 0 0 20 0 19 0 410309630 15787421696 514531 33554432000 4194304 4196468 140723265534800 140080712816752 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4825] ppid=4810 vsize=15417404 memory=280645512577552 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4825/stat : 4825 (java) S 4810 4810 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410309630 15787421696 514531 33554432000 4194304 4196468 140723265534800 140080711764192 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4826] ppid=4810 vsize=15417404 memory=280645512577616 CPUtime=0.15 cores=1,3,5,7
/proc/4812/task/4826/stat : 4826 (java) S 4810 4810 3331 0 -1 1077944384 738 0 0 0 15 0 0 0 20 0 19 0 410309630 15787421696 514531 33554432000 4194304 4196468 140723265534800 140080710712496 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4827] ppid=4810 vsize=15417404 memory=1760 CPUtime=517.59 cores=1,3,5,7
/proc/4812/task/4827/stat : 4827 (java) R 4810 4810 3331 0 -1 4202560 1792 0 0 0 51757 2 0 0 20 0 19 0 410309764 15787421696 514531 33554432000 4194304 4196468 140723265534800 140080701501272 140081456202271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4828] ppid=4810 vsize=15417404 memory=111636 CPUtime=516.95 cores=1,3,5,7
/proc/4812/task/4828/stat : 4828 (java) R 4810 4810 3331 0 -1 4202560 9300 0 0 0 51683 12 0 0 20 0 19 0 410309764 15787421696 514531 33554432000 4194304 4196468 140723265534800 140080700448832 140081457033658 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4829] ppid=4810 vsize=15417404 memory=1452 CPUtime=517.73 cores=1,3,5,7
/proc/4812/task/4829/stat : 4829 (java) R 4810 4810 3331 0 -1 4202560 1527 0 0 0 51771 2 0 0 20 0 19 0 410309764 15787421696 514531 33554432000 4194304 4196468 140723265534800 140080699399120 140081455408495 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4830] ppid=4810 vsize=15417404 memory=1452 CPUtime=518.19 cores=1,3,5,7
/proc/4812/task/4830/stat : 4830 (java) R 4810 4810 3331 0 -1 4202560 11447 0 0 0 51805 14 0 0 20 0 19 0 410309765 15787421696 514531 33554432000 4194304 4196468 140723265534800 140080698343464 140081455777141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
Current children cumulated CPU time: 2077.82 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 2059576 KiB
[startup+582.302 s]
/proc/loadavg: 8.94 8.15 5.62 9/238 4988
/proc/meminfo: memFree=17326804/32770624 swapFree=66959216/67108860
[pid=4810] ppid=4807 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4810/stat : 4810 (xcsp3-exec) S 4807 4810 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410309624 115843072 363 33554432000 4194304 5098028 140728504031792 140728504029896 140615434723964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30793728 140728504034170 140728504034413 140728504034413 140728504037322 0
/proc/4810/statm: 28282 363 304 221 0 87 0
[pid=4812] ppid=4810 vsize=15417404 memory=1998604 CPUtime=2316.63 cores=1,3,5,7
/proc/4812/stat : 4812 (java) S 4810 4810 3331 0 -1 1077944320 79439 0 0 0 231592 71 0 0 20 0 19 0 410309624 15787421696 499651 33554432000 4194304 4196468 140723265534800 140723265517344 140081845120759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
/proc/4812/statm: 3854351 499651 3519 1 0 3815453 0
[pid=4812/tid=4813] ppid=4810 vsize=15417404 memory=1452 CPUtime=1.33 cores=1,3,5,7
/proc/4812/task/4813/stat : 4813 (java) S 4810 4810 3331 0 -1 1077944384 9790 0 0 0 128 5 0 0 20 0 19 0 410309625 15787421696 499651 33554432000 4194304 4196468 140723265534800 140081849361536 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4814] ppid=4810 vsize=15417404 memory=1998604 CPUtime=0.25 cores=1,3,5,7
/proc/4812/task/4814/stat : 4814 (java) S 4810 4810 3331 0 -1 1077944384 2888 0 0 0 19 6 0 0 20 0 19 0 410309625 15787421696 499651 33554432000 4194304 4196468 140723265534800 140081773161104 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4815] ppid=4810 vsize=15417404 memory=2011432 CPUtime=0.23 cores=1,3,5,7
/proc/4812/task/4815/stat : 4815 (java) S 4810 4810 3331 0 -1 1077944384 2928 0 0 0 18 5 0 0 20 0 19 0 410309626 15787421696 499651 33554432000 4194304 4196468 140723265534800 140081772108304 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4816] ppid=4810 vsize=15417404 memory=1452 CPUtime=0.25 cores=1,3,5,7
/proc/4812/task/4816/stat : 4816 (java) S 4810 4810 3331 0 -1 1077944384 3280 0 0 0 19 6 0 0 20 0 19 0 410309626 15787421696 499651 33554432000 4194304 4196468 140723265534800 140081771055504 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4817] ppid=4810 vsize=15417404 memory=2011432 CPUtime=0.25 cores=1,3,5,7
/proc/4812/task/4817/stat : 4817 (java) S 4810 4810 3331 0 -1 1077944384 1553 0 0 0 19 6 0 0 20 0 19 0 410309626 15787421696 499651 33554432000 4194304 4196468 140723265534800 140081770002704 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4818] ppid=4810 vsize=15417404 memory=1452 CPUtime=0.07 cores=1,3,5,7
/proc/4812/task/4818/stat : 4818 (java) S 4810 4810 3331 0 -1 1077944384 3518 0 0 0 3 4 0 0 20 0 19 0 410309627 15787421696 499651 33554432000 4194304 4196468 140723265534800 140080719133552 140081845131906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4819] ppid=4810 vsize=15417404 memory=2011432 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4819/stat : 4819 (java) S 4810 4810 3331 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 410309627 15787421696 499651 33554432000 4194304 4196468 140723265534800 140080718079584 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4820] ppid=4810 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4820/stat : 4820 (java) S 4810 4810 3331 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 410309628 15787421696 499651 33554432000 4194304 4196468 140723265534800 140080717026688 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4821] ppid=4810 vsize=15417404 memory=2011432 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4821/stat : 4821 (java) S 4810 4810 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410309630 15787421696 499651 33554432000 4194304 4196468 140723265534800 140080715974992 140081845139355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4822] ppid=4810 vsize=15417404 memory=1556 CPUtime=2.11 cores=1,3,5,7
/proc/4812/task/4822/stat : 4822 (java) S 4810 4810 3331 0 -1 1077944384 9626 0 0 0 210 1 0 0 20 0 19 0 410309630 15787421696 499651 33554432000 4194304 4196468 140723265534800 140080714922352 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4823] ppid=4810 vsize=15417404 memory=928 CPUtime=2.02 cores=1,3,5,7
/proc/4812/task/4823/stat : 4823 (java) S 4810 4810 3331 0 -1 1077944384 10207 0 0 0 201 1 0 0 20 0 19 0 410309630 15787421696 499651 33554432000 4194304 4196468 140723265534800 140080713869552 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4824] ppid=4810 vsize=15417404 memory=2011432 CPUtime=0.7 cores=1,3,5,7
/proc/4812/task/4824/stat : 4824 (java) S 4810 4810 3331 0 -1 1077944384 7082 0 0 0 69 1 0 0 20 0 19 0 410309630 15787421696 499651 33554432000 4194304 4196468 140723265534800 140080712816752 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4825] ppid=4810 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4825/stat : 4825 (java) S 4810 4810 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410309630 15787421696 499651 33554432000 4194304 4196468 140723265534800 140080711764192 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4826] ppid=4810 vsize=15417404 memory=1660 CPUtime=0.17 cores=1,3,5,7
/proc/4812/task/4826/stat : 4826 (java) S 4810 4810 3331 0 -1 1077944384 766 0 0 0 17 0 0 0 20 0 19 0 410309630 15787421696 499651 33554432000 4194304 4196468 140723265534800 140080710712496 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4827] ppid=4810 vsize=15417404 memory=38660 CPUtime=577.52 cores=1,3,5,7
/proc/4812/task/4827/stat : 4827 (java) R 4810 4810 3331 0 -1 4202560 2226 0 0 0 57750 2 0 0 20 0 19 0 410309764 15787421696 499651 33554432000 4194304 4196468 140723265534800 140080701501272 140081455383090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4828] ppid=4810 vsize=15417404 memory=8112282956445269571 CPUtime=576.09 cores=1,3,5,7
/proc/4812/task/4828/stat : 4828 (java) R 4810 4810 3331 0 -1 4202560 10170 0 0 0 57597 12 0 0 20 0 19 0 410309764 15787421696 499651 33554432000 4194304 4196468 140723265534800 140080700448832 140081457033726 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4829] ppid=4810 vsize=15417404 memory=3620 CPUtime=577.63 cores=1,3,5,7
/proc/4812/task/4829/stat : 4829 (java) R 4810 4810 3331 0 -1 4202560 1788 0 0 0 57761 2 0 0 20 0 19 0 410309764 15787421696 499651 33554432000 4194304 4196468 140723265534800 140080699399232 140081456395553 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4830] ppid=4810 vsize=15417404 memory=1660 CPUtime=577.88 cores=1,3,5,7
/proc/4812/task/4830/stat : 4830 (java) R 4810 4810 3331 0 -1 4202560 12256 0 0 0 57773 15 0 0 20 0 19 0 410309765 15787421696 499651 33554432000 4194304 4196468 140723265534800 140080698343480 140081455777214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
Current children cumulated CPU time: 2316.63 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 2000056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.402 s]
/proc/loadavg: 8.63 8.20 5.77 9/238 4992
/proc/meminfo: memFree=17380332/32770624 swapFree=66959216/67108860
[pid=4810] ppid=4807 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4810/stat : 4810 (xcsp3-exec) S 4807 4810 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410309624 115843072 363 33554432000 4194304 5098028 140728504031792 140728504029896 140615434723964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30793728 140728504034170 140728504034413 140728504034413 140728504037322 0
/proc/4810/statm: 28282 363 304 221 0 87 0
[pid=4812] ppid=4810 vsize=15417404 memory=1955504 CPUtime=2520.06 cores=1,3,5,7
/proc/4812/stat : 4812 (java) S 4810 4810 3331 0 -1 1077944320 82276 0 0 0 251934 72 0 0 20 0 19 0 410309624 15787421696 488876 33554432000 4194304 4196468 140723265534800 140723265517344 140081845120759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
/proc/4812/statm: 3854351 488876 3519 1 0 3815453 0
[pid=4812/tid=4813] ppid=4810 vsize=15417404 memory=14412618282567451 CPUtime=1.33 cores=1,3,5,7
/proc/4812/task/4813/stat : 4813 (java) S 4810 4810 3331 0 -1 1077944384 9790 0 0 0 128 5 0 0 20 0 19 0 410309625 15787421696 488876 33554432000 4194304 4196468 140723265534800 140081849361536 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4814] ppid=4810 vsize=15417404 memory=20684 CPUtime=0.27 cores=1,3,5,7
/proc/4812/task/4814/stat : 4814 (java) S 4810 4810 3331 0 -1 1077944384 2915 0 0 0 21 6 0 0 20 0 19 0 410309625 15787421696 488876 33554432000 4194304 4196468 140723265534800 140081773161104 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4815] ppid=4810 vsize=15417404 memory=14048 CPUtime=0.25 cores=1,3,5,7
/proc/4812/task/4815/stat : 4815 (java) S 4810 4810 3331 0 -1 1077944384 2954 0 0 0 20 5 0 0 20 0 19 0 410309626 15787421696 488876 33554432000 4194304 4196468 140723265534800 140081772108304 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4816] ppid=4810 vsize=15417404 memory=2584 CPUtime=0.26 cores=1,3,5,7
/proc/4812/task/4816/stat : 4816 (java) S 4810 4810 3331 0 -1 1077944384 3525 0 0 0 20 6 0 0 20 0 19 0 410309626 15787421696 488876 33554432000 4194304 4196468 140723265534800 140081771055504 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4817] ppid=4810 vsize=15417404 memory=2588 CPUtime=0.26 cores=1,3,5,7
/proc/4812/task/4817/stat : 4817 (java) S 4810 4810 3331 0 -1 1077944384 1611 0 0 0 20 6 0 0 20 0 19 0 410309626 15787421696 488876 33554432000 4194304 4196468 140723265534800 140081770002704 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4818] ppid=4810 vsize=15417404 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/4812/task/4818/stat : 4818 (java) S 4810 4810 3331 0 -1 1077944384 3539 0 0 0 4 4 0 0 20 0 19 0 410309627 15787421696 488876 33554432000 4194304 4196468 140723265534800 140080719133552 140081845131906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4819] ppid=4810 vsize=15417404 memory=3440 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4819/stat : 4819 (java) S 4810 4810 3331 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 410309627 15787421696 488876 33554432000 4194304 4196468 140723265534800 140080718079584 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4820] ppid=4810 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4820/stat : 4820 (java) S 4810 4810 3331 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 410309628 15787421696 488876 33554432000 4194304 4196468 140723265534800 140080717026688 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4821] ppid=4810 vsize=15417404 memory=1956532 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4821/stat : 4821 (java) S 4810 4810 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410309630 15787421696 488876 33554432000 4194304 4196468 140723265534800 140080715974992 140081845139355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4822] ppid=4810 vsize=15417404 memory=1412 CPUtime=2.11 cores=1,3,5,7
/proc/4812/task/4822/stat : 4822 (java) S 4810 4810 3331 0 -1 1077944384 10061 0 0 0 210 1 0 0 20 0 19 0 410309630 15787421696 488876 33554432000 4194304 4196468 140723265534800 140080714922352 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4823] ppid=4810 vsize=15417404 memory=3240 CPUtime=2.02 cores=1,3,5,7
/proc/4812/task/4823/stat : 4823 (java) S 4810 4810 3331 0 -1 1077944384 10209 0 0 0 201 1 0 0 20 0 19 0 410309630 15787421696 488876 33554432000 4194304 4196468 140723265534800 140080713869552 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4824] ppid=4810 vsize=15417404 memory=1448 CPUtime=0.7 cores=1,3,5,7
/proc/4812/task/4824/stat : 4824 (java) S 4810 4810 3331 0 -1 1077944384 7084 0 0 0 69 1 0 0 20 0 19 0 410309630 15787421696 488876 33554432000 4194304 4196468 140723265534800 140080712816752 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4825] ppid=4810 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4812/task/4825/stat : 4825 (java) S 4810 4810 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410309630 15787421696 488876 33554432000 4194304 4196468 140723265534800 140080711764192 140081845130965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4826] ppid=4810 vsize=15417404 memory=1956532 CPUtime=0.18 cores=1,3,5,7
/proc/4812/task/4826/stat : 4826 (java) S 4810 4810 3331 0 -1 1077944384 776 0 0 0 18 0 0 0 20 0 19 0 410309630 15787421696 488876 33554432000 4194304 4196468 140723265534800 140080710712496 140081845131906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4827] ppid=4810 vsize=15417404 memory=1412 CPUtime=628.41 cores=1,3,5,7
/proc/4812/task/4827/stat : 4827 (java) R 4810 4810 3331 0 -1 4202560 2321 0 0 0 62839 2 0 0 20 0 19 0 410309764 15787421696 488876 33554432000 4194304 4196468 140723265534800 140080701500776 140081455408438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4828] ppid=4810 vsize=15417404 memory=3240 CPUtime=626.47 cores=1,3,5,7
/proc/4812/task/4828/stat : 4828 (java) R 4810 4810 3331 0 -1 4202560 10458 0 0 0 62635 12 0 0 20 0 19 0 410309764 15787421696 488876 33554432000 4194304 4196468 140723265534800 140080700448816 140081457034109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4829] ppid=4810 vsize=15417404 memory=1448 CPUtime=628.65 cores=1,3,5,7
/proc/4812/task/4829/stat : 4829 (java) R 4810 4810 3331 0 -1 4202560 1872 0 0 0 62862 3 0 0 20 0 19 0 410309764 15787421696 488876 33554432000 4194304 4196468 140723265534800 140080699396792 140081456395566 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
[pid=4812/tid=4830] ppid=4810 vsize=15417404 memory=288230591722422566 CPUtime=628.93 cores=1,3,5,7
/proc/4812/task/4830/stat : 4830 (java) R 4810 4810 3331 0 -1 4202560 13800 0 0 0 62878 15 0 0 20 0 19 0 410309765 15787421696 488876 33554432000 4194304 4196468 140723265534800 140080698346096 140081455127502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140723265537007 140723265537178 140723265537178 140723265540047 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1956956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.425 s]
# the end of solver process 4810 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001113 s, system=0.001113 s
[startup+633.501 s]
# the end of solver process 4812 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.68 s, system=0.737674 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): 633.501
CPU time (s): 2520.42
CPU user time (s): 2519.68
CPU system time (s): 0.737674
CPU usage (%): 397.856
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 2191444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.68
system time used= 0.737674
maximum resident set size= 2189992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83336
page faults= 0
swaps= 0
block input operations= 0
block output operations= 800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16514
involuntary context switches= 40108
# summary of solver processes directly reported to runsolver:
# pid: 4810,4812
# total CPU time (s): 2520.42
# total CPU user time (s): 2519.68
# total CPU system time (s): 0.737674
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.09133 second user time and 7.13877 second system time
The end