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 (11767 MiB free)
memory of node 1: 16384 MiB (12230 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396635-1568408196/watcher-4396635-1568408196 -o /tmp/evaluation-result-4396635-1568408196/solver-4396635-1568408196 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568394074-6199 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1158045469 HOME/instance-4396635-1568408196.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10628, runsolver pid=10625
Current StackSize limit: 8192 KiB
[startup+0.100105 s]*
/proc/loadavg: 1.56 1.58 1.54 4/218 10685
/proc/meminfo: memFree=24568972/32770624 swapFree=66957012/67108860
[pid=10628] ppid=10625 vsize=9972712 memory=18332 CPUtime=0.09 cores=0,2,4,6
/proc/10628/stat : 10628 (java) S 10625 10628 3758 0 -1 1077944320 4329 13167 0 0 1 0 5 3 20 0 6 0 416733420 10212057088 4583 33554432000 4194304 4196468 140727858424912 140727858407456 140186631282423 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
/proc/10628/statm: 2493178 4583 1931 1 0 2481616 0
[pid=10628/tid=10681] ppid=10625 vsize=9972712 memory=4279135703946592399 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10681/stat : 10681 (java) R 10625 10628 3758 0 -1 4202560 2121 13167 0 0 0 0 5 3 20 0 6 0 416733429 10212057088 4583 33554432000 4194304 4196468 140727858424912 140186603119184 140186631306013 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10682] ppid=10625 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10682/stat : 10682 (java) S 10625 10628 3758 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 6 0 416733430 10212057088 4583 33554432000 4194304 4196468 140727858424912 140186635524752 140186631292629 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10683] ppid=10625 vsize=9972712 memory=140045693728384 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10683/stat : 10683 (java) S 10625 10628 3758 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 6 0 416733430 10212057088 4583 33554432000 4194304 4196468 140727858424912 140186534414864 140186631292629 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10684] ppid=10625 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10684/stat : 10684 (java) S 10625 10628 3758 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 6 0 416733430 10212057088 4583 33554432000 4194304 4196468 140727858424912 140186533362064 140186631292629 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10685] ppid=10625 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10685/stat : 10685 (java) S 10625 10628 3758 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 6 0 416733430 10212057088 4583 33554432000 4194304 4196468 140727858424912 140186532309264 140186631292629 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18332 KiB
[startup+0.212183 s]*
/proc/loadavg: 1.56 1.58 1.54 3/227 10694
/proc/meminfo: memFree=24549468/32770624 swapFree=66957012/67108860
[pid=10628] ppid=10625 vsize=10819664 memory=38216 CPUtime=0.26 cores=0,2,4,6
/proc/10628/stat : 10628 (java) S 10625 10628 3758 0 -1 1077944320 6910 13167 0 0 17 1 5 3 20 0 15 0 416733420 11079335936 9554 33554432000 4194304 4196468 140727858424912 140727858407456 140186631282423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
/proc/10628/statm: 2704916 9554 3171 1 0 2667149 0
[pid=10628/tid=10681] ppid=10625 vsize=10819664 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/10628/task/10681/stat : 10681 (java) R 10625 10628 3758 0 -1 4202560 3382 13167 0 0 11 1 5 3 20 0 15 0 416733429 11079335936 9554 33554432000 4194304 4196468 140727858424912 140186603106304 140186615362910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10682] ppid=10625 vsize=10819664 memory=339 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10682/stat : 10682 (java) S 10625 10628 3758 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 416733430 11079335936 9554 33554432000 4194304 4196468 140727858424912 140186635524752 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10683] ppid=10625 vsize=10819664 memory=140045696852510 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10683/stat : 10683 (java) S 10625 10628 3758 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 416733430 11079335936 9554 33554432000 4194304 4196468 140727858424912 140186534414864 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10684] ppid=10625 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10684/stat : 10684 (java) S 10625 10628 3758 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 416733430 11079335936 9554 33554432000 4194304 4196468 140727858424912 140186533362064 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10685] ppid=10625 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10685/stat : 10685 (java) S 10625 10628 3758 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 416733430 11079335936 9554 33554432000 4194304 4196468 140727858424912 140186532309264 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10686] ppid=10625 vsize=10819664 memory=140045693728384 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10686/stat : 10686 (java) S 10625 10628 3758 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 416733431 11079335936 9554 33554432000 4194304 4196468 140727858424912 140185835625328 140186631293570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10687] ppid=10625 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10687/stat : 10687 (java) S 10625 10628 3758 0 -1 1077944384 33 13167 0 0 0 0 5 3 20 0 15 0 416733432 11079335936 9554 33554432000 4194304 4196468 140727858424912 140185834571296 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10688] ppid=10625 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10688/stat : 10688 (java) S 10625 10628 3758 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 416733432 11079335936 9554 33554432000 4194304 4196468 140727858424912 140185719268720 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10689] ppid=10625 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10689/stat : 10689 (java) S 10625 10628 3758 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 416733435 11079335936 9554 33554432000 4194304 4196468 140727858424912 140185210542416 140186631301019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10690] ppid=10625 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10628/task/10690/stat : 10690 (java) S 10625 10628 3758 0 -1 1077944384 361 13167 0 0 1 0 5 3 20 0 15 0 416733435 11079335936 9554 33554432000 4194304 4196468 140727858424912 140185801013616 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10691] ppid=10625 vsize=10819664 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/10628/task/10691/stat : 10691 (java) S 10625 10628 3758 0 -1 1077944384 299 13167 0 0 1 0 5 3 20 0 15 0 416733435 11079335936 9554 33554432000 4194304 4196468 140727858424912 140185799960816 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10692] ppid=10625 vsize=10819664 memory=140045693728384 CPUtime=0.11 cores=0,2,4,6
/proc/10628/task/10692/stat : 10692 (java) R 10625 10628 3758 0 -1 4202560 615 13167 0 0 3 0 5 3 20 0 15 0 416733435 11079335936 9554 33554432000 4194304 4196468 140727858424912 140185798908016 140186609842805 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10693] ppid=10625 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10693/stat : 10693 (java) S 10625 10628 3758 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 416733435 11079335936 9554 33554432000 4194304 4196468 140727858424912 140185176983776 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10694] ppid=10625 vsize=10819664 memory=140045693728384 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10694/stat : 10694 (java) S 10625 10628 3758 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 416733435 11079335936 9554 33554432000 4194304 4196468 140727858424912 140185797856432 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 38216 KiB
[startup+0.310438 s]*
/proc/loadavg: 1.56 1.58 1.54 3/227 10694
/proc/meminfo: memFree=24537292/32770624 swapFree=66957012/67108860
[pid=10628] ppid=10625 vsize=10820148 memory=49280 CPUtime=0.41 cores=0,2,4,6
/proc/10628/stat : 10628 (java) S 10625 10628 3758 0 -1 1077944320 10591 13167 0 0 29 4 5 3 20 0 15 0 416733420 11079831552 12320 33554432000 4194304 4196468 140727858424912 140727858407456 140186631282423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
/proc/10628/statm: 2705037 12320 3303 1 0 2667149 0
[pid=10628/tid=10681] ppid=10625 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/10628/task/10681/stat : 10681 (java) R 10625 10628 3758 0 -1 4202560 7040 13167 0 0 18 3 5 3 20 0 15 0 416733429 11079831552 12320 33554432000 4194304 4196468 140727858424912 140186603082336 140186617471013 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10682] ppid=10625 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10682/stat : 10682 (java) S 10625 10628 3758 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 416733430 11079831552 12320 33554432000 4194304 4196468 140727858424912 140186635524752 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10683] ppid=10625 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10683/stat : 10683 (java) S 10625 10628 3758 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 416733430 11079831552 12320 33554432000 4194304 4196468 140727858424912 140186534414864 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10684] ppid=10625 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10684/stat : 10684 (java) S 10625 10628 3758 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 416733430 11079831552 12320 33554432000 4194304 4196468 140727858424912 140186533362064 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10685] ppid=10625 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10685/stat : 10685 (java) S 10625 10628 3758 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 416733430 11079831552 12320 33554432000 4194304 4196468 140727858424912 140186532309264 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10686] ppid=10625 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10686/stat : 10686 (java) S 10625 10628 3758 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 416733431 11079831552 12320 33554432000 4194304 4196468 140727858424912 140185835625328 140186631293570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10687] ppid=10625 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10687/stat : 10687 (java) S 10625 10628 3758 0 -1 1077944384 33 13167 0 0 0 0 5 3 20 0 15 0 416733432 11079831552 12320 33554432000 4194304 4196468 140727858424912 140185834571296 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10688] ppid=10625 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10688/stat : 10688 (java) S 10625 10628 3758 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 416733432 11079831552 12320 33554432000 4194304 4196468 140727858424912 140185719268720 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10689] ppid=10625 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10689/stat : 10689 (java) S 10625 10628 3758 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 416733435 11079831552 12320 33554432000 4194304 4196468 140727858424912 140185210542416 140186631301019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10690] ppid=10625 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/10628/task/10690/stat : 10690 (java) S 10625 10628 3758 0 -1 1077944384 371 13167 0 0 2 0 5 3 20 0 15 0 416733435 11079831552 12320 33554432000 4194304 4196468 140727858424912 140185801013616 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10691] ppid=10625 vsize=10820148 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/10628/task/10691/stat : 10691 (java) S 10625 10628 3758 0 -1 1077944384 299 13167 0 0 1 0 5 3 20 0 15 0 416733435 11079831552 12320 33554432000 4194304 4196468 140727858424912 140185799960816 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10692] ppid=10625 vsize=10820148 memory=140045693728384 CPUtime=0.13 cores=0,2,4,6
/proc/10628/task/10692/stat : 10692 (java) S 10625 10628 3758 0 -1 1077944384 624 13167 0 0 5 0 5 3 20 0 15 0 416733435 11079831552 12320 33554432000 4194304 4196468 140727858424912 140185798908016 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10693] ppid=10625 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10693/stat : 10693 (java) S 10625 10628 3758 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 416733435 11079831552 12320 33554432000 4194304 4196468 140727858424912 140185176983776 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10694] ppid=10625 vsize=10820148 memory=140045693728384 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10694/stat : 10694 (java) S 10625 10628 3758 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 416733435 11079831552 12320 33554432000 4194304 4196468 140727858424912 140185797856432 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 49280 KiB
[startup+0.700728 s]
/proc/loadavg: 1.56 1.58 1.54 4/227 10694
/proc/meminfo: memFree=24503284/32770624 swapFree=66957012/67108860
[pid=10628] ppid=10625 vsize=10824360 memory=81444 CPUtime=1.12 cores=0,2,4,6
/proc/10628/stat : 10628 (java) S 10625 10628 3758 0 -1 1077944320 14621 13167 0 0 97 7 5 3 20 0 15 0 416733420 11084144640 20361 33554432000 4194304 4196468 140727858424912 140727858407456 140186631282423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
/proc/10628/statm: 2706090 20361 3510 1 0 2668173 0
[pid=10628/tid=10681] ppid=10625 vsize=10824360 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/10628/task/10681/stat : 10681 (java) R 10625 10628 3758 0 -1 4202560 9813 13167 0 0 54 5 5 3 20 0 15 0 416733429 11084144640 20361 33554432000 4194304 4196468 140727858424912 140186603111968 140186631304349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10682] ppid=10625 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10682/stat : 10682 (java) S 10625 10628 3758 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 416733430 11084144640 20361 33554432000 4194304 4196468 140727858424912 140186635524752 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10683] ppid=10625 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10683/stat : 10683 (java) S 10625 10628 3758 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 416733430 11084144640 20361 33554432000 4194304 4196468 140727858424912 140186534414864 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10684] ppid=10625 vsize=10824360 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10684/stat : 10684 (java) S 10625 10628 3758 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 416733430 11084144640 20361 33554432000 4194304 4196468 140727858424912 140186533362064 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10685] ppid=10625 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10685/stat : 10685 (java) S 10625 10628 3758 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 416733430 11084144640 20361 33554432000 4194304 4196468 140727858424912 140186532309264 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10686] ppid=10625 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10686/stat : 10686 (java) S 10625 10628 3758 0 -1 1077944384 5 13167 0 0 0 0 5 3 20 0 15 0 416733431 11084144640 20361 33554432000 4194304 4196468 140727858424912 140185835625328 140186631293570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10687] ppid=10625 vsize=10824360 memory=140045596111568 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10687/stat : 10687 (java) S 10625 10628 3758 0 -1 1077944384 33 13167 0 0 0 0 5 3 20 0 15 0 416733432 11084144640 20361 33554432000 4194304 4196468 140727858424912 140185834571296 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10688] ppid=10625 vsize=10824360 memory=140045998621261 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10688/stat : 10688 (java) S 10625 10628 3758 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 416733432 11084144640 20361 33554432000 4194304 4196468 140727858424912 140185719268720 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10689] ppid=10625 vsize=10824360 memory=1096 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10689/stat : 10689 (java) S 10625 10628 3758 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 416733435 11084144640 20361 33554432000 4194304 4196468 140727858424912 140185210542416 140186631301019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10690] ppid=10625 vsize=10824360 memory=7089886620845893184 CPUtime=0.21 cores=0,2,4,6
/proc/10628/task/10690/stat : 10690 (java) S 10625 10628 3758 0 -1 1077944384 943 13167 0 0 13 0 5 3 20 0 15 0 416733435 11084144640 20361 33554432000 4194304 4196468 140727858424912 140185801013616 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10691] ppid=10625 vsize=10824360 memory=7739276948478389095 CPUtime=0.19 cores=0,2,4,6
/proc/10628/task/10691/stat : 10691 (java) R 10625 10628 3758 0 -1 4202560 762 13167 0 0 11 0 5 3 20 0 15 0 416733435 11084144640 20361 33554432000 4194304 4196468 140727858424912 140185799960816 140186610935968 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10692] ppid=10625 vsize=10824360 memory=6148935659200796009 CPUtime=0.25 cores=0,2,4,6
/proc/10628/task/10692/stat : 10692 (java) S 10625 10628 3758 0 -1 1077944384 840 13167 0 0 17 0 5 3 20 0 15 0 416733435 11084144640 20361 33554432000 4194304 4196468 140727858424912 140185798908016 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10693] ppid=10625 vsize=10824360 memory=3512 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10693/stat : 10693 (java) S 10625 10628 3758 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 416733435 11084144640 20361 33554432000 4194304 4196468 140727858424912 140185176983776 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10694] ppid=10625 vsize=10824360 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10694/stat : 10694 (java) S 10625 10628 3758 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 416733435 11084144640 20361 33554432000 4194304 4196468 140727858424912 140185797856432 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 81444 KiB
[startup+1.50073 s]
/proc/loadavg: 1.56 1.58 1.54 6/227 10694
/proc/meminfo: memFree=24462708/32770624 swapFree=66957012/67108860
[pid=10628] ppid=10625 vsize=10834676 memory=203704 CPUtime=3.11 cores=0,2,4,6
/proc/10628/stat : 10628 (java) S 10625 10628 3758 0 -1 1077944320 30056 13167 0 0 288 15 5 3 20 0 15 0 416733420 11094708224 50926 33554432000 4194304 4196468 140727858424912 140727858407456 140186631282423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
/proc/10628/statm: 2708669 50926 3591 1 0 2670733 0
[pid=10628/tid=10681] ppid=10625 vsize=10834676 memory=9174 CPUtime=1.43 cores=0,2,4,6
/proc/10628/task/10681/stat : 10681 (java) R 10625 10628 3758 0 -1 4202560 15435 13167 0 0 127 8 5 3 20 0 15 0 416733429 11094708224 50926 33554432000 4194304 4196468 140727858424912 140186603112256 140186615362910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10682] ppid=10625 vsize=10834676 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/10628/task/10682/stat : 10682 (java) S 10625 10628 3758 0 -1 1077944384 314 13167 0 0 1 0 5 3 20 0 15 0 416733430 11094708224 50926 33554432000 4194304 4196468 140727858424912 140186635524752 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10683] ppid=10625 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10628/task/10683/stat : 10683 (java) S 10625 10628 3758 0 -1 1077944384 25 13167 0 0 1 0 5 3 20 0 15 0 416733430 11094708224 50926 33554432000 4194304 4196468 140727858424912 140186534414864 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10684] ppid=10625 vsize=10834676 memory=814 CPUtime=0.09 cores=0,2,4,6
/proc/10628/task/10684/stat : 10684 (java) S 10625 10628 3758 0 -1 1077944384 81 13167 0 0 1 0 5 3 20 0 15 0 416733430 11094708224 50926 33554432000 4194304 4196468 140727858424912 140186533362064 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10685] ppid=10625 vsize=10834676 memory=81444 CPUtime=0.09 cores=0,2,4,6
/proc/10628/task/10685/stat : 10685 (java) S 10625 10628 3758 0 -1 1077944384 55 13167 0 0 1 0 5 3 20 0 15 0 416733430 11094708224 50926 33554432000 4194304 4196468 140727858424912 140186532309264 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10686] ppid=10625 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10628/task/10686/stat : 10686 (java) S 10625 10628 3758 0 -1 1077944384 122 13167 0 0 1 0 5 3 20 0 15 0 416733431 11094708224 50926 33554432000 4194304 4196468 140727858424912 140185835625328 140186631293570 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10687] ppid=10625 vsize=10834676 memory=280091192164848 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10687/stat : 10687 (java) S 10625 10628 3758 0 -1 1077944384 34 13167 0 0 0 0 5 3 20 0 15 0 416733432 11094708224 50926 33554432000 4194304 4196468 140727858424912 140185834571360 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10688] ppid=10625 vsize=10834676 memory=280091192215648 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10688/stat : 10688 (java) S 10625 10628 3758 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 416733432 11094708224 50926 33554432000 4194304 4196468 140727858424912 140185719268736 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10689] ppid=10625 vsize=10834676 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10689/stat : 10689 (java) S 10625 10628 3758 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 416733435 11094708224 50926 33554432000 4194304 4196468 140727858424912 140185210542416 140186631301019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10690] ppid=10625 vsize=10834676 memory=6935649255759568960 CPUtime=0.66 cores=0,2,4,6
/proc/10628/task/10690/stat : 10690 (java) S 10625 10628 3758 0 -1 1077944384 6494 13167 0 0 58 0 5 3 20 0 15 0 416733435 11094708224 50926 33554432000 4194304 4196468 140727858424912 140185801013616 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10691] ppid=10625 vsize=10834676 memory=280091192499072 CPUtime=0.58 cores=0,2,4,6
/proc/10628/task/10691/stat : 10691 (java) S 10625 10628 3758 0 -1 1077944384 2867 13167 0 0 49 1 5 3 20 0 15 0 416733435 11094708224 50926 33554432000 4194304 4196468 140727858424912 140185799960816 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10692] ppid=10625 vsize=10834676 memory=6944656425123290226 CPUtime=0.54 cores=0,2,4,6
/proc/10628/task/10692/stat : 10692 (java) R 10625 10628 3758 0 -1 4202560 2410 13167 0 0 44 2 5 3 20 0 15 0 416733435 11094708224 50926 33554432000 4194304 4196468 140727858424912 140185798908016 140186631285712 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10693] ppid=10625 vsize=10834676 memory=-7233780906022716832 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10693/stat : 10693 (java) S 10625 10628 3758 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 416733435 11094708224 50926 33554432000 4194304 4196468 140727858424912 140185176983776 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10694] ppid=10625 vsize=10834676 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10694/stat : 10694 (java) S 10625 10628 3758 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 416733435 11094708224 50926 33554432000 4194304 4196468 140727858424912 140185797856432 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
Current children cumulated CPU time: 3.11 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/10628/task/10681/stat : 10681 (java) R 10625 10628 3758 0 -1 4202560 64579 13167 0 0 224437 39 5 3 20 0 15 0 416733429 11113615360 184214 33554432000 4194304 4196468 140727858424912 140186603118256 140186206937062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10682] ppid=10625 vsize=10853140 memory=732 CPUtime=8.68 cores=0,2,4,6
/proc/10628/task/10682/stat : 10682 (java) S 10625 10628 3758 0 -1 1077944384 12619 13167 0 0 826 34 5 3 20 0 15 0 416733430 11113615360 184214 33554432000 4194304 4196468 140727858424912 140186635524752 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10683] ppid=10625 vsize=10853140 memory=736856 CPUtime=8.7 cores=0,2,4,6
/proc/10628/task/10683/stat : 10683 (java) S 10625 10628 3758 0 -1 1077944384 11151 13167 0 0 824 38 5 3 20 0 15 0 416733430 11113615360 184214 33554432000 4194304 4196468 140727858424912 140186534414864 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10684] ppid=10625 vsize=10853140 memory=736780 CPUtime=8.69 cores=0,2,4,6
/proc/10628/task/10684/stat : 10684 (java) S 10625 10628 3758 0 -1 1077944384 11209 13167 0 0 825 36 5 3 20 0 15 0 416733430 11113615360 184214 33554432000 4194304 4196468 140727858424912 140186533362064 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10685] ppid=10625 vsize=10853140 memory=680 CPUtime=8.65 cores=0,2,4,6
/proc/10628/task/10685/stat : 10685 (java) S 10625 10628 3758 0 -1 1077944384 12353 13167 0 0 821 36 5 3 20 0 15 0 416733430 11113615360 184214 33554432000 4194304 4196468 140727858424912 140186532309264 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10686] ppid=10625 vsize=10853140 memory=140045596737080 CPUtime=7.02 cores=0,2,4,6
/proc/10628/task/10686/stat : 10686 (java) S 10625 10628 3758 0 -1 1077944384 13765 13167 0 0 657 37 5 3 20 0 15 0 416733431 11113615360 184214 33554432000 4194304 4196468 140727858424912 140185835625328 140186631293570 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10687] ppid=10625 vsize=10853140 memory=736856 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10687/stat : 10687 (java) S 10625 10628 3758 0 -1 1077944384 43 13167 0 0 0 0 5 3 20 0 15 0 416733432 11113615360 184214 33554432000 4194304 4196468 140727858424912 140185834571360 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10688] ppid=10625 vsize=10853140 memory=736856 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10688/stat : 10688 (java) S 10625 10628 3758 0 -1 1077944384 5 13167 0 0 0 0 5 3 20 0 15 0 416733432 11113615360 184214 33554432000 4194304 4196468 140727858424912 140185719268736 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10689] ppid=10625 vsize=10853140 memory=736856 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10689/stat : 10689 (java) S 10625 10628 3758 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 416733435 11113615360 184214 33554432000 4194304 4196468 140727858424912 140185210542416 140186631301019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10690] ppid=10625 vsize=10853140 memory=736856 CPUtime=6.88 cores=0,2,4,6
/proc/10628/task/10690/stat : 10690 (java) S 10625 10628 3758 0 -1 1077944384 60113 13167 0 0 673 7 5 3 20 0 15 0 416733435 11113615360 184214 33554432000 4194304 4196468 140727858424912 140185801013616 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10691] ppid=10625 vsize=10853140 memory=736856 CPUtime=6.77 cores=0,2,4,6
/proc/10628/task/10691/stat : 10691 (java) S 10625 10628 3758 0 -1 1077944384 53180 13167 0 0 661 8 5 3 20 0 15 0 416733435 11113615360 184214 33554432000 4194304 4196468 140727858424912 140185799960816 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10692] ppid=10625 vsize=10853140 memory=736856 CPUtime=5.05 cores=0,2,4,6
/proc/10628/task/10692/stat : 10692 (java) S 10625 10628 3758 0 -1 1077944384 72359 13167 0 0 486 11 5 3 20 0 15 0 416733435 11113615360 184214 33554432000 4194304 4196468 140727858424912 140185798908016 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10693] ppid=10625 vsize=10853140 memory=3512 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10693/stat : 10693 (java) S 10625 10628 3758 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 416733435 11113615360 184214 33554432000 4194304 4196468 140727858424912 140185176983776 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10694] ppid=10625 vsize=10853140 memory=736856 CPUtime=1.36 cores=0,2,4,6
/proc/10628/task/10694/stat : 10694 (java) S 10625 10628 3758 0 -1 1077944384 2015 13167 0 0 66 62 5 3 20 0 15 0 416733435 11113615360 184214 33554432000 4194304 4196468 140727858424912 140185797856432 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
Current children cumulated CPU time: 2306.04 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 736856 KiB
[startup+2322.3 s]
/proc/loadavg: 0.52 0.78 1.09 2/207 10981
/proc/meminfo: memFree=26124592/32770624 swapFree=66957012/67108860
[pid=10628] ppid=10625 vsize=10853140 memory=736908 CPUtime=2366.72 cores=0,2,4,6
/proc/10628/stat : 10628 (java) S 10625 10628 3758 0 -1 1077944320 316542 13167 0 0 236385 279 5 3 20 0 15 0 416733420 11113615360 184227 33554432000 4194304 4196468 140727858424912 140727858407456 140186631282423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
/proc/10628/statm: 2713285 184227 3632 1 0 2675341 0
[pid=10628/tid=10681] ppid=10625 vsize=10853140 memory=4008 CPUtime=2304.39 cores=0,2,4,6
/proc/10628/task/10681/stat : 10681 (java) R 10625 10628 3758 0 -1 4202560 65062 13167 0 0 230392 39 5 3 20 0 15 0 416733429 11113615360 184227 33554432000 4194304 4196468 140727858424912 140186603117632 140186221953600 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10682] ppid=10625 vsize=10853140 memory=4100 CPUtime=8.92 cores=0,2,4,6
/proc/10628/task/10682/stat : 10682 (java) S 10625 10628 3758 0 -1 1077944384 12648 13167 0 0 849 35 5 3 20 0 15 0 416733430 11113615360 184227 33554432000 4194304 4196468 140727858424912 140186635524752 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10683] ppid=10625 vsize=10853140 memory=736908 CPUtime=8.93 cores=0,2,4,6
/proc/10628/task/10683/stat : 10683 (java) S 10625 10628 3758 0 -1 1077944384 11210 13167 0 0 846 39 5 3 20 0 15 0 416733430 11113615360 184227 33554432000 4194304 4196468 140727858424912 140186534414864 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10684] ppid=10625 vsize=10853140 memory=736908 CPUtime=8.92 cores=0,2,4,6
/proc/10628/task/10684/stat : 10684 (java) S 10625 10628 3758 0 -1 1077944384 11223 13167 0 0 847 37 5 3 20 0 15 0 416733430 11113615360 184227 33554432000 4194304 4196468 140727858424912 140186533362064 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10685] ppid=10625 vsize=10853140 memory=7649399375759028273 CPUtime=8.87 cores=0,2,4,6
/proc/10628/task/10685/stat : 10685 (java) S 10625 10628 3758 0 -1 1077944384 12468 13167 0 0 842 37 5 3 20 0 15 0 416733430 11113615360 184227 33554432000 4194304 4196468 140727858424912 140186532309264 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10686] ppid=10625 vsize=10853140 memory=736908 CPUtime=7.19 cores=0,2,4,6
/proc/10628/task/10686/stat : 10686 (java) S 10625 10628 3758 0 -1 1077944384 13976 13167 0 0 673 38 5 3 20 0 15 0 416733431 11113615360 184227 33554432000 4194304 4196468 140727858424912 140185835625328 140186631293570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10687] ppid=10625 vsize=10853140 memory=288291064912282314 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10687/stat : 10687 (java) S 10625 10628 3758 0 -1 1077944384 43 13167 0 0 0 0 5 3 20 0 15 0 416733432 11113615360 184227 33554432000 4194304 4196468 140727858424912 140185834571360 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10688] ppid=10625 vsize=10853140 memory=736908 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10688/stat : 10688 (java) S 10625 10628 3758 0 -1 1077944384 5 13167 0 0 0 0 5 3 20 0 15 0 416733432 11113615360 184227 33554432000 4194304 4196468 140727858424912 140185719268736 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10689] ppid=10625 vsize=10853140 memory=736908 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10689/stat : 10689 (java) S 10625 10628 3758 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 416733435 11113615360 184227 33554432000 4194304 4196468 140727858424912 140185210542416 140186631301019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10690] ppid=10625 vsize=10853140 memory=736908 CPUtime=6.88 cores=0,2,4,6
/proc/10628/task/10690/stat : 10690 (java) S 10625 10628 3758 0 -1 1077944384 60115 13167 0 0 673 7 5 3 20 0 15 0 416733435 11113615360 184227 33554432000 4194304 4196468 140727858424912 140185801013616 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10691] ppid=10625 vsize=10853140 memory=736908 CPUtime=6.77 cores=0,2,4,6
/proc/10628/task/10691/stat : 10691 (java) S 10625 10628 3758 0 -1 1077944384 53182 13167 0 0 661 8 5 3 20 0 15 0 416733435 11113615360 184227 33554432000 4194304 4196468 140727858424912 140185799960816 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10692] ppid=10625 vsize=10853140 memory=736908 CPUtime=5.05 cores=0,2,4,6
/proc/10628/task/10692/stat : 10692 (java) S 10625 10628 3758 0 -1 1077944384 72361 13167 0 0 486 11 5 3 20 0 15 0 416733435 11113615360 184227 33554432000 4194304 4196468 140727858424912 140185798908016 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10693] ppid=10625 vsize=10853140 memory=736908 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10693/stat : 10693 (java) S 10625 10628 3758 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 416733435 11113615360 184227 33554432000 4194304 4196468 140727858424912 140185176983776 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10694] ppid=10625 vsize=10853140 memory=736908 CPUtime=1.39 cores=0,2,4,6
/proc/10628/task/10694/stat : 10694 (java) S 10625 10628 3758 0 -1 1077944384 2032 13167 0 0 68 63 5 3 20 0 15 0 416733435 11113615360 184227 33554432000 4194304 4196468 140727858424912 140185797856432 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
Current children cumulated CPU time: 2366.72 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 736908 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2355.3 s]
/proc/loadavg: 0.68 0.79 1.08 2/206 10982
/proc/meminfo: memFree=26122668/32770624 swapFree=66957012/67108860
[pid=10628] ppid=10625 vsize=10853140 memory=739016 CPUtime=2400.08 cores=0,2,4,6
/proc/10628/stat : 10628 (java) S 10625 10628 3758 0 -1 1077944320 317753 13167 0 0 239719 281 5 3 20 0 15 0 416733420 11113615360 184754 33554432000 4194304 4196468 140727858424912 140727858407456 140186631282423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
/proc/10628/statm: 2713285 184754 3632 1 0 2675341 0
[pid=10628/tid=10681] ppid=10625 vsize=10853140 memory=736968 CPUtime=2337.15 cores=0,2,4,6
/proc/10628/task/10681/stat : 10681 (java) R 10625 10628 3758 0 -1 4202560 65533 13167 0 0 233667 40 5 3 20 0 15 0 416733429 11113615360 184754 33554432000 4194304 4196468 140727858424912 140186603117824 140186211712191 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10682] ppid=10625 vsize=10853140 memory=736964 CPUtime=9.04 cores=0,2,4,6
/proc/10628/task/10682/stat : 10682 (java) S 10625 10628 3758 0 -1 1077944384 12663 13167 0 0 861 35 5 3 20 0 15 0 416733430 11113615360 184754 33554432000 4194304 4196468 140727858424912 140186635524752 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10683] ppid=10625 vsize=10853140 memory=12040 CPUtime=9.05 cores=0,2,4,6
/proc/10628/task/10683/stat : 10683 (java) S 10625 10628 3758 0 -1 1077944384 11284 13167 0 0 858 39 5 3 20 0 15 0 416733430 11113615360 184754 33554432000 4194304 4196468 140727858424912 140186534414864 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10684] ppid=10625 vsize=10853140 memory=6791534058613427641 CPUtime=9.05 cores=0,2,4,6
/proc/10628/task/10684/stat : 10684 (java) S 10625 10628 3758 0 -1 1077944384 11605 13167 0 0 859 38 5 3 20 0 15 0 416733430 11113615360 184754 33554432000 4194304 4196468 140727858424912 140186533362064 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10685] ppid=10625 vsize=10853140 memory=736868 CPUtime=8.99 cores=0,2,4,6
/proc/10628/task/10685/stat : 10685 (java) S 10625 10628 3758 0 -1 1077944384 12510 13167 0 0 854 37 5 3 20 0 15 0 416733430 11113615360 184754 33554432000 4194304 4196468 140727858424912 140186532309264 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10686] ppid=10625 vsize=10853140 memory=739016 CPUtime=7.3 cores=0,2,4,6
/proc/10628/task/10686/stat : 10686 (java) S 10625 10628 3758 0 -1 1077944384 14180 13167 0 0 683 39 5 3 20 0 15 0 416733431 11113615360 184754 33554432000 4194304 4196468 140727858424912 140185835625328 140186631293570 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10687] ppid=10625 vsize=10853140 memory=219282 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10687/stat : 10687 (java) S 10625 10628 3758 0 -1 1077944384 43 13167 0 0 0 0 5 3 20 0 15 0 416733432 11113615360 184754 33554432000 4194304 4196468 140727858424912 140185834571360 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10688] ppid=10625 vsize=10853140 memory=669 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10688/stat : 10688 (java) S 10625 10628 3758 0 -1 1077944384 5 13167 0 0 0 0 5 3 20 0 15 0 416733432 11113615360 184754 33554432000 4194304 4196468 140727858424912 140185719268736 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10689] ppid=10625 vsize=10853140 memory=736968 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10689/stat : 10689 (java) S 10625 10628 3758 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 416733435 11113615360 184754 33554432000 4194304 4196468 140727858424912 140185210542416 140186631301019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10690] ppid=10625 vsize=10853140 memory=736968 CPUtime=6.88 cores=0,2,4,6
/proc/10628/task/10690/stat : 10690 (java) S 10625 10628 3758 0 -1 1077944384 60117 13167 0 0 673 7 5 3 20 0 15 0 416733435 11113615360 184754 33554432000 4194304 4196468 140727858424912 140185801013616 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10691] ppid=10625 vsize=10853140 memory=1768 CPUtime=6.77 cores=0,2,4,6
/proc/10628/task/10691/stat : 10691 (java) S 10625 10628 3758 0 -1 1077944384 53184 13167 0 0 661 8 5 3 20 0 15 0 416733435 11113615360 184754 33554432000 4194304 4196468 140727858424912 140185799960816 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10692] ppid=10625 vsize=10853140 memory=736968 CPUtime=5.05 cores=0,2,4,6
/proc/10628/task/10692/stat : 10692 (java) S 10625 10628 3758 0 -1 1077944384 72363 13167 0 0 486 11 5 3 20 0 15 0 416733435 11113615360 184754 33554432000 4194304 4196468 140727858424912 140185798908016 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10693] ppid=10625 vsize=10853140 memory=736964 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10693/stat : 10693 (java) S 10625 10628 3758 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 416733435 11113615360 184754 33554432000 4194304 4196468 140727858424912 140185176983776 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10694] ppid=10625 vsize=10853140 memory=3512 CPUtime=1.41 cores=0,2,4,6
/proc/10628/task/10694/stat : 10694 (java) S 10625 10628 3758 0 -1 1077944384 2049 13167 0 0 69 64 5 3 20 0 15 0 416733435 11113615360 184754 33554432000 4194304 4196468 140727858424912 140185797856432 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 739016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2355.34 s]
# the end of solver process 10628 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.27 s, system=2.86153 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2355.3 s]
/proc/loadavg: 0.68 0.79 1.08 2/206 10982
/proc/meminfo: memFree=26122668/32770624 swapFree=66957012/67108860
[pid=10628] ppid=10625 vsize=10853140 memory=739016 CPUtime=2400.08 cores=0,2,4,6
/proc/10628/stat : 10628 (java) S 10625 10628 3758 0 -1 1077944320 317753 13167 0 0 239719 281 5 3 20 0 15 0 416733420 11113615360 184754 33554432000 4194304 4196468 140727858424912 140727858407456 140186631282423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
/proc/10628/statm: 2713285 184754 3632 1 0 2675341 0
[pid=10628/tid=10681] ppid=10625 vsize=10853140 memory=736968 CPUtime=2337.15 cores=0,2,4,6
/proc/10628/task/10681/stat : 10681 (java) R 10625 10628 3758 0 -1 4202560 65533 13167 0 0 233667 40 5 3 20 0 15 0 416733429 11113615360 184754 33554432000 4194304 4196468 140727858424912 140186603117824 140186211712191 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10682] ppid=10625 vsize=10853140 memory=736964 CPUtime=9.04 cores=0,2,4,6
/proc/10628/task/10682/stat : 10682 (java) S 10625 10628 3758 0 -1 1077944384 12663 13167 0 0 861 35 5 3 20 0 15 0 416733430 11113615360 184754 33554432000 4194304 4196468 140727858424912 140186635524752 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10683] ppid=10625 vsize=10853140 memory=12040 CPUtime=9.05 cores=0,2,4,6
/proc/10628/task/10683/stat : 10683 (java) S 10625 10628 3758 0 -1 1077944384 11284 13167 0 0 858 39 5 3 20 0 15 0 416733430 11113615360 184754 33554432000 4194304 4196468 140727858424912 140186534414864 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10684] ppid=10625 vsize=10853140 memory=6791534058613427641 CPUtime=9.05 cores=0,2,4,6
/proc/10628/task/10684/stat : 10684 (java) S 10625 10628 3758 0 -1 1077944384 11605 13167 0 0 859 38 5 3 20 0 15 0 416733430 11113615360 184754 33554432000 4194304 4196468 140727858424912 140186533362064 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10685] ppid=10625 vsize=10853140 memory=736868 CPUtime=8.99 cores=0,2,4,6
/proc/10628/task/10685/stat : 10685 (java) S 10625 10628 3758 0 -1 1077944384 12510 13167 0 0 854 37 5 3 20 0 15 0 416733430 11113615360 184754 33554432000 4194304 4196468 140727858424912 140186532309264 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10686] ppid=10625 vsize=10853140 memory=739016 CPUtime=7.3 cores=0,2,4,6
/proc/10628/task/10686/stat : 10686 (java) S 10625 10628 3758 0 -1 1077944384 14180 13167 0 0 683 39 5 3 20 0 15 0 416733431 11113615360 184754 33554432000 4194304 4196468 140727858424912 140185835625328 140186631293570 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10687] ppid=10625 vsize=10853140 memory=219282 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10687/stat : 10687 (java) S 10625 10628 3758 0 -1 1077944384 43 13167 0 0 0 0 5 3 20 0 15 0 416733432 11113615360 184754 33554432000 4194304 4196468 140727858424912 140185834571360 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10688] ppid=10625 vsize=10853140 memory=669 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10688/stat : 10688 (java) S 10625 10628 3758 0 -1 1077944384 5 13167 0 0 0 0 5 3 20 0 15 0 416733432 11113615360 184754 33554432000 4194304 4196468 140727858424912 140185719268736 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10689] ppid=10625 vsize=10853140 memory=736968 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10689/stat : 10689 (java) S 10625 10628 3758 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 416733435 11113615360 184754 33554432000 4194304 4196468 140727858424912 140185210542416 140186631301019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10690] ppid=10625 vsize=10853140 memory=736968 CPUtime=6.88 cores=0,2,4,6
/proc/10628/task/10690/stat : 10690 (java) S 10625 10628 3758 0 -1 1077944384 60117 13167 0 0 673 7 5 3 20 0 15 0 416733435 11113615360 184754 33554432000 4194304 4196468 140727858424912 140185801013616 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10691] ppid=10625 vsize=10853140 memory=1768 CPUtime=6.77 cores=0,2,4,6
/proc/10628/task/10691/stat : 10691 (java) S 10625 10628 3758 0 -1 1077944384 53184 13167 0 0 661 8 5 3 20 0 15 0 416733435 11113615360 184754 33554432000 4194304 4196468 140727858424912 140185799960816 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10692] ppid=10625 vsize=10853140 memory=736968 CPUtime=5.05 cores=0,2,4,6
/proc/10628/task/10692/stat : 10692 (java) S 10625 10628 3758 0 -1 1077944384 72363 13167 0 0 486 11 5 3 20 0 15 0 416733435 11113615360 184754 33554432000 4194304 4196468 140727858424912 140185798908016 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10693] ppid=10625 vsize=10853140 memory=736964 CPUtime=0.08 cores=0,2,4,6
/proc/10628/task/10693/stat : 10693 (java) S 10625 10628 3758 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 416733435 11113615360 184754 33554432000 4194304 4196468 140727858424912 140185176983776 140186631292629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
[pid=10628/tid=10694] ppid=10625 vsize=10853140 memory=3512 CPUtime=1.41 cores=0,2,4,6
/proc/10628/task/10694/stat : 10694 (java) S 10625 10628 3758 0 -1 1077944384 2049 13167 0 0 69 64 5 3 20 0 15 0 416733435 11113615360 184754 33554432000 4194304 4196468 140727858424912 140185797856432 140186631293570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31526912 140727858428655 140727858431173 140727858431173 140727858433999 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 739016 KiB
Child status: 143
Real time (s): 2355.34
CPU time (s): 2400.14
CPU user time (s): 2397.27
CPU system time (s): 2.86153
CPU usage (%): 101.902
Max. virtual memory (cumulated for all children) (KiB): 10853936
Max. memory (cumulated for all children) (KiB): 865796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.27
system time used= 2.86153
maximum resident set size= 867844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332150
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208419
involuntary context switches= 5941
# summary of solver processes directly reported to runsolver:
# pid: 10628
# total CPU time (s): 2400.14
# total CPU user time (s): 2397.27
# total CPU system time (s): 2.86153
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.602 second user time and 18.6612 second system time
The end