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 (15270 MiB free)
memory of node 1: 16384 MiB (15342 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392916-1568314301/watcher-4392916-1568314301 -o /tmp/evaluation-result-4392916-1568314301/solver-4392916-1568314301 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6784 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1869305781 HOME/instance-4392916-1568314301.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9665, runsolver pid=9662
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 8.36 8.29 6.95 7/234 9681
/proc/meminfo: memFree=31332168/32770624 swapFree=66979392/67108860
[pid=9665] ppid=9662 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9665/stat : 9665 (xcsp3-exec) S 9662 9665 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407692812 115843072 363 33554432000 4194304 5098028 140726680922144 140726680920248 140130729620092 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21299200 140726680929146 140726680929389 140726680929389 140726680932298 0
/proc/9665/statm: 28282 363 304 221 0 87 0
[pid=9667] ppid=9665 vsize=15144768 memory=28624 CPUtime=0.12 cores=0,2,4,6
/proc/9667/stat : 9667 (java) S 9665 9665 6753 0 -1 1077944320 5648 0 0 0 11 1 0 0 20 0 15 0 407692813 15508242432 7156 33554432000 4194304 4196468 140727395987968 140727395970512 139992226569975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
/proc/9667/statm: 3786192 7156 3117 1 0 3748377 0
[pid=9667/tid=9668] ppid=9665 vsize=15144768 memory=7100839878644302962 CPUtime=0.08 cores=0,2,4,6
/proc/9667/task/9668/stat : 9668 (java) R 9665 9665 6753 0 -1 4202560 3563 0 0 0 8 0 0 0 20 0 15 0 407692813 15508242432 7156 33554432000 4194304 4196468 140727395987968 139992230802752 139992210650462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9669] ppid=9665 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9669/stat : 9669 (java) S 9665 9665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407692814 15508242432 7156 33554432000 4194304 4196468 140727395987968 139992179190544 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9670] ppid=9665 vsize=15144768 memory=140099541722752 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9670/stat : 9670 (java) S 9665 9665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407692814 15508242432 7156 33554432000 4194304 4196468 140727395987968 139991817575312 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9671] ppid=9665 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9671/stat : 9671 (java) S 9665 9665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407692814 15508242432 7156 33554432000 4194304 4196468 140727395987968 139991816522768 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9672] ppid=9665 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9672/stat : 9672 (java) S 9665 9665 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407692814 15508242432 7156 33554432000 4194304 4196468 140727395987968 139991815470224 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9673] ppid=9665 vsize=15144768 memory=140099541722752 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9673/stat : 9673 (java) S 9665 9665 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407692815 15508242432 7156 33554432000 4194304 4196468 140727395987968 139991694911472 139992226581122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9674] ppid=9665 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9674/stat : 9674 (java) S 9665 9665 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407692816 15508242432 7156 33554432000 4194304 4196468 140727395987968 139991693857696 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9675] ppid=9665 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9675/stat : 9675 (java) S 9665 9665 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407692816 15508242432 7156 33554432000 4194304 4196468 140727395987968 139991692805104 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9676] ppid=9665 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9676/stat : 9676 (java) S 9665 9665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407692818 15508242432 7156 33554432000 4194304 4196468 140727395987968 139991691753680 139992226588571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9677] ppid=9665 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9677/stat : 9677 (java) S 9665 9665 6753 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 407692818 15508242432 7156 33554432000 4194304 4196468 140727395987968 139991690701296 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9678] ppid=9665 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9678/stat : 9678 (java) S 9665 9665 6753 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 407692818 15508242432 7156 33554432000 4194304 4196468 140727395987968 139991689648752 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9679] ppid=9665 vsize=15144768 memory=140099541722752 CPUtime=0.02 cores=0,2,4,6
/proc/9667/task/9679/stat : 9679 (java) S 9665 9665 6753 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 15 0 407692818 15508242432 7156 33554432000 4194304 4196468 140727395987968 139991688596208 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9680] ppid=9665 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9680/stat : 9680 (java) S 9665 9665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407692819 15508242432 7156 33554432000 4194304 4196468 140727395987968 139991687543904 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9681] ppid=9665 vsize=15144768 memory=140099541722752 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9681/stat : 9681 (java) S 9665 9665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407692819 15508242432 7156 33554432000 4194304 4196468 140727395987968 139991686490416 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30076 KiB
[startup+0.210755 s]*
/proc/loadavg: 8.36 8.29 6.95 7/234 9681
/proc/meminfo: memFree=31318908/32770624 swapFree=66979392/67108860
[pid=9665] ppid=9662 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9665/stat : 9665 (xcsp3-exec) S 9662 9665 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407692812 115843072 363 33554432000 4194304 5098028 140726680922144 140726680920248 140130729620092 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21299200 140726680929146 140726680929389 140726680929389 140726680932298 0
/proc/9665/statm: 28282 363 304 221 0 87 0
[pid=9667] ppid=9665 vsize=15144768 memory=40492 CPUtime=0.34 cores=0,2,4,6
/proc/9667/stat : 9667 (java) S 9665 9665 6753 0 -1 1077944320 9325 0 0 0 31 3 0 0 20 0 15 0 407692813 15508242432 10123 33554432000 4194304 4196468 140727395987968 140727395970512 139992226569975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
/proc/9667/statm: 3786192 10123 3295 1 0 3748377 0
[pid=9667/tid=9668] ppid=9665 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/9667/task/9668/stat : 9668 (java) R 9665 9665 6753 0 -1 4202560 6574 0 0 0 17 2 0 0 20 0 15 0 407692813 15508242432 10123 33554432000 4194304 4196468 140727395987968 139992230808000 139991858688787 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9669] ppid=9665 vsize=15144768 memory=2995868 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9669/stat : 9669 (java) S 9665 9665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407692814 15508242432 10123 33554432000 4194304 4196468 140727395987968 139992179190544 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9670] ppid=9665 vsize=15144768 memory=140099544870753 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9670/stat : 9670 (java) S 9665 9665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407692814 15508242432 10123 33554432000 4194304 4196468 140727395987968 139991817575312 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9671] ppid=9665 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9671/stat : 9671 (java) S 9665 9665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407692814 15508242432 10123 33554432000 4194304 4196468 140727395987968 139991816522768 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9672] ppid=9665 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9672/stat : 9672 (java) S 9665 9665 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407692814 15508242432 10123 33554432000 4194304 4196468 140727395987968 139991815470224 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9673] ppid=9665 vsize=15144768 memory=140099541722752 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9673/stat : 9673 (java) S 9665 9665 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407692815 15508242432 10123 33554432000 4194304 4196468 140727395987968 139991694911472 139992226581122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9674] ppid=9665 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9674/stat : 9674 (java) S 9665 9665 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407692816 15508242432 10123 33554432000 4194304 4196468 140727395987968 139991693857696 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9675] ppid=9665 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9675/stat : 9675 (java) S 9665 9665 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407692816 15508242432 10123 33554432000 4194304 4196468 140727395987968 139991692805104 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9676] ppid=9665 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9676/stat : 9676 (java) S 9665 9665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407692818 15508242432 10123 33554432000 4194304 4196468 140727395987968 139991691753680 139992226588571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9677] ppid=9665 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9667/task/9677/stat : 9677 (java) S 9665 9665 6753 0 -1 1077944384 382 0 0 0 3 0 0 0 20 0 15 0 407692818 15508242432 10123 33554432000 4194304 4196468 140727395987968 139991690701296 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9678] ppid=9665 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/9667/task/9678/stat : 9678 (java) S 9665 9665 6753 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 15 0 407692818 15508242432 10123 33554432000 4194304 4196468 140727395987968 139991689648752 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9679] ppid=9665 vsize=15144768 memory=140099541722752 CPUtime=0.08 cores=0,2,4,6
/proc/9667/task/9679/stat : 9679 (java) S 9665 9665 6753 0 -1 1077944384 802 0 0 0 8 0 0 0 20 0 15 0 407692818 15508242432 10123 33554432000 4194304 4196468 140727395987968 139991688596208 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9680] ppid=9665 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9680/stat : 9680 (java) S 9665 9665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407692819 15508242432 10123 33554432000 4194304 4196468 140727395987968 139991687543904 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9681] ppid=9665 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9681/stat : 9681 (java) S 9665 9665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407692819 15508242432 10123 33554432000 4194304 4196468 140727395987968 139991686490416 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41944 KiB
[startup+0.311028 s]*
/proc/loadavg: 8.36 8.29 6.95 7/234 9681
/proc/meminfo: memFree=31313808/32770624 swapFree=66979392/67108860
[pid=9665] ppid=9662 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9665/stat : 9665 (xcsp3-exec) S 9662 9665 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407692812 115843072 363 33554432000 4194304 5098028 140726680922144 140726680920248 140130729620092 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21299200 140726680929146 140726680929389 140726680929389 140726680932298 0
/proc/9665/statm: 28282 363 304 221 0 87 0
[pid=9667] ppid=9665 vsize=15149024 memory=48820 CPUtime=0.53 cores=0,2,4,6
/proc/9667/stat : 9667 (java) S 9665 9665 6753 0 -1 1077944320 10612 0 0 0 49 4 0 0 20 0 15 0 407692813 15512600576 12205 33554432000 4194304 4196468 140727395987968 140727395970512 139992226569975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
/proc/9667/statm: 3787256 12205 3326 1 0 3748377 0
[pid=9667/tid=9668] ppid=9665 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/9667/task/9668/stat : 9668 (java) R 9665 9665 6753 0 -1 4202560 7652 0 0 0 27 3 0 0 20 0 15 0 407692813 15512600576 12236 33554432000 4194304 4196468 140727395987968 139992230801088 139992210650462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9669] ppid=9665 vsize=15149024 memory=2996209 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9669/stat : 9669 (java) S 9665 9665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407692814 15512600576 12236 33554432000 4194304 4196468 140727395987968 139992179190544 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9670] ppid=9665 vsize=15149024 memory=3005098 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9670/stat : 9670 (java) S 9665 9665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407692814 15512600576 12236 33554432000 4194304 4196468 140727395987968 139991817575312 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9671] ppid=9665 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9671/stat : 9671 (java) S 9665 9665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407692814 15512600576 12236 33554432000 4194304 4196468 140727395987968 139991816522768 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9672] ppid=9665 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9672/stat : 9672 (java) S 9665 9665 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407692814 15512600576 12236 33554432000 4194304 4196468 140727395987968 139991815470224 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9673] ppid=9665 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9673/stat : 9673 (java) S 9665 9665 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407692815 15512600576 12236 33554432000 4194304 4196468 140727395987968 139991694911472 139992226581122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9674] ppid=9665 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9674/stat : 9674 (java) S 9665 9665 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407692816 15512600576 12236 33554432000 4194304 4196468 140727395987968 139991693857696 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9675] ppid=9665 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9675/stat : 9675 (java) S 9665 9665 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407692816 15512600576 12236 33554432000 4194304 4196468 140727395987968 139991692805104 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9676] ppid=9665 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9676/stat : 9676 (java) S 9665 9665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407692818 15512600576 12236 33554432000 4194304 4196468 140727395987968 139991691753680 139992226588571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9677] ppid=9665 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9667/task/9677/stat : 9677 (java) S 9665 9665 6753 0 -1 1077944384 395 0 0 0 4 0 0 0 20 0 15 0 407692818 15512600576 12236 33554432000 4194304 4196468 140727395987968 139991690701296 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9678] ppid=9665 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9667/task/9678/stat : 9678 (java) R 9665 9665 6753 0 -1 4202560 317 0 0 0 3 0 0 0 20 0 15 0 407692818 15512600576 12236 33554432000 4194304 4196468 140727395987968 139991689647152 139992211449571 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9679] ppid=9665 vsize=15149024 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9667/task/9679/stat : 9679 (java) S 9665 9665 6753 0 -1 1077944384 964 0 0 0 13 0 0 0 20 0 15 0 407692818 15512600576 12236 33554432000 4194304 4196468 140727395987968 139991688596208 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9680] ppid=9665 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9680/stat : 9680 (java) S 9665 9665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407692819 15512600576 12236 33554432000 4194304 4196468 140727395987968 139991687543904 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9681] ppid=9665 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9681/stat : 9681 (java) S 9665 9665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407692819 15512600576 12236 33554432000 4194304 4196468 140727395987968 139991686490416 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50272 KiB
[startup+0.70074 s]
/proc/loadavg: 8.36 8.29 6.95 7/234 9681
/proc/meminfo: memFree=31293760/32770624 swapFree=66979392/67108860
[pid=9665] ppid=9662 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9665/stat : 9665 (xcsp3-exec) S 9662 9665 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407692812 115843072 363 33554432000 4194304 5098028 140726680922144 140726680920248 140130729620092 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21299200 140726680929146 140726680929389 140726680929389 140726680932298 0
/proc/9665/statm: 28282 363 304 221 0 87 0
[pid=9667] ppid=9665 vsize=15417404 memory=84672 CPUtime=1.61 cores=0,2,4,6
/proc/9667/stat : 9667 (java) S 9665 9665 6753 0 -1 1077944320 15002 0 0 0 156 5 0 0 20 0 19 0 407692813 15787421696 21168 33554432000 4194304 4196468 140727395987968 140727395970512 139992226569975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
/proc/9667/statm: 3854351 21168 3455 1 0 3815453 0
[pid=9667/tid=9668] ppid=9665 vsize=15417404 memory=1788585444609 CPUtime=0.57 cores=0,2,4,6
/proc/9667/task/9668/stat : 9668 (java) S 9665 9665 6753 0 -1 1077944384 9316 0 0 0 54 3 0 0 20 0 19 0 407692813 15787421696 21168 33554432000 4194304 4196468 140727395987968 139992230810752 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9669] ppid=9665 vsize=15417404 memory=512 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9669/stat : 9669 (java) S 9665 9665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407692814 15787421696 21168 33554432000 4194304 4196468 140727395987968 139992179190544 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9670] ppid=9665 vsize=15417404 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9670/stat : 9670 (java) S 9665 9665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407692814 15787421696 21168 33554432000 4194304 4196468 140727395987968 139991817575312 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9671] ppid=9665 vsize=15417404 memory=928 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9671/stat : 9671 (java) S 9665 9665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407692814 15787421696 21168 33554432000 4194304 4196468 140727395987968 139991816522768 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9672] ppid=9665 vsize=15417404 memory=3772 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9672/stat : 9672 (java) S 9665 9665 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407692814 15787421696 21168 33554432000 4194304 4196468 140727395987968 139991815470224 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9673] ppid=9665 vsize=15417404 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9673/stat : 9673 (java) S 9665 9665 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 407692815 15787421696 21168 33554432000 4194304 4196468 140727395987968 139991694911472 139992226581122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9674] ppid=9665 vsize=15417404 memory=920 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9674/stat : 9674 (java) S 9665 9665 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407692816 15787421696 21168 33554432000 4194304 4196468 140727395987968 139991693857696 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9675] ppid=9665 vsize=15417404 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9675/stat : 9675 (java) S 9665 9665 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407692816 15787421696 21168 33554432000 4194304 4196468 140727395987968 139991692805104 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9676] ppid=9665 vsize=15417404 memory=2404 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9676/stat : 9676 (java) S 9665 9665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407692818 15787421696 21168 33554432000 4194304 4196468 140727395987968 139991691753680 139992226588571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9677] ppid=9665 vsize=15417404 memory=1764 CPUtime=0.21 cores=0,2,4,6
/proc/9667/task/9677/stat : 9677 (java) R 9665 9665 6753 0 -1 4202560 1115 0 0 0 21 0 0 0 20 0 19 0 407692818 15787421696 21168 33554432000 4194304 4196468 140727395987968 139991690686688 139992210056346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9678] ppid=9665 vsize=15417404 memory=111632 CPUtime=0.23 cores=0,2,4,6
/proc/9667/task/9678/stat : 9678 (java) R 9665 9665 6753 0 -1 4202560 1071 0 0 0 23 0 0 0 20 0 19 0 407692818 15787421696 21168 33554432000 4194304 4196468 140727395987968 139991689638352 139992226591322 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9679] ppid=9665 vsize=15417404 memory=804 CPUtime=0.34 cores=0,2,4,6
/proc/9667/task/9679/stat : 9679 (java) R 9665 9665 6753 0 -1 4202560 1992 0 0 0 34 0 0 0 20 0 19 0 407692818 15787421696 21168 33554432000 4194304 4196468 140727395987968 139991688594000 139992226581910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9680] ppid=9665 vsize=15417404 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9680/stat : 9680 (java) S 9665 9665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407692819 15787421696 21168 33554432000 4194304 4196468 140727395987968 139991687543904 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9681] ppid=9665 vsize=15417404 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9681/stat : 9681 (java) S 9665 9665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407692819 15787421696 21168 33554432000 4194304 4196468 140727395987968 139991686490416 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 86124 KiB
[startup+1.50429 s]
/proc/loadavg: 8.36 8.29 6.95 12/238 9685
/proc/meminfo: memFree=31272664/32770624 swapFree=66979392/67108860
[pid=9665] ppid=9662 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9665/stat : 9665 (xcsp3-exec) S 9662 9665 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407692812 115843072 363 33554432000 4194304 5098028 140726680922144 140726680920248 140130729620092 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21299200 140726680929146 140726680929389 140726680929389 140726680932298 0
/proc/9665/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/9667/task/9681/stat : 9681 (java) S 9665 9665 6753 0 -1 1077944384 692 0 0 0 0 0 0 0 20 0 19 0 407692819 15787421696 52850 33554432000 4194304 4196468 140727395987968 139991686490416 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9682] ppid=9665 vsize=15417404 memory=217988 CPUtime=15.34 cores=0,2,4,6
/proc/9667/task/9682/stat : 9682 (java) R 9665 9665 6753 0 -1 4202560 377 0 0 0 1534 0 0 0 20 0 19 0 407692872 15787421696 52850 33554432000 4194304 4196468 140727395987968 139991677516368 139991864569646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9683] ppid=9665 vsize=15417404 memory=0 CPUtime=15.75 cores=0,2,4,6
/proc/9667/task/9683/stat : 9683 (java) R 9665 9665 6753 0 -1 4202560 886 0 0 0 1574 1 0 0 20 0 19 0 407692872 15787421696 52850 33554432000 4194304 4196468 140727395987968 139991676465192 139991862517456 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9684] ppid=9665 vsize=15417404 memory=1060 CPUtime=15.62 cores=0,2,4,6
/proc/9667/task/9684/stat : 9684 (java) R 9665 9665 6753 0 -1 4202560 467 0 0 0 1562 0 0 0 20 0 19 0 407692872 15787421696 52850 33554432000 4194304 4196468 140727395987968 139991675413240 139991864313165 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9685] ppid=9665 vsize=15417404 memory=2828 CPUtime=15.71 cores=0,2,4,6
/proc/9667/task/9685/stat : 9685 (java) R 9665 9665 6753 0 -1 4202560 1016 0 0 0 1569 2 0 0 20 0 19 0 407692873 15787421696 52850 33554432000 4194304 4196468 140727395987968 139991674360488 139991865254639 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
Current children cumulated CPU time: 68.67 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 212852 KiB
[startup+18.4013 s]
/proc/loadavg: 8.45 8.32 6.98 9/239 9687
/proc/meminfo: memFree=31130392/32770624 swapFree=66979392/67108860
[pid=9665] ppid=9662 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9665/stat : 9665 (xcsp3-exec) S 9662 9665 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407692812 115843072 363 33554432000 4194304 5098028 140726680922144 140726680920248 140130729620092 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21299200 140726680929146 140726680929389 140726680929389 140726680932298 0
/proc/9665/statm: 28282 363 304 221 0 87 0
[pid=9667] ppid=9665 vsize=15417404 memory=213448 CPUtime=71.83 cores=0,2,4,6
/proc/9667/stat : 9667 (java) S 9665 9665 6753 0 -1 1077944320 44385 0 0 0 7168 15 0 0 20 0 19 0 407692813 15787421696 53362 33554432000 4194304 4196468 140727395987968 140727395970512 139992226569975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
/proc/9667/statm: 3854351 53362 3508 1 0 3815453 0
[pid=9667/tid=9668] ppid=9665 vsize=15417404 memory=8112282956445269571 CPUtime=0.57 cores=0,2,4,6
/proc/9667/task/9668/stat : 9668 (java) S 9665 9665 6753 0 -1 1077944384 9316 0 0 0 54 3 0 0 20 0 19 0 407692813 15787421696 53362 33554432000 4194304 4196468 140727395987968 139992230810752 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9669] ppid=9665 vsize=15417404 memory=211400 CPUtime=0.01 cores=0,2,4,6
/proc/9667/task/9669/stat : 9669 (java) S 9665 9665 6753 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 19 0 407692814 15787421696 53362 33554432000 4194304 4196468 140727395987968 139992179190544 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9670] ppid=9665 vsize=15417404 memory=7968 CPUtime=0.01 cores=0,2,4,6
/proc/9667/task/9670/stat : 9670 (java) S 9665 9665 6753 0 -1 1077944384 1652 0 0 0 1 0 0 0 20 0 19 0 407692814 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991817575312 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9671] ppid=9665 vsize=15417404 memory=1164 CPUtime=0.01 cores=0,2,4,6
/proc/9667/task/9671/stat : 9671 (java) S 9665 9665 6753 0 -1 1077944384 845 0 0 0 1 0 0 0 20 0 19 0 407692814 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991816522768 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9672] ppid=9665 vsize=15417404 memory=9580 CPUtime=0.02 cores=0,2,4,6
/proc/9667/task/9672/stat : 9672 (java) S 9665 9665 6753 0 -1 1077944384 483 0 0 0 1 1 0 0 20 0 19 0 407692814 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991815470224 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9673] ppid=9665 vsize=15417404 memory=14008 CPUtime=0.02 cores=0,2,4,6
/proc/9667/task/9673/stat : 9673 (java) S 9665 9665 6753 0 -1 1077944384 854 0 0 0 2 0 0 0 20 0 19 0 407692815 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991694911472 139992226581122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9674] ppid=9665 vsize=15417404 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9674/stat : 9674 (java) S 9665 9665 6753 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 407692816 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991693857760 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9675] ppid=9665 vsize=15417404 memory=11976 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9675/stat : 9675 (java) S 9665 9665 6753 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 407692816 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991692805120 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9676] ppid=9665 vsize=15417404 memory=5700 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9676/stat : 9676 (java) S 9665 9665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407692818 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991691753680 139992226588571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9677] ppid=9665 vsize=15417404 memory=3360 CPUtime=2.44 cores=0,2,4,6
/proc/9667/task/9677/stat : 9677 (java) S 9665 9665 6753 0 -1 1077944384 8948 0 0 0 243 1 0 0 20 0 19 0 407692818 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991690701296 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9678] ppid=9665 vsize=15417404 memory=1692 CPUtime=2.45 cores=0,2,4,6
/proc/9667/task/9678/stat : 9678 (java) S 9665 9665 6753 0 -1 1077944384 12103 0 0 0 244 1 0 0 20 0 19 0 407692818 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991689648752 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9679] ppid=9665 vsize=15417404 memory=1028 CPUtime=0.59 cores=0,2,4,6
/proc/9667/task/9679/stat : 9679 (java) S 9665 9665 6753 0 -1 1077944384 5073 0 0 0 59 0 0 0 20 0 19 0 407692818 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991688596208 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9680] ppid=9665 vsize=15417404 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9680/stat : 9680 (java) S 9665 9665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407692819 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991687543904 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9681] ppid=9665 vsize=15417404 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9681/stat : 9681 (java) S 9665 9665 6753 0 -1 1077944384 692 0 0 0 0 0 0 0 20 0 19 0 407692819 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991686490416 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9682] ppid=9665 vsize=15417404 memory=756 CPUtime=16.13 cores=0,2,4,6
/proc/9667/task/9682/stat : 9682 (java) R 9665 9665 6753 0 -1 4202560 377 0 0 0 1613 0 0 0 20 0 19 0 407692872 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991677519504 139991863324212 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9683] ppid=9665 vsize=15417404 memory=1548 CPUtime=16.52 cores=0,2,4,6
/proc/9667/task/9683/stat : 9683 (java) R 9665 9665 6753 0 -1 4202560 888 0 0 0 1651 1 0 0 20 0 19 0 407692872 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991676464960 139991863527760 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9684] ppid=9665 vsize=15417404 memory=7968 CPUtime=16.41 cores=0,2,4,6
/proc/9667/task/9684/stat : 9684 (java) R 9665 9665 6753 0 -1 4202560 469 0 0 0 1641 0 0 0 20 0 19 0 407692872 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991675412592 139991863527318 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9685] ppid=9665 vsize=15417404 memory=1164 CPUtime=16.51 cores=0,2,4,6
/proc/9667/task/9685/stat : 9685 (java) R 9665 9665 6753 0 -1 4202560 1021 0 0 0 1649 2 0 0 20 0 19 0 407692873 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991674360560 139991862996265 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
Current children cumulated CPU time: 71.83 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 214900 KiB
[startup+18.8013 s]
/proc/loadavg: 8.45 8.32 6.98 9/239 9687
/proc/meminfo: memFree=31130392/32770624 swapFree=66979392/67108860
[pid=9665] ppid=9662 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9665/stat : 9665 (xcsp3-exec) S 9662 9665 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407692812 115843072 363 33554432000 4194304 5098028 140726680922144 140726680920248 140130729620092 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21299200 140726680929146 140726680929389 140726680929389 140726680932298 0
/proc/9665/statm: 28282 363 304 221 0 87 0
[pid=9667] ppid=9665 vsize=15417404 memory=213448 CPUtime=73.42 cores=0,2,4,6
/proc/9667/stat : 9667 (java) S 9665 9665 6753 0 -1 1077944320 44386 0 0 0 7327 15 0 0 20 0 19 0 407692813 15787421696 53362 33554432000 4194304 4196468 140727395987968 140727395970512 139992226569975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
/proc/9667/statm: 3854351 53362 3508 1 0 3815453 0
[pid=9667/tid=9668] ppid=9665 vsize=15417404 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/9667/task/9668/stat : 9668 (java) S 9665 9665 6753 0 -1 1077944384 9316 0 0 0 54 3 0 0 20 0 19 0 407692813 15787421696 53362 33554432000 4194304 4196468 140727395987968 139992230810752 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9669] ppid=9665 vsize=15417404 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9667/task/9669/stat : 9669 (java) S 9665 9665 6753 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 19 0 407692814 15787421696 53362 33554432000 4194304 4196468 140727395987968 139992179190544 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9670] ppid=9665 vsize=15417404 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9667/task/9670/stat : 9670 (java) S 9665 9665 6753 0 -1 1077944384 1652 0 0 0 1 0 0 0 20 0 19 0 407692814 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991817575312 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9671] ppid=9665 vsize=15417404 memory=55 CPUtime=0.01 cores=0,2,4,6
/proc/9667/task/9671/stat : 9671 (java) S 9665 9665 6753 0 -1 1077944384 845 0 0 0 1 0 0 0 20 0 19 0 407692814 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991816522768 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9672] ppid=9665 vsize=15417404 memory=302585845619209880 CPUtime=0.02 cores=0,2,4,6
/proc/9667/task/9672/stat : 9672 (java) S 9665 9665 6753 0 -1 1077944384 483 0 0 0 1 1 0 0 20 0 19 0 407692814 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991815470224 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9673] ppid=9665 vsize=15417404 memory=15252640890992371 CPUtime=0.02 cores=0,2,4,6
/proc/9667/task/9673/stat : 9673 (java) S 9665 9665 6753 0 -1 1077944384 854 0 0 0 2 0 0 0 20 0 19 0 407692815 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991694911472 139992226581122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9674] ppid=9665 vsize=15417404 memory=7660742144744843625 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9674/stat : 9674 (java) S 9665 9665 6753 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 407692816 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991693857760 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9675] ppid=9665 vsize=15417404 memory=7084851978531348623 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9675/stat : 9675 (java) S 9665 9665 6753 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 407692816 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991692805120 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9676] ppid=9665 vsize=15417404 memory=3 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9676/stat : 9676 (java) S 9665 9665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407692818 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991691753680 139992226588571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9677] ppid=9665 vsize=15417404 memory=280198835792048 CPUtime=2.44 cores=0,2,4,6
/proc/9667/task/9677/stat : 9677 (java) S 9665 9665 6753 0 -1 1077944384 8948 0 0 0 243 1 0 0 20 0 19 0 407692818 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991690701296 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9678] ppid=9665 vsize=15417404 memory=6944656575208382560 CPUtime=2.45 cores=0,2,4,6
/proc/9667/task/9678/stat : 9678 (java) S 9665 9665 6753 0 -1 1077944384 12103 0 0 0 244 1 0 0 20 0 19 0 407692818 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991689648752 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9679] ppid=9665 vsize=15417404 memory=6872598998417432672 CPUtime=0.59 cores=0,2,4,6
/proc/9667/task/9679/stat : 9679 (java) S 9665 9665 6753 0 -1 1077944384 5073 0 0 0 59 0 0 0 20 0 19 0 407692818 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991688596208 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9680] ppid=9665 vsize=15417404 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9680/stat : 9680 (java) S 9665 9665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407692819 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991687543904 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9681] ppid=9665 vsize=15417404 memory=280198835179592 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9681/stat : 9681 (java) S 9665 9665 6753 0 -1 1077944384 692 0 0 0 0 0 0 0 20 0 19 0 407692819 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991686490416 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9682] ppid=9665 vsize=15417404 memory=28161 CPUtime=16.53 cores=0,2,4,6
/proc/9667/task/9682/stat : 9682 (java) R 9665 9665 6753 0 -1 4202560 377 0 0 0 1653 0 0 0 20 0 19 0 407692872 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991677519504 139991862517861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9683] ppid=9665 vsize=15417404 memory=0 CPUtime=16.92 cores=0,2,4,6
/proc/9667/task/9683/stat : 9683 (java) R 9665 9665 6753 0 -1 4202560 888 0 0 0 1691 1 0 0 20 0 19 0 407692872 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991676464960 139991864991289 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9684] ppid=9665 vsize=15417404 memory=9126232286719478932 CPUtime=16.81 cores=0,2,4,6
/proc/9667/task/9684/stat : 9684 (java) R 9665 9665 6753 0 -1 4202560 469 0 0 0 1681 0 0 0 20 0 19 0 407692872 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991675412728 139991862518445 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9685] ppid=9665 vsize=15417404 memory=0 CPUtime=16.91 cores=0,2,4,6
/proc/9667/task/9685/stat : 9685 (java) R 9665 9665 6753 0 -1 4202560 1022 0 0 0 1689 2 0 0 20 0 19 0 407692873 15787421696 53362 33554432000 4194304 4196468 140727395987968 139991674360696 139991862710247 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
Current children cumulated CPU time: 73.42 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 214900 KiB
[startup+19.2013 s]
/proc/loadavg: 8.45 8.32 6.98 9/239 9687
/proc/meminfo: memFree=31135912/32770624 swapFree=66979392/67108860
[pid=9665] ppid=9662 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9665/stat : 9665 (xcsp3-exec) S 9662 9665 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407692812 115843072 363 33554432000 4194304 5098028 140726680922144 140726680920248 140130729620092 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21299200 140726680929146 140726680929389 140726680929389 140726680932298 0
/proc/9665/statm: 28282 363 304 221 0 87 0
[pid=9667] ppid=9665 vsize=15417404 memory=207292 CPUtime=75.01 cores=0,2,4,6
/proc/9667/stat : 9667 (java) S 9665 9665 6753 0 -1 1077944320 44388 0 0 0 7486 15 0 0 20 0 19 0 407692813 15787421696 51823 33554432000 4194304 4196468 140727395987968 140727395970512 139992226569975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
/proc/9667/statm: 3854351 51823 3508 1 0 3815453 0
[pid=9667/tid=9668] ppid=9665 vsize=15417404 memory=8025788835636668518 CPUtime=0.57 cores=0,2,4,6
/proc/9667/task/9668/stat : 9668 (java) S 9665 9665 6753 0 -1 1077944384 9316 0 0 0 54 3 0 0 20 0 19 0 407692813 15787421696 51823 33554432000 4194304 4196468 140727395987968 139992230810752 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9669] ppid=9665 vsize=15417404 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/9667/task/9669/stat : 9669 (java) S 9665 9665 6753 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 19 0 407692814 15787421696 51823 33554432000 4194304 4196468 140727395987968 139992179190544 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9670] ppid=9665 vsize=15417404 memory=217988 CPUtime=0.02 cores=0,2,4,6
/proc/9667/task/9670/stat : 9670 (java) S 9665 9665 6753 0 -1 1077944384 1652 0 0 0 2 0 0 0 20 0 19 0 407692814 15787421696 51823 33554432000 4194304 4196468 140727395987968 139991817575312 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9671] ppid=9665 vsize=15417404 memory=1564 CPUtime=0.01 cores=0,2,4,6
/proc/9667/task/9671/stat : 9671 (java) S 9665 9665 6753 0 -1 1077944384 845 0 0 0 1 0 0 0 20 0 19 0 407692814 15787421696 51823 33554432000 4194304 4196468 140727395987968 139991816522768 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9672] ppid=9665 vsize=15417404 memory=928 CPUtime=0.02 cores=0,2,4,6
/proc/9667/task/9672/stat : 9672 (java) S 9665 9665 6753 0 -1 1077944384 483 0 0 0 1 1 0 0 20 0 19 0 407692814 15787421696 51823 33554432000 4194304 4196468 140727395987968 139991815470224 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9673] ppid=9665 vsize=15417404 memory=3772 CPUtime=0.02 cores=0,2,4,6
/proc/9667/task/9673/stat : 9673 (java) S 9665 9665 6753 0 -1 1077944384 854 0 0 0 2 0 0 0 20 0 19 0 407692815 15787421696 51823 33554432000 4194304 4196468 140727395987968 139991694911472 139992226581122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9674] ppid=9665 vsize=15417404 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9674/stat : 9674 (java) S 9665 9665 6753 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 407692816 15787421696 51823 33554432000 4194304 4196468 140727395987968 139991693857760 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9675] ppid=9665 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9675/stat : 9675 (java) S 9665 9665 6753 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 407692816 15787421696 51823 33554432000 4194304 4196468 140727395987968 139991692805120 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9676] ppid=9665 vsize=15417404 memory=213448 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9676/stat : 9676 (java) S 9665 9665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407692818 15787421696 51823 33554432000 4194304 4196468 140727395987968 139991691753680 139992226588571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9677] ppid=9665 vsize=15417404 memory=2120 CPUtime=2.44 cores=0,2,4,6
/proc/9667/task/9677/stat : 9677 (java) S 9665 9665 6753 0 -1 1077944384 8948 0 0 0 243 1 0 0 20 0 19 0 407692818 15787421696 51823 33554432000 4194304 4196468 140727395987968 139991690701296 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9678] ppid=9665 vsize=15417404 memory=11976 CPUtime=2.45 cores=0,2,4,6
/proc/9667/task/9678/stat : 9678 (java) S 9665 9665 6753 0 -1 1077944384 12103 0 0 0 244 1 0 0 20 0 19 0 407692818 15787421696 51823 33554432000 4194304 4196468 140727395987968 139991689648752 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9679] ppid=9665 vsize=15417404 memory=5700 CPUtime=0.59 cores=0,2,4,6
/proc/9667/task/9679/stat : 9679 (java) S 9665 9665 6753 0 -1 1077944384 5073 0 0 0 59 0 0 0 20 0 19 0 407692818 15787421696 51823 33554432000 4194304 4196468 140727395987968 139991688596208 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9680] ppid=9665 vsize=15417404 memory=140099417276601 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9680/stat : 9680 (java) S 9665 9665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407692819 15787421696 51823 33554432000 4194304 4196468 140727395987968 139991687543904 139992226580181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9681] ppid=9665 vsize=15417404 memory=280198835427968 CPUtime=0 cores=0,2,4,6
/proc/9667/task/9681/stat : 9681 (java) S 9665 9665 6753 0 -1 1077944384 692 0 0 0 0 0 0 0 20 0 19 0 407692819 15787421696 51823 33554432000 4194304 4196468 140727395987968 139991686490416 139992226581122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9682] ppid=9665 vsize=15417404 memory=6075463926107164752 CPUtime=16.93 cores=0,2,4,6
/proc/9667/task/9682/stat : 9682 (java) R 9665 9665 6753 0 -1 4202560 377 0 0 0 1693 0 0 0 20 0 19 0 407692872 15787421696 51823 33554432000 4194304 4196468 140727395987968 139991677516776 139991863570522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9683] ppid=9665 vsize=15417404 memory=6075463926107164752 CPUtime=17.3 cores=0,2,4,6
/proc/9667/task/9683/stat : 9683 (java) R 9665 9665 6753 0 -1 4202560 888 0 0 0 1729 1 0 0 20 0 19 0 407692872 15787421696 51823 33554432000 4194304 4196468 140727395987968 139991676464944 139991864990368 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9684] ppid=9665 vsize=15417404 memory=5787221523996632896 CPUtime=17.2 cores=0,2,4,6
/proc/9667/task/9684/stat : 9684 (java) R 9665 9665 6753 0 -1 4202560 470 0 0 0 1720 0 0 0 20 0 19 0 407692872 15787421696 51823 33554432000 4194304 4196468 140727395987968 139991675413104 139991863570396 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
[pid=9667/tid=9685] ppid=9665 vsize=15417404 memory=7588935153021380181 CPUtime=17.3 cores=0,2,4,6
/proc/9667/task/9685/stat : 9685 (java) R 9665 9665 6753 0 -1 4202560 1023 0 0 0 1728 2 0 0 20 0 19 0 407692873 15787421696 51823 33554432000 4194304 4196468 140727395987968 139991674362000 139991865742304 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36421632 140727395996655 140727395996826 140727395996826 140727395999695 0
Current children cumulated CPU time: 75.01 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 208744 KiB
Child status: 0
Real time (s): 19.2278
CPU time (s): 75.096
CPU user time (s): 74.938
CPU system time (s): 0.15801
CPU usage (%): 390.56
Max. virtual memory (cumulated for all children) (KiB): 15532728
Max. memory (cumulated for all children) (KiB): 222136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.938
system time used= 0.15801
maximum resident set size= 221580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45679
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= 3026
involuntary context switches= 2114
# summary of solver processes directly reported to runsolver:
# pid: 9665
# total CPU time (s): 75.096
# total CPU user time (s): 74.938
# total CPU system time (s): 0.15801
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.139188 second user time and 0.263878 second system time
The end