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 (9886 MiB free)
memory of node 1: 16384 MiB (9377 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394234-1568331734/watcher-4394234-1568331734 -o /tmp/evaluation-result-4394234-1568331734/solver-4394234-1568331734 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18217 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1224094168 HOME/instance-4394234-1568331734.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=28863, runsolver pid=28860
Current StackSize limit: 8192 KiB
[startup+0.100112 s]*
/proc/loadavg: 7.70 8.22 7.71 9/234 28879
/proc/meminfo: memFree=19709160/32770624 swapFree=66959216/67108860
[pid=28863] ppid=28860 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28863/stat : 28863 (xcsp3-exec) S 28860 28863 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409113613 115843072 363 33554432000 4194304 5098028 140728669501760 140728669499864 140706872332924 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39583744 140728669508474 140728669508717 140728669508717 140728669511626 0
/proc/28863/statm: 28282 363 304 221 0 87 0
[pid=28865] ppid=28863 vsize=15144768 memory=29636 CPUtime=0.12 cores=0,2,4,6
/proc/28865/stat : 28865 (java) S 28863 28863 18186 0 -1 1077944320 5804 0 0 0 11 1 0 0 20 0 15 0 409113613 15508242432 7409 33554432000 4194304 4196468 140722400765472 140722400748016 140511075086071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
/proc/28865/statm: 3786192 7409 3153 1 0 3748377 0
[pid=28865/tid=28866] ppid=28863 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/28865/task/28866/stat : 28866 (java) R 28863 28863 18186 0 -1 4202560 3727 0 0 0 8 1 0 0 20 0 15 0 409113613 15508242432 7409 33554432000 4194304 4196468 140722400765472 140511079321296 140511075098006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28867] ppid=28863 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28867/stat : 28867 (java) S 28863 28863 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409113614 15508242432 7409 33554432000 4194304 4196468 140722400765472 140511003126800 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28868] ppid=28863 vsize=15144768 memory=140511452882560 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28868/stat : 28868 (java) S 28863 28863 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409113614 15508242432 7409 33554432000 4194304 4196468 140722400765472 140511002074256 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28869] ppid=28863 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28869/stat : 28869 (java) S 28863 28863 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409113614 15508242432 7409 33554432000 4194304 4196468 140722400765472 140511001021200 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28870] ppid=28863 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28870/stat : 28870 (java) S 28863 28863 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409113614 15508242432 7409 33554432000 4194304 4196468 140722400765472 140510999968656 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28871] ppid=28863 vsize=15144768 memory=140511452882560 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28871/stat : 28871 (java) S 28863 28863 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409113616 15508242432 7409 33554432000 4194304 4196468 140722400765472 140510543640816 140511075097218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28872] ppid=28863 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28872/stat : 28872 (java) S 28863 28863 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409113616 15508242432 7409 33554432000 4194304 4196468 140722400765472 140510542587040 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28873] ppid=28863 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28873/stat : 28873 (java) S 28863 28863 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409113616 15508242432 7409 33554432000 4194304 4196468 140722400765472 140510541533936 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28874] ppid=28863 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28874/stat : 28874 (java) S 28863 28863 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409113619 15508242432 7409 33554432000 4194304 4196468 140722400765472 140510540482512 140511075104667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28875] ppid=28863 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28875/stat : 28875 (java) S 28863 28863 18186 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 409113619 15508242432 7409 33554432000 4194304 4196468 140722400765472 140510539430640 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28876] ppid=28863 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28876/stat : 28876 (java) R 28863 28863 18186 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 15 0 409113619 15508242432 7409 33554432000 4194304 4196468 140722400765472 140510538369488 140511058509901 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28877] ppid=28863 vsize=15144768 memory=140511452882560 CPUtime=0.02 cores=0,2,4,6
/proc/28865/task/28877/stat : 28877 (java) R 28863 28863 18186 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 15 0 409113619 15508242432 7409 33554432000 4194304 4196468 140722400765472 140510537325040 140511075098006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28878] ppid=28863 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28878/stat : 28878 (java) S 28863 28863 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409113619 15508242432 7409 33554432000 4194304 4196468 140722400765472 140510536272736 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28879] ppid=28863 vsize=15144768 memory=140511452882560 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28879/stat : 28879 (java) S 28863 28863 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409113619 15508242432 7409 33554432000 4194304 4196468 140722400765472 140510535219760 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31088 KiB
[startup+0.21094 s]*
/proc/loadavg: 7.70 8.22 7.71 6/235 28881
/proc/meminfo: memFree=19696836/32770624 swapFree=66959216/67108860
[pid=28863] ppid=28860 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28863/stat : 28863 (xcsp3-exec) S 28860 28863 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409113613 115843072 363 33554432000 4194304 5098028 140728669501760 140728669499864 140706872332924 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39583744 140728669508474 140728669508717 140728669508717 140728669511626 0
/proc/28863/statm: 28282 363 304 221 0 87 0
[pid=28865] ppid=28863 vsize=15144768 memory=40928 CPUtime=0.34 cores=0,2,4,6
/proc/28865/stat : 28865 (java) S 28863 28863 18186 0 -1 1077944320 9452 0 0 0 31 3 0 0 20 0 15 0 409113613 15508242432 10232 33554432000 4194304 4196468 140722400765472 140722400748016 140511075086071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
/proc/28865/statm: 3786192 10232 3299 1 0 3748377 0
[pid=28865/tid=28866] ppid=28863 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/28865/task/28866/stat : 28866 (java) R 28863 28863 18186 0 -1 4202560 6626 0 0 0 17 2 0 0 20 0 15 0 409113613 15508242432 10232 33554432000 4194304 4196468 140722400765472 140511079318800 140511075098006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28867] ppid=28863 vsize=15144768 memory=1965945 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28867/stat : 28867 (java) S 28863 28863 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409113614 15508242432 10232 33554432000 4194304 4196468 140722400765472 140511003126800 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28868] ppid=28863 vsize=15144768 memory=4049213268357572256 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28868/stat : 28868 (java) S 28863 28863 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409113614 15508242432 10232 33554432000 4194304 4196468 140722400765472 140511002074256 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28869] ppid=28863 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28869/stat : 28869 (java) S 28863 28863 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409113614 15508242432 10232 33554432000 4194304 4196468 140722400765472 140511001021200 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28870] ppid=28863 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28870/stat : 28870 (java) S 28863 28863 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409113614 15508242432 10232 33554432000 4194304 4196468 140722400765472 140510999968656 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28871] ppid=28863 vsize=15144768 memory=140511452882560 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28871/stat : 28871 (java) S 28863 28863 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409113616 15508242432 10232 33554432000 4194304 4196468 140722400765472 140510543640816 140511075097218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28872] ppid=28863 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28872/stat : 28872 (java) S 28863 28863 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409113616 15508242432 10232 33554432000 4194304 4196468 140722400765472 140510542587040 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28873] ppid=28863 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28873/stat : 28873 (java) S 28863 28863 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409113616 15508242432 10232 33554432000 4194304 4196468 140722400765472 140510541533936 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28874] ppid=28863 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28874/stat : 28874 (java) S 28863 28863 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409113619 15508242432 10232 33554432000 4194304 4196468 140722400765472 140510540482512 140511075104667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28875] ppid=28863 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28865/task/28875/stat : 28875 (java) S 28863 28863 18186 0 -1 1077944384 521 0 0 0 2 0 0 0 20 0 15 0 409113619 15508242432 10232 33554432000 4194304 4196468 140722400765472 140510539430640 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28876] ppid=28863 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28865/task/28876/stat : 28876 (java) S 28863 28863 18186 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 15 0 409113619 15508242432 10232 33554432000 4194304 4196468 140722400765472 140510538378096 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28877] ppid=28863 vsize=15144768 memory=140511452882560 CPUtime=0.08 cores=0,2,4,6
/proc/28865/task/28877/stat : 28877 (java) R 28863 28863 18186 0 -1 4202560 739 0 0 0 8 0 0 0 20 0 15 0 409113619 15508242432 10232 33554432000 4194304 4196468 140722400765472 140510537325040 140511054220554 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28878] ppid=28863 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28878/stat : 28878 (java) S 28863 28863 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409113619 15508242432 10232 33554432000 4194304 4196468 140722400765472 140510536272736 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28879] ppid=28863 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28879/stat : 28879 (java) S 28863 28863 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409113619 15508242432 10232 33554432000 4194304 4196468 140722400765472 140510535219760 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42380 KiB
[startup+0.310708 s]*
/proc/loadavg: 7.70 8.22 7.71 8/235 28881
/proc/meminfo: memFree=19691476/32770624 swapFree=66959216/67108860
[pid=28863] ppid=28860 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28863/stat : 28863 (xcsp3-exec) S 28860 28863 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409113613 115843072 363 33554432000 4194304 5098028 140728669501760 140728669499864 140706872332924 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39583744 140728669508474 140728669508717 140728669508717 140728669511626 0
/proc/28863/statm: 28282 363 304 221 0 87 0
[pid=28865] ppid=28863 vsize=15149024 memory=49956 CPUtime=0.53 cores=0,2,4,6
/proc/28865/stat : 28865 (java) S 28863 28863 18186 0 -1 1077944320 10816 0 0 0 48 5 0 0 20 0 15 0 409113613 15512600576 12489 33554432000 4194304 4196468 140722400765472 140722400748016 140511075086071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
/proc/28865/statm: 3787256 12489 3369 1 0 3748377 0
[pid=28865/tid=28866] ppid=28863 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/28865/task/28866/stat : 28866 (java) R 28863 28863 18186 0 -1 4202560 7765 0 0 0 27 3 0 0 20 0 15 0 409113613 15512600576 12489 33554432000 4194304 4196468 140722400765472 140511079317184 140511059166558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28867] ppid=28863 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28867/stat : 28867 (java) S 28863 28863 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409113614 15512600576 12489 33554432000 4194304 4196468 140722400765472 140511003126800 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28868] ppid=28863 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28868/stat : 28868 (java) S 28863 28863 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409113614 15512600576 12489 33554432000 4194304 4196468 140722400765472 140511002074256 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28869] ppid=28863 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28869/stat : 28869 (java) S 28863 28863 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409113614 15512600576 12489 33554432000 4194304 4196468 140722400765472 140511001021200 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28870] ppid=28863 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28870/stat : 28870 (java) S 28863 28863 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409113614 15512600576 12489 33554432000 4194304 4196468 140722400765472 140510999968656 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28871] ppid=28863 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28871/stat : 28871 (java) S 28863 28863 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409113616 15512600576 12489 33554432000 4194304 4196468 140722400765472 140510543640816 140511075097218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28872] ppid=28863 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28872/stat : 28872 (java) S 28863 28863 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409113616 15512600576 12489 33554432000 4194304 4196468 140722400765472 140510542587040 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28873] ppid=28863 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28873/stat : 28873 (java) S 28863 28863 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409113616 15512600576 12489 33554432000 4194304 4196468 140722400765472 140510541533936 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28874] ppid=28863 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28874/stat : 28874 (java) S 28863 28863 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409113619 15512600576 12489 33554432000 4194304 4196468 140722400765472 140510540482512 140511075104667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28875] ppid=28863 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/28865/task/28875/stat : 28875 (java) R 28863 28863 18186 0 -1 4202560 632 0 0 0 4 0 0 0 20 0 15 0 409113619 15512600576 12489 33554432000 4194304 4196468 140722400765472 140510539411656 140511058642765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28876] ppid=28863 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28865/task/28876/stat : 28876 (java) S 28863 28863 18186 0 -1 1077944384 284 0 0 0 4 0 0 0 20 0 15 0 409113619 15512600576 12489 33554432000 4194304 4196468 140722400765472 140510538378096 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28877] ppid=28863 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/28865/task/28877/stat : 28877 (java) S 28863 28863 18186 0 -1 1077944384 832 0 0 0 12 0 0 0 20 0 15 0 409113619 15512600576 12489 33554432000 4194304 4196468 140722400765472 140510537325040 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28878] ppid=28863 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28878/stat : 28878 (java) S 28863 28863 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409113619 15512600576 12489 33554432000 4194304 4196468 140722400765472 140510536272736 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28879] ppid=28863 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28879/stat : 28879 (java) S 28863 28863 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409113619 15512600576 12489 33554432000 4194304 4196468 140722400765472 140510535219760 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51408 KiB
[startup+0.705581 s]
/proc/loadavg: 7.70 8.22 7.71 7/235 28881
/proc/meminfo: memFree=19672404/32770624 swapFree=66959216/67108860
[pid=28863] ppid=28860 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28863/stat : 28863 (xcsp3-exec) S 28860 28863 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409113613 115843072 363 33554432000 4194304 5098028 140728669501760 140728669499864 140706872332924 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39583744 140728669508474 140728669508717 140728669508717 140728669511626 0
/proc/28863/statm: 28282 363 304 221 0 87 0
[pid=28865] ppid=28863 vsize=15417404 memory=91532 CPUtime=1.55 cores=0,2,4,6
/proc/28865/stat : 28865 (java) S 28863 28863 18186 0 -1 1077944320 15569 0 0 0 148 7 0 0 20 0 19 0 409113613 15787421696 22883 33554432000 4194304 4196468 140722400765472 140722400748016 140511075086071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
/proc/28865/statm: 3854351 22883 3452 1 0 3815453 0
[pid=28865/tid=28866] ppid=28863 vsize=15417404 memory=33 CPUtime=0.63 cores=0,2,4,6
/proc/28865/task/28866/stat : 28866 (java) S 28863 28863 18186 0 -1 1077944384 9367 0 0 0 59 4 0 0 20 0 19 0 409113613 15787421696 22883 33554432000 4194304 4196468 140722400765472 140511079326848 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28867] ppid=28863 vsize=15417404 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28867/stat : 28867 (java) S 28863 28863 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409113614 15787421696 22883 33554432000 4194304 4196468 140722400765472 140511003126800 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28868] ppid=28863 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28868/stat : 28868 (java) S 28863 28863 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409113614 15787421696 22883 33554432000 4194304 4196468 140722400765472 140511002074256 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28869] ppid=28863 vsize=15417404 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28869/stat : 28869 (java) S 28863 28863 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409113614 15787421696 22883 33554432000 4194304 4196468 140722400765472 140511001021200 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28870] ppid=28863 vsize=15417404 memory=38324 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28870/stat : 28870 (java) S 28863 28863 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409113614 15787421696 22883 33554432000 4194304 4196468 140722400765472 140510999968656 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28871] ppid=28863 vsize=15417404 memory=988 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28871/stat : 28871 (java) S 28863 28863 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 409113616 15787421696 22883 33554432000 4194304 4196468 140722400765472 140510543640816 140511075097218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28872] ppid=28863 vsize=15417404 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28872/stat : 28872 (java) S 28863 28863 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409113616 15787421696 22883 33554432000 4194304 4196468 140722400765472 140510542587040 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28873] ppid=28863 vsize=15417404 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28873/stat : 28873 (java) S 28863 28863 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 409113616 15787421696 22883 33554432000 4194304 4196468 140722400765472 140510541533936 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28874] ppid=28863 vsize=15417404 memory=580 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28874/stat : 28874 (java) S 28863 28863 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409113619 15787421696 22883 33554432000 4194304 4196468 140722400765472 140510540482512 140511075104667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28875] ppid=28863 vsize=15417404 memory=1720 CPUtime=0.21 cores=0,2,4,6
/proc/28865/task/28875/stat : 28875 (java) S 28863 28863 18186 0 -1 1077944384 1238 0 0 0 21 0 0 0 20 0 19 0 409113619 15787421696 22883 33554432000 4194304 4196468 140722400765472 140510539423664 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28876] ppid=28863 vsize=15417404 memory=10604 CPUtime=0.18 cores=0,2,4,6
/proc/28865/task/28876/stat : 28876 (java) R 28863 28863 18186 0 -1 1077944384 974 0 0 0 18 0 0 0 20 0 19 0 409113619 15787421696 22883 33554432000 4194304 4196468 140722400765472 140510538371120 140511075096277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28877] ppid=28863 vsize=15417404 memory=3360 CPUtime=0.4 cores=0,2,4,6
/proc/28865/task/28877/stat : 28877 (java) R 28863 28863 18186 0 -1 4202560 2047 0 0 0 40 0 0 0 20 0 19 0 409113619 15787421696 22883 33554432000 4194304 4196468 140722400765472 140510537322576 140511054800868 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28878] ppid=28863 vsize=15417404 memory=776 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28878/stat : 28878 (java) S 28863 28863 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409113619 15787421696 22883 33554432000 4194304 4196468 140722400765472 140510536272736 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28879] ppid=28863 vsize=15417404 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28879/stat : 28879 (java) S 28863 28863 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409113619 15787421696 22883 33554432000 4194304 4196468 140722400765472 140510535219760 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 92984 KiB
[startup+1.50098 s]
/proc/loadavg: 7.70 8.22 7.71 7/239 28897
/proc/meminfo: memFree=19598640/32770624 swapFree=66959216/67108860
[pid=28863] ppid=28860 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28863/stat : 28863 (xcsp3-exec) S 28860 28863 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409113613 115843072 363 33554432000 4194304 5098028 140728669501760 140728669499864 140706872332924 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39583744 140728669508474 140728669508717 140728669508717 140728669511626 0
/proc/28863/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/28865/task/28879/stat : 28879 (java) S 28863 28863 18186 0 -1 1077944384 592 0 0 0 0 1 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510535219760 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28930] ppid=28863 vsize=15486016 memory=20500 CPUtime=49.43 cores=0,2,4,6
/proc/28865/task/28930/stat : 28930 (java) R 28863 28863 18186 0 -1 4202560 559 0 0 0 4943 0 0 0 20 0 19 0 409114687 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510455905320 140510683773184 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28931] ppid=28863 vsize=15486016 memory=14048 CPUtime=49.77 cores=0,2,4,6
/proc/28865/task/28931/stat : 28931 (java) R 28863 28863 18186 0 -1 4202560 1368 0 0 0 4977 0 0 0 20 0 19 0 409114687 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510454853864 140510683689336 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28932] ppid=28863 vsize=15486016 memory=2124 CPUtime=49.37 cores=0,2,4,6
/proc/28865/task/28932/stat : 28932 (java) R 28863 28863 18186 0 -1 4202560 1708 0 0 0 4937 0 0 0 20 0 19 0 409114687 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510528106264 140510684158816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28933] ppid=28863 vsize=15486016 memory=500 CPUtime=49.71 cores=0,2,4,6
/proc/28865/task/28933/stat : 28933 (java) R 28863 28863 18186 0 -1 4202560 850 0 0 0 4971 0 0 0 20 0 19 0 409114687 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510451703512 140510683592193 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
Current children cumulated CPU time: 240.66 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 234796 KiB
[startup+61.2016 s]
/proc/loadavg: 7.61 8.08 7.69 9/238 28949
/proc/meminfo: memFree=19474512/32770624 swapFree=66959216/67108860
[pid=28863] ppid=28860 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28863/stat : 28863 (xcsp3-exec) S 28860 28863 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409113613 115843072 363 33554432000 4194304 5098028 140728669501760 140728669499864 140706872332924 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39583744 140728669508474 140728669508717 140728669508717 140728669511626 0
/proc/28863/statm: 28282 363 304 221 0 87 0
[pid=28865] ppid=28863 vsize=15486016 memory=233344 CPUtime=242.24 cores=0,2,4,6
/proc/28865/stat : 28865 (java) S 28863 28863 18186 0 -1 1077944320 83196 0 0 0 24205 19 0 0 20 0 19 0 409113613 15857680384 58336 33554432000 4194304 4196468 140722400765472 140722400748016 140511075086071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
/proc/28865/statm: 3871504 58336 3519 1 0 3832606 0
[pid=28865/tid=28866] ppid=28863 vsize=15486016 memory=500 CPUtime=0.63 cores=0,2,4,6
/proc/28865/task/28866/stat : 28866 (java) S 28863 28863 18186 0 -1 1077944384 9690 0 0 0 59 4 0 0 20 0 19 0 409113613 15857680384 58336 33554432000 4194304 4196468 140722400765472 140511079326848 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28867] ppid=28863 vsize=15486016 memory=238480 CPUtime=0.01 cores=0,2,4,6
/proc/28865/task/28867/stat : 28867 (java) S 28863 28863 18186 0 -1 1077944384 772 0 0 0 1 0 0 0 20 0 19 0 409113614 15857680384 58336 33554432000 4194304 4196468 140722400765472 140511003126800 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28868] ppid=28863 vsize=15486016 memory=1216 CPUtime=0.01 cores=0,2,4,6
/proc/28865/task/28868/stat : 28868 (java) S 28863 28863 18186 0 -1 1077944384 1435 0 0 0 1 0 0 0 20 0 19 0 409113614 15857680384 58336 33554432000 4194304 4196468 140722400765472 140511002074256 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28869] ppid=28863 vsize=15486016 memory=984 CPUtime=0.01 cores=0,2,4,6
/proc/28865/task/28869/stat : 28869 (java) S 28863 28863 18186 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 19 0 409113614 15857680384 58336 33554432000 4194304 4196468 140722400765472 140511001021200 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28870] ppid=28863 vsize=15486016 memory=14004 CPUtime=0.01 cores=0,2,4,6
/proc/28865/task/28870/stat : 28870 (java) S 28863 28863 18186 0 -1 1077944384 1546 0 0 0 1 0 0 0 20 0 19 0 409113614 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510999968656 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28871] ppid=28863 vsize=15486016 memory=20500 CPUtime=0.01 cores=0,2,4,6
/proc/28865/task/28871/stat : 28871 (java) S 28863 28863 18186 0 -1 1077944384 1282 0 0 0 1 0 0 0 20 0 19 0 409113616 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510543640816 140511075097218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28872] ppid=28863 vsize=15486016 memory=14048 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28872/stat : 28872 (java) S 28863 28863 18186 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 409113616 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510542587104 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28873] ppid=28863 vsize=15486016 memory=303430223234596890 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28873/stat : 28873 (java) S 28863 28863 18186 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 19 0 409113616 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510541533952 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28874] ppid=28863 vsize=15486016 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28874/stat : 28874 (java) S 28863 28863 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510540482512 140511075104667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28875] ppid=28863 vsize=15486016 memory=15818902244428187 CPUtime=4.24 cores=0,2,4,6
/proc/28865/task/28875/stat : 28875 (java) S 28863 28863 18186 0 -1 1077944384 21498 0 0 0 422 2 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510539430640 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28876] ppid=28863 vsize=15486016 memory=0 CPUtime=3.9 cores=0,2,4,6
/proc/28865/task/28876/stat : 28876 (java) S 28863 28863 18186 0 -1 1077944384 25552 0 0 0 387 3 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510538378096 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28877] ppid=28863 vsize=15486016 memory=0 CPUtime=0.77 cores=0,2,4,6
/proc/28865/task/28877/stat : 28877 (java) S 28863 28863 18186 0 -1 1077944384 10321 0 0 0 75 2 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510537325040 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28878] ppid=28863 vsize=15486016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28878/stat : 28878 (java) S 28863 28863 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510536272736 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28879] ppid=28863 vsize=15486016 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28865/task/28879/stat : 28879 (java) S 28863 28863 18186 0 -1 1077944384 596 0 0 0 0 1 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510535219760 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28930] ppid=28863 vsize=15486016 memory=288291056305570399 CPUtime=49.81 cores=0,2,4,6
/proc/28865/task/28930/stat : 28930 (java) R 28863 28863 18186 0 -1 4202560 559 0 0 0 4981 0 0 0 20 0 19 0 409114687 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510455905320 140510684697932 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28931] ppid=28863 vsize=15486016 memory=4339556006628687904 CPUtime=50.17 cores=0,2,4,6
/proc/28865/task/28931/stat : 28931 (java) R 28863 28863 18186 0 -1 4202560 1395 0 0 0 5017 0 0 0 20 0 19 0 409114687 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510454853864 140510684294214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28932] ppid=28863 vsize=15486016 memory=0 CPUtime=49.76 cores=0,2,4,6
/proc/28865/task/28932/stat : 28932 (java) R 28863 28863 18186 0 -1 4202560 1709 0 0 0 4976 0 0 0 20 0 19 0 409114687 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510528106264 140510686423492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28933] ppid=28863 vsize=15486016 memory=302642775476797284 CPUtime=50.11 cores=0,2,4,6
/proc/28865/task/28933/stat : 28933 (java) R 28863 28863 18186 0 -1 4202560 851 0 0 0 5011 0 0 0 20 0 19 0 409114687 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510451703512 140510683785188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
Current children cumulated CPU time: 242.24 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 234796 KiB
[startup+61.6016 s]
/proc/loadavg: 7.61 8.08 7.69 9/238 28949
/proc/meminfo: memFree=19474512/32770624 swapFree=66959216/67108860
[pid=28863] ppid=28860 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28863/stat : 28863 (xcsp3-exec) S 28860 28863 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409113613 115843072 363 33554432000 4194304 5098028 140728669501760 140728669499864 140706872332924 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39583744 140728669508474 140728669508717 140728669508717 140728669511626 0
/proc/28863/statm: 28282 363 304 221 0 87 0
[pid=28865] ppid=28863 vsize=15486016 memory=233344 CPUtime=243.84 cores=0,2,4,6
/proc/28865/stat : 28865 (java) S 28863 28863 18186 0 -1 1077944320 83233 0 0 0 24365 19 0 0 20 0 19 0 409113613 15857680384 58336 33554432000 4194304 4196468 140722400765472 140722400748016 140511075086071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
/proc/28865/statm: 3871504 58336 3519 1 0 3832606 0
[pid=28865/tid=28866] ppid=28863 vsize=15486016 memory=3620 CPUtime=0.63 cores=0,2,4,6
/proc/28865/task/28866/stat : 28866 (java) S 28863 28863 18186 0 -1 1077944384 9690 0 0 0 59 4 0 0 20 0 19 0 409113613 15857680384 58336 33554432000 4194304 4196468 140722400765472 140511079326848 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28867] ppid=28863 vsize=15486016 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/28865/task/28867/stat : 28867 (java) S 28863 28863 18186 0 -1 1077944384 772 0 0 0 1 0 0 0 20 0 19 0 409113614 15857680384 58336 33554432000 4194304 4196468 140722400765472 140511003126800 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28868] ppid=28863 vsize=15486016 memory=233340 CPUtime=0.01 cores=0,2,4,6
/proc/28865/task/28868/stat : 28868 (java) S 28863 28863 18186 0 -1 1077944384 1435 0 0 0 1 0 0 0 20 0 19 0 409113614 15857680384 58336 33554432000 4194304 4196468 140722400765472 140511002074256 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28869] ppid=28863 vsize=15486016 memory=15818902244428187 CPUtime=0.01 cores=0,2,4,6
/proc/28865/task/28869/stat : 28869 (java) S 28863 28863 18186 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 19 0 409113614 15857680384 58336 33554432000 4194304 4196468 140722400765472 140511001021200 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28870] ppid=28863 vsize=15486016 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/28865/task/28870/stat : 28870 (java) S 28863 28863 18186 0 -1 1077944384 1546 0 0 0 1 0 0 0 20 0 19 0 409113614 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510999968656 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28871] ppid=28863 vsize=15486016 memory=238480 CPUtime=0.01 cores=0,2,4,6
/proc/28865/task/28871/stat : 28871 (java) S 28863 28863 18186 0 -1 1077944384 1284 0 0 0 1 0 0 0 20 0 19 0 409113616 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510543640816 140511075097218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28872] ppid=28863 vsize=15486016 memory=233340 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28872/stat : 28872 (java) S 28863 28863 18186 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 409113616 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510542587104 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28873] ppid=28863 vsize=15486016 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28873/stat : 28873 (java) S 28863 28863 18186 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 19 0 409113616 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510541533952 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28874] ppid=28863 vsize=15486016 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28874/stat : 28874 (java) S 28863 28863 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510540482512 140511075104667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28875] ppid=28863 vsize=15486016 memory=3360 CPUtime=4.24 cores=0,2,4,6
/proc/28865/task/28875/stat : 28875 (java) S 28863 28863 18186 0 -1 1077944384 21498 0 0 0 422 2 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510539430640 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28876] ppid=28863 vsize=15486016 memory=776 CPUtime=3.9 cores=0,2,4,6
/proc/28865/task/28876/stat : 28876 (java) S 28863 28863 18186 0 -1 1077944384 25552 0 0 0 387 3 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510538378096 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28877] ppid=28863 vsize=15486016 memory=1564 CPUtime=0.77 cores=0,2,4,6
/proc/28865/task/28877/stat : 28877 (java) S 28863 28863 18186 0 -1 1077944384 10342 0 0 0 75 2 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510537325040 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28878] ppid=28863 vsize=15486016 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28878/stat : 28878 (java) S 28863 28863 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510536272736 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28879] ppid=28863 vsize=15486016 memory=3360 CPUtime=0.01 cores=0,2,4,6
/proc/28865/task/28879/stat : 28879 (java) S 28863 28863 18186 0 -1 1077944384 596 0 0 0 0 1 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510535219760 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28930] ppid=28863 vsize=15486016 memory=776 CPUtime=50.21 cores=0,2,4,6
/proc/28865/task/28930/stat : 28930 (java) R 28863 28863 18186 0 -1 4202560 560 0 0 0 5021 0 0 0 20 0 19 0 409114687 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510455905320 140510683689971 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28931] ppid=28863 vsize=15486016 memory=1564 CPUtime=50.57 cores=0,2,4,6
/proc/28865/task/28931/stat : 28931 (java) R 28863 28863 18186 0 -1 4202560 1404 0 0 0 5057 0 0 0 20 0 19 0 409114687 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510454853864 140510685277632 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28932] ppid=28863 vsize=15486016 memory=5964 CPUtime=50.16 cores=0,2,4,6
/proc/28865/task/28932/stat : 28932 (java) R 28863 28863 18186 0 -1 4202560 1713 0 0 0 5016 0 0 0 20 0 19 0 409114687 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510528109032 140510684124240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28933] ppid=28863 vsize=15486016 memory=1060 CPUtime=50.51 cores=0,2,4,6
/proc/28865/task/28933/stat : 28933 (java) R 28863 28863 18186 0 -1 4202560 851 0 0 0 5051 0 0 0 20 0 19 0 409114687 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510451703512 140510683690227 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
Current children cumulated CPU time: 243.84 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 234796 KiB
[startup+61.7016 s]
/proc/loadavg: 7.61 8.08 7.69 9/238 28949
/proc/meminfo: memFree=19474512/32770624 swapFree=66959216/67108860
[pid=28863] ppid=28860 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28863/stat : 28863 (xcsp3-exec) S 28860 28863 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409113613 115843072 363 33554432000 4194304 5098028 140728669501760 140728669499864 140706872332924 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39583744 140728669508474 140728669508717 140728669508717 140728669511626 0
/proc/28863/statm: 28282 363 304 221 0 87 0
[pid=28865] ppid=28863 vsize=15486016 memory=233344 CPUtime=244.24 cores=0,2,4,6
/proc/28865/stat : 28865 (java) S 28863 28863 18186 0 -1 1077944320 83234 0 0 0 24405 19 0 0 20 0 19 0 409113613 15857680384 58336 33554432000 4194304 4196468 140722400765472 140722400748016 140511075086071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
/proc/28865/statm: 3871504 58336 3519 1 0 3832606 0
[pid=28865/tid=28866] ppid=28863 vsize=15486016 memory=233340 CPUtime=0.63 cores=0,2,4,6
/proc/28865/task/28866/stat : 28866 (java) S 28863 28863 18186 0 -1 1077944384 9690 0 0 0 59 4 0 0 20 0 19 0 409113613 15857680384 58336 33554432000 4194304 4196468 140722400765472 140511079326848 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28867] ppid=28863 vsize=15486016 memory=233344 CPUtime=0.01 cores=0,2,4,6
/proc/28865/task/28867/stat : 28867 (java) S 28863 28863 18186 0 -1 1077944384 772 0 0 0 1 0 0 0 20 0 19 0 409113614 15857680384 58336 33554432000 4194304 4196468 140722400765472 140511003126800 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28868] ppid=28863 vsize=15486016 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/28865/task/28868/stat : 28868 (java) S 28863 28863 18186 0 -1 1077944384 1435 0 0 0 1 0 0 0 20 0 19 0 409113614 15857680384 58336 33554432000 4194304 4196468 140722400765472 140511002074256 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28869] ppid=28863 vsize=15486016 memory=238480 CPUtime=0.01 cores=0,2,4,6
/proc/28865/task/28869/stat : 28869 (java) S 28863 28863 18186 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 19 0 409113614 15857680384 58336 33554432000 4194304 4196468 140722400765472 140511001021200 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28870] ppid=28863 vsize=15486016 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/28865/task/28870/stat : 28870 (java) S 28863 28863 18186 0 -1 1077944384 1546 0 0 0 1 0 0 0 20 0 19 0 409113614 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510999968656 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28871] ppid=28863 vsize=15486016 memory=7307765956742243945 CPUtime=0.01 cores=0,2,4,6
/proc/28865/task/28871/stat : 28871 (java) S 28863 28863 18186 0 -1 1077944384 1284 0 0 0 1 0 0 0 20 0 19 0 409113616 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510543640816 140511075097218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28872] ppid=28863 vsize=15486016 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28872/stat : 28872 (java) S 28863 28863 18186 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 409113616 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510542587104 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28873] ppid=28863 vsize=15486016 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28873/stat : 28873 (java) S 28863 28863 18186 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 19 0 409113616 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510541533952 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28874] ppid=28863 vsize=15486016 memory=233340 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28874/stat : 28874 (java) S 28863 28863 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510540482512 140511075104667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28875] ppid=28863 vsize=15486016 memory=3620 CPUtime=4.24 cores=0,2,4,6
/proc/28865/task/28875/stat : 28875 (java) S 28863 28863 18186 0 -1 1077944384 21498 0 0 0 422 2 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510539430640 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28876] ppid=28863 vsize=15486016 memory=1452 CPUtime=3.9 cores=0,2,4,6
/proc/28865/task/28876/stat : 28876 (java) S 28863 28863 18186 0 -1 1077944384 25552 0 0 0 387 3 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510538378096 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28877] ppid=28863 vsize=15486016 memory=1452 CPUtime=0.77 cores=0,2,4,6
/proc/28865/task/28877/stat : 28877 (java) S 28863 28863 18186 0 -1 1077944384 10342 0 0 0 75 2 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510537325040 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28878] ppid=28863 vsize=15486016 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28865/task/28878/stat : 28878 (java) S 28863 28863 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510536272736 140511075096277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28879] ppid=28863 vsize=15486016 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/28865/task/28879/stat : 28879 (java) S 28863 28863 18186 0 -1 1077944384 596 0 0 0 0 1 0 0 20 0 19 0 409113619 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510535219760 140511075097218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28930] ppid=28863 vsize=15486016 memory=1452 CPUtime=50.31 cores=0,2,4,6
/proc/28865/task/28930/stat : 28930 (java) R 28863 28863 18186 0 -1 4202560 560 0 0 0 5031 0 0 0 20 0 19 0 409114687 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510455905320 140510684080660 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28931] ppid=28863 vsize=15486016 memory=233340 CPUtime=50.67 cores=0,2,4,6
/proc/28865/task/28931/stat : 28931 (java) R 28863 28863 18186 0 -1 4202560 1405 0 0 0 5067 0 0 0 20 0 19 0 409114687 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510454853864 140510683687998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28932] ppid=28863 vsize=15486016 memory=0 CPUtime=50.26 cores=0,2,4,6
/proc/28865/task/28932/stat : 28932 (java) R 28863 28863 18186 0 -1 4202560 1713 0 0 0 5026 0 0 0 20 0 19 0 409114687 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510528109032 140510684163085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
[pid=28865/tid=28933] ppid=28863 vsize=15486016 memory=281022663849920 CPUtime=50.61 cores=0,2,4,6
/proc/28865/task/28933/stat : 28933 (java) R 28863 28863 18186 0 -1 4202560 851 0 0 0 5061 0 0 0 20 0 19 0 409114687 15857680384 58336 33554432000 4194304 4196468 140722400765472 140510451703512 140510683773088 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140722400773103 140722400773274 140722400773274 140722400776143 0
Current children cumulated CPU time: 244.24 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 234796 KiB
Child status: 0
Real time (s): 61.718
CPU time (s): 244.284
CPU user time (s): 244.08
CPU system time (s): 0.203853
CPU usage (%): 395.807
Max. virtual memory (cumulated for all children) (KiB): 15602584
Max. memory (cumulated for all children) (KiB): 239932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.08
system time used= 0.203853
maximum resident set size= 238500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84683
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5450
involuntary context switches= 6040
# summary of solver processes directly reported to runsolver:
# pid: 28863
# total CPU time (s): 244.284
# total CPU user time (s): 244.08
# total CPU system time (s): 0.203853
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.380632 second user time and 0.716283 second system time
The end