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 (15159 MiB free)
memory of node 1: 16384 MiB (14772 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272801-1502848160/watcher-4272801-1502848160 -o /tmp/evaluation-result-4272801-1502848160/solver-4272801-1502848160 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502842139-30798 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2124551285 HOME/instance-4272801-1502848160.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
Current StackSize limit: 8192 KiB
solver pid=31824, runsolver pid=31821
[startup+0.100167 s]*
/proc/loadavg: 1.62 1.54 1.64 3/218 31840
/proc/meminfo: memFree=30646980/32770624 swapFree=67108860/67108860
[pid=31824] ppid=31821 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31824/stat : 31824 (xcsp3-exec) S 31821 31824 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117904160 9740288 346 33554432000 4194304 5098028 140722554817120 140722554815224 140158745236092 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9228288 140722554819694 140722554819899 140722554819899 140722554822635 0
/proc/31824/statm: 2378 346 289 221 0 87 0
[pid=31826] ppid=31824 vsize=13978596 memory=28548 CPUtime=0.12 cores=0,2,4,6
/proc/31826/stat : 31826 (java) S 31824 31824 30767 0 -1 1077944320 5056 0 0 0 11 1 0 0 20 0 15 0 117904160 14314082304 7137 33554432000 4194304 4196468 140730804917840 140730804900384 140520280633079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
/proc/31826/statm: 3494649 7137 2842 1 0 3482966 0
[pid=31826/tid=31827] ppid=31824 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=0,2,4,6
/proc/31826/task/31827/stat : 31827 (java) R 31824 31824 30767 0 -1 4202560 3066 0 0 0 8 1 0 0 20 0 15 0 117904160 14314082304 7137 33554432000 4194304 4196468 140730804917840 140520284866352 140520266323895 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31828] ppid=31824 vsize=13978596 memory=3472468293873501392 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31828/stat : 31828 (java) S 31824 31824 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904161 14314082304 7137 33554432000 4194304 4196468 140730804917840 140520195701648 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31829] ppid=31824 vsize=13978596 memory=140164978349696 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31829/stat : 31829 (java) S 31824 31824 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904161 14314082304 7137 33554432000 4194304 4196468 140730804917840 140520194648848 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31830] ppid=31824 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31830/stat : 31830 (java) S 31824 31824 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904161 14314082304 7137 33554432000 4194304 4196468 140730804917840 140520193596560 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31831] ppid=31824 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31831/stat : 31831 (java) S 31824 31824 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117904161 14314082304 7137 33554432000 4194304 4196468 140730804917840 140520192543760 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31832] ppid=31824 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31832/stat : 31832 (java) S 31824 31824 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117904162 14314082304 7137 33554432000 4194304 4196468 140730804917840 140519754922096 140520280644226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31833] ppid=31824 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31833/stat : 31833 (java) S 31824 31824 30767 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 117904163 14314082304 7137 33554432000 4194304 4196468 140730804917840 140519753868064 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31834] ppid=31824 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31834/stat : 31834 (java) S 31824 31824 30767 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117904163 14314082304 7137 33554432000 4194304 4196468 140730804917840 140519752815728 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31835] ppid=31824 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31835/stat : 31835 (java) S 31824 31824 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904165 14314082304 7137 33554432000 4194304 4196468 140730804917840 140519751764048 140520280651675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31836] ppid=31824 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31836/stat : 31836 (java) S 31824 31824 30767 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 117904165 14314082304 7137 33554432000 4194304 4196468 140730804917840 140519750711920 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31837] ppid=31824 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31837/stat : 31837 (java) S 31824 31824 30767 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 117904165 14314082304 7137 33554432000 4194304 4196468 140730804917840 140519749659120 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31838] ppid=31824 vsize=13978596 memory=140164978349696 CPUtime=0.01 cores=0,2,4,6
/proc/31826/task/31838/stat : 31838 (java) S 31824 31824 30767 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 15 0 117904165 14314082304 7137 33554432000 4194304 4196468 140730804917840 140519748606832 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31839] ppid=31824 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31839/stat : 31839 (java) S 31824 31824 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904166 14314082304 7137 33554432000 4194304 4196468 140730804917840 140519747554272 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31840] ppid=31824 vsize=13978596 memory=140164978349696 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31840/stat : 31840 (java) S 31824 31824 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904166 14314082304 7137 33554432000 4194304 4196468 140730804917840 140519746501040 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29932 KiB
[startup+0.210825 s]*
/proc/loadavg: 1.62 1.54 1.64 3/218 31840
/proc/meminfo: memFree=30636852/32770624 swapFree=67108860/67108860
[pid=31824] ppid=31821 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31824/stat : 31824 (xcsp3-exec) S 31821 31824 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117904160 9740288 346 33554432000 4194304 5098028 140722554817120 140722554815224 140158745236092 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9228288 140722554819694 140722554819899 140722554819899 140722554822635 0
/proc/31824/statm: 2378 346 289 221 0 87 0
[pid=31826] ppid=31824 vsize=13982852 memory=40324 CPUtime=0.33 cores=0,2,4,6
/proc/31826/stat : 31826 (java) S 31824 31824 30767 0 -1 1077944320 7701 0 0 0 31 2 0 0 20 0 15 0 117904160 14318440448 10081 33554432000 4194304 4196468 140730804917840 140730804900384 140520280633079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
/proc/31826/statm: 3495713 10081 3049 1 0 3482966 0
[pid=31826/tid=31827] ppid=31824 vsize=13982852 memory=5855082630820233377 CPUtime=0.19 cores=0,2,4,6
/proc/31826/task/31827/stat : 31827 (java) D 31824 31824 30767 0 -1 1077944384 4883 0 0 0 18 1 0 0 20 0 15 0 117904160 14318440448 10081 33554432000 4194304 4196468 140730804917840 140520284834768 140520273312301 0 4 0 16800975 18446744072101555748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31828] ppid=31824 vsize=13982852 memory=3472468293873501392 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31828/stat : 31828 (java) S 31824 31824 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904161 14318440448 10081 33554432000 4194304 4196468 140730804917840 140520195701648 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31829] ppid=31824 vsize=13982852 memory=140164978349696 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31829/stat : 31829 (java) S 31824 31824 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904161 14318440448 10081 33554432000 4194304 4196468 140730804917840 140520194648848 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31830] ppid=31824 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31830/stat : 31830 (java) S 31824 31824 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904161 14318440448 10081 33554432000 4194304 4196468 140730804917840 140520193596560 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31831] ppid=31824 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31831/stat : 31831 (java) S 31824 31824 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117904161 14318440448 10081 33554432000 4194304 4196468 140730804917840 140520192543760 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31832] ppid=31824 vsize=13982852 memory=140164978349696 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31832/stat : 31832 (java) S 31824 31824 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117904162 14318440448 10081 33554432000 4194304 4196468 140730804917840 140519754922096 140520280644226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31833] ppid=31824 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31833/stat : 31833 (java) S 31824 31824 30767 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 117904163 14318440448 10081 33554432000 4194304 4196468 140730804917840 140519753868064 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31834] ppid=31824 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31834/stat : 31834 (java) S 31824 31824 30767 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117904163 14318440448 10081 33554432000 4194304 4196468 140730804917840 140519752815728 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31835] ppid=31824 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31835/stat : 31835 (java) S 31824 31824 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904165 14318440448 10081 33554432000 4194304 4196468 140730804917840 140519751764048 140520280651675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31836] ppid=31824 vsize=13982884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31826/task/31836/stat : 31836 (java) S 31824 31824 30767 0 -1 1077944384 591 0 0 0 3 0 0 0 20 0 15 0 117904165 14318473216 10081 33554432000 4194304 4196468 140730804917840 140519750711920 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31837] ppid=31824 vsize=13982884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31826/task/31837/stat : 31837 (java) S 31824 31824 30767 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 15 0 117904165 14318473216 10081 33554432000 4194304 4196468 140730804917840 140519749659120 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31838] ppid=31824 vsize=13982852 memory=140164978349696 CPUtime=0.07 cores=0,2,4,6
/proc/31826/task/31838/stat : 31838 (java) S 31824 31824 30767 0 -1 1077944384 716 0 0 0 7 0 0 0 20 0 15 0 117904165 14318440448 10081 33554432000 4194304 4196468 140730804917840 140519748606832 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31839] ppid=31824 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31839/stat : 31839 (java) S 31824 31824 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904166 14318440448 10081 33554432000 4194304 4196468 140730804917840 140519747554272 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31840] ppid=31824 vsize=13982852 memory=140164978349696 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31840/stat : 31840 (java) S 31824 31824 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904166 14318440448 10081 33554432000 4194304 4196468 140730804917840 140519746501040 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41708 KiB
[startup+0.312795 s]*
/proc/loadavg: 1.62 1.54 1.64 4/218 31840
/proc/meminfo: memFree=30629656/32770624 swapFree=67108860/67108860
[pid=31824] ppid=31821 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31824/stat : 31824 (xcsp3-exec) S 31821 31824 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117904160 9740288 346 33554432000 4194304 5098028 140722554817120 140722554815224 140158745236092 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9228288 140722554819694 140722554819899 140722554819899 140722554822635 0
/proc/31824/statm: 2378 346 289 221 0 87 0
[pid=31826] ppid=31824 vsize=13982852 memory=47332 CPUtime=0.51 cores=0,2,4,6
/proc/31826/stat : 31826 (java) S 31824 31824 30767 0 -1 1077944320 8481 0 0 0 48 3 0 0 20 0 15 0 117904160 14318440448 11833 33554432000 4194304 4196468 140730804917840 140730804900384 140520280633079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
/proc/31826/statm: 3495713 11833 3125 1 0 3482966 0
[pid=31826/tid=31827] ppid=31824 vsize=13982852 memory=-8540663193526752614 CPUtime=0.3 cores=0,2,4,6
/proc/31826/task/31827/stat : 31827 (java) R 31824 31824 30767 0 -1 4202560 5452 0 0 0 28 2 0 0 20 0 15 0 117904160 14318440448 11833 33554432000 4194304 4196468 140730804917840 140520284871536 140520280655005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31828] ppid=31824 vsize=13982852 memory=3472468293873501392 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31828/stat : 31828 (java) S 31824 31824 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904161 14318440448 11833 33554432000 4194304 4196468 140730804917840 140520195701648 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31829] ppid=31824 vsize=13982852 memory=140164978380463 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31829/stat : 31829 (java) S 31824 31824 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904161 14318440448 11833 33554432000 4194304 4196468 140730804917840 140520194648848 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31830] ppid=31824 vsize=13982852 memory=140164848560985 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31830/stat : 31830 (java) S 31824 31824 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904161 14318440448 11833 33554432000 4194304 4196468 140730804917840 140520193596560 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31831] ppid=31824 vsize=13982852 memory=140164848532431 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31831/stat : 31831 (java) S 31824 31824 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117904161 14318440448 11833 33554432000 4194304 4196468 140730804917840 140520192543760 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31832] ppid=31824 vsize=13982852 memory=140164978380494 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31832/stat : 31832 (java) S 31824 31824 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117904162 14318440448 11833 33554432000 4194304 4196468 140730804917840 140519754922096 140520280644226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31833] ppid=31824 vsize=13982852 memory=140164848541647 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31833/stat : 31833 (java) S 31824 31824 30767 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 117904163 14318440448 11833 33554432000 4194304 4196468 140730804917840 140519753868064 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31834] ppid=31824 vsize=13982852 memory=280329697080944 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31834/stat : 31834 (java) S 31824 31824 30767 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117904163 14318440448 11833 33554432000 4194304 4196468 140730804917840 140519752815728 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31835] ppid=31824 vsize=13982852 memory=140164848573325 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31835/stat : 31835 (java) S 31824 31824 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904165 14318440448 11833 33554432000 4194304 4196468 140730804917840 140519751764048 140520280651675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31836] ppid=31824 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31826/task/31836/stat : 31836 (java) S 31824 31824 30767 0 -1 1077944384 632 0 0 0 3 0 0 0 20 0 15 0 117904165 14318440448 11833 33554432000 4194304 4196468 140730804917840 140519750711920 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31837] ppid=31824 vsize=13982852 memory=2240 CPUtime=0.03 cores=0,2,4,6
/proc/31826/task/31837/stat : 31837 (java) R 31824 31824 30767 0 -1 4202560 271 0 0 0 3 0 0 0 20 0 15 0 117904165 14318440448 11833 33554432000 4194304 4196468 140730804917840 140519749648912 140520266314518 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31838] ppid=31824 vsize=13982852 memory=140164978349696 CPUtime=0.12 cores=0,2,4,6
/proc/31826/task/31838/stat : 31838 (java) R 31824 31824 30767 0 -1 4202560 825 0 0 0 12 0 0 0 20 0 15 0 117904165 14318440448 11833 33554432000 4194304 4196468 140730804917840 140519748604624 140520280645014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31839] ppid=31824 vsize=13982852 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31839/stat : 31839 (java) S 31824 31824 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904166 14318440448 11833 33554432000 4194304 4196468 140730804917840 140519747554272 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31840] ppid=31824 vsize=13982852 memory=140164978349696 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31840/stat : 31840 (java) S 31824 31824 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904166 14318440448 11833 33554432000 4194304 4196468 140730804917840 140519746501040 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48716 KiB
[startup+0.700812 s]
/proc/loadavg: 1.62 1.54 1.64 5/218 31840
/proc/meminfo: memFree=30600560/32770624 swapFree=67108860/67108860
[pid=31824] ppid=31821 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31824/stat : 31824 (xcsp3-exec) S 31821 31824 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117904160 9740288 346 33554432000 4194304 5098028 140722554817120 140722554815224 140158745236092 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9228288 140722554819694 140722554819899 140722554819899 140722554822635 0
/proc/31824/statm: 2378 346 289 221 0 87 0
[pid=31826] ppid=31824 vsize=13984976 memory=119244 CPUtime=1.79 cores=0,2,4,6
/proc/31826/stat : 31826 (java) S 31824 31824 30767 0 -1 1077944320 12618 0 0 0 174 5 0 0 20 0 15 0 117904160 14320615424 29811 33554432000 4194304 4196468 140730804917840 140730804900384 140520280633079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
/proc/31826/statm: 3496244 29811 3192 1 0 3483478 0
[pid=31826/tid=31827] ppid=31824 vsize=13984976 memory=1420 CPUtime=0.67 cores=0,2,4,6
/proc/31826/task/31827/stat : 31827 (java) R 31824 31824 30767 0 -1 4202560 5925 0 0 0 64 3 0 0 20 0 15 0 117904160 14320615424 29811 33554432000 4194304 4196468 140730804917840 140520284870464 140519874779321 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31828] ppid=31824 vsize=13984976 memory=13040 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31828/stat : 31828 (java) S 31824 31824 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904161 14320615424 29811 33554432000 4194304 4196468 140730804917840 140520195701648 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31829] ppid=31824 vsize=13984976 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31829/stat : 31829 (java) S 31824 31824 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904161 14320615424 29811 33554432000 4194304 4196468 140730804917840 140520194648848 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31830] ppid=31824 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31830/stat : 31830 (java) S 31824 31824 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904161 14320615424 29811 33554432000 4194304 4196468 140730804917840 140520193596560 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31831] ppid=31824 vsize=13984976 memory=280329697162560 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31831/stat : 31831 (java) S 31824 31824 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117904161 14320615424 29811 33554432000 4194304 4196468 140730804917840 140520192543760 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31832] ppid=31824 vsize=13984976 memory=140164848592100 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31832/stat : 31832 (java) S 31824 31824 30767 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117904162 14320615424 29811 33554432000 4194304 4196468 140730804917840 140519754922096 140520280644226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31833] ppid=31824 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31833/stat : 31833 (java) S 31824 31824 30767 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 117904163 14320615424 29811 33554432000 4194304 4196468 140730804917840 140519753868064 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31834] ppid=31824 vsize=13984976 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31834/stat : 31834 (java) S 31824 31824 30767 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117904163 14320615424 29811 33554432000 4194304 4196468 140730804917840 140519752815728 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31835] ppid=31824 vsize=13984976 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31835/stat : 31835 (java) S 31824 31824 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904165 14320615424 29811 33554432000 4194304 4196468 140730804917840 140519751764048 140520280651675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31836] ppid=31824 vsize=13984976 memory=3801 CPUtime=0.38 cores=0,2,4,6
/proc/31826/task/31836/stat : 31836 (java) R 31824 31824 30767 0 -1 4202560 1990 0 0 0 38 0 0 0 20 0 15 0 117904165 14320615424 29811 33554432000 4194304 4196468 140730804917840 140519750704944 140520264626470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31837] ppid=31824 vsize=13984976 memory=4 CPUtime=0.4 cores=0,2,4,6
/proc/31826/task/31837/stat : 31837 (java) R 31824 31824 30767 0 -1 4202560 1765 0 0 0 40 0 0 0 20 0 15 0 117904165 14320615424 29811 33554432000 4194304 4196468 140730804917840 140519749645440 140520260326175 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31838] ppid=31824 vsize=13984976 memory=7045 CPUtime=0.31 cores=0,2,4,6
/proc/31826/task/31838/stat : 31838 (java) S 31824 31824 30767 0 -1 1077944384 1629 0 0 0 30 1 0 0 20 0 15 0 117904165 14320615424 29811 33554432000 4194304 4196468 140730804917840 140519748606832 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31839] ppid=31824 vsize=13984976 memory=370 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31839/stat : 31839 (java) S 31824 31824 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904166 14320615424 29811 33554432000 4194304 4196468 140730804917840 140519747554272 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31840] ppid=31824 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31840/stat : 31840 (java) S 31824 31824 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904166 14320615424 29811 33554432000 4194304 4196468 140730804917840 140519746501040 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 120628 KiB
[startup+1.50082 s]
/proc/loadavg: 1.62 1.54 1.64 3/218 31840
/proc/meminfo: memFree=30448208/32770624 swapFree=67108860/67108860
[pid=31824] ppid=31821 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31824/stat : 31824 (xcsp3-exec) S 31821 31824 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117904160 9740288 346 33554432000 4194304 5098028 140722554817120 140722554815224 140158745236092 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9228288 140722554819694 140722554819899 140722554819899 140722554822635 0
/proc/31824/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
Solver just ended.
Dumping a history of the last processes samples
[startup+803.201 s]
/proc/loadavg: 8.30 6.65 4.20 6/216 31942
/proc/meminfo: memFree=8211736/32770624 swapFree=67108860/67108860
[pid=31826] ppid=31821 vsize=13984976 memory=11695304 CPUtime=2523.91 cores=0,2,4,6
/proc/31826/stat : 31826 (java) S 31821 31824 30767 0 -1 1077944320 530495 0 0 0 251653 738 0 0 20 0 15 0 117904160 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140730804900384 140520280633079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
/proc/31826/statm: 3496244 2923826 3252 1 0 3483478 0
[pid=31826/tid=31827] ppid=31821 vsize=13984976 memory=1384 CPUtime=154.57 cores=0,2,4,6
/proc/31826/task/31827/stat : 31827 (java) S 31821 31824 30767 0 -1 1077944384 28609 0 0 0 15410 47 0 0 20 0 15 0 117904160 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520284871104 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31828] ppid=31821 vsize=13984976 memory=11695304 CPUtime=573.62 cores=0,2,4,6
/proc/31826/task/31828/stat : 31828 (java) R 31821 31824 30767 0 -1 4202560 84917 0 0 0 57208 154 0 0 20 0 15 0 117904161 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520195701848 140520265629741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31829] ppid=31821 vsize=13984976 memory=1384 CPUtime=574.12 cores=0,2,4,6
/proc/31826/task/31829/stat : 31829 (java) R 31821 31824 30767 0 -1 4202560 82903 0 0 0 57239 173 0 0 20 0 15 0 117904161 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520194648736 140520265629480 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31830] ppid=31821 vsize=13984976 memory=1384 CPUtime=573.57 cores=0,2,4,6
/proc/31826/task/31830/stat : 31830 (java) R 31821 31824 30767 0 -1 4202560 90536 0 0 0 57190 167 0 0 20 0 15 0 117904161 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520193596760 140520265629697 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31831] ppid=31821 vsize=13984976 memory=11695304 CPUtime=573.29 cores=0,2,4,6
/proc/31826/task/31831/stat : 31831 (java) R 31821 31824 30767 0 -1 4202560 109742 0 0 0 57151 178 0 0 20 0 15 0 117904161 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520192543960 140520265629480 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31832] ppid=31821 vsize=13984976 memory=1228 CPUtime=71.47 cores=0,2,4,6
/proc/31826/task/31832/stat : 31832 (java) S 31821 31824 30767 0 -1 1077944384 112086 0 0 0 7140 7 0 0 20 0 15 0 117904162 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519754920640 140520280643285 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31833] ppid=31821 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31833/stat : 31833 (java) S 31821 31824 30767 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 117904163 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519753868128 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31834] ppid=31821 vsize=13984976 memory=32956 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31834/stat : 31834 (java) S 31821 31824 30767 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 117904163 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519752815744 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31835] ppid=31821 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31835/stat : 31835 (java) S 31821 31824 30767 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 117904165 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519751763696 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31836] ppid=31821 vsize=13984976 memory=2336 CPUtime=1.13 cores=0,2,4,6
/proc/31826/task/31836/stat : 31836 (java) S 31821 31824 30767 0 -1 1077944384 6260 0 0 0 112 1 0 0 20 0 15 0 117904165 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519750711968 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31837] ppid=31821 vsize=13984976 memory=11695304 CPUtime=1.12 cores=0,2,4,6
/proc/31826/task/31837/stat : 31837 (java) S 31821 31824 30767 0 -1 1077944384 5582 0 0 0 111 1 0 0 20 0 15 0 117904165 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519749658880 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31838] ppid=31821 vsize=13984976 memory=32956 CPUtime=0.51 cores=0,2,4,6
/proc/31826/task/31838/stat : 31838 (java) S 31821 31824 30767 0 -1 1077944384 7629 0 0 0 49 2 0 0 20 0 15 0 117904165 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519748606880 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31839] ppid=31821 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31839/stat : 31839 (java) S 31821 31824 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904166 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519747554272 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31840] ppid=31821 vsize=13984976 memory=2336 CPUtime=0.41 cores=0,2,4,6
/proc/31826/task/31840/stat : 31840 (java) S 31821 31824 30767 0 -1 1077944384 915 0 0 0 24 17 0 0 20 0 15 0 117904166 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519746501040 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
Current cumulated CPU time of completed processes: 0.001903 s
Current children cumulated CPU time: 2523.91 s
Current children cumulated vsize: 13984976 KiB
Current children cumulated memory: 11695304 KiB
[startup+804.001 s]*
/proc/loadavg: 8.30 6.65 4.20 9/216 31942
/proc/meminfo: memFree=8211752/32770624 swapFree=67108860/67108860
[pid=31826] ppid=31821 vsize=13984976 memory=11695304 CPUtime=2526.34 cores=0,2,4,6
/proc/31826/stat : 31826 (java) S 31821 31824 30767 0 -1 1077944320 530535 0 0 0 251896 738 0 0 20 0 15 0 117904160 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140730804900384 140520280633079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
/proc/31826/statm: 3496244 2923826 3252 1 0 3483478 0
[pid=31826/tid=31827] ppid=31821 vsize=13984976 memory=6791534058613427641 CPUtime=154.57 cores=0,2,4,6
/proc/31826/task/31827/stat : 31827 (java) S 31821 31824 30767 0 -1 1077944384 28609 0 0 0 15410 47 0 0 20 0 15 0 117904160 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520284871104 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31828] ppid=31821 vsize=13984976 memory=-7003737579269690708 CPUtime=574.17 cores=0,2,4,6
/proc/31826/task/31828/stat : 31828 (java) R 31821 31824 30767 0 -1 4202560 84919 0 0 0 57263 154 0 0 20 0 15 0 117904161 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520195701848 140520265618375 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31829] ppid=31821 vsize=13984976 memory=3160 CPUtime=574.66 cores=0,2,4,6
/proc/31826/task/31829/stat : 31829 (java) R 31821 31824 30767 0 -1 4202560 82906 0 0 0 57293 173 0 0 20 0 15 0 117904161 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520194649048 140520265330718 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31830] ppid=31821 vsize=13984976 memory=4140 CPUtime=574.11 cores=0,2,4,6
/proc/31826/task/31830/stat : 31830 (java) R 31821 31824 30767 0 -1 4202560 90536 0 0 0 57244 167 0 0 20 0 15 0 117904161 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520193596760 140520265330854 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31831] ppid=31821 vsize=13984976 memory=6791534058613427641 CPUtime=573.83 cores=0,2,4,6
/proc/31826/task/31831/stat : 31831 (java) R 31821 31824 30767 0 -1 4202560 109742 0 0 0 57205 178 0 0 20 0 15 0 117904161 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520192543648 140520265330854 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31832] ppid=31821 vsize=13984976 memory=303430261956411701 CPUtime=71.73 cores=0,2,4,6
/proc/31826/task/31832/stat : 31832 (java) S 31821 31824 30767 0 -1 1077944384 112088 0 0 0 7166 7 0 0 20 0 15 0 117904162 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519754920416 140520280643285 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31833] ppid=31821 vsize=13984976 memory=16106991470774530 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31833/stat : 31833 (java) S 31821 31824 30767 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 117904163 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519753868128 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31834] ppid=31821 vsize=13984976 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31834/stat : 31834 (java) S 31821 31824 30767 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 117904163 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519752815744 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31835] ppid=31821 vsize=13984976 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31835/stat : 31835 (java) S 31821 31824 30767 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 117904165 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519751757344 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31836] ppid=31821 vsize=13984976 memory=4128 CPUtime=1.13 cores=0,2,4,6
/proc/31826/task/31836/stat : 31836 (java) S 31821 31824 30767 0 -1 1077944384 6260 0 0 0 112 1 0 0 20 0 15 0 117904165 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519750711920 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31837] ppid=31821 vsize=13984976 memory=2204 CPUtime=1.12 cores=0,2,4,6
/proc/31826/task/31837/stat : 31837 (java) S 31821 31824 30767 0 -1 1077944384 5582 0 0 0 111 1 0 0 20 0 15 0 117904165 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519749659120 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31838] ppid=31821 vsize=13984976 memory=6764 CPUtime=0.51 cores=0,2,4,6
/proc/31826/task/31838/stat : 31838 (java) S 31821 31824 30767 0 -1 1077944384 7629 0 0 0 49 2 0 0 20 0 15 0 117904165 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519748606832 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31839] ppid=31821 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31839/stat : 31839 (java) S 31821 31824 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904166 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519747554272 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31840] ppid=31821 vsize=13984976 memory=1696 CPUtime=0.41 cores=0,2,4,6
/proc/31826/task/31840/stat : 31840 (java) S 31821 31824 30767 0 -1 1077944384 915 0 0 0 24 17 0 0 20 0 15 0 117904166 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519746501040 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
Current cumulated CPU time of completed processes: 0.001903 s
Current children cumulated CPU time: 2526.34 s
Current children cumulated vsize: 13984976 KiB
Current children cumulated memory: 11695304 KiB
[startup+804.201 s]
/proc/loadavg: 8.30 6.65 4.20 9/216 31942
/proc/meminfo: memFree=8211752/32770624 swapFree=67108860/67108860
[pid=31826] ppid=31821 vsize=13984976 memory=11695304 CPUtime=2527.1 cores=0,2,4,6
/proc/31826/stat : 31826 (java) S 31821 31824 30767 0 -1 1077944320 530535 0 0 0 251972 738 0 0 20 0 15 0 117904160 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140730804900384 140520280633079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
/proc/31826/statm: 3496244 2923826 3252 1 0 3483478 0
[pid=31826/tid=31827] ppid=31821 vsize=13984976 memory=3832 CPUtime=154.57 cores=0,2,4,6
/proc/31826/task/31827/stat : 31827 (java) S 31821 31824 30767 0 -1 1077944384 28609 0 0 0 15410 47 0 0 20 0 15 0 117904160 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520284871104 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31828] ppid=31821 vsize=13984976 memory=2544 CPUtime=574.36 cores=0,2,4,6
/proc/31826/task/31828/stat : 31828 (java) R 31821 31824 30767 0 -1 4202560 84919 0 0 0 57282 154 0 0 20 0 15 0 117904161 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520195701848 140520265330726 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31829] ppid=31821 vsize=13984976 memory=2564 CPUtime=574.85 cores=0,2,4,6
/proc/31826/task/31829/stat : 31829 (java) R 31821 31824 30767 0 -1 4202560 82906 0 0 0 57312 173 0 0 20 0 15 0 117904161 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520194649048 140520265583684 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31830] ppid=31821 vsize=13984976 memory=303430223234596890 CPUtime=574.29 cores=0,2,4,6
/proc/31826/task/31830/stat : 31830 (java) R 31821 31824 30767 0 -1 4202560 90536 0 0 0 57262 167 0 0 20 0 15 0 117904161 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520193596760 140520265583684 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31831] ppid=31821 vsize=13984976 memory=288230613214036277 CPUtime=574.03 cores=0,2,4,6
/proc/31826/task/31831/stat : 31831 (java) R 31821 31824 30767 0 -1 4202560 109742 0 0 0 57225 178 0 0 20 0 15 0 117904161 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520192543648 140520265330718 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31832] ppid=31821 vsize=13984976 memory=16106991470774530 CPUtime=71.73 cores=0,2,4,6
/proc/31826/task/31832/stat : 31832 (java) S 31821 31824 30767 0 -1 1077944384 112088 0 0 0 7166 7 0 0 20 0 15 0 117904162 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519754920416 140520280643285 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31833] ppid=31821 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31833/stat : 31833 (java) S 31821 31824 30767 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 117904163 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519753868128 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31834] ppid=31821 vsize=13984976 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31834/stat : 31834 (java) S 31821 31824 30767 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 117904163 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519752815744 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31835] ppid=31821 vsize=13984976 memory=920 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31835/stat : 31835 (java) S 31821 31824 30767 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 117904165 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519751757344 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31836] ppid=31821 vsize=13984976 memory=3832 CPUtime=1.13 cores=0,2,4,6
/proc/31826/task/31836/stat : 31836 (java) S 31821 31824 30767 0 -1 1077944384 6260 0 0 0 112 1 0 0 20 0 15 0 117904165 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519750711920 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31837] ppid=31821 vsize=13984976 memory=2544 CPUtime=1.12 cores=0,2,4,6
/proc/31826/task/31837/stat : 31837 (java) S 31821 31824 30767 0 -1 1077944384 5582 0 0 0 111 1 0 0 20 0 15 0 117904165 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519749659120 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31838] ppid=31821 vsize=13984976 memory=2564 CPUtime=0.51 cores=0,2,4,6
/proc/31826/task/31838/stat : 31838 (java) S 31821 31824 30767 0 -1 1077944384 7629 0 0 0 49 2 0 0 20 0 15 0 117904165 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519748606832 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31839] ppid=31821 vsize=13984976 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31839/stat : 31839 (java) S 31821 31824 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904166 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519747554272 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31840] ppid=31821 vsize=13984976 memory=1160 CPUtime=0.41 cores=0,2,4,6
/proc/31826/task/31840/stat : 31840 (java) S 31821 31824 30767 0 -1 1077944384 915 0 0 0 24 17 0 0 20 0 15 0 117904166 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519746501040 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
Current cumulated CPU time of completed processes: 0.001903 s
Current children cumulated CPU time: 2527.1 s
Current children cumulated vsize: 13984976 KiB
Current children cumulated memory: 11695304 KiB
[startup+804.301 s]
/proc/loadavg: 8.30 6.65 4.20 9/216 31942
/proc/meminfo: memFree=8211752/32770624 swapFree=67108860/67108860
[pid=31826] ppid=31821 vsize=13984976 memory=11695304 CPUtime=2527.5 cores=0,2,4,6
/proc/31826/stat : 31826 (java) S 31821 31824 30767 0 -1 1077944320 530535 0 0 0 252012 738 0 0 20 0 15 0 117904160 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140730804900384 140520280633079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
/proc/31826/statm: 3496244 2923826 3252 1 0 3483478 0
[pid=31826/tid=31827] ppid=31821 vsize=13984976 memory=11695304 CPUtime=154.57 cores=0,2,4,6
/proc/31826/task/31827/stat : 31827 (java) S 31821 31824 30767 0 -1 1077944384 28609 0 0 0 15410 47 0 0 20 0 15 0 117904160 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520284871104 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31828] ppid=31821 vsize=13984976 memory=11695304 CPUtime=574.46 cores=0,2,4,6
/proc/31826/task/31828/stat : 31828 (java) R 31821 31824 30767 0 -1 4202560 84919 0 0 0 57292 154 0 0 20 0 15 0 117904161 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520195701848 140520265330647 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31829] ppid=31821 vsize=13984976 memory=11695304 CPUtime=574.95 cores=0,2,4,6
/proc/31826/task/31829/stat : 31829 (java) R 31821 31824 30767 0 -1 4202560 82906 0 0 0 57322 173 0 0 20 0 15 0 117904161 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520194649048 140520266697909 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31830] ppid=31821 vsize=13984976 memory=1384 CPUtime=574.39 cores=0,2,4,6
/proc/31826/task/31830/stat : 31830 (java) R 31821 31824 30767 0 -1 4202560 90536 0 0 0 57272 167 0 0 20 0 15 0 117904161 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520193596760 140520265583757 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31831] ppid=31821 vsize=13984976 memory=11695304 CPUtime=574.13 cores=0,2,4,6
/proc/31826/task/31831/stat : 31831 (java) R 31821 31824 30767 0 -1 4202560 109742 0 0 0 57235 178 0 0 20 0 15 0 117904161 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140520192543648 140520265583735 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31832] ppid=31821 vsize=13984976 memory=1384 CPUtime=71.73 cores=0,2,4,6
/proc/31826/task/31832/stat : 31832 (java) S 31821 31824 30767 0 -1 1077944384 112088 0 0 0 7166 7 0 0 20 0 15 0 117904162 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519754920416 140520280643285 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31833] ppid=31821 vsize=13984976 memory=11695304 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31833/stat : 31833 (java) S 31821 31824 30767 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 117904163 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519753868128 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31834] ppid=31821 vsize=13984976 memory=11695304 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31834/stat : 31834 (java) S 31821 31824 30767 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 117904163 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519752815744 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31835] ppid=31821 vsize=13984976 memory=11695304 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31835/stat : 31835 (java) S 31821 31824 30767 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 117904165 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519751757344 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31836] ppid=31821 vsize=13984976 memory=11695304 CPUtime=1.13 cores=0,2,4,6
/proc/31826/task/31836/stat : 31836 (java) S 31821 31824 30767 0 -1 1077944384 6260 0 0 0 112 1 0 0 20 0 15 0 117904165 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519750711920 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31837] ppid=31821 vsize=13984976 memory=6082202987141884759 CPUtime=1.12 cores=0,2,4,6
/proc/31826/task/31837/stat : 31837 (java) S 31821 31824 30767 0 -1 1077944384 5582 0 0 0 111 1 0 0 20 0 15 0 117904165 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519749659120 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31838] ppid=31821 vsize=13984976 memory=1384 CPUtime=0.51 cores=0,2,4,6
/proc/31826/task/31838/stat : 31838 (java) S 31821 31824 30767 0 -1 1077944384 7629 0 0 0 49 2 0 0 20 0 15 0 117904165 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519748606832 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31839] ppid=31821 vsize=13984976 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/31826/task/31839/stat : 31839 (java) S 31821 31824 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904166 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519747554272 140520280643285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
[pid=31826/tid=31840] ppid=31821 vsize=13984976 memory=2240 CPUtime=0.41 cores=0,2,4,6
/proc/31826/task/31840/stat : 31840 (java) S 31821 31824 30767 0 -1 1077944384 915 0 0 0 24 17 0 0 20 0 15 0 117904166 14320615424 2923826 33554432000 4194304 4196468 140730804917840 140519746501040 140520280644226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 30154752 140730804921495 140730804921671 140730804921671 140730804924367 0
Current cumulated CPU time of completed processes: 0.001903 s
Current children cumulated CPU time: 2527.5 s
Current children cumulated vsize: 13984976 KiB
Current children cumulated memory: 11695304 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 804.362
CPU time (s): 2527.6
CPU user time (s): 2520.17
CPU system time (s): 7.43449
CPU usage (%): 314.237
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 11696688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.17
system time used= 7.43449
maximum resident set size= 11695728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 531053
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26809
involuntary context switches= 38661
# summary of solver processes directly reported to runsolver:
# pid: 31824,31826
# total CPU time (s): 2527.6
# total CPU user time (s): 2520.17
# total CPU system time (s): 7.43449
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.04105 second user time and 8.3006 second system time
The end