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 (15057 MiB free)
memory of node 1: 16384 MiB (15494 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394304-1568323721/watcher-4394304-1568323721 -o /tmp/evaluation-result-4394304-1568323721/solver-4394304-1568323721 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1608450993 HOME/instance-4394304-1568323721.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=25351, runsolver pid=25348
[startup+0.10011 s]*
/proc/loadavg: 1.00 1.18 1.59 5/223 25386
/proc/meminfo: memFree=31255132/32770624 swapFree=66933528/67108860
[pid=25351] ppid=25348 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25351/stat : 25351 (xcsp3-exec) S 25348 25351 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408643580 115843072 363 33554432000 4194304 5098028 140733972351296 140733972349400 140203083965052 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35250176 140733972358010 140733972358253 140733972358253 140733972361162 0
/proc/25351/statm: 28282 363 304 221 0 87 0
[pid=25353] ppid=25351 vsize=15144768 memory=30188 CPUtime=0.13 cores=1,3,5,7
/proc/25353/stat : 25353 (java) S 25351 25351 25300 0 -1 1077944320 5468 0 0 0 12 1 0 0 20 0 15 0 408643580 15508242432 7547 33554432000 4194304 4196468 140735406273312 140735406255856 140381167509239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
/proc/25353/statm: 3786192 7547 3179 1 0 3748377 0
[pid=25353/tid=25354] ppid=25351 vsize=15144768 memory=5852828627722076322 CPUtime=0.09 cores=1,3,5,7
/proc/25353/task/25354/stat : 25354 (java) S 25351 25351 25300 0 -1 1077944384 3367 0 0 0 8 1 0 0 20 0 15 0 408643580 15508242432 7547 33554432000 4194304 4196468 140735406273312 140381171738592 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25355] ppid=25351 vsize=15144768 memory=3472468841545245904 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25355/stat : 25355 (java) S 25351 25351 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408643581 15508242432 7547 33554432000 4194304 4196468 140735406273312 140381079165968 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25356] ppid=25351 vsize=15144768 memory=140712650094208 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25356/stat : 25356 (java) S 25351 25351 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408643581 15508242432 7547 33554432000 4194304 4196468 140735406273312 140381078113424 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25357] ppid=25351 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25357/stat : 25357 (java) S 25351 25351 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408643581 15508242432 7547 33554432000 4194304 4196468 140735406273312 140381077060368 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25358] ppid=25351 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25358/stat : 25358 (java) S 25351 25351 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408643581 15508242432 7547 33554432000 4194304 4196468 140735406273312 140381076007824 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25359] ppid=25351 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25359/stat : 25359 (java) S 25351 25351 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408643583 15508242432 7547 33554432000 4194304 4196468 140735406273312 140380636199152 140381167520386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25360] ppid=25351 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25360/stat : 25360 (java) S 25351 25351 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408643583 15508242432 7547 33554432000 4194304 4196468 140735406273312 140380635145376 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25363] ppid=25351 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25363/stat : 25363 (java) S 25351 25351 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408643583 15508242432 7547 33554432000 4194304 4196468 140735406273312 140380634092272 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25374] ppid=25351 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25374/stat : 25374 (java) S 25351 25351 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408643586 15508242432 7547 33554432000 4194304 4196468 140735406273312 140380633040848 140381167527835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25375] ppid=25351 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25375/stat : 25375 (java) R 25351 25351 25300 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 408643586 15508242432 7547 33554432000 4194304 4196468 140735406273312 140380631988976 140381167520386 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25376] ppid=25351 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25376/stat : 25376 (java) R 25351 25351 25300 0 -1 4202560 160 0 0 0 0 0 0 0 20 0 15 0 408643586 15508242432 7547 33554432000 4194304 4196468 140735406273312 140380630936432 140381144753984 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25377] ppid=25351 vsize=15144768 memory=140712650094208 CPUtime=0.02 cores=1,3,5,7
/proc/25353/task/25377/stat : 25377 (java) S 25351 25351 25300 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 408643586 15508242432 7547 33554432000 4194304 4196468 140735406273312 140380629883376 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25378] ppid=25351 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25378/stat : 25378 (java) S 25351 25351 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408643586 15508242432 7547 33554432000 4194304 4196468 140735406273312 140380628831072 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25379] ppid=25351 vsize=15144768 memory=140712650094208 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25379/stat : 25379 (java) S 25351 25351 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408643586 15508242432 7547 33554432000 4194304 4196468 140735406273312 140380627778096 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31640 KiB
[startup+0.210841 s]*
/proc/loadavg: 1.00 1.18 1.59 3/229 25392
/proc/meminfo: memFree=31226540/32770624 swapFree=66933528/67108860
[pid=25351] ppid=25348 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25351/stat : 25351 (xcsp3-exec) S 25348 25351 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408643580 115843072 363 33554432000 4194304 5098028 140733972351296 140733972349400 140203083965052 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35250176 140733972358010 140733972358253 140733972358253 140733972361162 0
/proc/25351/statm: 28282 363 304 221 0 87 0
[pid=25353] ppid=25351 vsize=15144768 memory=40360 CPUtime=0.32 cores=1,3,5,7
/proc/25353/stat : 25353 (java) S 25351 25351 25300 0 -1 1077944320 8830 0 0 0 29 3 0 0 20 0 15 0 408643580 15508242432 10090 33554432000 4194304 4196468 140735406273312 140735406255856 140381167509239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
/proc/25353/statm: 3786192 10090 3259 1 0 3748377 0
[pid=25353/tid=25354] ppid=25351 vsize=15144768 memory=5855082630903857826 CPUtime=0.19 cores=1,3,5,7
/proc/25353/task/25354/stat : 25354 (java) D 25351 25351 25300 0 -1 4202560 6135 0 0 0 16 3 0 0 20 0 15 0 408643580 15508242432 10090 33554432000 4194304 4196468 140735406273312 140381171739552 140381167531165 0 4 0 16800975 18446744071580419588 0 0 -1 3 0 0 1 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25355] ppid=25351 vsize=15144768 memory=3472468841545245904 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25355/stat : 25355 (java) S 25351 25351 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408643581 15508242432 10090 33554432000 4194304 4196468 140735406273312 140381079165968 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25356] ppid=25351 vsize=15144768 memory=140712650094208 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25356/stat : 25356 (java) S 25351 25351 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408643581 15508242432 10090 33554432000 4194304 4196468 140735406273312 140381078113424 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25357] ppid=25351 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25357/stat : 25357 (java) S 25351 25351 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408643581 15508242432 10090 33554432000 4194304 4196468 140735406273312 140381077060368 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25358] ppid=25351 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25358/stat : 25358 (java) S 25351 25351 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408643581 15508242432 10090 33554432000 4194304 4196468 140735406273312 140381076007824 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25359] ppid=25351 vsize=15144768 memory=140712650094208 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25359/stat : 25359 (java) S 25351 25351 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408643583 15508242432 10090 33554432000 4194304 4196468 140735406273312 140380636199152 140381167520386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25360] ppid=25351 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25360/stat : 25360 (java) S 25351 25351 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408643583 15508242432 10090 33554432000 4194304 4196468 140735406273312 140380635145376 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25363] ppid=25351 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25363/stat : 25363 (java) S 25351 25351 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408643583 15508242432 10090 33554432000 4194304 4196468 140735406273312 140380634092272 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25374] ppid=25351 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25374/stat : 25374 (java) S 25351 25351 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408643586 15508242432 10090 33554432000 4194304 4196468 140735406273312 140380633040848 140381167527835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25375] ppid=25351 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25353/task/25375/stat : 25375 (java) S 25351 25351 25300 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 15 0 408643586 15508242432 10090 33554432000 4194304 4196468 140735406273312 140380631988976 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25376] ppid=25351 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25353/task/25376/stat : 25376 (java) S 25351 25351 25300 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 15 0 408643586 15508242432 10090 33554432000 4194304 4196468 140735406273312 140380630936432 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25377] ppid=25351 vsize=15144768 memory=140712650094208 CPUtime=0.07 cores=1,3,5,7
/proc/25353/task/25377/stat : 25377 (java) S 25351 25351 25300 0 -1 1077944384 770 0 0 0 7 0 0 0 20 0 15 0 408643586 15508242432 10090 33554432000 4194304 4196468 140735406273312 140380629883376 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25378] ppid=25351 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25378/stat : 25378 (java) S 25351 25351 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408643586 15508242432 10090 33554432000 4194304 4196468 140735406273312 140380628831072 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25379] ppid=25351 vsize=15144768 memory=140712650094208 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25379/stat : 25379 (java) S 25351 25351 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408643586 15508242432 10090 33554432000 4194304 4196468 140735406273312 140380627778096 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41812 KiB
[startup+0.315573 s]*
/proc/loadavg: 1.00 1.18 1.59 5/229 25392
/proc/meminfo: memFree=31211776/32770624 swapFree=66933528/67108860
[pid=25351] ppid=25348 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25351/stat : 25351 (xcsp3-exec) S 25348 25351 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408643580 115843072 363 33554432000 4194304 5098028 140733972351296 140733972349400 140203083965052 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35250176 140733972358010 140733972358253 140733972358253 140733972361162 0
/proc/25351/statm: 28282 363 304 221 0 87 0
[pid=25353] ppid=25351 vsize=15149024 memory=46148 CPUtime=0.45 cores=1,3,5,7
/proc/25353/stat : 25353 (java) S 25351 25351 25300 0 -1 1077944320 9889 0 0 0 42 3 0 0 20 0 15 0 408643580 15512600576 11537 33554432000 4194304 4196468 140735406273312 140735406255856 140381167509239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
/proc/25353/statm: 3787256 11537 3331 1 0 3748377 0
[pid=25353/tid=25354] ppid=25351 vsize=15149024 memory=7897514329198467998 CPUtime=0.26 cores=1,3,5,7
/proc/25353/task/25354/stat : 25354 (java) R 25351 25351 25300 0 -1 4202560 7019 0 0 0 23 3 0 0 20 0 15 0 408643580 15512600576 11537 33554432000 4194304 4196468 140735406273312 140381171721792 140381167531165 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25355] ppid=25351 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25355/stat : 25355 (java) S 25351 25351 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408643581 15512600576 11537 33554432000 4194304 4196468 140735406273312 140381079165968 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25356] ppid=25351 vsize=15149024 memory=140712523999263 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25356/stat : 25356 (java) S 25351 25351 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408643581 15512600576 11537 33554432000 4194304 4196468 140735406273312 140381078113424 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25357] ppid=25351 vsize=15149024 memory=281425047963936 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25357/stat : 25357 (java) S 25351 25351 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408643581 15512600576 11537 33554432000 4194304 4196468 140735406273312 140381077060368 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25358] ppid=25351 vsize=15149024 memory=140712523962383 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25358/stat : 25358 (java) S 25351 25351 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408643581 15512600576 11537 33554432000 4194304 4196468 140735406273312 140381076007824 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25359] ppid=25351 vsize=15149024 memory=281425174063488 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25359/stat : 25359 (java) S 25351 25351 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408643583 15512600576 11537 33554432000 4194304 4196468 140735406273312 140380636199152 140381167520386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25360] ppid=25351 vsize=15149024 memory=140712523966991 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25360/stat : 25360 (java) S 25351 25351 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408643583 15512600576 11537 33554432000 4194304 4196468 140735406273312 140380635145376 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25363] ppid=25351 vsize=15149024 memory=140712523994596 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25363/stat : 25363 (java) S 25351 25351 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408643583 15512600576 11537 33554432000 4194304 4196468 140735406273312 140380634092272 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25374] ppid=25351 vsize=15149024 memory=140712523996926 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25374/stat : 25374 (java) S 25351 25351 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408643586 15512600576 11537 33554432000 4194304 4196468 140735406273312 140380633040848 140381167527835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25375] ppid=25351 vsize=15149024 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25353/task/25375/stat : 25375 (java) R 25351 25351 25300 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 15 0 408643586 15512600576 11537 33554432000 4194304 4196468 140735406273312 140380631988976 140381167520386 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25376] ppid=25351 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/25353/task/25376/stat : 25376 (java) S 25351 25351 25300 0 -1 1077944384 280 0 0 0 4 0 0 0 20 0 15 0 408643586 15512600576 11537 33554432000 4194304 4196468 140735406273312 140380630936432 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25377] ppid=25351 vsize=15149024 memory=140712650094208 CPUtime=0.11 cores=1,3,5,7
/proc/25353/task/25377/stat : 25377 (java) R 25351 25351 25300 0 -1 1077944384 888 0 0 0 11 0 0 0 20 0 15 0 408643586 15512600576 11537 33554432000 4194304 4196468 140735406273312 140380629883376 140381167520386 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25378] ppid=25351 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25378/stat : 25378 (java) S 25351 25351 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408643586 15512600576 11537 33554432000 4194304 4196468 140735406273312 140380628831072 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25379] ppid=25351 vsize=15149024 memory=140712650095660 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25379/stat : 25379 (java) S 25351 25351 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408643586 15512600576 11537 33554432000 4194304 4196468 140735406273312 140380627778096 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 47600 KiB
[startup+0.702705 s]
/proc/loadavg: 1.00 1.18 1.59 5/229 25392
/proc/meminfo: memFree=31179896/32770624 swapFree=66933528/67108860
[pid=25351] ppid=25348 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25351/stat : 25351 (xcsp3-exec) S 25348 25351 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408643580 115843072 363 33554432000 4194304 5098028 140733972351296 140733972349400 140203083965052 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35250176 140733972358010 140733972358253 140733972358253 140733972361162 0
/proc/25351/statm: 28282 363 304 221 0 87 0
[pid=25353] ppid=25351 vsize=15151148 memory=84456 CPUtime=1.56 cores=1,3,5,7
/proc/25353/stat : 25353 (java) S 25351 25351 25300 0 -1 1077944320 14317 0 0 0 151 5 0 0 20 0 15 0 408643580 15514775552 21114 33554432000 4194304 4196468 140735406273312 140735406255856 140381167509239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
/proc/25353/statm: 3787787 21114 3455 1 0 3748889 0
[pid=25353/tid=25354] ppid=25351 vsize=15151148 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/25353/task/25354/stat : 25354 (java) R 25351 25351 25300 0 -1 4202560 8136 0 0 0 59 4 0 0 20 0 15 0 408643580 15514775552 21114 33554432000 4194304 4196468 140735406273312 140381171747360 140381167521174 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25355] ppid=25351 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25355/stat : 25355 (java) S 25351 25351 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408643581 15514775552 21114 33554432000 4194304 4196468 140735406273312 140381079165968 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25356] ppid=25351 vsize=15151148 memory=46 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25356/stat : 25356 (java) S 25351 25351 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408643581 15514775552 21114 33554432000 4194304 4196468 140735406273312 140381078113424 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25357] ppid=25351 vsize=15151148 memory=4 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25357/stat : 25357 (java) S 25351 25351 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408643581 15514775552 21114 33554432000 4194304 4196468 140735406273312 140381077060368 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25358] ppid=25351 vsize=15151148 memory=93 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25358/stat : 25358 (java) S 25351 25351 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408643581 15514775552 21114 33554432000 4194304 4196468 140735406273312 140381076007824 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25359] ppid=25351 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25359/stat : 25359 (java) S 25351 25351 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408643583 15514775552 21114 33554432000 4194304 4196468 140735406273312 140380636199152 140381167520386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25360] ppid=25351 vsize=15151148 memory=7165352523811206457 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25360/stat : 25360 (java) S 25351 25351 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408643583 15514775552 21114 33554432000 4194304 4196468 140735406273312 140380635145376 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25363] ppid=25351 vsize=15151148 memory=7084813469699035216 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25363/stat : 25363 (java) S 25351 25351 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408643583 15514775552 21114 33554432000 4194304 4196468 140735406273312 140380634092272 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25374] ppid=25351 vsize=15151148 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25374/stat : 25374 (java) S 25351 25351 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408643586 15514775552 21114 33554432000 4194304 4196468 140735406273312 140380633040848 140381167527835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25375] ppid=25351 vsize=15151148 memory=1332 CPUtime=0.25 cores=1,3,5,7
/proc/25353/task/25375/stat : 25375 (java) R 25351 25351 25300 0 -1 1077944384 1295 0 0 0 25 0 0 0 20 0 15 0 408643586 15514775552 21114 33554432000 4194304 4196468 140735406273312 140380631977776 140381167519445 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25376] ppid=25351 vsize=15151148 memory=1564 CPUtime=0.26 cores=1,3,5,7
/proc/25353/task/25376/stat : 25376 (java) S 25351 25351 25300 0 -1 1077944384 1287 0 0 0 26 0 0 0 20 0 15 0 408643586 15514775552 21114 33554432000 4194304 4196468 140735406273312 140380630925904 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25377] ppid=25351 vsize=15151148 memory=976 CPUtime=0.39 cores=1,3,5,7
/proc/25353/task/25377/stat : 25377 (java) S 25351 25351 25300 0 -1 1077944384 2291 0 0 0 39 0 0 0 20 0 15 0 408643586 15514775552 21114 33554432000 4194304 4196468 140735406273312 140380629883376 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25378] ppid=25351 vsize=15151148 memory=772 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25378/stat : 25378 (java) S 25351 25351 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408643586 15514775552 21114 33554432000 4194304 4196468 140735406273312 140380628831072 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25379] ppid=25351 vsize=15151148 memory=3932 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25379/stat : 25379 (java) S 25351 25351 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408643586 15514775552 21114 33554432000 4194304 4196468 140735406273312 140380627778096 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 85908 KiB
[startup+1.5056 s]
/proc/loadavg: 1.00 1.18 1.59 5/229 25392
/proc/meminfo: memFree=30998732/32770624 swapFree=66933528/67108860
[pid=25351] ppid=25348 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25351/stat : 25351 (xcsp3-exec) S 25348 25351 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408643580 115843072 363 33554432000 4194304 5098028 140733972351296 140733972349400 140203083965052 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35250176 140733972358010 140733972358253 140733972358253 140733972361162 0
/proc/25351/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/25353/stat : 25353 (java) S 25351 25351 25300 0 -1 1077944320 88720 0 0 0 207704 38 0 0 20 0 19 0 408643580 15789518848 56714 33554432000 4194304 4196468 140735406273312 140735406255856 140381167509239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
/proc/25353/statm: 3854863 56714 3521 1 0 3815965 0
[pid=25353/tid=25354] ppid=25351 vsize=15419452 memory=226856 CPUtime=1.09 cores=1,3,5,7
/proc/25353/task/25354/stat : 25354 (java) S 25351 25351 25300 0 -1 1077944384 10540 0 0 0 104 5 0 0 20 0 19 0 408643580 15789518848 56714 33554432000 4194304 4196468 140735406273312 140381171750016 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25355] ppid=25351 vsize=15419452 memory=226856 CPUtime=0.27 cores=1,3,5,7
/proc/25353/task/25355/stat : 25355 (java) S 25351 25351 25300 0 -1 1077944384 853 0 0 0 23 4 0 0 20 0 19 0 408643581 15789518848 56714 33554432000 4194304 4196468 140735406273312 140381079165968 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25356] ppid=25351 vsize=15419452 memory=1452 CPUtime=0.26 cores=1,3,5,7
/proc/25353/task/25356/stat : 25356 (java) S 25351 25351 25300 0 -1 1077944384 1975 0 0 0 22 4 0 0 20 0 19 0 408643581 15789518848 56714 33554432000 4194304 4196468 140735406273312 140381078113424 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25357] ppid=25351 vsize=15419452 memory=226856 CPUtime=0.26 cores=1,3,5,7
/proc/25353/task/25357/stat : 25357 (java) S 25351 25351 25300 0 -1 1077944384 2106 0 0 0 22 4 0 0 20 0 19 0 408643581 15789518848 56714 33554432000 4194304 4196468 140735406273312 140381077060368 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25358] ppid=25351 vsize=15419452 memory=226856 CPUtime=0.27 cores=1,3,5,7
/proc/25353/task/25358/stat : 25358 (java) S 25351 25351 25300 0 -1 1077944384 2522 0 0 0 23 4 0 0 20 0 19 0 408643581 15789518848 56714 33554432000 4194304 4196468 140735406273312 140381076007824 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25359] ppid=25351 vsize=15419452 memory=1452 CPUtime=0.17 cores=1,3,5,7
/proc/25353/task/25359/stat : 25359 (java) S 25351 25351 25300 0 -1 1077944384 2130 0 0 0 10 7 0 0 20 0 19 0 408643583 15789518848 56714 33554432000 4194304 4196468 140735406273312 140380636199152 140381167520386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25360] ppid=25351 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25360/stat : 25360 (java) S 25351 25351 25300 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 408643583 15789518848 56714 33554432000 4194304 4196468 140735406273312 140380635145440 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25363] ppid=25351 vsize=15419452 memory=226856 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25363/stat : 25363 (java) S 25351 25351 25300 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 408643583 15789518848 56714 33554432000 4194304 4196468 140735406273312 140380634092288 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25374] ppid=25351 vsize=15419452 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25374/stat : 25374 (java) S 25351 25351 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408643586 15789518848 56714 33554432000 4194304 4196468 140735406273312 140380633040848 140381167527835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25375] ppid=25351 vsize=15419452 memory=11928 CPUtime=4.12 cores=1,3,5,7
/proc/25353/task/25375/stat : 25375 (java) S 25351 25351 25300 0 -1 1077944384 24195 0 0 0 410 2 0 0 20 0 19 0 408643586 15789518848 56714 33554432000 4194304 4196468 140735406273312 140380631988976 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25376] ppid=25351 vsize=15419452 memory=1452 CPUtime=4.25 cores=1,3,5,7
/proc/25353/task/25376/stat : 25376 (java) S 25351 25351 25300 0 -1 1077944384 21554 0 0 0 423 2 0 0 20 0 19 0 408643586 15789518848 56714 33554432000 4194304 4196468 140735406273312 140380630936432 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25377] ppid=25351 vsize=15419452 memory=226856 CPUtime=0.96 cores=1,3,5,7
/proc/25353/task/25377/stat : 25377 (java) S 25351 25351 25300 0 -1 1077944384 11922 0 0 0 94 2 0 0 20 0 19 0 408643586 15789518848 56714 33554432000 4194304 4196468 140735406273312 140380629883376 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25378] ppid=25351 vsize=15419452 memory=412 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25378/stat : 25378 (java) S 25351 25351 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408643586 15789518848 56714 33554432000 4194304 4196468 140735406273312 140380628831072 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25379] ppid=25351 vsize=15419452 memory=425 CPUtime=0.1 cores=1,3,5,7
/proc/25353/task/25379/stat : 25379 (java) S 25351 25351 25300 0 -1 1077944384 368 0 0 0 0 10 0 0 20 0 19 0 408643586 15789518848 56714 33554432000 4194304 4196468 140735406273312 140380627778096 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25393] ppid=25351 vsize=15419452 memory=1452 CPUtime=516.77 cores=1,3,5,7
/proc/25353/task/25393/stat : 25393 (java) R 25351 25351 25300 0 -1 4202560 1486 0 0 0 51677 0 0 0 20 0 19 0 408643698 15789518848 56714 33554432000 4194304 4196468 140735406273312 140380616468896 140380763652273 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25394] ppid=25351 vsize=15419452 memory=226856 CPUtime=516.45 cores=1,3,5,7
/proc/25353/task/25394/stat : 25394 (java) R 25351 25351 25300 0 -1 4202560 3829 0 0 0 51645 0 0 0 20 0 19 0 408643698 15789518848 56714 33554432000 4194304 4196468 140735406273312 140380615419696 140380763112219 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25395] ppid=25351 vsize=15419452 memory=1452 CPUtime=516.33 cores=1,3,5,7
/proc/25353/task/25395/stat : 25395 (java) R 25351 25351 25300 0 -1 4202560 2173 0 0 0 51633 0 0 0 20 0 19 0 408643698 15789518848 56714 33554432000 4194304 4196468 140735406273312 140380614364440 140380763652104 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25396] ppid=25351 vsize=15419452 memory=1452 CPUtime=515.99 cores=1,3,5,7
/proc/25353/task/25396/stat : 25396 (java) R 25351 25351 25300 0 -1 4202560 1694 0 0 0 51599 0 0 0 20 0 19 0 408643698 15789518848 56714 33554432000 4194304 4196468 140735406273312 140380613312264 140380763651894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
Current children cumulated CPU time: 2077.42 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 228308 KiB
[startup+582.312 s]
/proc/loadavg: 8.43 7.48 4.83 9/237 25451
/proc/meminfo: memFree=27521348/32770624 swapFree=66933544/67108860
[pid=25351] ppid=25348 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25351/stat : 25351 (xcsp3-exec) S 25348 25351 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408643580 115843072 363 33554432000 4194304 5098028 140733972351296 140733972349400 140203083965052 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35250176 140733972358010 140733972358253 140733972358253 140733972361162 0
/proc/25351/statm: 28282 363 304 221 0 87 0
[pid=25353] ppid=25351 vsize=15419452 memory=230952 CPUtime=2316.14 cores=1,3,5,7
/proc/25353/stat : 25353 (java) S 25351 25351 25300 0 -1 1077944320 89021 0 0 0 231575 39 0 0 20 0 19 0 408643580 15789518848 57738 33554432000 4194304 4196468 140735406273312 140735406255856 140381167509239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
/proc/25353/statm: 3854863 57738 3521 1 0 3815965 0
[pid=25353/tid=25354] ppid=25351 vsize=15419452 memory=1452 CPUtime=1.09 cores=1,3,5,7
/proc/25353/task/25354/stat : 25354 (java) S 25351 25351 25300 0 -1 1077944384 10540 0 0 0 104 5 0 0 20 0 19 0 408643580 15789518848 57738 33554432000 4194304 4196468 140735406273312 140381171750016 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25355] ppid=25351 vsize=15419452 memory=230952 CPUtime=0.3 cores=1,3,5,7
/proc/25353/task/25355/stat : 25355 (java) S 25351 25351 25300 0 -1 1077944384 860 0 0 0 26 4 0 0 20 0 19 0 408643581 15789518848 57738 33554432000 4194304 4196468 140735406273312 140381079165968 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25356] ppid=25351 vsize=15419452 memory=228904 CPUtime=0.29 cores=1,3,5,7
/proc/25353/task/25356/stat : 25356 (java) S 25351 25351 25300 0 -1 1077944384 1977 0 0 0 25 4 0 0 20 0 19 0 408643581 15789518848 57738 33554432000 4194304 4196468 140735406273312 140381078113424 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25357] ppid=25351 vsize=15419452 memory=230952 CPUtime=0.29 cores=1,3,5,7
/proc/25353/task/25357/stat : 25357 (java) S 25351 25351 25300 0 -1 1077944384 2116 0 0 0 25 4 0 0 20 0 19 0 408643581 15789518848 57738 33554432000 4194304 4196468 140735406273312 140381077060368 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25358] ppid=25351 vsize=15419452 memory=230952 CPUtime=0.3 cores=1,3,5,7
/proc/25353/task/25358/stat : 25358 (java) S 25351 25351 25300 0 -1 1077944384 2528 0 0 0 26 4 0 0 20 0 19 0 408643581 15789518848 57738 33554432000 4194304 4196468 140735406273312 140381076007824 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25359] ppid=25351 vsize=15419452 memory=230952 CPUtime=0.19 cores=1,3,5,7
/proc/25353/task/25359/stat : 25359 (java) S 25351 25351 25300 0 -1 1077944384 2135 0 0 0 11 8 0 0 20 0 19 0 408643583 15789518848 57738 33554432000 4194304 4196468 140735406273312 140380636199152 140381167520386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25360] ppid=25351 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25360/stat : 25360 (java) S 25351 25351 25300 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 408643583 15789518848 57738 33554432000 4194304 4196468 140735406273312 140380635145440 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25363] ppid=25351 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25363/stat : 25363 (java) S 25351 25351 25300 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 408643583 15789518848 57738 33554432000 4194304 4196468 140735406273312 140380634092288 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25374] ppid=25351 vsize=15419452 memory=228904 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25374/stat : 25374 (java) S 25351 25351 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408643586 15789518848 57738 33554432000 4194304 4196468 140735406273312 140380633040848 140381167527835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25375] ppid=25351 vsize=15419452 memory=1452 CPUtime=4.13 cores=1,3,5,7
/proc/25353/task/25375/stat : 25375 (java) S 25351 25351 25300 0 -1 1077944384 24213 0 0 0 411 2 0 0 20 0 19 0 408643586 15789518848 57738 33554432000 4194304 4196468 140735406273312 140380631988976 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25376] ppid=25351 vsize=15419452 memory=1452 CPUtime=4.32 cores=1,3,5,7
/proc/25353/task/25376/stat : 25376 (java) S 25351 25351 25300 0 -1 1077944384 21725 0 0 0 430 2 0 0 20 0 19 0 408643586 15789518848 57738 33554432000 4194304 4196468 140735406273312 140380630936432 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25377] ppid=25351 vsize=15419452 memory=1452 CPUtime=0.96 cores=1,3,5,7
/proc/25353/task/25377/stat : 25377 (java) S 25351 25351 25300 0 -1 1077944384 11922 0 0 0 94 2 0 0 20 0 19 0 408643586 15789518848 57738 33554432000 4194304 4196468 140735406273312 140380629883376 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25378] ppid=25351 vsize=15419452 memory=230952 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25378/stat : 25378 (java) S 25351 25351 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408643586 15789518848 57738 33554432000 4194304 4196468 140735406273312 140380628831072 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25379] ppid=25351 vsize=15419452 memory=1452 CPUtime=0.11 cores=1,3,5,7
/proc/25353/task/25379/stat : 25379 (java) S 25351 25351 25300 0 -1 1077944384 372 0 0 0 0 11 0 0 20 0 19 0 408643586 15789518848 57738 33554432000 4194304 4196468 140735406273312 140380627778096 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25393] ppid=25351 vsize=15419452 memory=228904 CPUtime=576.59 cores=1,3,5,7
/proc/25353/task/25393/stat : 25393 (java) R 25351 25351 25300 0 -1 4202560 1498 0 0 0 57659 0 0 0 20 0 19 0 408643698 15789518848 57738 33554432000 4194304 4196468 140735406273312 140380616469144 140380764317865 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25394] ppid=25351 vsize=15419452 memory=1452 CPUtime=575.97 cores=1,3,5,7
/proc/25353/task/25394/stat : 25394 (java) R 25351 25351 25300 0 -1 4202560 3863 0 0 0 57597 0 0 0 20 0 19 0 408643698 15789518848 57738 33554432000 4194304 4196468 140735406273312 140380615419696 140380763112272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25395] ppid=25351 vsize=15419452 memory=1452 CPUtime=575.77 cores=1,3,5,7
/proc/25353/task/25395/stat : 25395 (java) R 25351 25351 25300 0 -1 4202560 2193 0 0 0 57577 0 0 0 20 0 19 0 408643698 15789518848 57738 33554432000 4194304 4196468 140735406273312 140380614364584 140380763651991 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25396] ppid=25351 vsize=15419452 memory=1452 CPUtime=575.68 cores=1,3,5,7
/proc/25353/task/25396/stat : 25396 (java) R 25351 25351 25300 0 -1 4202560 1706 0 0 0 57568 0 0 0 20 0 19 0 408643698 15789518848 57738 33554432000 4194304 4196468 140735406273312 140380613312224 140380763651894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
Current children cumulated CPU time: 2316.14 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 232404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+603.402 s]
/proc/loadavg: 8.37 7.53 4.90 9/237 25454
/proc/meminfo: memFree=27519180/32770624 swapFree=66933544/67108860
[pid=25351] ppid=25348 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25351/stat : 25351 (xcsp3-exec) S 25348 25351 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408643580 115843072 363 33554432000 4194304 5098028 140733972351296 140733972349400 140203083965052 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35250176 140733972358010 140733972358253 140733972358253 140733972361162 0
/proc/25351/statm: 28282 363 304 221 0 87 0
[pid=25353] ppid=25351 vsize=15419452 memory=233000 CPUtime=2400.09 cores=1,3,5,7
/proc/25353/stat : 25353 (java) S 25351 25351 25300 0 -1 1077944320 90098 0 0 0 239969 40 0 0 20 0 19 0 408643580 15789518848 58250 33554432000 4194304 4196468 140735406273312 140735406255856 140381167509239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
/proc/25353/statm: 3854863 58250 3521 1 0 3815965 0
[pid=25353/tid=25354] ppid=25351 vsize=15419452 memory=6154820267226784105 CPUtime=1.09 cores=1,3,5,7
/proc/25353/task/25354/stat : 25354 (java) S 25351 25351 25300 0 -1 1077944384 10540 0 0 0 104 5 0 0 20 0 19 0 408643580 15789518848 58250 33554432000 4194304 4196468 140735406273312 140381171750016 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25355] ppid=25351 vsize=15419452 memory=3932 CPUtime=0.31 cores=1,3,5,7
/proc/25353/task/25355/stat : 25355 (java) S 25351 25351 25300 0 -1 1077944384 911 0 0 0 27 4 0 0 20 0 19 0 408643581 15789518848 58250 33554432000 4194304 4196468 140735406273312 140381079165968 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25356] ppid=25351 vsize=15419452 memory=2832 CPUtime=0.3 cores=1,3,5,7
/proc/25353/task/25356/stat : 25356 (java) S 25351 25351 25300 0 -1 1077944384 2009 0 0 0 26 4 0 0 20 0 19 0 408643581 15789518848 58250 33554432000 4194304 4196468 140735406273312 140381078113424 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25357] ppid=25351 vsize=15419452 memory=1548 CPUtime=0.3 cores=1,3,5,7
/proc/25353/task/25357/stat : 25357 (java) S 25351 25351 25300 0 -1 1077944384 2131 0 0 0 26 4 0 0 20 0 19 0 408643581 15789518848 58250 33554432000 4194304 4196468 140735406273312 140381077060368 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25358] ppid=25351 vsize=15419452 memory=1056 CPUtime=0.31 cores=1,3,5,7
/proc/25353/task/25358/stat : 25358 (java) S 25351 25351 25300 0 -1 1077944384 2970 0 0 0 27 4 0 0 20 0 19 0 408643581 15789518848 58250 33554432000 4194304 4196468 140735406273312 140381076007824 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25359] ppid=25351 vsize=15419452 memory=744 CPUtime=0.19 cores=1,3,5,7
/proc/25353/task/25359/stat : 25359 (java) S 25351 25351 25300 0 -1 1077944384 2325 0 0 0 11 8 0 0 20 0 19 0 408643583 15789518848 58250 33554432000 4194304 4196468 140735406273312 140380636199152 140381167520386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25360] ppid=25351 vsize=15419452 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25360/stat : 25360 (java) S 25351 25351 25300 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 408643583 15789518848 58250 33554432000 4194304 4196468 140735406273312 140380635145440 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25363] ppid=25351 vsize=15419452 memory=5952 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25363/stat : 25363 (java) S 25351 25351 25300 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 408643583 15789518848 58250 33554432000 4194304 4196468 140735406273312 140380634092288 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25374] ppid=25351 vsize=15419452 memory=1124 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25374/stat : 25374 (java) S 25351 25351 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408643586 15789518848 58250 33554432000 4194304 4196468 140735406273312 140380633040848 140381167527835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25375] ppid=25351 vsize=15419452 memory=14008 CPUtime=4.13 cores=1,3,5,7
/proc/25353/task/25375/stat : 25375 (java) S 25351 25351 25300 0 -1 1077944384 24231 0 0 0 411 2 0 0 20 0 19 0 408643586 15789518848 58250 33554432000 4194304 4196468 140735406273312 140380631988976 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25376] ppid=25351 vsize=15419452 memory=11928 CPUtime=4.32 cores=1,3,5,7
/proc/25353/task/25376/stat : 25376 (java) S 25351 25351 25300 0 -1 1077944384 21727 0 0 0 430 2 0 0 20 0 19 0 408643586 15789518848 58250 33554432000 4194304 4196468 140735406273312 140380630936432 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25377] ppid=25351 vsize=15419452 memory=1452 CPUtime=0.96 cores=1,3,5,7
/proc/25353/task/25377/stat : 25377 (java) S 25351 25351 25300 0 -1 1077944384 11924 0 0 0 94 2 0 0 20 0 19 0 408643586 15789518848 58250 33554432000 4194304 4196468 140735406273312 140380629883376 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25378] ppid=25351 vsize=15419452 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/25353/task/25378/stat : 25378 (java) S 25351 25351 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408643586 15789518848 58250 33554432000 4194304 4196468 140735406273312 140380628831072 140381167519445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25379] ppid=25351 vsize=15419452 memory=20032 CPUtime=0.12 cores=1,3,5,7
/proc/25353/task/25379/stat : 25379 (java) S 25351 25351 25300 0 -1 1077944384 382 0 0 0 0 12 0 0 20 0 19 0 408643586 15789518848 58250 33554432000 4194304 4196468 140735406273312 140380627778096 140381167520386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25393] ppid=25351 vsize=15419452 memory=984 CPUtime=597.64 cores=1,3,5,7
/proc/25353/task/25393/stat : 25393 (java) R 25351 25351 25300 0 -1 4202560 1592 0 0 0 59764 0 0 0 20 0 19 0 408643698 15789518848 58250 33554432000 4194304 4196468 140735406273312 140380616468984 140380763652251 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25394] ppid=25351 vsize=15419452 memory=2032 CPUtime=597.04 cores=1,3,5,7
/proc/25353/task/25394/stat : 25394 (java) R 25351 25351 25300 0 -1 4202560 3984 0 0 0 59704 0 0 0 20 0 19 0 408643698 15789518848 58250 33554432000 4194304 4196468 140735406273312 140380615419808 140380763111877 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25395] ppid=25351 vsize=15419452 memory=2124 CPUtime=596.65 cores=1,3,5,7
/proc/25353/task/25395/stat : 25395 (java) R 25351 25351 25300 0 -1 4202560 2243 0 0 0 59665 0 0 0 20 0 19 0 408643698 15789518848 58250 33554432000 4194304 4196468 140735406273312 140380614364744 140380763652224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
[pid=25353/tid=25396] ppid=25351 vsize=15419452 memory=6228 CPUtime=596.57 cores=1,3,5,7
/proc/25353/task/25396/stat : 25396 (java) R 25351 25351 25300 0 -1 4202560 1756 0 0 0 59657 0 0 0 20 0 19 0 408643698 15789518848 58250 33554432000 4194304 4196468 140735406273312 140380613312016 140380763652109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9252864 140735406281711 140735406281882 140735406281882 140735406284751 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 234452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+603.436 s]
# the end of solver process 25351 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001184 s, system=0.001184 s
[startup+603.509 s]
# the end of solver process 25353 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.08 s, system=0.419386 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 603.509
CPU time (s): 2400.5
CPU user time (s): 2400.08
CPU system time (s): 0.419386
CPU usage (%): 397.757
Max. virtual memory (cumulated for all children) (KiB): 15534804
Max. memory (cumulated for all children) (KiB): 302952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.419386
maximum resident set size= 313860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90915
page faults= 0
swaps= 0
block input operations= 13600
block output operations= 824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20119
involuntary context switches= 57314
# summary of solver processes directly reported to runsolver:
# pid: 25351,25353
# total CPU time (s): 2400.5
# total CPU user time (s): 2400.08
# total CPU system time (s): 0.419386
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.69775 second user time and 6.77949 second system time
The end