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 (9670 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-4394235-1568331723/watcher-4394235-1568331723 -o /tmp/evaluation-result-4394235-1568331723/solver-4394235-1568331723 -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 328209637 HOME/instance-4394235-1568331723.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=28771, runsolver pid=28768
[startup+0.100403 s]*
/proc/loadavg: 7.38 8.18 7.69 8/234 28787
/proc/meminfo: memFree=19698484/32770624 swapFree=66959216/67108860
[pid=28771] ppid=28768 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28771/stat : 28771 (xcsp3-exec) S 28768 28771 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409112529 115843072 363 33554432000 4194304 5098028 140724585972832 140724585970936 139763058930300 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29089792 140724585976699 140724585976941 140724585976941 140724585979850 0
/proc/28771/statm: 28282 363 304 221 0 87 0
[pid=28773] ppid=28771 vsize=15144768 memory=29112 CPUtime=0.13 cores=1,3,5,7
/proc/28773/stat : 28773 (java) S 28771 28771 18186 0 -1 1077944320 5731 0 0 0 12 1 0 0 20 0 15 0 409112529 15508242432 7278 33554432000 4194304 4196468 140734655553824 140734655536368 140653693181687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
/proc/28773/statm: 3786192 7278 3179 1 0 3748377 0
[pid=28773/tid=28774] ppid=28771 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/28773/task/28774/stat : 28774 (java) R 28771 28771 18186 0 -1 4202560 3609 0 0 0 9 0 0 0 20 0 15 0 409112530 15508242432 7278 33554432000 4194304 4196468 140734655553824 140653697403744 140653685418814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28775] ppid=28771 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28775/stat : 28775 (java) S 28771 28771 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112530 15508242432 7278 33554432000 4194304 4196468 140734655553824 140653604837904 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28776] ppid=28771 vsize=15144768 memory=140146414249600 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28776/stat : 28776 (java) S 28771 28771 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112530 15508242432 7278 33554432000 4194304 4196468 140734655553824 140653603785360 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28777] ppid=28771 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28777/stat : 28777 (java) S 28771 28771 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112530 15508242432 7278 33554432000 4194304 4196468 140734655553824 140653283502352 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28778] ppid=28771 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28778/stat : 28778 (java) S 28771 28771 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409112530 15508242432 7278 33554432000 4194304 4196468 140734655553824 140653282449808 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28779] ppid=28771 vsize=15144768 memory=140146414249600 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28779/stat : 28779 (java) S 28771 28771 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409112532 15508242432 7278 33554432000 4194304 4196468 140734655553824 140653161356016 140653693192834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28780] ppid=28771 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28780/stat : 28780 (java) S 28771 28771 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409112532 15508242432 7278 33554432000 4194304 4196468 140734655553824 140653160302240 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28781] ppid=28771 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28781/stat : 28781 (java) S 28771 28771 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409112532 15508242432 7278 33554432000 4194304 4196468 140734655553824 140653159249136 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28782] ppid=28771 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28782/stat : 28782 (java) S 28771 28771 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409112535 15508242432 7278 33554432000 4194304 4196468 140734655553824 140653158197712 140653693200283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28783] ppid=28771 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28783/stat : 28783 (java) R 28771 28771 18186 0 -1 4202560 301 0 0 0 0 0 0 0 20 0 15 0 409112535 15508242432 7278 33554432000 4194304 4196468 140734655553824 140653157144816 140653693193622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28784] ppid=28771 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28784/stat : 28784 (java) R 28771 28771 18186 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 409112535 15508242432 7278 33554432000 4194304 4196468 140734655553824 140653156092272 140653693192834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28785] ppid=28771 vsize=15144768 memory=140146414249600 CPUtime=0.02 cores=1,3,5,7
/proc/28773/task/28785/stat : 28785 (java) R 28771 28771 18186 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 409112535 15508242432 7278 33554432000 4194304 4196468 140734655553824 140653155039216 140653693195574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28786] ppid=28771 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28786/stat : 28786 (java) S 28771 28771 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409112535 15508242432 7278 33554432000 4194304 4196468 140734655553824 140653153986912 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28787] ppid=28771 vsize=15144768 memory=140146414249600 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28787/stat : 28787 (java) S 28771 28771 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112535 15508242432 7278 33554432000 4194304 4196468 140734655553824 140653152934960 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30564 KiB
[startup+0.210754 s]*
/proc/loadavg: 7.38 8.18 7.69 6/234 28787
/proc/meminfo: memFree=19686348/32770624 swapFree=66959216/67108860
[pid=28771] ppid=28768 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28771/stat : 28771 (xcsp3-exec) S 28768 28771 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409112529 115843072 363 33554432000 4194304 5098028 140724585972832 140724585970936 139763058930300 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29089792 140724585976699 140724585976941 140724585976941 140724585979850 0
/proc/28771/statm: 28282 363 304 221 0 87 0
[pid=28773] ppid=28771 vsize=15144768 memory=40548 CPUtime=0.34 cores=1,3,5,7
/proc/28773/stat : 28773 (java) S 28771 28771 18186 0 -1 1077944320 9420 0 0 0 31 3 0 0 20 0 15 0 409112529 15508242432 10137 33554432000 4194304 4196468 140734655553824 140734655536368 140653693181687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
/proc/28773/statm: 3786192 10137 3269 1 0 3748377 0
[pid=28773/tid=28774] ppid=28771 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/28773/task/28774/stat : 28774 (java) R 28771 28771 18186 0 -1 4202560 6599 0 0 0 18 2 0 0 20 0 15 0 409112530 15508242432 10137 33554432000 4194304 4196468 140734655553824 140653697416672 140653693193622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28775] ppid=28771 vsize=15144768 memory=1965945 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28775/stat : 28775 (java) S 28771 28771 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112530 15508242432 10137 33554432000 4194304 4196468 140734655553824 140653604837904 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28776] ppid=28771 vsize=15144768 memory=4049212903318939296 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28776/stat : 28776 (java) S 28771 28771 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112530 15508242432 10137 33554432000 4194304 4196468 140734655553824 140653603785360 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28777] ppid=28771 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28777/stat : 28777 (java) S 28771 28771 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112530 15508242432 10137 33554432000 4194304 4196468 140734655553824 140653283502352 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28778] ppid=28771 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28778/stat : 28778 (java) S 28771 28771 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409112530 15508242432 10137 33554432000 4194304 4196468 140734655553824 140653282449808 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28779] ppid=28771 vsize=15144768 memory=140146414249600 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28779/stat : 28779 (java) S 28771 28771 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409112532 15508242432 10137 33554432000 4194304 4196468 140734655553824 140653161356016 140653693192834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28780] ppid=28771 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28780/stat : 28780 (java) S 28771 28771 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409112532 15508242432 10137 33554432000 4194304 4196468 140734655553824 140653160302240 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28781] ppid=28771 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28781/stat : 28781 (java) S 28771 28771 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409112532 15508242432 10137 33554432000 4194304 4196468 140734655553824 140653159249136 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28782] ppid=28771 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28782/stat : 28782 (java) S 28771 28771 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409112535 15508242432 10137 33554432000 4194304 4196468 140734655553824 140653158197712 140653693200283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28783] ppid=28771 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28773/task/28783/stat : 28783 (java) S 28771 28771 18186 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 15 0 409112535 15508242432 10137 33554432000 4194304 4196468 140734655553824 140653157144816 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28784] ppid=28771 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28773/task/28784/stat : 28784 (java) S 28771 28771 18186 0 -1 1077944384 255 0 0 0 2 0 0 0 20 0 15 0 409112535 15508242432 10137 33554432000 4194304 4196468 140734655553824 140653156092272 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28785] ppid=28771 vsize=15144768 memory=140146414249600 CPUtime=0.08 cores=1,3,5,7
/proc/28773/task/28785/stat : 28785 (java) R 28771 28771 18186 0 -1 4202560 777 0 0 0 8 0 0 0 20 0 15 0 409112535 15508242432 10137 33554432000 4194304 4196468 140734655553824 140653155039216 140653672151623 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28786] ppid=28771 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28786/stat : 28786 (java) S 28771 28771 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409112535 15508242432 10137 33554432000 4194304 4196468 140734655553824 140653153986912 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28787] ppid=28771 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28787/stat : 28787 (java) S 28771 28771 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112535 15508242432 10137 33554432000 4194304 4196468 140734655553824 140653152934960 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42000 KiB
[startup+0.316869 s]*
/proc/loadavg: 7.38 8.18 7.69 7/234 28787
/proc/meminfo: memFree=19678444/32770624 swapFree=66959216/67108860
[pid=28771] ppid=28768 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28771/stat : 28771 (xcsp3-exec) S 28768 28771 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409112529 115843072 363 33554432000 4194304 5098028 140724585972832 140724585970936 139763058930300 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29089792 140724585976699 140724585976941 140724585976941 140724585979850 0
/proc/28771/statm: 28282 363 304 221 0 87 0
[pid=28773] ppid=28771 vsize=15149024 memory=50372 CPUtime=0.54 cores=1,3,5,7
/proc/28773/stat : 28773 (java) S 28771 28771 18186 0 -1 1077944320 10924 0 0 0 50 4 0 0 20 0 15 0 409112529 15512600576 12593 33554432000 4194304 4196468 140734655553824 140734655536368 140653693181687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
/proc/28773/statm: 3787256 12593 3352 1 0 3748377 0
[pid=28773/tid=28774] ppid=28771 vsize=15149024 memory=6791534058613427641 CPUtime=0.31 cores=1,3,5,7
/proc/28773/task/28774/stat : 28774 (java) R 28771 28771 18186 0 -1 4202560 7880 0 0 0 28 3 0 0 20 0 15 0 409112530 15512600576 12593 33554432000 4194304 4196468 140734655553824 140653697416528 140653677262174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28775] ppid=28771 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28775/stat : 28775 (java) S 28771 28771 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112530 15512600576 12593 33554432000 4194304 4196468 140734655553824 140653604837904 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28776] ppid=28771 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28776/stat : 28776 (java) S 28771 28771 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112530 15512600576 12593 33554432000 4194304 4196468 140734655553824 140653603785360 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28777] ppid=28771 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28777/stat : 28777 (java) S 28771 28771 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112530 15512600576 12593 33554432000 4194304 4196468 140734655553824 140653283502352 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28778] ppid=28771 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28778/stat : 28778 (java) S 28771 28771 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409112530 15512600576 12593 33554432000 4194304 4196468 140734655553824 140653282449808 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28779] ppid=28771 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28779/stat : 28779 (java) S 28771 28771 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409112532 15512600576 12593 33554432000 4194304 4196468 140734655553824 140653161356016 140653693192834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28780] ppid=28771 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28780/stat : 28780 (java) S 28771 28771 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409112532 15512600576 12593 33554432000 4194304 4196468 140734655553824 140653160302240 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28781] ppid=28771 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28781/stat : 28781 (java) S 28771 28771 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409112532 15512600576 12593 33554432000 4194304 4196468 140734655553824 140653159249136 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28782] ppid=28771 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28782/stat : 28782 (java) S 28771 28771 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409112535 15512600576 12593 33554432000 4194304 4196468 140734655553824 140653158197712 140653693200283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28783] ppid=28771 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/28773/task/28783/stat : 28783 (java) S 28771 28771 18186 0 -1 1077944384 508 0 0 0 4 0 0 0 20 0 15 0 409112535 15512600576 12593 33554432000 4194304 4196468 140734655553824 140653157144816 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28784] ppid=28771 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/28773/task/28784/stat : 28784 (java) S 28771 28771 18186 0 -1 1077944384 346 0 0 0 5 0 0 0 20 0 15 0 409112535 15512600576 12593 33554432000 4194304 4196468 140734655553824 140653156092272 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28785] ppid=28771 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/28773/task/28785/stat : 28785 (java) S 28771 28771 18186 0 -1 1077944384 886 0 0 0 12 0 0 0 20 0 15 0 409112535 15512600576 12593 33554432000 4194304 4196468 140734655553824 140653155039216 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28786] ppid=28771 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28786/stat : 28786 (java) S 28771 28771 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409112535 15512600576 12593 33554432000 4194304 4196468 140734655553824 140653153986912 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28787] ppid=28771 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28787/stat : 28787 (java) S 28771 28771 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112535 15512600576 12593 33554432000 4194304 4196468 140734655553824 140653152934960 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51824 KiB
[startup+0.706861 s]
/proc/loadavg: 7.38 8.18 7.69 7/234 28787
/proc/meminfo: memFree=19660268/32770624 swapFree=66959216/67108860
[pid=28771] ppid=28768 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28771/stat : 28771 (xcsp3-exec) S 28768 28771 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409112529 115843072 363 33554432000 4194304 5098028 140724585972832 140724585970936 139763058930300 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29089792 140724585976699 140724585976941 140724585976941 140724585979850 0
/proc/28771/statm: 28282 363 304 221 0 87 0
[pid=28773] ppid=28771 vsize=15417404 memory=92196 CPUtime=1.62 cores=1,3,5,7
/proc/28773/stat : 28773 (java) S 28771 28771 18186 0 -1 1077944320 15723 0 0 0 156 6 0 0 20 0 19 0 409112529 15787421696 23049 33554432000 4194304 4196468 140734655553824 140734655536368 140653693181687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
/proc/28773/statm: 3854351 23049 3450 1 0 3815453 0
[pid=28773/tid=28774] ppid=28771 vsize=15417404 memory=33 CPUtime=0.63 cores=1,3,5,7
/proc/28773/task/28774/stat : 28774 (java) S 28771 28771 18186 0 -1 1077944384 9347 0 0 0 59 4 0 0 20 0 19 0 409112530 15787421696 23049 33554432000 4194304 4196468 140734655553824 140653697422464 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28775] ppid=28771 vsize=15417404 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28775/stat : 28775 (java) S 28771 28771 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409112530 15787421696 23049 33554432000 4194304 4196468 140734655553824 140653604837904 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28776] ppid=28771 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28776/stat : 28776 (java) S 28771 28771 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409112530 15787421696 23049 33554432000 4194304 4196468 140734655553824 140653603785360 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28777] ppid=28771 vsize=15417404 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28777/stat : 28777 (java) S 28771 28771 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409112530 15787421696 23049 33554432000 4194304 4196468 140734655553824 140653283502352 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28778] ppid=28771 vsize=15417404 memory=38324 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28778/stat : 28778 (java) S 28771 28771 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409112530 15787421696 23049 33554432000 4194304 4196468 140734655553824 140653282449808 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28779] ppid=28771 vsize=15417404 memory=988 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28779/stat : 28779 (java) S 28771 28771 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 409112532 15787421696 23049 33554432000 4194304 4196468 140734655553824 140653161356016 140653693192834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28780] ppid=28771 vsize=15417404 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28780/stat : 28780 (java) S 28771 28771 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409112532 15787421696 23049 33554432000 4194304 4196468 140734655553824 140653160302240 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28781] ppid=28771 vsize=15417404 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28781/stat : 28781 (java) S 28771 28771 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 409112532 15787421696 23049 33554432000 4194304 4196468 140734655553824 140653159249136 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28782] ppid=28771 vsize=15417404 memory=580 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28782/stat : 28782 (java) S 28771 28771 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409112535 15787421696 23049 33554432000 4194304 4196468 140734655553824 140653158197712 140653693200283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28783] ppid=28771 vsize=15417404 memory=1720 CPUtime=0.23 cores=1,3,5,7
/proc/28773/task/28783/stat : 28783 (java) R 28771 28771 18186 0 -1 4202560 1214 0 0 0 23 0 0 0 20 0 19 0 409112535 15787421696 23049 33554432000 4194304 4196468 140734655553824 140653157130912 140653677584304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28784] ppid=28771 vsize=15417404 memory=10604 CPUtime=0.22 cores=1,3,5,7
/proc/28773/task/28784/stat : 28784 (java) R 28771 28771 18186 0 -1 4202560 1029 0 0 0 22 0 0 0 20 0 19 0 409112535 15787421696 23049 33554432000 4194304 4196468 140734655553824 140653156072272 140653672359110 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28785] ppid=28771 vsize=15417404 memory=3360 CPUtime=0.4 cores=1,3,5,7
/proc/28773/task/28785/stat : 28785 (java) R 28771 28771 18186 0 -1 1077944384 2172 0 0 0 40 0 0 0 20 0 19 0 409112535 15787421696 23049 33554432000 4194304 4196468 140734655553824 140653155034944 140653693191893 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28786] ppid=28771 vsize=15417404 memory=776 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28786/stat : 28786 (java) S 28771 28771 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409112535 15787421696 23049 33554432000 4194304 4196468 140734655553824 140653153986912 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28787] ppid=28771 vsize=15417404 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28787/stat : 28787 (java) S 28771 28771 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409112535 15787421696 23049 33554432000 4194304 4196468 140734655553824 140653152934960 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 93648 KiB
[startup+1.50086 s]
/proc/loadavg: 7.38 8.18 7.69 10/238 28795
/proc/meminfo: memFree=19613784/32770624 swapFree=66959216/67108860
[pid=28771] ppid=28768 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28771/stat : 28771 (xcsp3-exec) S 28768 28771 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409112529 115843072 363 33554432000 4194304 5098028 140724585972832 140724585970936 139763058930300 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29089792 140724585976699 140724585976941 140724585976941 140724585979850 0
/proc/28771/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/28773/task/28787/stat : 28787 (java) S 28771 28771 18186 0 -1 1077944384 1591 0 0 0 1 6 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653152934960 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28943] ppid=28771 vsize=15420480 memory=776 CPUtime=125.95 cores=1,3,5,7
/proc/28773/task/28943/stat : 28943 (java) S 28771 28771 18186 0 -1 1077944384 739 0 0 0 12595 0 0 0 20 0 19 0 409116966 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653137658048 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28944] ppid=28771 vsize=15420480 memory=6791534058613427641 CPUtime=126.65 cores=1,3,5,7
/proc/28773/task/28944/stat : 28944 (java) S 28771 28771 18186 0 -1 1077944384 2178 0 0 0 12665 0 0 0 20 0 19 0 409116966 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653140808912 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28945] ppid=28771 vsize=15420480 memory=2828 CPUtime=126.37 cores=1,3,5,7
/proc/28773/task/28945/stat : 28945 (java) S 28771 28771 18186 0 -1 1077944384 831 0 0 0 12637 0 0 0 20 0 19 0 409116966 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653142914384 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28946] ppid=28771 vsize=15420480 memory=1216 CPUtime=139.66 cores=1,3,5,7
/proc/28773/task/28946/stat : 28946 (java) R 28771 28771 18186 0 -1 4202560 686 0 0 0 13965 1 0 0 20 0 19 0 409116966 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653143961152 140653291200905 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
Current children cumulated CPU time: 657.76 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 241204 KiB
[startup+185.201 s]
/proc/loadavg: 7.54 8.02 7.72 6/238 29048
/proc/meminfo: memFree=19429340/32770624 swapFree=66959216/67108860
[pid=28771] ppid=28768 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28771/stat : 28771 (xcsp3-exec) S 28768 28771 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409112529 115843072 363 33554432000 4194304 5098028 140724585972832 140724585970936 139763058930300 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29089792 140724585976699 140724585976941 140724585976941 140724585979850 0
/proc/28771/statm: 28282 363 304 221 0 87 0
[pid=28773] ppid=28771 vsize=15420480 memory=239752 CPUtime=658.16 cores=1,3,5,7
/proc/28773/stat : 28773 (java) S 28771 28771 18186 0 -1 1077944320 83266 0 0 0 65789 27 0 0 20 0 19 0 409112529 15790571520 59938 33554432000 4194304 4196468 140734655553824 140734655536368 140653693181687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
/proc/28773/statm: 3855120 59938 3518 1 0 3816222 0
[pid=28773/tid=28774] ppid=28771 vsize=15420480 memory=3360 CPUtime=0.63 cores=1,3,5,7
/proc/28773/task/28774/stat : 28774 (java) S 28771 28771 18186 0 -1 1077944384 10271 0 0 0 59 4 0 0 20 0 19 0 409112530 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653697422464 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28775] ppid=28771 vsize=15420480 memory=776 CPUtime=0.12 cores=1,3,5,7
/proc/28773/task/28775/stat : 28775 (java) S 28771 28771 18186 0 -1 1077944384 2460 0 0 0 10 2 0 0 20 0 19 0 409112530 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653604837904 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28776] ppid=28771 vsize=15420480 memory=1564 CPUtime=0.11 cores=1,3,5,7
/proc/28773/task/28776/stat : 28776 (java) S 28771 28771 18186 0 -1 1077944384 4271 0 0 0 9 2 0 0 20 0 19 0 409112530 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653603785360 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28777] ppid=28771 vsize=15420480 memory=5964 CPUtime=0.12 cores=1,3,5,7
/proc/28773/task/28777/stat : 28777 (java) S 28771 28771 18186 0 -1 1077944384 1928 0 0 0 10 2 0 0 20 0 19 0 409112530 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653283502352 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28778] ppid=28771 vsize=15420480 memory=1452 CPUtime=0.12 cores=1,3,5,7
/proc/28773/task/28778/stat : 28778 (java) S 28771 28771 18186 0 -1 1077944384 1669 0 0 0 10 2 0 0 20 0 19 0 409112530 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653282449808 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28779] ppid=28771 vsize=15420480 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/28773/task/28779/stat : 28779 (java) S 28771 28771 18186 0 -1 1077944384 2450 0 0 0 3 2 0 0 20 0 19 0 409112532 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653161356016 140653693192834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28780] ppid=28771 vsize=15420480 memory=239752 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28780/stat : 28780 (java) S 28771 28771 18186 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 409112532 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653160302304 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28781] ppid=28771 vsize=15420480 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28781/stat : 28781 (java) S 28771 28771 18186 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 19 0 409112532 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653159249152 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28782] ppid=28771 vsize=15420480 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28782/stat : 28782 (java) S 28771 28771 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653158197712 140653693200283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28783] ppid=28771 vsize=15420480 memory=111636 CPUtime=2.71 cores=1,3,5,7
/proc/28773/task/28783/stat : 28783 (java) S 28771 28771 18186 0 -1 1077944384 19164 0 0 0 270 1 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653157144816 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28784] ppid=28771 vsize=15420480 memory=800 CPUtime=2.93 cores=1,3,5,7
/proc/28773/task/28784/stat : 28784 (java) S 28771 28771 18186 0 -1 1077944384 17704 0 0 0 291 2 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653156092272 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28785] ppid=28771 vsize=15420480 memory=1808 CPUtime=0.66 cores=1,3,5,7
/proc/28773/task/28785/stat : 28785 (java) S 28771 28771 18186 0 -1 1077944384 8686 0 0 0 65 1 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653155039216 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28786] ppid=28771 vsize=15420480 memory=924 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28786/stat : 28786 (java) S 28771 28771 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653153986912 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28787] ppid=28771 vsize=15420480 memory=3848 CPUtime=0.07 cores=1,3,5,7
/proc/28773/task/28787/stat : 28787 (java) S 28771 28771 18186 0 -1 1077944384 1591 0 0 0 1 6 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653152934960 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28943] ppid=28771 vsize=15420480 memory=2596 CPUtime=125.95 cores=1,3,5,7
/proc/28773/task/28943/stat : 28943 (java) S 28771 28771 18186 0 -1 1077944384 739 0 0 0 12595 0 0 0 20 0 19 0 409116966 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653137658048 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28944] ppid=28771 vsize=15420480 memory=2696 CPUtime=126.65 cores=1,3,5,7
/proc/28773/task/28944/stat : 28944 (java) S 28771 28771 18186 0 -1 1077944384 2178 0 0 0 12665 0 0 0 20 0 19 0 409116966 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653140808912 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28945] ppid=28771 vsize=15420480 memory=4104 CPUtime=126.37 cores=1,3,5,7
/proc/28773/task/28945/stat : 28945 (java) S 28771 28771 18186 0 -1 1077944384 831 0 0 0 12637 0 0 0 20 0 19 0 409116966 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653142914384 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28946] ppid=28771 vsize=15420480 memory=1412 CPUtime=140.06 cores=1,3,5,7
/proc/28773/task/28946/stat : 28946 (java) R 28771 28771 18186 0 -1 4202560 686 0 0 0 14005 1 0 0 20 0 19 0 409116966 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653143961152 140653291199150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
Current children cumulated CPU time: 658.16 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 241204 KiB
[startup+185.601 s]
/proc/loadavg: 7.54 8.02 7.72 6/238 29048
/proc/meminfo: memFree=19429340/32770624 swapFree=66959216/67108860
[pid=28771] ppid=28768 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28771/stat : 28771 (xcsp3-exec) S 28768 28771 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409112529 115843072 363 33554432000 4194304 5098028 140724585972832 140724585970936 139763058930300 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29089792 140724585976699 140724585976941 140724585976941 140724585979850 0
/proc/28771/statm: 28282 363 304 221 0 87 0
[pid=28773] ppid=28771 vsize=15420480 memory=239752 CPUtime=658.56 cores=1,3,5,7
/proc/28773/stat : 28773 (java) S 28771 28771 18186 0 -1 1077944320 83266 0 0 0 65829 27 0 0 20 0 19 0 409112529 15790571520 59938 33554432000 4194304 4196468 140734655553824 140734655536368 140653693181687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
/proc/28773/statm: 3855120 59938 3518 1 0 3816222 0
[pid=28773/tid=28774] ppid=28771 vsize=15420480 memory=6791534058613427641 CPUtime=0.63 cores=1,3,5,7
/proc/28773/task/28774/stat : 28774 (java) S 28771 28771 18186 0 -1 1077944384 10271 0 0 0 59 4 0 0 20 0 19 0 409112530 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653697422464 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28775] ppid=28771 vsize=15420480 memory=10604 CPUtime=0.12 cores=1,3,5,7
/proc/28773/task/28775/stat : 28775 (java) S 28771 28771 18186 0 -1 1077944384 2460 0 0 0 10 2 0 0 20 0 19 0 409112530 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653604837904 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28776] ppid=28771 vsize=15420480 memory=3360 CPUtime=0.11 cores=1,3,5,7
/proc/28773/task/28776/stat : 28776 (java) S 28771 28771 18186 0 -1 1077944384 4271 0 0 0 9 2 0 0 20 0 19 0 409112530 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653603785360 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28777] ppid=28771 vsize=15420480 memory=776 CPUtime=0.12 cores=1,3,5,7
/proc/28773/task/28777/stat : 28777 (java) S 28771 28771 18186 0 -1 1077944384 1928 0 0 0 10 2 0 0 20 0 19 0 409112530 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653283502352 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28778] ppid=28771 vsize=15420480 memory=3620 CPUtime=0.12 cores=1,3,5,7
/proc/28773/task/28778/stat : 28778 (java) S 28771 28771 18186 0 -1 1077944384 1669 0 0 0 10 2 0 0 20 0 19 0 409112530 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653282449808 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28779] ppid=28771 vsize=15420480 memory=1660 CPUtime=0.05 cores=1,3,5,7
/proc/28773/task/28779/stat : 28779 (java) S 28771 28771 18186 0 -1 1077944384 2450 0 0 0 3 2 0 0 20 0 19 0 409112532 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653161356016 140653693192834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28780] ppid=28771 vsize=15420480 memory=38324 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28780/stat : 28780 (java) S 28771 28771 18186 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 409112532 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653160302304 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28781] ppid=28771 vsize=15420480 memory=988 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28781/stat : 28781 (java) S 28771 28771 18186 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 19 0 409112532 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653159249152 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28782] ppid=28771 vsize=15420480 memory=5964 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28782/stat : 28782 (java) S 28771 28771 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653158197712 140653693200283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28783] ppid=28771 vsize=15420480 memory=1060 CPUtime=2.71 cores=1,3,5,7
/proc/28773/task/28783/stat : 28783 (java) S 28771 28771 18186 0 -1 1077944384 19164 0 0 0 270 1 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653157144816 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28784] ppid=28771 vsize=15420480 memory=2828 CPUtime=2.93 cores=1,3,5,7
/proc/28773/task/28784/stat : 28784 (java) S 28771 28771 18186 0 -1 1077944384 17704 0 0 0 291 2 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653156092272 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28785] ppid=28771 vsize=15420480 memory=1216 CPUtime=0.66 cores=1,3,5,7
/proc/28773/task/28785/stat : 28785 (java) S 28771 28771 18186 0 -1 1077944384 8686 0 0 0 65 1 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653155039216 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28786] ppid=28771 vsize=15420480 memory=984 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28786/stat : 28786 (java) S 28771 28771 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653153986912 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28787] ppid=28771 vsize=15420480 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/28773/task/28787/stat : 28787 (java) S 28771 28771 18186 0 -1 1077944384 1591 0 0 0 1 6 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653152934960 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28943] ppid=28771 vsize=15420480 memory=1564 CPUtime=125.95 cores=1,3,5,7
/proc/28773/task/28943/stat : 28943 (java) S 28771 28771 18186 0 -1 1077944384 739 0 0 0 12595 0 0 0 20 0 19 0 409116966 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653137658048 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28944] ppid=28771 vsize=15420480 memory=5964 CPUtime=126.65 cores=1,3,5,7
/proc/28773/task/28944/stat : 28944 (java) S 28771 28771 18186 0 -1 1077944384 2178 0 0 0 12665 0 0 0 20 0 19 0 409116966 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653140808912 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28945] ppid=28771 vsize=15420480 memory=1060 CPUtime=126.37 cores=1,3,5,7
/proc/28773/task/28945/stat : 28945 (java) S 28771 28771 18186 0 -1 1077944384 831 0 0 0 12637 0 0 0 20 0 19 0 409116966 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653142914384 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28946] ppid=28771 vsize=15420480 memory=2828 CPUtime=140.46 cores=1,3,5,7
/proc/28773/task/28946/stat : 28946 (java) R 28771 28771 18186 0 -1 4202560 686 0 0 0 14045 1 0 0 20 0 19 0 409116966 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653143961152 140653291199083 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
Current children cumulated CPU time: 658.56 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 241204 KiB
[startup+185.701 s]
/proc/loadavg: 7.54 8.02 7.72 6/238 29048
/proc/meminfo: memFree=19429340/32770624 swapFree=66959216/67108860
[pid=28771] ppid=28768 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28771/stat : 28771 (xcsp3-exec) S 28768 28771 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409112529 115843072 363 33554432000 4194304 5098028 140724585972832 140724585970936 139763058930300 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29089792 140724585976699 140724585976941 140724585976941 140724585979850 0
/proc/28771/statm: 28282 363 304 221 0 87 0
[pid=28773] ppid=28771 vsize=15420480 memory=239752 CPUtime=658.66 cores=1,3,5,7
/proc/28773/stat : 28773 (java) S 28771 28771 18186 0 -1 1077944320 83266 0 0 0 65839 27 0 0 20 0 19 0 409112529 15790571520 59938 33554432000 4194304 4196468 140734655553824 140734655536368 140653693181687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
/proc/28773/statm: 3855120 59938 3518 1 0 3816222 0
[pid=28773/tid=28774] ppid=28771 vsize=15420480 memory=239752 CPUtime=0.63 cores=1,3,5,7
/proc/28773/task/28774/stat : 28774 (java) S 28771 28771 18186 0 -1 1077944384 10271 0 0 0 59 4 0 0 20 0 19 0 409112530 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653697422464 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28775] ppid=28771 vsize=15420480 memory=1452 CPUtime=0.12 cores=1,3,5,7
/proc/28773/task/28775/stat : 28775 (java) S 28771 28771 18186 0 -1 1077944384 2460 0 0 0 10 2 0 0 20 0 19 0 409112530 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653604837904 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28776] ppid=28771 vsize=15420480 memory=239752 CPUtime=0.11 cores=1,3,5,7
/proc/28773/task/28776/stat : 28776 (java) S 28771 28771 18186 0 -1 1077944384 4271 0 0 0 9 2 0 0 20 0 19 0 409112530 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653603785360 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28777] ppid=28771 vsize=15420480 memory=239752 CPUtime=0.12 cores=1,3,5,7
/proc/28773/task/28777/stat : 28777 (java) S 28771 28771 18186 0 -1 1077944384 1928 0 0 0 10 2 0 0 20 0 19 0 409112530 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653283502352 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28778] ppid=28771 vsize=15420480 memory=1452 CPUtime=0.12 cores=1,3,5,7
/proc/28773/task/28778/stat : 28778 (java) S 28771 28771 18186 0 -1 1077944384 1669 0 0 0 10 2 0 0 20 0 19 0 409112530 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653282449808 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28779] ppid=28771 vsize=15420480 memory=243344 CPUtime=0.05 cores=1,3,5,7
/proc/28773/task/28779/stat : 28779 (java) S 28771 28771 18186 0 -1 1077944384 2450 0 0 0 3 2 0 0 20 0 19 0 409112532 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653161356016 140653693192834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28780] ppid=28771 vsize=15420480 memory=239752 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28780/stat : 28780 (java) S 28771 28771 18186 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 409112532 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653160302304 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28781] ppid=28771 vsize=15420480 memory=239752 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28781/stat : 28781 (java) S 28771 28771 18186 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 19 0 409112532 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653159249152 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28782] ppid=28771 vsize=15420480 memory=239752 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28782/stat : 28782 (java) S 28771 28771 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653158197712 140653693200283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28783] ppid=28771 vsize=15420480 memory=239752 CPUtime=2.71 cores=1,3,5,7
/proc/28773/task/28783/stat : 28783 (java) S 28771 28771 18186 0 -1 1077944384 19164 0 0 0 270 1 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653157144816 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28784] ppid=28771 vsize=15420480 memory=3620 CPUtime=2.93 cores=1,3,5,7
/proc/28773/task/28784/stat : 28784 (java) S 28771 28771 18186 0 -1 1077944384 17704 0 0 0 291 2 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653156092272 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28785] ppid=28771 vsize=15420480 memory=1452 CPUtime=0.66 cores=1,3,5,7
/proc/28773/task/28785/stat : 28785 (java) S 28771 28771 18186 0 -1 1077944384 8686 0 0 0 65 1 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653155039216 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28786] ppid=28771 vsize=15420480 memory=239752 CPUtime=0 cores=1,3,5,7
/proc/28773/task/28786/stat : 28786 (java) S 28771 28771 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653153986912 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28787] ppid=28771 vsize=15420480 memory=1452 CPUtime=0.07 cores=1,3,5,7
/proc/28773/task/28787/stat : 28787 (java) S 28771 28771 18186 0 -1 1077944384 1591 0 0 0 1 6 0 0 20 0 19 0 409112535 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653152934960 140653693192834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28943] ppid=28771 vsize=15420480 memory=239752 CPUtime=125.95 cores=1,3,5,7
/proc/28773/task/28943/stat : 28943 (java) S 28771 28771 18186 0 -1 1077944384 739 0 0 0 12595 0 0 0 20 0 19 0 409116966 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653137658048 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28944] ppid=28771 vsize=15420480 memory=239752 CPUtime=126.65 cores=1,3,5,7
/proc/28773/task/28944/stat : 28944 (java) S 28771 28771 18186 0 -1 1077944384 2178 0 0 0 12665 0 0 0 20 0 19 0 409116966 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653140808912 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28945] ppid=28771 vsize=15420480 memory=239752 CPUtime=126.37 cores=1,3,5,7
/proc/28773/task/28945/stat : 28945 (java) S 28771 28771 18186 0 -1 1077944384 831 0 0 0 12637 0 0 0 20 0 19 0 409116966 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653142914384 140653693191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
[pid=28773/tid=28946] ppid=28771 vsize=15420480 memory=1760 CPUtime=140.56 cores=1,3,5,7
/proc/28773/task/28946/stat : 28946 (java) R 28771 28771 18186 0 -1 4202560 686 0 0 0 14055 1 0 0 20 0 19 0 409116966 15790571520 59938 33554432000 4194304 4196468 140734655553824 140653143961152 140653291199026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140734655558639 140734655558810 140734655558810 140734655561679 0
Current children cumulated CPU time: 658.66 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 241204 KiB
Child status: 0
Real time (s): 185.795
CPU time (s): 658.774
CPU user time (s): 658.489
CPU system time (s): 0.285467
CPU usage (%): 354.571
Max. virtual memory (cumulated for all children) (KiB): 15535568
Max. memory (cumulated for all children) (KiB): 265640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 658.489
system time used= 0.285467
maximum resident set size= 265728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84850
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7855
involuntary context switches= 13112
# summary of solver processes directly reported to runsolver:
# pid: 28771
# total CPU time (s): 658.774
# total CPU user time (s): 658.489
# total CPU system time (s): 0.285467
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.24722 second user time and 2.09366 second system time
The end