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 (2146 MiB free)
memory of node 1: 16384 MiB (12164 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392977-1568350646/watcher-4392977-1568350646 -o /tmp/evaluation-result-4392977-1568350646/solver-4392977-1568350646 -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 2037370639 HOME/instance-4392977-1568350646.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11925, runsolver pid=11922
Current StackSize limit: 8192 KiB
[startup+0.105779 s]*
/proc/loadavg: 5.13 5.76 6.00 4/229 11941
/proc/meminfo: memFree=14637052/32770624 swapFree=66959216/67108860
[pid=11925] ppid=11922 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (xcsp3-exec) S 11922 11925 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411004813 115843072 362 33554432000 4194304 5098028 140733299167888 140733299165992 140078307271292 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27009024 140733299176314 140733299176557 140733299176557 140733299179466 0
/proc/11925/statm: 28282 362 304 221 0 87 0
[pid=11927] ppid=11925 vsize=15144768 memory=30128 CPUtime=0.14 cores=1,3,5,7
/proc/11927/stat : 11927 (java) S 11925 11925 3331 0 -1 1077944320 5999 0 0 0 13 1 0 0 20 0 15 0 411004814 15508242432 7532 33554432000 4194304 4196468 140728184790928 140728184773472 140305397317367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
/proc/11927/statm: 3786192 7532 3146 1 0 3748377 0
[pid=11927/tid=11928] ppid=11925 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=1,3,5,7
/proc/11927/task/11928/stat : 11928 (java) R 11925 11925 3331 0 -1 4202560 3877 0 0 0 9 0 0 0 20 0 15 0 411004814 15508242432 7532 33554432000 4194304 4196468 140728184790928 140305401547664 140305397329302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11929] ppid=11925 vsize=15144768 memory=3472467889273595088 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11929/stat : 11929 (java) S 11925 11925 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411004815 15508242432 7532 33554432000 4194304 4196468 140728184790928 140305308973328 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11930] ppid=11925 vsize=15144768 memory=139760378443392 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11930/stat : 11930 (java) S 11925 11925 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411004815 15508242432 7532 33554432000 4194304 4196468 140728184790928 140304988498320 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11931] ppid=11925 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11931/stat : 11931 (java) S 11925 11925 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411004815 15508242432 7532 33554432000 4194304 4196468 140728184790928 140304987445776 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11932] ppid=11925 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11932/stat : 11932 (java) S 11925 11925 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411004815 15508242432 7532 33554432000 4194304 4196468 140728184790928 140304986393232 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11933] ppid=11925 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11933/stat : 11933 (java) S 11925 11925 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411004816 15508242432 7532 33554432000 4194304 4196468 140728184790928 140304731728368 140305397328514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11934] ppid=11925 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11934/stat : 11934 (java) S 11925 11925 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411004816 15508242432 7532 33554432000 4194304 4196468 140728184790928 140304730674592 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11935] ppid=11925 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11935/stat : 11935 (java) S 11925 11925 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411004817 15508242432 7532 33554432000 4194304 4196468 140728184790928 140304729622000 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11936] ppid=11925 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11936/stat : 11936 (java) S 11925 11925 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411004819 15508242432 7532 33554432000 4194304 4196468 140728184790928 140304728570576 140305397335963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11937] ppid=11925 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11927/task/11937/stat : 11937 (java) S 11925 11925 3331 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 15 0 411004819 15508242432 7532 33554432000 4194304 4196468 140728184790928 140304727517168 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11938] ppid=11925 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11938/stat : 11938 (java) S 11925 11925 3331 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 411004819 15508242432 7532 33554432000 4194304 4196468 140728184790928 140304726464624 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11939] ppid=11925 vsize=15144768 memory=139760378443392 CPUtime=0.02 cores=1,3,5,7
/proc/11927/task/11939/stat : 11939 (java) R 11925 11925 3331 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 411004819 15508242432 7532 33554432000 4194304 4196468 140728184790928 140304725412080 140305397338714 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11940] ppid=11925 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11940/stat : 11940 (java) S 11925 11925 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411004819 15508242432 7532 33554432000 4194304 4196468 140728184790928 140304724359776 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11941] ppid=11925 vsize=15144768 memory=139760378443392 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11941/stat : 11941 (java) S 11925 11925 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411004820 15508242432 7532 33554432000 4194304 4196468 140728184790928 140304723307312 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31576 KiB
[startup+0.210753 s]*
/proc/loadavg: 5.13 5.76 6.00 4/229 11941
/proc/meminfo: memFree=14626048/32770624 swapFree=66959216/67108860
[pid=11925] ppid=11922 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (xcsp3-exec) S 11922 11925 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411004813 115843072 362 33554432000 4194304 5098028 140733299167888 140733299165992 140078307271292 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27009024 140733299176314 140733299176557 140733299176557 140733299179466 0
/proc/11925/statm: 28282 362 304 221 0 87 0
[pid=11927] ppid=11925 vsize=15144768 memory=40284 CPUtime=0.33 cores=1,3,5,7
/proc/11927/stat : 11927 (java) S 11925 11925 3331 0 -1 1077944320 9298 0 0 0 30 3 0 0 20 0 15 0 411004814 15508242432 10071 33554432000 4194304 4196468 140728184790928 140728184773472 140305397317367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
/proc/11927/statm: 3786192 10071 3258 1 0 3748377 0
[pid=11927/tid=11928] ppid=11925 vsize=15144768 memory=5855082630903857826 CPUtime=0.19 cores=1,3,5,7
/proc/11927/task/11928/stat : 11928 (java) R 11925 11925 3331 0 -1 4202560 6616 0 0 0 17 2 0 0 20 0 15 0 411004814 15508242432 10071 33554432000 4194304 4196468 140728184790928 140305401548016 140305397339293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11929] ppid=11925 vsize=15144768 memory=3472467889273595088 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11929/stat : 11929 (java) S 11925 11925 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411004815 15508242432 10071 33554432000 4194304 4196468 140728184790928 140305308973328 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11930] ppid=11925 vsize=15144768 memory=139760378443392 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11930/stat : 11930 (java) S 11925 11925 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411004815 15508242432 10071 33554432000 4194304 4196468 140728184790928 140304988498320 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11931] ppid=11925 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11931/stat : 11931 (java) S 11925 11925 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411004815 15508242432 10071 33554432000 4194304 4196468 140728184790928 140304987445776 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11932] ppid=11925 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11932/stat : 11932 (java) S 11925 11925 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411004815 15508242432 10071 33554432000 4194304 4196468 140728184790928 140304986393232 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11933] ppid=11925 vsize=15144768 memory=139760378443392 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11933/stat : 11933 (java) S 11925 11925 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411004816 15508242432 10071 33554432000 4194304 4196468 140728184790928 140304731728368 140305397328514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11934] ppid=11925 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11934/stat : 11934 (java) S 11925 11925 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411004816 15508242432 10071 33554432000 4194304 4196468 140728184790928 140304730674592 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11935] ppid=11925 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11935/stat : 11935 (java) S 11925 11925 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411004817 15508242432 10071 33554432000 4194304 4196468 140728184790928 140304729622000 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11936] ppid=11925 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11936/stat : 11936 (java) S 11925 11925 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411004819 15508242432 10071 33554432000 4194304 4196468 140728184790928 140304728570576 140305397335963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11937] ppid=11925 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11927/task/11937/stat : 11937 (java) S 11925 11925 3331 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 15 0 411004819 15508242432 10071 33554432000 4194304 4196468 140728184790928 140304727517168 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11938] ppid=11925 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11927/task/11938/stat : 11938 (java) S 11925 11925 3331 0 -1 1077944384 245 0 0 0 2 0 0 0 20 0 15 0 411004819 15508242432 10071 33554432000 4194304 4196468 140728184790928 140304726464624 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11939] ppid=11925 vsize=15144768 memory=139760378443392 CPUtime=0.07 cores=1,3,5,7
/proc/11927/task/11939/stat : 11939 (java) R 11925 11925 3331 0 -1 4202560 757 0 0 0 7 0 0 0 20 0 15 0 411004819 15508242432 10071 33554432000 4194304 4196468 140728184790928 140304725412080 140305397338714 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11940] ppid=11925 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11940/stat : 11940 (java) S 11925 11925 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411004819 15508242432 10071 33554432000 4194304 4196468 140728184790928 140304724359776 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11941] ppid=11925 vsize=15144768 memory=139760378443392 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11941/stat : 11941 (java) S 11925 11925 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411004820 15508242432 10071 33554432000 4194304 4196468 140728184790928 140304723307312 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41732 KiB
[startup+0.310532 s]*
/proc/loadavg: 5.13 5.76 6.00 3/229 11941
/proc/meminfo: memFree=14621320/32770624 swapFree=66959216/67108860
[pid=11925] ppid=11922 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (xcsp3-exec) S 11922 11925 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411004813 115843072 362 33554432000 4194304 5098028 140733299167888 140733299165992 140078307271292 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27009024 140733299176314 140733299176557 140733299176557 140733299179466 0
/proc/11925/statm: 28282 362 304 221 0 87 0
[pid=11927] ppid=11925 vsize=15149024 memory=49480 CPUtime=0.51 cores=1,3,5,7
/proc/11927/stat : 11927 (java) S 11925 11925 3331 0 -1 1077944320 10651 0 0 0 48 3 0 0 20 0 15 0 411004814 15512600576 12370 33554432000 4194304 4196468 140728184790928 140728184773472 140305397317367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
/proc/11927/statm: 3787256 12370 3372 1 0 3748377 0
[pid=11927/tid=11928] ppid=11925 vsize=15149024 memory=8514701219880992413 CPUtime=0.29 cores=1,3,5,7
/proc/11927/task/11928/stat : 11928 (java) R 11925 11925 3331 0 -1 4202560 7682 0 0 0 27 2 0 0 20 0 15 0 411004814 15512600576 12370 33554432000 4194304 4196468 140728184790928 140305401548480 140305381397854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11929] ppid=11925 vsize=15149024 memory=3472467889273595088 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11929/stat : 11929 (java) S 11925 11925 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411004815 15512600576 12370 33554432000 4194304 4196468 140728184790928 140305308973328 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11930] ppid=11925 vsize=15149024 memory=139760378443392 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11930/stat : 11930 (java) S 11925 11925 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411004815 15512600576 12370 33554432000 4194304 4196468 140728184790928 140304988498320 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11931] ppid=11925 vsize=15149024 memory=8 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11931/stat : 11931 (java) S 11925 11925 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411004815 15512600576 12370 33554432000 4194304 4196468 140728184790928 140304987445776 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11932] ppid=11925 vsize=15149024 memory=139760249219103 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11932/stat : 11932 (java) S 11925 11925 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411004815 15512600576 12370 33554432000 4194304 4196468 140728184790928 140304986393232 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11933] ppid=11925 vsize=15149024 memory=279520498398976 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11933/stat : 11933 (java) S 11925 11925 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411004816 15512600576 12370 33554432000 4194304 4196468 140728184790928 140304731728368 140305397328514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11934] ppid=11925 vsize=15149024 memory=139760249196047 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11934/stat : 11934 (java) S 11925 11925 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411004816 15512600576 12370 33554432000 4194304 4196468 140728184790928 140304730674592 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11935] ppid=11925 vsize=15149024 memory=279520627648608 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11935/stat : 11935 (java) S 11925 11925 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411004817 15512600576 12370 33554432000 4194304 4196468 140728184790928 140304729622000 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11936] ppid=11925 vsize=15149024 memory=139760249200655 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11936/stat : 11936 (java) S 11925 11925 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411004819 15512600576 12370 33554432000 4194304 4196468 140728184790928 140304728570576 140305397335963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11937] ppid=11925 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11927/task/11937/stat : 11937 (java) S 11925 11925 3331 0 -1 1077944384 398 0 0 0 3 0 0 0 20 0 15 0 411004819 15512600576 12370 33554432000 4194304 4196468 140728184790928 140304727517168 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11938] ppid=11925 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/11927/task/11938/stat : 11938 (java) R 11925 11925 3331 0 -1 4202560 375 0 0 0 4 0 0 0 20 0 15 0 411004819 15512600576 12370 33554432000 4194304 4196468 140728184790928 140304726445640 140305378017664 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11939] ppid=11925 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/11927/task/11939/stat : 11939 (java) R 11925 11925 3331 0 -1 1077944384 916 0 0 0 12 0 0 0 20 0 15 0 411004819 15512600576 12370 33554432000 4194304 4196468 140728184790928 140304725412080 140305397328514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11940] ppid=11925 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11940/stat : 11940 (java) S 11925 11925 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411004819 15512600576 12370 33554432000 4194304 4196468 140728184790928 140304724359776 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11941] ppid=11925 vsize=15149024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11941/stat : 11941 (java) S 11925 11925 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411004820 15512600576 12370 33554432000 4194304 4196468 140728184790928 140304723307312 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50928 KiB
[startup+0.701194 s]
/proc/loadavg: 5.13 5.76 6.00 5/229 11941
/proc/meminfo: memFree=14596048/32770624 swapFree=66959216/67108860
[pid=11925] ppid=11922 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (xcsp3-exec) S 11922 11925 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411004813 115843072 362 33554432000 4194304 5098028 140733299167888 140733299165992 140078307271292 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27009024 140733299176314 140733299176557 140733299176557 140733299179466 0
/proc/11925/statm: 28282 362 304 221 0 87 0
[pid=11927] ppid=11925 vsize=15151148 memory=110924 CPUtime=1.7 cores=1,3,5,7
/proc/11927/stat : 11927 (java) S 11925 11925 3331 0 -1 1077944320 13743 0 0 0 165 5 0 0 20 0 15 0 411004814 15514775552 27731 33554432000 4194304 4196468 140728184790928 140728184773472 140305397317367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
/proc/11927/statm: 3787787 27731 3445 1 0 3748889 0
[pid=11927/tid=11928] ppid=11925 vsize=15151148 memory=4639059877604708710 CPUtime=0.67 cores=1,3,5,7
/proc/11927/task/11928/stat : 11928 (java) R 11925 11925 3331 0 -1 4202560 8312 0 0 0 64 3 0 0 20 0 15 0 411004814 15514775552 27731 33554432000 4194304 4196468 140728184790928 140305401552080 140304992119554 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11929] ppid=11925 vsize=15151148 memory=6935650355287975249 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11929/stat : 11929 (java) S 11925 11925 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411004815 15514775552 27731 33554432000 4194304 4196468 140728184790928 140305308973328 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11930] ppid=11925 vsize=15151148 memory=6935649255978921297 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11930/stat : 11930 (java) S 11925 11925 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411004815 15514775552 27731 33554432000 4194304 4196468 140728184790928 140304988498320 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11931] ppid=11925 vsize=15151148 memory=7825734864442108491 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11931/stat : 11931 (java) S 11925 11925 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411004815 15514775552 27731 33554432000 4194304 4196468 140728184790928 140304987445776 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11932] ppid=11925 vsize=15151148 memory=7100839870106604183 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11932/stat : 11932 (java) S 11925 11925 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411004815 15514775552 27731 33554432000 4194304 4196468 140728184790928 140304986393232 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11933] ppid=11925 vsize=15151148 memory=6944613755328037012 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11933/stat : 11933 (java) S 11925 11925 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411004816 15514775552 27731 33554432000 4194304 4196468 140728184790928 140304731728368 140305397328514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11934] ppid=11925 vsize=15151148 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11934/stat : 11934 (java) S 11925 11925 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411004816 15514775552 27731 33554432000 4194304 4196468 140728184790928 140304730674592 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11935] ppid=11925 vsize=15151148 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11935/stat : 11935 (java) S 11925 11925 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411004817 15514775552 27731 33554432000 4194304 4196468 140728184790928 140304729622000 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11936] ppid=11925 vsize=15151148 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11936/stat : 11936 (java) S 11925 11925 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411004819 15514775552 27731 33554432000 4194304 4196468 140728184790928 140304728570576 140305397335963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11937] ppid=11925 vsize=15151148 memory=1660 CPUtime=0.34 cores=1,3,5,7
/proc/11927/task/11937/stat : 11937 (java) R 11925 11925 3331 0 -1 4202560 1260 0 0 0 34 0 0 0 20 0 15 0 411004819 15514775552 27731 33554432000 4194304 4196468 140728184790928 140304727503424 140305375714949 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11938] ppid=11925 vsize=15151148 memory=38784 CPUtime=0.37 cores=1,3,5,7
/proc/11927/task/11938/stat : 11938 (java) R 11925 11925 3331 0 -1 4202560 1200 0 0 0 37 0 0 0 20 0 15 0 411004819 15514775552 27731 33554432000 4194304 4196468 140728184790928 140304726454096 140305390417214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11939] ppid=11925 vsize=15151148 memory=988 CPUtime=0.29 cores=1,3,5,7
/proc/11927/task/11939/stat : 11939 (java) S 11925 11925 3331 0 -1 1077944384 1669 0 0 0 29 0 0 0 20 0 15 0 411004819 15514775552 27731 33554432000 4194304 4196468 140728184790928 140304725412080 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11940] ppid=11925 vsize=15151148 memory=5793994532452520804 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11940/stat : 11940 (java) S 11925 11925 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411004819 15514775552 27731 33554432000 4194304 4196468 140728184790928 140304724359776 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11941] ppid=11925 vsize=15151148 memory=8099279071866868843 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11941/stat : 11941 (java) S 11925 11925 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411004820 15514775552 27731 33554432000 4194304 4196468 140728184790928 140304723307312 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 112372 KiB
[startup+1.51472 s]
/proc/loadavg: 5.13 5.76 6.00 6/229 11941
/proc/meminfo: memFree=14464888/32770624 swapFree=66959216/67108860
[pid=11925] ppid=11922 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (xcsp3-exec) S 11922 11925 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411004813 115843072 362 33554432000 4194304 5098028 140733299167888 140733299165992 140078307271292 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27009024 140733299176314 140733299176557 140733299176557 140733299179466 0
/proc/11925/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/11927/task/11941/stat : 11941 (java) S 11925 11925 3331 0 -1 1077944384 915 0 0 0 0 17 0 0 20 0 19 0 411004820 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304723307312 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11942] ppid=11925 vsize=15419452 memory=2580 CPUtime=322.54 cores=1,3,5,7
/proc/11927/task/11942/stat : 11942 (java) R 11925 11925 3331 0 -1 4202560 3094 0 0 0 32253 1 0 0 20 0 19 0 411005335 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304714095864 140304993989313 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11943] ppid=11925 vsize=15419452 memory=1760 CPUtime=322.3 cores=1,3,5,7
/proc/11927/task/11943/stat : 11943 (java) R 11925 11925 3331 0 -1 4202560 11485 0 0 0 32226 4 0 0 20 0 19 0 411005335 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304713044600 140304998462021 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11944] ppid=11925 vsize=15419452 memory=111636 CPUtime=322.97 cores=1,3,5,7
/proc/11927/task/11944/stat : 11944 (java) R 11925 11925 3331 0 -1 4202560 4021 0 0 0 32296 1 0 0 20 0 19 0 411005335 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304711991680 140304998316886 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11945] ppid=11925 vsize=15419452 memory=800 CPUtime=321.4 cores=1,3,5,7
/proc/11927/task/11945/stat : 11945 (java) R 11925 11925 3331 0 -1 4202560 4113 0 0 0 32128 12 0 0 20 0 19 0 411005335 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304710938328 140304998143372 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
Current children cumulated CPU time: 1315.04 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 3018052 KiB
[startup+333.601 s]
/proc/loadavg: 8.63 7.43 6.64 9/235 12001
/proc/meminfo: memFree=10260904/32770624 swapFree=66959216/67108860
[pid=11925] ppid=11922 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (xcsp3-exec) S 11922 11925 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411004813 115843072 362 33554432000 4194304 5098028 140733299167888 140733299165992 140078307271292 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27009024 140733299176314 140733299176557 140733299176557 140733299179466 0
/proc/11925/statm: 28282 362 304 221 0 87 0
[pid=11927] ppid=11925 vsize=15419452 memory=3016604 CPUtime=1318.22 cores=1,3,5,7
/proc/11927/stat : 11927 (java) S 11925 11925 3331 0 -1 1077944320 103495 0 0 0 131673 149 0 0 20 0 19 0 411004814 15789518848 754151 33554432000 4194304 4196468 140728184790928 140728184773472 140305397317367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
/proc/11927/statm: 3854863 754151 3552 1 0 3815965 0
[pid=11927/tid=11928] ppid=11925 vsize=15419452 memory=988 CPUtime=4.6 cores=1,3,5,7
/proc/11927/task/11928/stat : 11928 (java) S 11925 11925 3331 0 -1 1077944384 10821 0 0 0 446 14 0 0 20 0 19 0 411004814 15789518848 754151 33554432000 4194304 4196468 140728184790928 140305401558144 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11929] ppid=11925 vsize=15419452 memory=2008 CPUtime=2.13 cores=1,3,5,7
/proc/11927/task/11929/stat : 11929 (java) S 11925 11925 3331 0 -1 1077944384 2175 0 0 0 187 26 0 0 20 0 19 0 411004815 15789518848 754151 33554432000 4194304 4196468 140728184790928 140305308973328 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11930] ppid=11925 vsize=15419452 memory=1436 CPUtime=2.12 cores=1,3,5,7
/proc/11927/task/11930/stat : 11930 (java) S 11925 11925 3331 0 -1 1077944384 1837 0 0 0 186 26 0 0 20 0 19 0 411004815 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304988498320 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11931] ppid=11925 vsize=15419452 memory=580 CPUtime=2.11 cores=1,3,5,7
/proc/11927/task/11931/stat : 11931 (java) S 11925 11925 3331 0 -1 1077944384 1905 0 0 0 186 25 0 0 20 0 19 0 411004815 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304987445776 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11932] ppid=11925 vsize=15419452 memory=1720 CPUtime=2.13 cores=1,3,5,7
/proc/11927/task/11932/stat : 11932 (java) S 11925 11925 3331 0 -1 1077944384 1615 0 0 0 185 28 0 0 20 0 19 0 411004815 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304986393232 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11933] ppid=11925 vsize=15419452 memory=10604 CPUtime=0.47 cores=1,3,5,7
/proc/11927/task/11933/stat : 11933 (java) S 11925 11925 3331 0 -1 1077944384 5848 0 0 0 46 1 0 0 20 0 19 0 411004816 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304731728368 140305397328514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11934] ppid=11925 vsize=15419452 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11934/stat : 11934 (java) S 11925 11925 3331 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 411004816 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304730674656 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11935] ppid=11925 vsize=15419452 memory=776 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11935/stat : 11935 (java) S 11925 11925 3331 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 411004817 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304729622016 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11936] ppid=11925 vsize=15419452 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11936/stat : 11936 (java) S 11925 11925 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411004819 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304728570576 140305397335963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11937] ppid=11925 vsize=15419452 memory=5964 CPUtime=5.31 cores=1,3,5,7
/proc/11927/task/11937/stat : 11937 (java) S 11925 11925 3331 0 -1 1077944384 21723 0 0 0 529 2 0 0 20 0 19 0 411004819 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304727517168 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11938] ppid=11925 vsize=15419452 memory=1060 CPUtime=5.66 cores=1,3,5,7
/proc/11927/task/11938/stat : 11938 (java) S 11925 11925 3331 0 -1 1077944384 20619 0 0 0 564 2 0 0 20 0 19 0 411004819 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304726464624 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11939] ppid=11925 vsize=15419452 memory=2828 CPUtime=0.99 cores=1,3,5,7
/proc/11927/task/11939/stat : 11939 (java) S 11925 11925 3331 0 -1 1077944384 11996 0 0 0 98 1 0 0 20 0 19 0 411004819 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304725412080 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11940] ppid=11925 vsize=15419452 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11940/stat : 11940 (java) S 11925 11925 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411004819 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304724359776 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11941] ppid=11925 vsize=15419452 memory=984 CPUtime=0.17 cores=1,3,5,7
/proc/11927/task/11941/stat : 11941 (java) S 11925 11925 3331 0 -1 1077944384 915 0 0 0 0 17 0 0 20 0 19 0 411004820 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304723307312 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11942] ppid=11925 vsize=15419452 memory=14004 CPUtime=323.34 cores=1,3,5,7
/proc/11927/task/11942/stat : 11942 (java) R 11925 11925 3331 0 -1 4202560 3094 0 0 0 32333 1 0 0 20 0 19 0 411005335 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304714095864 140304998154967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11943] ppid=11925 vsize=15419452 memory=20772 CPUtime=323.1 cores=1,3,5,7
/proc/11927/task/11943/stat : 11943 (java) R 11925 11925 3331 0 -1 4202560 11487 0 0 0 32306 4 0 0 20 0 19 0 411005335 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304713044600 140304998154942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11944] ppid=11925 vsize=15419452 memory=14048 CPUtime=323.75 cores=1,3,5,7
/proc/11927/task/11944/stat : 11944 (java) R 11925 11925 3331 0 -1 4202560 4021 0 0 0 32374 1 0 0 20 0 19 0 411005335 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304711991680 140304998476964 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11945] ppid=11925 vsize=15419452 memory=6791534058613427641 CPUtime=322.2 cores=1,3,5,7
/proc/11927/task/11945/stat : 11945 (java) R 11925 11925 3331 0 -1 4202560 4113 0 0 0 32208 12 0 0 20 0 19 0 411005335 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304710938328 140304998825891 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
Current children cumulated CPU time: 1318.22 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 3018052 KiB
[startup+334.002 s]*
/proc/loadavg: 8.66 7.46 6.65 9/235 12001
/proc/meminfo: memFree=10260904/32770624 swapFree=66959216/67108860
[pid=11925] ppid=11922 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (xcsp3-exec) S 11922 11925 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411004813 115843072 362 33554432000 4194304 5098028 140733299167888 140733299165992 140078307271292 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27009024 140733299176314 140733299176557 140733299176557 140733299179466 0
/proc/11925/statm: 28282 362 304 221 0 87 0
[pid=11927] ppid=11925 vsize=15419452 memory=3016604 CPUtime=1319.85 cores=1,3,5,7
/proc/11927/stat : 11927 (java) S 11925 11925 3331 0 -1 1077944320 103495 0 0 0 131836 149 0 0 20 0 19 0 411004814 15789518848 754151 33554432000 4194304 4196468 140728184790928 140728184773472 140305397317367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
/proc/11927/statm: 3854863 754151 3552 1 0 3815965 0
[pid=11927/tid=11928] ppid=11925 vsize=15419452 memory=12579924 CPUtime=4.6 cores=1,3,5,7
/proc/11927/task/11928/stat : 11928 (java) S 11925 11925 3331 0 -1 1077944384 10821 0 0 0 446 14 0 0 20 0 19 0 411004814 15789518848 754151 33554432000 4194304 4196468 140728184790928 140305401558144 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11929] ppid=11925 vsize=15419452 memory=0 CPUtime=2.13 cores=1,3,5,7
/proc/11927/task/11929/stat : 11929 (java) S 11925 11925 3331 0 -1 1077944384 2175 0 0 0 187 26 0 0 20 0 19 0 411004815 15789518848 754151 33554432000 4194304 4196468 140728184790928 140305308973328 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11930] ppid=11925 vsize=15419452 memory=-7003737579269690708 CPUtime=2.12 cores=1,3,5,7
/proc/11927/task/11930/stat : 11930 (java) S 11925 11925 3331 0 -1 1077944384 1837 0 0 0 186 26 0 0 20 0 19 0 411004815 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304988498320 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11931] ppid=11925 vsize=15419452 memory=3016604 CPUtime=2.11 cores=1,3,5,7
/proc/11927/task/11931/stat : 11931 (java) S 11925 11925 3331 0 -1 1077944384 1905 0 0 0 186 25 0 0 20 0 19 0 411004815 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304987445776 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11932] ppid=11925 vsize=15419452 memory=20772 CPUtime=2.13 cores=1,3,5,7
/proc/11927/task/11932/stat : 11932 (java) S 11925 11925 3331 0 -1 1077944384 1615 0 0 0 185 28 0 0 20 0 19 0 411004815 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304986393232 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11933] ppid=11925 vsize=15419452 memory=14048 CPUtime=0.47 cores=1,3,5,7
/proc/11927/task/11933/stat : 11933 (java) S 11925 11925 3331 0 -1 1077944384 5848 0 0 0 46 1 0 0 20 0 19 0 411004816 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304731728368 140305397328514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11934] ppid=11925 vsize=15419452 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11934/stat : 11934 (java) S 11925 11925 3331 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 411004816 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304730674656 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11935] ppid=11925 vsize=15419452 memory=500 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11935/stat : 11935 (java) S 11925 11925 3331 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 411004817 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304729622016 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11936] ppid=11925 vsize=15419452 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11936/stat : 11936 (java) S 11925 11925 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411004819 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304728570576 140305397335963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11937] ppid=11925 vsize=15419452 memory=928 CPUtime=5.31 cores=1,3,5,7
/proc/11927/task/11937/stat : 11937 (java) S 11925 11925 3331 0 -1 1077944384 21723 0 0 0 529 2 0 0 20 0 19 0 411004819 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304727517168 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11938] ppid=11925 vsize=15419452 memory=1760 CPUtime=5.66 cores=1,3,5,7
/proc/11927/task/11938/stat : 11938 (java) S 11925 11925 3331 0 -1 1077944384 20619 0 0 0 564 2 0 0 20 0 19 0 411004819 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304726464624 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11939] ppid=11925 vsize=15419452 memory=832 CPUtime=0.99 cores=1,3,5,7
/proc/11927/task/11939/stat : 11939 (java) S 11925 11925 3331 0 -1 1077944384 11996 0 0 0 98 1 0 0 20 0 19 0 411004819 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304725412080 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11940] ppid=11925 vsize=15419452 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11940/stat : 11940 (java) S 11925 11925 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411004819 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304724359776 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11941] ppid=11925 vsize=15419452 memory=1984 CPUtime=0.17 cores=1,3,5,7
/proc/11927/task/11941/stat : 11941 (java) S 11925 11925 3331 0 -1 1077944384 915 0 0 0 0 17 0 0 20 0 19 0 411004820 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304723307312 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11942] ppid=11925 vsize=15419452 memory=0 CPUtime=323.75 cores=1,3,5,7
/proc/11927/task/11942/stat : 11942 (java) R 11925 11925 3331 0 -1 4202560 3094 0 0 0 32374 1 0 0 20 0 19 0 411005335 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304714095864 140304999478524 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11943] ppid=11925 vsize=15419452 memory=4947093834026556800 CPUtime=323.51 cores=1,3,5,7
/proc/11927/task/11943/stat : 11943 (java) R 11925 11925 3331 0 -1 4202560 11487 0 0 0 32347 4 0 0 20 0 19 0 411005335 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304713044600 140304994246705 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11944] ppid=11925 vsize=15419452 memory=-7234860566295040558 CPUtime=324.15 cores=1,3,5,7
/proc/11927/task/11944/stat : 11944 (java) R 11925 11925 3331 0 -1 4202560 4021 0 0 0 32414 1 0 0 20 0 19 0 411005335 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304711991680 140304993991716 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11945] ppid=11925 vsize=15419452 memory=9126232286719478932 CPUtime=322.61 cores=1,3,5,7
/proc/11927/task/11945/stat : 11945 (java) R 11925 11925 3331 0 -1 4202560 4113 0 0 0 32249 12 0 0 20 0 19 0 411005335 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304710938328 140304998048451 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
Current children cumulated CPU time: 1319.85 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 3018052 KiB
[startup+334.401 s]
/proc/loadavg: 8.66 7.46 6.65 9/235 12001
/proc/meminfo: memFree=10260904/32770624 swapFree=66959216/67108860
[pid=11925] ppid=11922 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (xcsp3-exec) S 11922 11925 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411004813 115843072 362 33554432000 4194304 5098028 140733299167888 140733299165992 140078307271292 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27009024 140733299176314 140733299176557 140733299176557 140733299179466 0
/proc/11925/statm: 28282 362 304 221 0 87 0
[pid=11927] ppid=11925 vsize=15419452 memory=3016604 CPUtime=1321.4 cores=1,3,5,7
/proc/11927/stat : 11927 (java) S 11925 11925 3331 0 -1 1077944320 103495 0 0 0 131991 149 0 0 20 0 19 0 411004814 15789518848 754151 33554432000 4194304 4196468 140728184790928 140728184773472 140305397317367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
/proc/11927/statm: 3854863 754151 3552 1 0 3815965 0
[pid=11927/tid=11928] ppid=11925 vsize=15419452 memory=1984 CPUtime=4.6 cores=1,3,5,7
/proc/11927/task/11928/stat : 11928 (java) S 11925 11925 3331 0 -1 1077944384 10821 0 0 0 446 14 0 0 20 0 19 0 411004814 15789518848 754151 33554432000 4194304 4196468 140728184790928 140305401558144 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11929] ppid=11925 vsize=15419452 memory=2580 CPUtime=2.13 cores=1,3,5,7
/proc/11927/task/11929/stat : 11929 (java) S 11925 11925 3331 0 -1 1077944384 2175 0 0 0 187 26 0 0 20 0 19 0 411004815 15789518848 754151 33554432000 4194304 4196468 140728184790928 140305308973328 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11930] ppid=11925 vsize=15419452 memory=1760 CPUtime=2.12 cores=1,3,5,7
/proc/11927/task/11930/stat : 11930 (java) S 11925 11925 3331 0 -1 1077944384 1837 0 0 0 186 26 0 0 20 0 19 0 411004815 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304988498320 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11931] ppid=11925 vsize=15419452 memory=3848 CPUtime=2.11 cores=1,3,5,7
/proc/11927/task/11931/stat : 11931 (java) S 11925 11925 3331 0 -1 1077944384 1905 0 0 0 186 25 0 0 20 0 19 0 411004815 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304987445776 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11932] ppid=11925 vsize=15419452 memory=2588 CPUtime=2.13 cores=1,3,5,7
/proc/11927/task/11932/stat : 11932 (java) S 11925 11925 3331 0 -1 1077944384 1615 0 0 0 185 28 0 0 20 0 19 0 411004815 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304986393232 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11933] ppid=11925 vsize=15419452 memory=2680 CPUtime=0.47 cores=1,3,5,7
/proc/11927/task/11933/stat : 11933 (java) S 11925 11925 3331 0 -1 1077944384 5848 0 0 0 46 1 0 0 20 0 19 0 411004816 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304731728368 140305397328514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11934] ppid=11925 vsize=15419452 memory=4112 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11934/stat : 11934 (java) S 11925 11925 3331 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 411004816 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304730674656 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11935] ppid=11925 vsize=15419452 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11935/stat : 11935 (java) S 11925 11925 3331 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 411004817 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304729622016 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11936] ppid=11925 vsize=15419452 memory=3244 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11936/stat : 11936 (java) S 11925 11925 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411004819 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304728570576 140305397335963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11937] ppid=11925 vsize=15419452 memory=111636 CPUtime=5.31 cores=1,3,5,7
/proc/11927/task/11937/stat : 11937 (java) S 11925 11925 3331 0 -1 1077944384 21723 0 0 0 529 2 0 0 20 0 19 0 411004819 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304727517168 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11938] ppid=11925 vsize=15419452 memory=800 CPUtime=5.66 cores=1,3,5,7
/proc/11927/task/11938/stat : 11938 (java) S 11925 11925 3331 0 -1 1077944384 20619 0 0 0 564 2 0 0 20 0 19 0 411004819 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304726464624 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11939] ppid=11925 vsize=15419452 memory=1808 CPUtime=0.99 cores=1,3,5,7
/proc/11927/task/11939/stat : 11939 (java) S 11925 11925 3331 0 -1 1077944384 11996 0 0 0 98 1 0 0 20 0 19 0 411004819 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304725412080 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11940] ppid=11925 vsize=15419452 memory=924 CPUtime=0 cores=1,3,5,7
/proc/11927/task/11940/stat : 11940 (java) S 11925 11925 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411004819 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304724359776 140305397327573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11941] ppid=11925 vsize=15419452 memory=3848 CPUtime=0.17 cores=1,3,5,7
/proc/11927/task/11941/stat : 11941 (java) S 11925 11925 3331 0 -1 1077944384 915 0 0 0 0 17 0 0 20 0 19 0 411004820 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304723307312 140305397328514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11942] ppid=11925 vsize=15419452 memory=2588 CPUtime=324.14 cores=1,3,5,7
/proc/11927/task/11942/stat : 11942 (java) R 11925 11925 3331 0 -1 4202560 3094 0 0 0 32413 1 0 0 20 0 19 0 411005335 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304714095864 140304998154824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11943] ppid=11925 vsize=15419452 memory=1448 CPUtime=323.9 cores=1,3,5,7
/proc/11927/task/11943/stat : 11943 (java) R 11925 11925 3331 0 -1 4202560 11487 0 0 0 32386 4 0 0 20 0 19 0 411005335 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304713044600 140304998461848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11944] ppid=11925 vsize=15419452 memory=3016604 CPUtime=324.53 cores=1,3,5,7
/proc/11927/task/11944/stat : 11944 (java) R 11925 11925 3331 0 -1 4202560 4021 0 0 0 32452 1 0 0 20 0 19 0 411005335 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304711991680 140304998154824 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
[pid=11927/tid=11945] ppid=11925 vsize=15419452 memory=1720 CPUtime=323 cores=1,3,5,7
/proc/11927/task/11945/stat : 11945 (java) R 11925 11925 3331 0 -1 4202560 4113 0 0 0 32288 12 0 0 20 0 19 0 411005335 15789518848 754151 33554432000 4194304 4196468 140728184790928 140304710938328 140304998047820 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140728184792047 140728184792218 140728184792218 140728184795087 0
Current children cumulated CPU time: 1321.4 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 3018052 KiB
Child status: 0
Real time (s): 334.482
CPU time (s): 1321.57
CPU user time (s): 1320.06
CPU system time (s): 1.51515
CPU usage (%): 395.111
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 3018052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1320.06
system time used= 1.51515
maximum resident set size= 3016816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105173
page faults= 0
swaps= 0
block input operations= 0
block output operations= 712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11593
involuntary context switches= 18425
# summary of solver processes directly reported to runsolver:
# pid: 11925
# total CPU time (s): 1321.57
# total CPU user time (s): 1320.06
# total CPU system time (s): 1.51515
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.05026 second user time and 4.07218 second system time
The end