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 (9666 MiB free)
memory of node 1: 16384 MiB (9583 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394239-1568331716/watcher-4394239-1568331716 -o /tmp/evaluation-result-4394239-1568331716/solver-4394239-1568331716 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1511397542 HOME/instance-4394239-1568331716.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=28631, runsolver pid=28628
[startup+0.103883 s]*
/proc/loadavg: 7.41 8.20 7.69 7/234 28647
/proc/meminfo: memFree=19694540/32770624 swapFree=66959216/67108860
[pid=28631] ppid=28628 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28631/stat : 28631 (xcsp3-exec) S 28628 28631 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409111820 115843072 363 33554432000 4194304 5098028 140733301267008 140733301265112 139639397118588 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36253696 140733301269370 140733301269613 140733301269613 140733301272522 0
/proc/28631/statm: 28282 363 304 221 0 87 0
[pid=28633] ppid=28631 vsize=15144768 memory=29596 CPUtime=0.14 cores=1,3,5,7
/proc/28633/stat : 28633 (java) S 28631 28631 18186 0 -1 1077944320 5871 0 0 0 13 1 0 0 20 0 15 0 409111821 15508242432 7399 33554432000 4194304 4196468 140726727356352 140726727338896 139654361820919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
/proc/28633/statm: 3786192 7399 3180 1 0 3748377 0
[pid=28633/tid=28634] ppid=28631 vsize=15144768 memory=-6962121287837372198 CPUtime=0.1 cores=1,3,5,7
/proc/28633/task/28634/stat : 28634 (java) R 28631 28631 18186 0 -1 4202560 3736 0 0 0 9 1 0 0 20 0 15 0 409111821 15508242432 7399 33554432000 4194304 4196468 140726727356352 139654366050672 139653965556420 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28635] ppid=28631 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28635/stat : 28635 (java) S 28631 28631 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409111822 15508242432 7399 33554432000 4194304 4196468 140726727356352 139654289861648 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28636] ppid=28631 vsize=15144768 memory=140114882266752 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28636/stat : 28636 (java) S 28631 28631 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409111822 15508242432 7399 33554432000 4194304 4196468 140726727356352 139654288809104 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28637] ppid=28631 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28637/stat : 28637 (java) S 28631 28631 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409111822 15508242432 7399 33554432000 4194304 4196468 140726727356352 139654287756048 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28638] ppid=28631 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28638/stat : 28638 (java) S 28631 28631 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409111822 15508242432 7399 33554432000 4194304 4196468 140726727356352 139654286703504 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28639] ppid=28631 vsize=15144768 memory=140114882266752 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28639/stat : 28639 (java) S 28631 28631 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409111823 15508242432 7399 33554432000 4194304 4196468 140726727356352 139653830424816 139654361832066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28640] ppid=28631 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28640/stat : 28640 (java) S 28631 28631 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409111823 15508242432 7399 33554432000 4194304 4196468 140726727356352 139653829371040 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28641] ppid=28631 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28641/stat : 28641 (java) S 28631 28631 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409111824 15508242432 7399 33554432000 4194304 4196468 140726727356352 139653828317936 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28642] ppid=28631 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28642/stat : 28642 (java) S 28631 28631 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409111826 15508242432 7399 33554432000 4194304 4196468 140726727356352 139653827266512 139654361839515 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28643] ppid=28631 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28643/stat : 28643 (java) S 28631 28631 18186 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 409111826 15508242432 7399 33554432000 4194304 4196468 140726727356352 139653826214640 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28644] ppid=28631 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28644/stat : 28644 (java) R 28631 28631 18186 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 409111826 15508242432 7399 33554432000 4194304 4196468 140726727356352 139653825162096 139654361832066 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28645] ppid=28631 vsize=15144768 memory=140114882266752 CPUtime=0.02 cores=1,3,5,7
/proc/28633/task/28645/stat : 28645 (java) R 28631 28631 18186 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 409111826 15508242432 7399 33554432000 4194304 4196468 140726727356352 139653824109040 139654354058046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28646] ppid=28631 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28646/stat : 28646 (java) S 28631 28631 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409111826 15508242432 7399 33554432000 4194304 4196468 140726727356352 139653823056736 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28647] ppid=28631 vsize=15144768 memory=140114882266752 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28647/stat : 28647 (java) S 28631 28631 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409111826 15508242432 7399 33554432000 4194304 4196468 140726727356352 139653822003760 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31048 KiB
[startup+0.211949 s]*
/proc/loadavg: 7.41 8.20 7.69 8/234 28647
/proc/meminfo: memFree=19681680/32770624 swapFree=66959216/67108860
[pid=28631] ppid=28628 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28631/stat : 28631 (xcsp3-exec) S 28628 28631 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409111820 115843072 363 33554432000 4194304 5098028 140733301267008 140733301265112 139639397118588 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36253696 140733301269370 140733301269613 140733301269613 140733301272522 0
/proc/28631/statm: 28282 363 304 221 0 87 0
[pid=28633] ppid=28631 vsize=15144768 memory=41276 CPUtime=0.34 cores=1,3,5,7
/proc/28633/stat : 28633 (java) S 28631 28631 18186 0 -1 1077944320 9521 0 0 0 32 2 0 0 20 0 15 0 409111821 15508242432 10319 33554432000 4194304 4196468 140726727356352 140726727338896 139654361820919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
/proc/28633/statm: 3786192 10319 3312 1 0 3748377 0
[pid=28633/tid=28634] ppid=28631 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/28633/task/28634/stat : 28634 (java) R 28631 28631 18186 0 -1 4202560 6640 0 0 0 18 2 0 0 20 0 15 0 409111821 15508242432 10319 33554432000 4194304 4196468 140726727356352 139654366057616 139654345864549 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28635] ppid=28631 vsize=15144768 memory=1965945 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28635/stat : 28635 (java) S 28631 28631 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409111822 15508242432 10319 33554432000 4194304 4196468 140726727356352 139654289861648 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28636] ppid=28631 vsize=15144768 memory=4049212871786956448 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28636/stat : 28636 (java) S 28631 28631 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409111822 15508242432 10319 33554432000 4194304 4196468 140726727356352 139654288809104 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28637] ppid=28631 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28637/stat : 28637 (java) S 28631 28631 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409111822 15508242432 10319 33554432000 4194304 4196468 140726727356352 139654287756048 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28638] ppid=28631 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28638/stat : 28638 (java) S 28631 28631 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409111822 15508242432 10319 33554432000 4194304 4196468 140726727356352 139654286703504 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28639] ppid=28631 vsize=15144768 memory=140114882266752 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28639/stat : 28639 (java) S 28631 28631 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409111823 15508242432 10319 33554432000 4194304 4196468 140726727356352 139653830424816 139654361832066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28640] ppid=28631 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28640/stat : 28640 (java) S 28631 28631 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409111823 15508242432 10319 33554432000 4194304 4196468 140726727356352 139653829371040 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28641] ppid=28631 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28641/stat : 28641 (java) S 28631 28631 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409111824 15508242432 10319 33554432000 4194304 4196468 140726727356352 139653828317936 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28642] ppid=28631 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28642/stat : 28642 (java) S 28631 28631 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409111826 15508242432 10319 33554432000 4194304 4196468 140726727356352 139653827266512 139654361839515 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28643] ppid=28631 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28633/task/28643/stat : 28643 (java) S 28631 28631 18186 0 -1 1077944384 422 0 0 0 2 0 0 0 20 0 15 0 409111826 15508242432 10319 33554432000 4194304 4196468 140726727356352 139653826214640 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28644] ppid=28631 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28633/task/28644/stat : 28644 (java) S 28631 28631 18186 0 -1 1077944384 420 0 0 0 2 0 0 0 20 0 15 0 409111826 15508242432 10319 33554432000 4194304 4196468 140726727356352 139653825162096 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28645] ppid=28631 vsize=15144768 memory=140114882266752 CPUtime=0.08 cores=1,3,5,7
/proc/28633/task/28645/stat : 28645 (java) S 28631 28631 18186 0 -1 1077944384 732 0 0 0 8 0 0 0 20 0 15 0 409111826 15508242432 10319 33554432000 4194304 4196468 140726727356352 139653824109040 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28646] ppid=28631 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28646/stat : 28646 (java) S 28631 28631 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409111826 15508242432 10319 33554432000 4194304 4196468 140726727356352 139653823056736 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28647] ppid=28631 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28647/stat : 28647 (java) S 28631 28631 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409111826 15508242432 10319 33554432000 4194304 4196468 140726727356352 139653822003760 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42728 KiB
[startup+0.312674 s]*
/proc/loadavg: 7.41 8.20 7.69 7/234 28647
/proc/meminfo: memFree=19673936/32770624 swapFree=66959216/67108860
[pid=28631] ppid=28628 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28631/stat : 28631 (xcsp3-exec) S 28628 28631 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409111820 115843072 363 33554432000 4194304 5098028 140733301267008 140733301265112 139639397118588 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36253696 140733301269370 140733301269613 140733301269613 140733301272522 0
/proc/28631/statm: 28282 363 304 221 0 87 0
[pid=28633] ppid=28631 vsize=15149024 memory=51284 CPUtime=0.54 cores=1,3,5,7
/proc/28633/stat : 28633 (java) S 28631 28631 18186 0 -1 1077944320 10922 0 0 0 50 4 0 0 20 0 15 0 409111821 15512600576 12821 33554432000 4194304 4196468 140726727356352 140726727338896 139654361820919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
/proc/28633/statm: 3787256 12821 3363 1 0 3748377 0
[pid=28633/tid=28634] ppid=28631 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/28633/task/28634/stat : 28634 (java) R 28631 28631 18186 0 -1 4202560 7831 0 0 0 27 3 0 0 20 0 15 0 409111821 15512600576 12821 33554432000 4194304 4196468 140726727356352 139654366052032 139654345901406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28635] ppid=28631 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28635/stat : 28635 (java) S 28631 28631 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409111822 15512600576 12821 33554432000 4194304 4196468 140726727356352 139654289861648 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28636] ppid=28631 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28636/stat : 28636 (java) S 28631 28631 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409111822 15512600576 12821 33554432000 4194304 4196468 140726727356352 139654288809104 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28637] ppid=28631 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28637/stat : 28637 (java) S 28631 28631 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409111822 15512600576 12821 33554432000 4194304 4196468 140726727356352 139654287756048 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28638] ppid=28631 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28638/stat : 28638 (java) S 28631 28631 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409111822 15512600576 12821 33554432000 4194304 4196468 140726727356352 139654286703504 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28639] ppid=28631 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28639/stat : 28639 (java) S 28631 28631 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409111823 15512600576 12821 33554432000 4194304 4196468 140726727356352 139653830424816 139654361832066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28640] ppid=28631 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28640/stat : 28640 (java) S 28631 28631 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409111823 15512600576 12821 33554432000 4194304 4196468 140726727356352 139653829371040 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28641] ppid=28631 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28641/stat : 28641 (java) S 28631 28631 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409111824 15512600576 12821 33554432000 4194304 4196468 140726727356352 139653828317936 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28642] ppid=28631 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28642/stat : 28642 (java) S 28631 28631 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409111826 15512600576 12821 33554432000 4194304 4196468 140726727356352 139653827266512 139654361839515 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28643] ppid=28631 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/28633/task/28643/stat : 28643 (java) S 28631 28631 18186 0 -1 1077944384 436 0 0 0 4 0 0 0 20 0 15 0 409111826 15512600576 12821 33554432000 4194304 4196468 140726727356352 139653826214640 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28644] ppid=28631 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/28633/task/28644/stat : 28644 (java) R 28631 28631 18186 0 -1 4202560 510 0 0 0 5 0 0 0 20 0 15 0 409111826 15512600576 12821 33554432000 4194304 4196468 140726727356352 139653825143112 139654340236785 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28645] ppid=28631 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/28633/task/28645/stat : 28645 (java) S 28631 28631 18186 0 -1 1077944384 839 0 0 0 12 0 0 0 20 0 15 0 409111826 15512600576 12821 33554432000 4194304 4196468 140726727356352 139653824109040 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28646] ppid=28631 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28646/stat : 28646 (java) S 28631 28631 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409111826 15512600576 12821 33554432000 4194304 4196468 140726727356352 139653823056736 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28647] ppid=28631 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28647/stat : 28647 (java) S 28631 28631 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409111826 15512600576 12821 33554432000 4194304 4196468 140726727356352 139653822003760 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52736 KiB
[startup+0.70404 s]
/proc/loadavg: 7.41 8.20 7.69 8/234 28647
/proc/meminfo: memFree=19659708/32770624 swapFree=66959216/67108860
[pid=28631] ppid=28628 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28631/stat : 28631 (xcsp3-exec) S 28628 28631 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409111820 115843072 363 33554432000 4194304 5098028 140733301267008 140733301265112 139639397118588 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36253696 140733301269370 140733301269613 140733301269613 140733301272522 0
/proc/28631/statm: 28282 363 304 221 0 87 0
[pid=28633] ppid=28631 vsize=15151148 memory=88688 CPUtime=1.59 cores=1,3,5,7
/proc/28633/stat : 28633 (java) S 28631 28631 18186 0 -1 1077944320 15042 0 0 0 153 6 0 0 20 0 15 0 409111821 15514775552 22172 33554432000 4194304 4196468 140726727356352 140726727338896 139654361820919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
/proc/28633/statm: 3787787 22172 3450 1 0 3748889 0
[pid=28633/tid=28634] ppid=28631 vsize=15151148 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/28633/task/28634/stat : 28634 (java) R 28631 28631 18186 0 -1 4202560 9236 0 0 0 63 4 0 0 20 0 15 0 409111821 15514775552 22172 33554432000 4194304 4196468 140726727356352 139654366058224 139654361842845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28635] ppid=28631 vsize=15151148 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28635/stat : 28635 (java) S 28631 28631 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409111822 15514775552 22172 33554432000 4194304 4196468 140726727356352 139654289861648 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28636] ppid=28631 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28636/stat : 28636 (java) S 28631 28631 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409111822 15514775552 22172 33554432000 4194304 4196468 140726727356352 139654288809104 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28637] ppid=28631 vsize=15151148 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28637/stat : 28637 (java) S 28631 28631 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409111822 15514775552 22172 33554432000 4194304 4196468 140726727356352 139654287756048 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28638] ppid=28631 vsize=15151148 memory=38324 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28638/stat : 28638 (java) S 28631 28631 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409111822 15514775552 22172 33554432000 4194304 4196468 140726727356352 139654286703504 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28639] ppid=28631 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28639/stat : 28639 (java) S 28631 28631 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409111823 15514775552 22172 33554432000 4194304 4196468 140726727356352 139653830424816 139654361832066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28640] ppid=28631 vsize=15151148 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28640/stat : 28640 (java) S 28631 28631 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409111823 15514775552 22172 33554432000 4194304 4196468 140726727356352 139653829371040 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28641] ppid=28631 vsize=15151148 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28641/stat : 28641 (java) S 28631 28631 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409111824 15514775552 22172 33554432000 4194304 4196468 140726727356352 139653828317936 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28642] ppid=28631 vsize=15151148 memory=580 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28642/stat : 28642 (java) S 28631 28631 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409111826 15514775552 22172 33554432000 4194304 4196468 140726727356352 139653827266512 139654361839515 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28643] ppid=28631 vsize=15151148 memory=1720 CPUtime=0.22 cores=1,3,5,7
/proc/28633/task/28643/stat : 28643 (java) R 28631 28631 18186 0 -1 4202560 1112 0 0 0 22 0 0 0 20 0 15 0 409111826 15514775552 22172 33554432000 4194304 4196468 140726727356352 139653826201488 139654361832854 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28644] ppid=28631 vsize=15151148 memory=10604 CPUtime=0.25 cores=1,3,5,7
/proc/28633/task/28644/stat : 28644 (java) R 28631 28631 18186 0 -1 4202560 1120 0 0 0 25 0 0 0 20 0 15 0 409111826 15514775552 22172 33554432000 4194304 4196468 140726727356352 139653825149152 139654341078858 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28645] ppid=28631 vsize=15151148 memory=3360 CPUtime=0.42 cores=1,3,5,7
/proc/28633/task/28645/stat : 28645 (java) R 28631 28631 18186 0 -1 1077944384 2265 0 0 0 42 0 0 0 20 0 15 0 409111826 15514775552 22172 33554432000 4194304 4196468 140726727356352 139653824104768 139654361831125 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28646] ppid=28631 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28646/stat : 28646 (java) S 28631 28631 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409111826 15514775552 22172 33554432000 4194304 4196468 140726727356352 139653823056736 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28647] ppid=28631 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28647/stat : 28647 (java) S 28631 28631 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409111826 15514775552 22172 33554432000 4194304 4196468 140726727356352 139653822003760 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 90140 KiB
[startup+1.50867 s]
/proc/loadavg: 7.41 8.20 7.69 9/238 28663
/proc/meminfo: memFree=19570080/32770624 swapFree=66959216/67108860
[pid=28631] ppid=28628 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28631/stat : 28631 (xcsp3-exec) S 28628 28631 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409111820 115843072 363 33554432000 4194304 5098028 140733301267008 140733301265112 139639397118588 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36253696 140733301269370 140733301269613 140733301269613 140733301272522 0
/proc/28631/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/28633/task/28647/stat : 28647 (java) S 28631 28631 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409111826 15925841920 57832 33554432000 4194304 4196468 140726727356352 139653822003760 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28708] ppid=28631 vsize=15552580 memory=5495680832962010268 CPUtime=0.85 cores=1,3,5,7
/proc/28633/task/28708/stat : 28708 (java) R 28631 28631 18186 0 -1 4202560 27 0 0 0 85 0 0 0 20 0 19 0 409112195 15925841920 57832 33554432000 4194304 4196468 140726727356352 139653217767640 139653973755464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28709] ppid=28631 vsize=15552580 memory=5781903505039337876 CPUtime=0.64 cores=1,3,5,7
/proc/28633/task/28709/stat : 28709 (java) R 28631 28631 18186 0 -1 4202560 23 0 0 0 64 0 0 0 20 0 19 0 409112195 15925841920 57832 33554432000 4194304 4196468 140726727356352 139653214609592 139653971299755 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28710] ppid=28631 vsize=15552580 memory=6944656425123485561 CPUtime=0.81 cores=1,3,5,7
/proc/28633/task/28710/stat : 28710 (java) R 28631 28631 18186 0 -1 4202560 31 0 0 0 81 0 0 0 20 0 19 0 409112195 15925841920 57832 33554432000 4194304 4196468 140726727356352 139653215664760 139653971695825 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28711] ppid=28631 vsize=15552580 memory=-7313218805096079717 CPUtime=0.58 cores=1,3,5,7
/proc/28633/task/28711/stat : 28711 (java) R 28631 28631 18186 0 -1 4202560 21 0 0 0 58 0 0 0 20 0 19 0 409112195 15925841920 57832 33554432000 4194304 4196468 140726727356352 139652903027384 139653974134881 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
Current children cumulated CPU time: 17.72 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 232780 KiB
[startup+5.60167 s]
/proc/loadavg: 7.38 8.18 7.69 9/238 28711
/proc/meminfo: memFree=19488208/32770624 swapFree=66959216/67108860
[pid=28631] ppid=28628 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28631/stat : 28631 (xcsp3-exec) S 28628 28631 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409111820 115843072 363 33554432000 4194304 5098028 140733301267008 140733301265112 139639397118588 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36253696 140733301269370 140733301269613 140733301269613 140733301272522 0
/proc/28631/statm: 28282 363 304 221 0 87 0
[pid=28633] ppid=28631 vsize=15552580 memory=238376 CPUtime=20.89 cores=1,3,5,7
/proc/28633/stat : 28633 (java) S 28631 28631 18186 0 -1 1077944320 38402 0 0 0 2075 14 0 0 20 0 19 0 409111821 15925841920 59594 33554432000 4194304 4196468 140726727356352 140726727338896 139654361820919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
/proc/28633/statm: 3888145 59594 3505 1 0 3849247 0
[pid=28633/tid=28634] ppid=28631 vsize=15552580 memory=7379799356979302758 CPUtime=0.79 cores=1,3,5,7
/proc/28633/task/28634/stat : 28634 (java) S 28631 28631 18186 0 -1 1077944384 9358 0 0 0 74 5 0 0 20 0 19 0 409111821 15925841920 59594 33554432000 4194304 4196468 140726727356352 139654366061696 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28635] ppid=28631 vsize=15552580 memory=7661300614929996128 CPUtime=0.01 cores=1,3,5,7
/proc/28633/task/28635/stat : 28635 (java) S 28631 28631 18186 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 19 0 409111822 15925841920 59594 33554432000 4194304 4196468 140726727356352 139654289861648 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28636] ppid=28631 vsize=15552580 memory=2008 CPUtime=0.01 cores=1,3,5,7
/proc/28633/task/28636/stat : 28636 (java) S 28631 28631 18186 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 19 0 409111822 15925841920 59594 33554432000 4194304 4196468 140726727356352 139654288809104 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28637] ppid=28631 vsize=15552580 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28637/stat : 28637 (java) S 28631 28631 18186 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 409111822 15925841920 59594 33554432000 4194304 4196468 140726727356352 139654287756048 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28638] ppid=28631 vsize=15552580 memory=580 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28638/stat : 28638 (java) S 28631 28631 18186 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 409111822 15925841920 59594 33554432000 4194304 4196468 140726727356352 139654286703504 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28639] ppid=28631 vsize=15552580 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28639/stat : 28639 (java) S 28631 28631 18186 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 19 0 409111823 15925841920 59594 33554432000 4194304 4196468 140726727356352 139653830424816 139654361832066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28640] ppid=28631 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28640/stat : 28640 (java) S 28631 28631 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409111823 15925841920 59594 33554432000 4194304 4196468 140726727356352 139653829371104 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28641] ppid=28631 vsize=15552580 memory=140114785662576 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28641/stat : 28641 (java) S 28631 28631 18186 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409111824 15925841920 59594 33554432000 4194304 4196468 140726727356352 139653828317952 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28642] ppid=28631 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28642/stat : 28642 (java) S 28631 28631 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409111826 15925841920 59594 33554432000 4194304 4196468 140726727356352 139653827266512 139654361839515 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28643] ppid=28631 vsize=15552580 memory=6791534058613427641 CPUtime=3.15 cores=1,3,5,7
/proc/28633/task/28643/stat : 28643 (java) D 28631 28631 18186 0 -1 4202560 9446 0 0 0 314 1 0 0 20 0 19 0 409111826 15925841920 59594 33554432000 4194304 4196468 140726727356352 139653826214936 139654341745055 0 4 0 16800975 18446744072100461701 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28644] ppid=28631 vsize=15552580 memory=0 CPUtime=3.12 cores=1,3,5,7
/proc/28633/task/28644/stat : 28644 (java) D 28631 28631 18186 0 -1 4202560 8285 0 0 0 311 1 0 0 20 0 19 0 409111826 15925841920 59594 33554432000 4194304 4196468 140726727356352 139653825162392 139654341728055 0 4 0 16800975 18446744072100461701 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28645] ppid=28631 vsize=15552580 memory=280229570412784 CPUtime=0.86 cores=1,3,5,7
/proc/28633/task/28645/stat : 28645 (java) S 28631 28631 18186 0 -1 1077944384 6367 0 0 0 85 1 0 0 20 0 19 0 409111826 15925841920 59594 33554432000 4194304 4196468 140726727356352 139653824109040 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28646] ppid=28631 vsize=15552580 memory=5184025527460 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28646/stat : 28646 (java) S 28631 28631 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409111826 15925841920 59594 33554432000 4194304 4196468 140726727356352 139653823056736 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28647] ppid=28631 vsize=15552580 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28647/stat : 28647 (java) D 28631 28631 18186 0 -1 4202560 383 0 0 0 0 0 0 0 20 0 19 0 409111826 15925841920 59594 33554432000 4194304 4196468 140726727356352 139653822003680 139654346677006 0 4 0 16800975 18446744072100461701 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28708] ppid=28631 vsize=15552580 memory=10604 CPUtime=1.55 cores=1,3,5,7
/proc/28633/task/28708/stat : 28708 (java) R 28631 28631 18186 0 -1 4202560 145 0 0 0 155 0 0 0 20 0 19 0 409112195 15925841920 59594 33554432000 4194304 4196468 140726727356352 139653217767464 139653973041941 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28709] ppid=28631 vsize=15552580 memory=3360 CPUtime=1.31 cores=1,3,5,7
/proc/28633/task/28709/stat : 28709 (java) R 28631 28631 18186 0 -1 4202560 128 0 0 0 131 0 0 0 20 0 19 0 409112195 15925841920 59594 33554432000 4194304 4196468 140726727356352 139653214610184 139653975008800 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28710] ppid=28631 vsize=15552580 memory=776 CPUtime=1.41 cores=1,3,5,7
/proc/28633/task/28710/stat : 28710 (java) R 28631 28631 18186 0 -1 4202560 223 0 0 0 141 0 0 0 20 0 19 0 409112195 15925841920 59594 33554432000 4194304 4196468 140726727356352 139653215661944 139653973007024 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28711] ppid=28631 vsize=15552580 memory=1564 CPUtime=1.31 cores=1,3,5,7
/proc/28633/task/28711/stat : 28711 (java) R 28631 28631 18186 0 -1 4202560 159 0 0 0 131 0 0 0 20 0 19 0 409112195 15925841920 59594 33554432000 4194304 4196468 140726727356352 139652903026680 139653974046078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
Current children cumulated CPU time: 20.89 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 239828 KiB
[startup+6.00167 s]*
/proc/loadavg: 7.38 8.18 7.69 9/238 28711
/proc/meminfo: memFree=19487404/32770624 swapFree=66959216/67108860
[pid=28631] ppid=28628 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28631/stat : 28631 (xcsp3-exec) S 28628 28631 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409111820 115843072 363 33554432000 4194304 5098028 140733301267008 140733301265112 139639397118588 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36253696 140733301269370 140733301269613 140733301269613 140733301272522 0
/proc/28631/statm: 28282 363 304 221 0 87 0
[pid=28633] ppid=28631 vsize=15552580 memory=238512 CPUtime=22.51 cores=1,3,5,7
/proc/28633/stat : 28633 (java) S 28631 28631 18186 0 -1 1077944320 39647 0 0 0 2236 15 0 0 20 0 19 0 409111821 15925841920 59628 33554432000 4194304 4196468 140726727356352 140726727338896 139654361820919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
/proc/28633/statm: 3888145 59628 3505 1 0 3849247 0
[pid=28633/tid=28634] ppid=28631 vsize=15552580 memory=29678448712876256 CPUtime=0.79 cores=1,3,5,7
/proc/28633/task/28634/stat : 28634 (java) S 28631 28631 18186 0 -1 1077944384 9358 0 0 0 74 5 0 0 20 0 19 0 409111821 15925841920 59628 33554432000 4194304 4196468 140726727356352 139654366061696 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28635] ppid=28631 vsize=15552580 memory=301741382081708055 CPUtime=0.01 cores=1,3,5,7
/proc/28633/task/28635/stat : 28635 (java) S 28631 28631 18186 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 19 0 409111822 15925841920 59628 33554432000 4194304 4196468 140726727356352 139654289861648 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28636] ppid=28631 vsize=15552580 memory=3546781116395226784 CPUtime=0.01 cores=1,3,5,7
/proc/28633/task/28636/stat : 28636 (java) S 28631 28631 18186 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 19 0 409111822 15925841920 59628 33554432000 4194304 4196468 140726727356352 139654288809104 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28637] ppid=28631 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28637/stat : 28637 (java) S 28631 28631 18186 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 409111822 15925841920 59628 33554432000 4194304 4196468 140726727356352 139654287756048 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28638] ppid=28631 vsize=15552580 memory=6199840864898265399 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28638/stat : 28638 (java) S 28631 28631 18186 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 409111822 15925841920 59628 33554432000 4194304 4196468 140726727356352 139654286703504 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28639] ppid=28631 vsize=15552580 memory=4209717424048724362 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28639/stat : 28639 (java) S 28631 28631 18186 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 19 0 409111823 15925841920 59628 33554432000 4194304 4196468 140726727356352 139653830424816 139654361832066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28640] ppid=28631 vsize=15552580 memory=4049052965681574192 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28640/stat : 28640 (java) S 28631 28631 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409111823 15925841920 59628 33554432000 4194304 4196468 140726727356352 139653829371104 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28641] ppid=28631 vsize=15552580 memory=-7966001967407140192 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28641/stat : 28641 (java) S 28631 28631 18186 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409111824 15925841920 59628 33554432000 4194304 4196468 140726727356352 139653828317952 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28642] ppid=28631 vsize=15552580 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28642/stat : 28642 (java) S 28631 28631 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409111826 15925841920 59628 33554432000 4194304 4196468 140726727356352 139653827266512 139654361839515 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28643] ppid=28631 vsize=15552580 memory=0 CPUtime=3.19 cores=1,3,5,7
/proc/28633/task/28643/stat : 28643 (java) S 28631 28631 18186 0 -1 1077944384 9570 0 0 0 318 1 0 0 20 0 19 0 409111826 15925841920 59628 33554432000 4194304 4196468 140726727356352 139653826214640 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28644] ppid=28631 vsize=15552580 memory=3472328296227680303 CPUtime=3.13 cores=1,3,5,7
/proc/28633/task/28644/stat : 28644 (java) S 28631 28631 18186 0 -1 1077944384 8518 0 0 0 312 1 0 0 20 0 19 0 409111826 15925841920 59628 33554432000 4194304 4196468 140726727356352 139653825162096 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28645] ppid=28631 vsize=15552580 memory=5796379775869728432 CPUtime=0.87 cores=1,3,5,7
/proc/28633/task/28645/stat : 28645 (java) S 28631 28631 18186 0 -1 1077944384 7201 0 0 0 86 1 0 0 20 0 19 0 409111826 15925841920 59628 33554432000 4194304 4196468 140726727356352 139653824109040 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28646] ppid=28631 vsize=15552580 memory=664952116379410754 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28646/stat : 28646 (java) S 28631 28631 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409111826 15925841920 59628 33554432000 4194304 4196468 140726727356352 139653823056736 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28647] ppid=28631 vsize=15552580 memory=3471342511203104432 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28647/stat : 28647 (java) S 28631 28631 18186 0 -1 1077944384 385 0 0 0 0 0 0 0 20 0 19 0 409111826 15925841920 59628 33554432000 4194304 4196468 140726727356352 139653822003760 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28708] ppid=28631 vsize=15552580 memory=0 CPUtime=1.94 cores=1,3,5,7
/proc/28633/task/28708/stat : 28708 (java) R 28631 28631 18186 0 -1 4202560 145 0 0 0 193 1 0 0 20 0 19 0 409112195 15925841920 59628 33554432000 4194304 4196468 140726727356352 139653217767512 139653973661984 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28709] ppid=28631 vsize=15552580 memory=0 CPUtime=1.68 cores=1,3,5,7
/proc/28633/task/28709/stat : 28709 (java) R 28631 28631 18186 0 -1 4202560 135 0 0 0 168 0 0 0 20 0 19 0 409112195 15925841920 59628 33554432000 4194304 4196468 140726727356352 139653214610264 139653975497691 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28710] ppid=28631 vsize=15552580 memory=0 CPUtime=1.81 cores=1,3,5,7
/proc/28633/task/28710/stat : 28710 (java) R 28631 28631 18186 0 -1 4202560 232 0 0 0 181 0 0 0 20 0 19 0 409112195 15925841920 59628 33554432000 4194304 4196468 140726727356352 139653215661104 139653966564263 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28711] ppid=28631 vsize=15552580 memory=0 CPUtime=1.71 cores=1,3,5,7
/proc/28633/task/28711/stat : 28711 (java) R 28631 28631 18186 0 -1 4202560 160 0 0 0 171 0 0 0 20 0 19 0 409112195 15925841920 59628 33554432000 4194304 4196468 140726727356352 139652903026680 139653974045833 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
Current children cumulated CPU time: 22.51 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 239964 KiB
[startup+6.11067 s]
/proc/loadavg: 7.38 8.18 7.69 9/238 28711
/proc/meminfo: memFree=19487404/32770624 swapFree=66959216/67108860
[pid=28631] ppid=28628 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28631/stat : 28631 (xcsp3-exec) S 28628 28631 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409111820 115843072 363 33554432000 4194304 5098028 140733301267008 140733301265112 139639397118588 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36253696 140733301269370 140733301269613 140733301269613 140733301272522 0
/proc/28631/statm: 28282 363 304 221 0 87 0
[pid=28633] ppid=28631 vsize=15552580 memory=238536 CPUtime=22.91 cores=1,3,5,7
/proc/28633/stat : 28633 (java) S 28631 28631 18186 0 -1 1077944320 39955 0 0 0 2275 16 0 0 20 0 19 0 409111821 15925841920 59634 33554432000 4194304 4196468 140726727356352 140726727338896 139654361820919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
/proc/28633/statm: 3888145 59634 3507 1 0 3849247 0
[pid=28633/tid=28634] ppid=28631 vsize=15552580 memory=79 CPUtime=0.79 cores=1,3,5,7
/proc/28633/task/28634/stat : 28634 (java) S 28631 28631 18186 0 -1 1077944384 9358 0 0 0 74 5 0 0 20 0 19 0 409111821 15925841920 59634 33554432000 4194304 4196468 140726727356352 139654366061696 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28635] ppid=28631 vsize=15552580 memory=1 CPUtime=0.01 cores=1,3,5,7
/proc/28633/task/28635/stat : 28635 (java) S 28631 28631 18186 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 19 0 409111822 15925841920 59634 33554432000 4194304 4196468 140726727356352 139654289861648 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28636] ppid=28631 vsize=15552580 memory=-7028383565733675155 CPUtime=0.01 cores=1,3,5,7
/proc/28633/task/28636/stat : 28636 (java) S 28631 28631 18186 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 19 0 409111822 15925841920 59634 33554432000 4194304 4196468 140726727356352 139654288809104 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28637] ppid=28631 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28637/stat : 28637 (java) S 28631 28631 18186 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 409111822 15925841920 59634 33554432000 4194304 4196468 140726727356352 139654287756048 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28638] ppid=28631 vsize=15552580 memory=7022364594140610616 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28638/stat : 28638 (java) S 28631 28631 18186 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 409111822 15925841920 59634 33554432000 4194304 4196468 140726727356352 139654286703504 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28639] ppid=28631 vsize=15552580 memory=238296 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28639/stat : 28639 (java) S 28631 28631 18186 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 19 0 409111823 15925841920 59634 33554432000 4194304 4196468 140726727356352 139653830424816 139654361832066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28640] ppid=28631 vsize=15552580 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28640/stat : 28640 (java) S 28631 28631 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409111823 15925841920 59634 33554432000 4194304 4196468 140726727356352 139653829371104 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28641] ppid=28631 vsize=15552580 memory=229104 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28641/stat : 28641 (java) S 28631 28631 18186 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409111824 15925841920 59634 33554432000 4194304 4196468 140726727356352 139653828317952 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28642] ppid=28631 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28642/stat : 28642 (java) S 28631 28631 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409111826 15925841920 59634 33554432000 4194304 4196468 140726727356352 139653827266512 139654361839515 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28643] ppid=28631 vsize=15552580 memory=1452 CPUtime=3.22 cores=1,3,5,7
/proc/28633/task/28643/stat : 28643 (java) S 28631 28631 18186 0 -1 1077944384 9657 0 0 0 321 1 0 0 20 0 19 0 409111826 15925841920 59634 33554432000 4194304 4196468 140726727356352 139653826214640 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28644] ppid=28631 vsize=15552580 memory=218304 CPUtime=3.14 cores=1,3,5,7
/proc/28633/task/28644/stat : 28644 (java) S 28631 28631 18186 0 -1 1077944384 8665 0 0 0 313 1 0 0 20 0 19 0 409111826 15925841920 59634 33554432000 4194304 4196468 140726727356352 139653825162096 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28645] ppid=28631 vsize=15552580 memory=7813295001779661669 CPUtime=0.87 cores=1,3,5,7
/proc/28633/task/28645/stat : 28645 (java) S 28631 28631 18186 0 -1 1077944384 7273 0 0 0 86 1 0 0 20 0 19 0 409111826 15925841920 59634 33554432000 4194304 4196468 140726727356352 139653824109040 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28646] ppid=28631 vsize=15552580 memory=7666932309258561617 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28646/stat : 28646 (java) S 28631 28631 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409111826 15925841920 59634 33554432000 4194304 4196468 140726727356352 139653823056736 139654361831125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28647] ppid=28631 vsize=15552580 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/28633/task/28647/stat : 28647 (java) S 28631 28631 18186 0 -1 1077944384 385 0 0 0 0 0 0 0 20 0 19 0 409111826 15925841920 59634 33554432000 4194304 4196468 140726727356352 139653822003760 139654361832066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28708] ppid=28631 vsize=15552580 memory=5964 CPUtime=2.04 cores=1,3,5,7
/proc/28633/task/28708/stat : 28708 (java) R 28631 28631 18186 0 -1 4202560 146 0 0 0 203 1 0 0 20 0 19 0 409112195 15925841920 59634 33554432000 4194304 4196468 140726727356352 139653217766432 139653973042125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28709] ppid=28631 vsize=15552580 memory=1060 CPUtime=1.73 cores=1,3,5,7
/proc/28633/task/28709/stat : 28709 (java) R 28631 28631 18186 0 -1 4202560 135 0 0 0 173 0 0 0 20 0 19 0 409112195 15925841920 59634 33554432000 4194304 4196468 140726727356352 139653214609640 139653973858706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28710] ppid=28631 vsize=15552580 memory=2828 CPUtime=1.9 cores=1,3,5,7
/proc/28633/task/28710/stat : 28710 (java) R 28631 28631 18186 0 -1 4202560 233 0 0 0 190 0 0 0 20 0 19 0 409112195 15925841920 59634 33554432000 4194304 4196468 140726727356352 139653215661720 139653973041882 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
[pid=28633/tid=28711] ppid=28631 vsize=15552580 memory=1216 CPUtime=1.81 cores=1,3,5,7
/proc/28633/task/28711/stat : 28711 (java) R 28631 28631 18186 0 -1 4202560 160 0 0 0 181 0 0 0 20 0 19 0 409112195 15925841920 59634 33554432000 4194304 4196468 140726727356352 139652903027440 139653974044376 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140726727361519 140726727361690 140726727361690 140726727364559 0
Current children cumulated CPU time: 22.91 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 239988 KiB
Child status: 0
Real time (s): 6.13764
CPU time (s): 22.9654
CPU user time (s): 22.7993
CPU system time (s): 0.166094
CPU usage (%): 374.174
Max. virtual memory (cumulated for all children) (KiB): 15667484
Max. memory (cumulated for all children) (KiB): 239988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.7993
system time used= 0.166094
maximum resident set size= 238720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40871
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3219
involuntary context switches= 1174
# summary of solver processes directly reported to runsolver:
# pid: 28631
# total CPU time (s): 22.9654
# total CPU user time (s): 22.7993
# total CPU system time (s): 0.166094
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076329 second user time and 0.100517 second system time
The end