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 (5372 MiB free)
memory of node 1: 16384 MiB (13873 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387165-1568292647/watcher-4387165-1568292647 -o /tmp/evaluation-result-4387165-1568292647/solver-4387165-1568292647 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568282865-6844 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=923640506 HOME/instance-4387165-1568292647.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8890, runsolver pid=8887
Current StackSize limit: 8192 KiB
[startup+0.100133 s]*
/proc/loadavg: 1.46 1.40 1.39 3/218 8947
/proc/meminfo: memFree=19700404/32770624 swapFree=66977604/67108860
[pid=8890] ppid=8887 vsize=9972712 memory=18864 CPUtime=0.09 cores=1,3,5,7
/proc/8890/stat : 8890 (java) S 8887 8890 5836 0 -1 1077944320 4479 13019 0 0 1 0 5 3 20 0 6 0 405522019 10212057088 4716 33554432000 4194304 4196468 140727602531936 140727602514480 139621823807223 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
/proc/8890/statm: 2493178 4716 1935 1 0 2481616 0
[pid=8890/tid=8943] ppid=8887 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8943/stat : 8943 (java) R 8887 8890 5836 0 -1 4202560 2288 13019 0 0 0 0 5 3 20 0 6 0 405522028 10212057088 4781 33554432000 4194304 4196468 140727602531936 139621795643984 139621807893652 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8944] ppid=8887 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8944/stat : 8944 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 6 0 405522029 10212057088 4781 33554432000 4194304 4196468 140727602531936 139621828049808 139621823817429 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8945] ppid=8887 vsize=9972712 memory=15957858283775640 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8945/stat : 8945 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 6 0 405522029 10212057088 4781 33554432000 4194304 4196468 140727602531936 139621742869264 139621823817429 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8946] ppid=8887 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8946/stat : 8946 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 6 0 405522029 10212057088 4781 33554432000 4194304 4196468 140727602531936 139621741816976 139621823817429 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8947] ppid=8887 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8947/stat : 8947 (java) S 8887 8890 5836 0 -1 1077944384 2 13019 0 0 0 0 5 3 20 0 6 0 405522029 10212057088 4781 33554432000 4194304 4196468 140727602531936 139621740764176 139621823817429 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18864 KiB
[startup+0.219624 s]*
/proc/loadavg: 1.46 1.40 1.39 3/227 8956
/proc/meminfo: memFree=19682352/32770624 swapFree=66977604/67108860
[pid=8890] ppid=8887 vsize=10818940 memory=38328 CPUtime=0.27 cores=1,3,5,7
/proc/8890/stat : 8890 (java) S 8887 8890 5836 0 -1 1077944320 6915 13019 0 0 17 2 5 3 20 0 15 0 405522019 11078594560 9582 33554432000 4194304 4196468 140727602531936 140727602514480 139621823807223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
/proc/8890/statm: 2704735 9582 2986 1 0 2667149 0
[pid=8890/tid=8943] ppid=8887 vsize=10818940 memory=729618466009055537 CPUtime=0.19 cores=1,3,5,7
/proc/8890/task/8943/stat : 8943 (java) R 8887 8890 5836 0 -1 4202560 3427 13019 0 0 10 1 5 3 20 0 15 0 405522028 11078594560 9582 33554432000 4194304 4196468 140727602531936 139621795640696 139621803338491 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8944] ppid=8887 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8944/stat : 8944 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 15 0 405522029 11078594560 9582 33554432000 4194304 4196468 140727602531936 139621828049808 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8945] ppid=8887 vsize=10818940 memory=15957858283775640 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8945/stat : 8945 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 15 0 405522029 11078594560 9582 33554432000 4194304 4196468 140727602531936 139621742869264 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8946] ppid=8887 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8946/stat : 8946 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 15 0 405522029 11078594560 9582 33554432000 4194304 4196468 140727602531936 139621741816976 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8947] ppid=8887 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8947/stat : 8947 (java) S 8887 8890 5836 0 -1 1077944384 2 13019 0 0 0 0 5 3 20 0 15 0 405522029 11078594560 9582 33554432000 4194304 4196468 140727602531936 139621740764176 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8948] ppid=8887 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8948/stat : 8948 (java) S 8887 8890 5836 0 -1 1077944384 2 13019 0 0 0 0 5 3 20 0 15 0 405522030 11078594560 9582 33554432000 4194304 4196468 140727602531936 139621350418544 139621823818370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8949] ppid=8887 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8949/stat : 8949 (java) S 8887 8890 5836 0 -1 1077944384 13 13019 0 0 0 0 5 3 20 0 15 0 405522031 11078594560 9582 33554432000 4194304 4196468 140727602531936 139621266613024 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8950] ppid=8887 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8950/stat : 8950 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 15 0 405522031 11078594560 9582 33554432000 4194304 4196468 140727602531936 139620662633584 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8951] ppid=8887 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8951/stat : 8951 (java) S 8887 8890 5836 0 -1 1077944384 3 13019 0 0 0 0 5 3 20 0 15 0 405522034 11078594560 9582 33554432000 4194304 4196468 140727602531936 139620355233872 139621823825819 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8952] ppid=8887 vsize=10818940 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8890/task/8952/stat : 8952 (java) S 8887 8890 5836 0 -1 1077944384 473 13019 0 0 1 0 5 3 20 0 15 0 405522034 11078594560 9582 33554432000 4194304 4196468 140727602531936 139621349366384 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8953] ppid=8887 vsize=10818940 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/8890/task/8953/stat : 8953 (java) S 8887 8890 5836 0 -1 1077944384 143 13019 0 0 1 0 5 3 20 0 15 0 405522034 11078594560 9582 33554432000 4194304 4196468 140727602531936 139621348313584 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8954] ppid=8887 vsize=10818940 memory=140046843602560 CPUtime=0.11 cores=1,3,5,7
/proc/8890/task/8954/stat : 8954 (java) S 8887 8890 5836 0 -1 1077944384 639 13019 0 0 3 0 5 3 20 0 15 0 405522034 11078594560 9582 33554432000 4194304 4196468 140727602531936 139621347261296 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8955] ppid=8887 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8955/stat : 8955 (java) S 8887 8890 5836 0 -1 1077944384 3 13019 0 0 0 0 5 3 20 0 15 0 405522034 11078594560 9582 33554432000 4194304 4196468 140727602531936 139620321676256 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8956] ppid=8887 vsize=10818940 memory=140046843602560 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8956/stat : 8956 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 15 0 405522034 11078594560 9582 33554432000 4194304 4196468 140727602531936 139621346208176 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38328 KiB
[startup+0.310809 s]*
/proc/loadavg: 1.46 1.40 1.39 4/227 8956
/proc/meminfo: memFree=19672364/32770624 swapFree=66977604/67108860
[pid=8890] ppid=8887 vsize=10819084 memory=47120 CPUtime=0.39 cores=1,3,5,7
/proc/8890/stat : 8890 (java) S 8887 8890 5836 0 -1 1077944320 10418 13019 0 0 28 3 5 3 20 0 15 0 405522019 11078742016 11780 33554432000 4194304 4196468 140727602531936 140727602514480 139621823807223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
/proc/8890/statm: 2704771 11780 3048 1 0 2667149 0
[pid=8890/tid=8943] ppid=8887 vsize=10819204 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/8890/task/8943/stat : 8943 (java) R 8887 8890 5836 0 -1 4202560 6934 13019 0 0 18 3 5 3 20 0 15 0 405522028 11078864896 11780 33554432000 4194304 4196468 140727602531936 139621795634896 139621823829149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8944] ppid=8887 vsize=10819204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8944/stat : 8944 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 15 0 405522029 11078864896 11780 33554432000 4194304 4196468 140727602531936 139621828049808 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8945] ppid=8887 vsize=10819204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8945/stat : 8945 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 15 0 405522029 11078864896 11780 33554432000 4194304 4196468 140727602531936 139621742869264 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8946] ppid=8887 vsize=10819204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8946/stat : 8946 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 15 0 405522029 11078864896 11780 33554432000 4194304 4196468 140727602531936 139621741816976 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8947] ppid=8887 vsize=10819220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8947/stat : 8947 (java) S 8887 8890 5836 0 -1 1077944384 2 13019 0 0 0 0 5 3 20 0 15 0 405522029 11078881280 11780 33554432000 4194304 4196468 140727602531936 139621740764176 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8948] ppid=8887 vsize=10819220 memory=140046843602559 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8948/stat : 8948 (java) S 8887 8890 5836 0 -1 1077944384 2 13019 0 0 0 0 5 3 20 0 15 0 405522030 11078881280 11780 33554432000 4194304 4196468 140727602531936 139621350418544 139621823818370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8949] ppid=8887 vsize=10819220 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8949/stat : 8949 (java) S 8887 8890 5836 0 -1 1077944384 13 13019 0 0 0 0 5 3 20 0 15 0 405522031 11078881280 11780 33554432000 4194304 4196468 140727602531936 139621266613024 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8950] ppid=8887 vsize=10819220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8950/stat : 8950 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 15 0 405522031 11078881280 11780 33554432000 4194304 4196468 140727602531936 139620662633584 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8951] ppid=8887 vsize=10819220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8951/stat : 8951 (java) S 8887 8890 5836 0 -1 1077944384 3 13019 0 0 0 0 5 3 20 0 15 0 405522034 11078881280 11780 33554432000 4194304 4196468 140727602531936 139620355233872 139621823825819 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8952] ppid=8887 vsize=10819236 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8890/task/8952/stat : 8952 (java) S 8887 8890 5836 0 -1 1077944384 475 13019 0 0 2 0 5 3 20 0 15 0 405522034 11078897664 11780 33554432000 4194304 4196468 140727602531936 139621349366384 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8953] ppid=8887 vsize=10819236 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/8890/task/8953/stat : 8953 (java) S 8887 8890 5836 0 -1 1077944384 143 13019 0 0 1 0 5 3 20 0 15 0 405522034 11078897664 11780 33554432000 4194304 4196468 140727602531936 139621348313584 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8954] ppid=8887 vsize=10819236 memory=140046843602560 CPUtime=0.13 cores=1,3,5,7
/proc/8890/task/8954/stat : 8954 (java) S 8887 8890 5836 0 -1 1077944384 663 13019 0 0 5 0 5 3 20 0 15 0 405522034 11078897664 11780 33554432000 4194304 4196468 140727602531936 139621347261296 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8955] ppid=8887 vsize=10819236 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8955/stat : 8955 (java) S 8887 8890 5836 0 -1 1077944384 3 13019 0 0 0 0 5 3 20 0 15 0 405522034 11078897664 11780 33554432000 4194304 4196468 140727602531936 139620321676256 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8956] ppid=8887 vsize=10819248 memory=140046843602560 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8956/stat : 8956 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 15 0 405522034 11078909952 11780 33554432000 4194304 4196468 140727602531936 139621346208176 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819084 KiB
Current children cumulated memory: 47120 KiB
[startup+0.700735 s]
/proc/loadavg: 1.46 1.40 1.39 5/227 8956
/proc/meminfo: memFree=19659180/32770624 swapFree=66977604/67108860
[pid=8890] ppid=8887 vsize=10824340 memory=80524 CPUtime=1.14 cores=1,3,5,7
/proc/8890/stat : 8890 (java) S 8887 8890 5836 0 -1 1077944320 14813 13019 0 0 101 5 5 3 20 0 15 0 405522019 11084124160 20131 33554432000 4194304 4196468 140727602531936 140727602514480 139621823807223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
/proc/8890/statm: 2706085 20131 3507 1 0 2668173 0
[pid=8890/tid=8943] ppid=8887 vsize=10824340 memory=7810487918915055718 CPUtime=0.66 cores=1,3,5,7
/proc/8890/task/8943/stat : 8943 (java) R 8887 8890 5836 0 -1 4202560 10456 13019 0 0 54 4 5 3 20 0 15 0 405522028 11084124160 20131 33554432000 4194304 4196468 140727602531936 139621795629200 139621807887710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8944] ppid=8887 vsize=10824340 memory=1428 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8944/stat : 8944 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 15 0 405522029 11084124160 20131 33554432000 4194304 4196468 140727602531936 139621828049808 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8945] ppid=8887 vsize=10824340 memory=1728 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8945/stat : 8945 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 15 0 405522029 11084124160 20131 33554432000 4194304 4196468 140727602531936 139621742869264 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8946] ppid=8887 vsize=10824340 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8946/stat : 8946 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 15 0 405522029 11084124160 20131 33554432000 4194304 4196468 140727602531936 139621741816976 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8947] ppid=8887 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8947/stat : 8947 (java) S 8887 8890 5836 0 -1 1077944384 2 13019 0 0 0 0 5 3 20 0 15 0 405522029 11084124160 20131 33554432000 4194304 4196468 140727602531936 139621740764176 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8948] ppid=8887 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8948/stat : 8948 (java) S 8887 8890 5836 0 -1 1077944384 5 13019 0 0 0 0 5 3 20 0 15 0 405522030 11084124160 20131 33554432000 4194304 4196468 140727602531936 139621350418544 139621823818370 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8949] ppid=8887 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8949/stat : 8949 (java) S 8887 8890 5836 0 -1 1077944384 13 13019 0 0 0 0 5 3 20 0 15 0 405522031 11084124160 20131 33554432000 4194304 4196468 140727602531936 139621266613024 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8950] ppid=8887 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8950/stat : 8950 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 15 0 405522031 11084124160 20131 33554432000 4194304 4196468 140727602531936 139620662633584 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8951] ppid=8887 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8951/stat : 8951 (java) S 8887 8890 5836 0 -1 1077944384 3 13019 0 0 0 0 5 3 20 0 15 0 405522034 11084124160 20131 33554432000 4194304 4196468 140727602531936 139620355233872 139621823825819 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8952] ppid=8887 vsize=10824340 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/8890/task/8952/stat : 8952 (java) S 8887 8890 5836 0 -1 1077944384 858 13019 0 0 15 0 5 3 20 0 15 0 405522034 11084124160 20131 33554432000 4194304 4196468 140727602531936 139621349366384 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8953] ppid=8887 vsize=10824340 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/8890/task/8953/stat : 8953 (java) S 8887 8890 5836 0 -1 1077944384 389 13019 0 0 13 0 5 3 20 0 15 0 405522034 11084124160 20131 33554432000 4194304 4196468 140727602531936 139621348313584 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8954] ppid=8887 vsize=10824340 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/8890/task/8954/stat : 8954 (java) S 8887 8890 5836 0 -1 1077944384 875 13019 0 0 17 0 5 3 20 0 15 0 405522034 11084124160 20131 33554432000 4194304 4196468 140727602531936 139621347261296 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8955] ppid=8887 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8955/stat : 8955 (java) S 8887 8890 5836 0 -1 1077944384 3 13019 0 0 0 0 5 3 20 0 15 0 405522034 11084124160 20131 33554432000 4194304 4196468 140727602531936 139620321676256 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8956] ppid=8887 vsize=10824340 memory=3616 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8956/stat : 8956 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 15 0 405522034 11084124160 20131 33554432000 4194304 4196468 140727602531936 139621346208176 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80524 KiB
[startup+1.50375 s]
/proc/loadavg: 1.67 1.44 1.40 3/227 8956
/proc/meminfo: memFree=19610888/32770624 swapFree=66977604/67108860
[pid=8890] ppid=8887 vsize=10834656 memory=181800 CPUtime=2.73 cores=1,3,5,7
/proc/8890/stat : 8890 (java) S 8887 8890 5836 0 -1 1077944320 23487 13019 0 0 255 10 5 3 20 0 15 0 405522019 11094687744 45450 33554432000 4194304 4196468 140727602531936 140727602514480 139621823807223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
/proc/8890/statm: 2708664 45450 3577 1 0 2670733 0
[pid=8890/tid=8943] ppid=8887 vsize=10834656 memory=140046736822872 CPUtime=1.42 cores=1,3,5,7
/proc/8890/task/8943/stat : 8943 (java) R 8887 8890 5836 0 -1 4202560 15075 13019 0 0 128 6 5 3 20 0 15 0 405522028 11094687744 45450 33554432000 4194304 4196468 140727602531936 139621795634816 139621823829149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8944] ppid=8887 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8890/task/8944/stat : 8944 (java) S 8887 8890 5836 0 -1 1077944384 81 13019 0 0 1 0 5 3 20 0 15 0 405522029 11094687744 45450 33554432000 4194304 4196468 140727602531936 139621828049808 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8945] ppid=8887 vsize=10834656 memory=6628 CPUtime=0.09 cores=1,3,5,7
/proc/8890/task/8945/stat : 8945 (java) S 8887 8890 5836 0 -1 1077944384 50 13019 0 0 1 0 5 3 20 0 15 0 405522029 11094687744 45450 33554432000 4194304 4196468 140727602531936 139621742869264 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8946] ppid=8887 vsize=10834656 memory=8 CPUtime=0.09 cores=1,3,5,7
/proc/8890/task/8946/stat : 8946 (java) S 8887 8890 5836 0 -1 1077944384 33 13019 0 0 1 0 5 3 20 0 15 0 405522029 11094687744 45450 33554432000 4194304 4196468 140727602531936 139621741816976 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8947] ppid=8887 vsize=10834656 memory=280093474052512 CPUtime=0.09 cores=1,3,5,7
/proc/8890/task/8947/stat : 8947 (java) S 8887 8890 5836 0 -1 1077944384 324 13019 0 0 1 0 5 3 20 0 15 0 405522029 11094687744 45450 33554432000 4194304 4196468 140727602531936 139621740764176 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8948] ppid=8887 vsize=10834656 memory=178215372998058 CPUtime=0.09 cores=1,3,5,7
/proc/8890/task/8948/stat : 8948 (java) S 8887 8890 5836 0 -1 1077944384 109 13019 0 0 1 0 5 3 20 0 15 0 405522030 11094687744 45450 33554432000 4194304 4196468 140727602531936 139621350418544 139621823818370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8949] ppid=8887 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8949/stat : 8949 (java) S 8887 8890 5836 0 -1 1077944384 14 13019 0 0 0 0 5 3 20 0 15 0 405522031 11094687744 45450 33554432000 4194304 4196468 140727602531936 139621266613088 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8950] ppid=8887 vsize=10834656 memory=6011695726410494770 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8950/stat : 8950 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 15 0 405522031 11094687744 45450 33554432000 4194304 4196468 140727602531936 139620662633600 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8951] ppid=8887 vsize=10834656 memory=-8412660965132101773 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8951/stat : 8951 (java) S 8887 8890 5836 0 -1 1077944384 3 13019 0 0 0 0 5 3 20 0 15 0 405522034 11094687744 45450 33554432000 4194304 4196468 140727602531936 139620355233872 139621823825819 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8952] ppid=8887 vsize=10834656 memory=-7668917182949848256 CPUtime=0.47 cores=1,3,5,7
/proc/8890/task/8952/stat : 8952 (java) R 8887 8890 5836 0 -1 4202560 1996 13019 0 0 39 0 5 3 20 0 15 0 405522034 11094687744 45450 33554432000 4194304 4196468 140727602531936 139621349366384 139621816792265 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8953] ppid=8887 vsize=10834656 memory=8514726395714956677 CPUtime=0.42 cores=1,3,5,7
/proc/8890/task/8953/stat : 8953 (java) S 8887 8890 5836 0 -1 1077944384 1323 13019 0 0 34 0 5 3 20 0 15 0 405522034 11094687744 45450 33554432000 4194304 4196468 140727602531936 139621348313584 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8954] ppid=8887 vsize=10834656 memory=-8995268955501401461 CPUtime=0.53 cores=1,3,5,7
/proc/8890/task/8954/stat : 8954 (java) R 8887 8890 5836 0 -1 1077944384 2269 13019 0 0 45 0 5 3 20 0 15 0 405522034 11094687744 45450 33554432000 4194304 4196468 140727602531936 139621347261296 139621823818370 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8955] ppid=8887 vsize=10834656 memory=4283920778551074714 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8955/stat : 8955 (java) S 8887 8890 5836 0 -1 1077944384 3 13019 0 0 0 0 5 3 20 0 15 0 405522034 11094687744 45450 33554432000 4194304 4196468 140727602531936 139620321676256 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8956] ppid=8887 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8956/stat : 8956 (java) S 8887 8890 5836 0 -1 1077944384 1 13019 0 0 0 0 5 3 20 0 15 0 405522034 11094687744 45450 33554432000 4194304 4196468 140727602531936 139621346208176 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
[startup+15.1169 s]
# the end of solver process 8890 was just reported to runsolver
# cumulated CPU time of all completed processes: user=27.2387 s, system=0.43813 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8009 s]
/proc/loadavg: 1.79 1.48 1.41 5/227 8956
/proc/meminfo: memFree=19039452/32770624 swapFree=66977604/67108860
[pid=8890] ppid=8887 vsize=10849012 memory=682976 CPUtime=25.13 cores=1,3,5,7
/proc/8890/stat : 8890 (java) S 8887 8890 5836 0 -1 1077944320 74180 13019 0 0 2469 36 5 3 20 0 15 0 405522019 11109388288 170744 33554432000 4194304 4196468 140727602531936 140727602514480 139621823807223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
/proc/8890/statm: 2712253 170744 3624 1 0 2674317 0
[pid=8890/tid=8943] ppid=8887 vsize=10849012 memory=1428 CPUtime=12.58 cores=1,3,5,7
/proc/8890/task/8943/stat : 8943 (java) R 8887 8890 5836 0 -1 4202560 25805 13019 0 0 1234 16 5 3 20 0 15 0 405522028 11109388288 170744 33554432000 4194304 4196468 140727602531936 139621795640376 139621433806565 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8944] ppid=8887 vsize=10849012 memory=1728 CPUtime=0.15 cores=1,3,5,7
/proc/8890/task/8944/stat : 8944 (java) S 8887 8890 5836 0 -1 1077944384 186 13019 0 0 6 1 5 3 20 0 15 0 405522029 11109388288 170744 33554432000 4194304 4196468 140727602531936 139621828049808 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8945] ppid=8887 vsize=10849012 memory=1556 CPUtime=0.15 cores=1,3,5,7
/proc/8890/task/8945/stat : 8945 (java) S 8887 8890 5836 0 -1 1077944384 1516 13019 0 0 6 1 5 3 20 0 15 0 405522029 11109388288 170744 33554432000 4194304 4196468 140727602531936 139621742869264 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8946] ppid=8887 vsize=10849012 memory=780 CPUtime=0.15 cores=1,3,5,7
/proc/8890/task/8946/stat : 8946 (java) S 8887 8890 5836 0 -1 1077944384 620 13019 0 0 6 1 5 3 20 0 15 0 405522029 11109388288 170744 33554432000 4194304 4196468 140727602531936 139621741816976 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8947] ppid=8887 vsize=10849012 memory=3252 CPUtime=0.15 cores=1,3,5,7
/proc/8890/task/8947/stat : 8947 (java) S 8887 8890 5836 0 -1 1077944384 497 13019 0 0 6 1 5 3 20 0 15 0 405522029 11109388288 170744 33554432000 4194304 4196468 140727602531936 139621740764176 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8948] ppid=8887 vsize=10849012 memory=1112 CPUtime=0.13 cores=1,3,5,7
/proc/8890/task/8948/stat : 8948 (java) S 8887 8890 5836 0 -1 1077944384 3272 13019 0 0 5 0 5 3 20 0 15 0 405522030 11109388288 170744 33554432000 4194304 4196468 140727602531936 139621350418544 139621823818370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8949] ppid=8887 vsize=10849012 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8949/stat : 8949 (java) S 8887 8890 5836 0 -1 1077944384 17 13019 0 0 0 0 5 3 20 0 15 0 405522031 11109388288 170744 33554432000 4194304 4196468 140727602531936 139621266613088 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8950] ppid=8887 vsize=10849012 memory=7552 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8950/stat : 8950 (java) S 8887 8890 5836 0 -1 1077944384 6 13019 0 0 0 0 5 3 20 0 15 0 405522031 11109388288 170744 33554432000 4194304 4196468 140727602531936 139620662633600 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8951] ppid=8887 vsize=10849012 memory=2832 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8951/stat : 8951 (java) S 8887 8890 5836 0 -1 1077944384 3 13019 0 0 0 0 5 3 20 0 15 0 405522034 11109388288 170744 33554432000 4194304 4196468 140727602531936 139620355233872 139621823825819 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8952] ppid=8887 vsize=10849012 memory=1084 CPUtime=4.4 cores=1,3,5,7
/proc/8890/task/8952/stat : 8952 (java) S 8887 8890 5836 0 -1 1077944384 9887 13019 0 0 429 3 5 3 20 0 15 0 405522034 11109388288 170744 33554432000 4194304 4196468 140727602531936 139621349366384 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8953] ppid=8887 vsize=10849012 memory=8112282956445269571 CPUtime=4.43 cores=1,3,5,7
/proc/8890/task/8953/stat : 8953 (java) S 8887 8890 5836 0 -1 1077944384 15249 13019 0 0 432 3 5 3 20 0 15 0 405522034 11109388288 170744 33554432000 4194304 4196468 140727602531936 139621348313584 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8954] ppid=8887 vsize=10849012 memory=6944656592455360604 CPUtime=3.51 cores=1,3,5,7
/proc/8890/task/8954/stat : 8954 (java) S 8887 8890 5836 0 -1 1077944384 14820 13019 0 0 338 5 5 3 20 0 15 0 405522034 11109388288 170744 33554432000 4194304 4196468 140727602531936 139621347261296 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8955] ppid=8887 vsize=10849012 memory=825241649 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8955/stat : 8955 (java) S 8887 8890 5836 0 -1 1077944384 3 13019 0 0 0 0 5 3 20 0 15 0 405522034 11109388288 170744 33554432000 4194304 4196468 140727602531936 139620321676256 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8956] ppid=8887 vsize=10849012 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8956/stat : 8956 (java) S 8887 8890 5836 0 -1 1077944384 94 13019 0 0 0 0 5 3 20 0 15 0 405522034 11109388288 170744 33554432000 4194304 4196468 140727602531936 139621346208176 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
Current children cumulated CPU time: 25.13 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 682976 KiB
[startup+14.4007 s]
/proc/loadavg: 1.79 1.48 1.41 3/227 8957
/proc/meminfo: memFree=18969572/32770624 swapFree=66977604/67108860
[pid=8890] ppid=8887 vsize=10849012 memory=752832 CPUtime=26.84 cores=1,3,5,7
/proc/8890/stat : 8890 (java) S 8887 8890 5836 0 -1 1077944320 74329 13019 0 0 2637 39 5 3 20 0 15 0 405522019 11109388288 188208 33554432000 4194304 4196468 140727602531936 140727602514480 139621823807223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
/proc/8890/statm: 2712253 188208 3624 1 0 2674317 0
[pid=8890/tid=8943] ppid=8887 vsize=10849012 memory=1556 CPUtime=14.17 cores=1,3,5,7
/proc/8890/task/8943/stat : 8943 (java) R 8887 8890 5836 0 -1 4202560 25860 13019 0 0 1391 18 5 3 20 0 15 0 405522028 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621795641456 139621435154333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8944] ppid=8887 vsize=10849012 memory=780 CPUtime=0.15 cores=1,3,5,7
/proc/8890/task/8944/stat : 8944 (java) S 8887 8890 5836 0 -1 1077944384 190 13019 0 0 6 1 5 3 20 0 15 0 405522029 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621828049808 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8945] ppid=8887 vsize=10849012 memory=3252 CPUtime=0.16 cores=1,3,5,7
/proc/8890/task/8945/stat : 8945 (java) S 8887 8890 5836 0 -1 1077944384 1520 13019 0 0 7 1 5 3 20 0 15 0 405522029 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621742869264 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8946] ppid=8887 vsize=10849012 memory=1112 CPUtime=0.17 cores=1,3,5,7
/proc/8890/task/8946/stat : 8946 (java) S 8887 8890 5836 0 -1 1077944384 624 13019 0 0 7 2 5 3 20 0 15 0 405522029 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621741816976 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8947] ppid=8887 vsize=10849012 memory=5960 CPUtime=0.16 cores=1,3,5,7
/proc/8890/task/8947/stat : 8947 (java) S 8887 8890 5836 0 -1 1077944384 502 13019 0 0 6 2 5 3 20 0 15 0 405522029 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621740764176 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8948] ppid=8887 vsize=10849012 memory=7552 CPUtime=0.14 cores=1,3,5,7
/proc/8890/task/8948/stat : 8948 (java) S 8887 8890 5836 0 -1 1077944384 3297 13019 0 0 6 0 5 3 20 0 15 0 405522030 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621350418544 139621823818370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8949] ppid=8887 vsize=10849012 memory=2832 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8949/stat : 8949 (java) S 8887 8890 5836 0 -1 1077944384 17 13019 0 0 0 0 5 3 20 0 15 0 405522031 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621266613088 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8950] ppid=8887 vsize=10849012 memory=1084 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8950/stat : 8950 (java) S 8887 8890 5836 0 -1 1077944384 6 13019 0 0 0 0 5 3 20 0 15 0 405522031 11109388288 188208 33554432000 4194304 4196468 140727602531936 139620662633600 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8951] ppid=8887 vsize=10849012 memory=14012 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8951/stat : 8951 (java) S 8887 8890 5836 0 -1 1077944384 3 13019 0 0 0 0 5 3 20 0 15 0 405522034 11109388288 188208 33554432000 4194304 4196468 140727602531936 139620355233872 139621823825819 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8952] ppid=8887 vsize=10849012 memory=14048 CPUtime=4.43 cores=1,3,5,7
/proc/8890/task/8952/stat : 8952 (java) S 8887 8890 5836 0 -1 1077944384 9912 13019 0 0 432 3 5 3 20 0 15 0 405522034 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621349366384 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8953] ppid=8887 vsize=10849012 memory=19840 CPUtime=4.47 cores=1,3,5,7
/proc/8890/task/8953/stat : 8953 (java) S 8887 8890 5836 0 -1 1077944384 15267 13019 0 0 436 3 5 3 20 0 15 0 405522034 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621348313584 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8954] ppid=8887 vsize=10849012 memory=2120 CPUtime=3.52 cores=1,3,5,7
/proc/8890/task/8954/stat : 8954 (java) S 8887 8890 5836 0 -1 1077944384 14829 13019 0 0 339 5 5 3 20 0 15 0 405522034 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621347261296 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8955] ppid=8887 vsize=10849012 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8955/stat : 8955 (java) S 8887 8890 5836 0 -1 1077944384 3 13019 0 0 0 0 5 3 20 0 15 0 405522034 11109388288 188208 33554432000 4194304 4196468 140727602531936 139620321676256 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8956] ppid=8887 vsize=10849012 memory=301741416391115062 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8956/stat : 8956 (java) S 8887 8890 5836 0 -1 1077944384 94 13019 0 0 0 0 5 3 20 0 15 0 405522034 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621346208176 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
Current children cumulated CPU time: 26.84 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 752832 KiB
[startup+14.8007 s]
/proc/loadavg: 1.79 1.48 1.41 3/227 8957
/proc/meminfo: memFree=18969572/32770624 swapFree=66977604/67108860
[pid=8890] ppid=8887 vsize=10849012 memory=752832 CPUtime=27.25 cores=1,3,5,7
/proc/8890/stat : 8890 (java) S 8887 8890 5836 0 -1 1077944320 74329 13019 0 0 2678 39 5 3 20 0 15 0 405522019 11109388288 188208 33554432000 4194304 4196468 140727602531936 140727602514480 139621823807223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
/proc/8890/statm: 2712253 188208 3624 1 0 2674317 0
[pid=8890/tid=8943] ppid=8887 vsize=10849012 memory=7380395292664816744 CPUtime=14.57 cores=1,3,5,7
/proc/8890/task/8943/stat : 8943 (java) R 8887 8890 5836 0 -1 4202560 25860 13019 0 0 1431 18 5 3 20 0 15 0 405522028 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621795642152 139621806214225 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8944] ppid=8887 vsize=10849012 memory=7594001814692065379 CPUtime=0.15 cores=1,3,5,7
/proc/8890/task/8944/stat : 8944 (java) S 8887 8890 5836 0 -1 1077944384 190 13019 0 0 6 1 5 3 20 0 15 0 405522029 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621828049808 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8945] ppid=8887 vsize=10849012 memory=7595693851250615916 CPUtime=0.16 cores=1,3,5,7
/proc/8890/task/8945/stat : 8945 (java) S 8887 8890 5836 0 -1 1077944384 1520 13019 0 0 7 1 5 3 20 0 15 0 405522029 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621742869264 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8946] ppid=8887 vsize=10849012 memory=7589498180654754926 CPUtime=0.17 cores=1,3,5,7
/proc/8890/task/8946/stat : 8946 (java) S 8887 8890 5836 0 -1 1077944384 624 13019 0 0 7 2 5 3 20 0 15 0 405522029 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621741816976 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8947] ppid=8887 vsize=10849012 memory=7595693851250615916 CPUtime=0.16 cores=1,3,5,7
/proc/8890/task/8947/stat : 8947 (java) S 8887 8890 5836 0 -1 1077944384 502 13019 0 0 6 2 5 3 20 0 15 0 405522029 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621740764176 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8948] ppid=8887 vsize=10849012 memory=7595693851250615916 CPUtime=0.14 cores=1,3,5,7
/proc/8890/task/8948/stat : 8948 (java) S 8887 8890 5836 0 -1 1077944384 3297 13019 0 0 6 0 5 3 20 0 15 0 405522030 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621350418544 139621823818370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8949] ppid=8887 vsize=10849012 memory=7589498180654754926 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8949/stat : 8949 (java) S 8887 8890 5836 0 -1 1077944384 17 13019 0 0 0 0 5 3 20 0 15 0 405522031 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621266613088 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8950] ppid=8887 vsize=10849012 memory=7523660459050953062 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8950/stat : 8950 (java) S 8887 8890 5836 0 -1 1077944384 6 13019 0 0 0 0 5 3 20 0 15 0 405522031 11109388288 188208 33554432000 4194304 4196468 140727602531936 139620662633600 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8951] ppid=8887 vsize=10849012 memory=7739551860726456937 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8951/stat : 8951 (java) S 8887 8890 5836 0 -1 1077944384 3 13019 0 0 0 0 5 3 20 0 15 0 405522034 11109388288 188208 33554432000 4194304 4196468 140727602531936 139620355233872 139621823825819 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8952] ppid=8887 vsize=10849012 memory=7739551860726456937 CPUtime=4.44 cores=1,3,5,7
/proc/8890/task/8952/stat : 8952 (java) S 8887 8890 5836 0 -1 1077944384 9912 13019 0 0 433 3 5 3 20 0 15 0 405522034 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621349366384 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8953] ppid=8887 vsize=10849012 memory=5792307959378635369 CPUtime=4.48 cores=1,3,5,7
/proc/8890/task/8953/stat : 8953 (java) S 8887 8890 5836 0 -1 1077944384 15267 13019 0 0 437 3 5 3 20 0 15 0 405522034 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621348313584 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8954] ppid=8887 vsize=10849012 memory=7091311704166525248 CPUtime=3.52 cores=1,3,5,7
/proc/8890/task/8954/stat : 8954 (java) S 8887 8890 5836 0 -1 1077944384 14829 13019 0 0 339 5 5 3 20 0 15 0 405522034 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621347261296 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8955] ppid=8887 vsize=10849012 memory=7091311704166525248 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8955/stat : 8955 (java) S 8887 8890 5836 0 -1 1077944384 3 13019 0 0 0 0 5 3 20 0 15 0 405522034 11109388288 188208 33554432000 4194304 4196468 140727602531936 139620321676256 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8956] ppid=8887 vsize=10849012 memory=7739551860726456937 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8956/stat : 8956 (java) S 8887 8890 5836 0 -1 1077944384 94 13019 0 0 0 0 5 3 20 0 15 0 405522034 11109388288 188208 33554432000 4194304 4196468 140727602531936 139621346208176 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
Current children cumulated CPU time: 27.25 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 752832 KiB
[startup+15.0007 s]*
/proc/loadavg: 1.79 1.48 1.41 3/227 8957
/proc/meminfo: memFree=18963500/32770624 swapFree=66977604/67108860
[pid=8890] ppid=8887 vsize=10849012 memory=759068 CPUtime=27.55 cores=1,3,5,7
/proc/8890/stat : 8890 (java) S 8887 8890 5836 0 -1 1077944320 74416 13019 0 0 2708 39 5 3 20 0 15 0 405522019 11109388288 189767 33554432000 4194304 4196468 140727602531936 140727602514480 139621823807223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
/proc/8890/statm: 2712253 189767 3624 1 0 2674317 0
[pid=8890/tid=8943] ppid=8887 vsize=10849012 memory=8317482817917895235 CPUtime=14.77 cores=1,3,5,7
/proc/8890/task/8943/stat : 8943 (java) R 8887 8890 5836 0 -1 4202560 25861 13019 0 0 1451 18 5 3 20 0 15 0 405522028 11109388288 189767 33554432000 4194304 4196468 140727602531936 139621795639136 139621417648192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8944] ppid=8887 vsize=10849012 memory=8112282956445269571 CPUtime=0.16 cores=1,3,5,7
/proc/8890/task/8944/stat : 8944 (java) S 8887 8890 5836 0 -1 1077944384 193 13019 0 0 7 1 5 3 20 0 15 0 405522029 11109388288 189767 33554432000 4194304 4196468 140727602531936 139621828049808 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8945] ppid=8887 vsize=10849012 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/8890/task/8945/stat : 8945 (java) S 8887 8890 5836 0 -1 1077944384 1523 13019 0 0 7 1 5 3 20 0 15 0 405522029 11109388288 189767 33554432000 4194304 4196468 140727602531936 139621742869264 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8946] ppid=8887 vsize=10849012 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/8890/task/8946/stat : 8946 (java) S 8887 8890 5836 0 -1 1077944384 627 13019 0 0 7 2 5 3 20 0 15 0 405522029 11109388288 189767 33554432000 4194304 4196468 140727602531936 139621741816976 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8947] ppid=8887 vsize=10849012 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/8890/task/8947/stat : 8947 (java) S 8887 8890 5836 0 -1 1077944384 510 13019 0 0 6 2 5 3 20 0 15 0 405522029 11109388288 189767 33554432000 4194304 4196468 140727602531936 139621740764176 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8948] ppid=8887 vsize=10849012 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/8890/task/8948/stat : 8948 (java) S 8887 8890 5836 0 -1 1077944384 3297 13019 0 0 6 0 5 3 20 0 15 0 405522030 11109388288 189767 33554432000 4194304 4196468 140727602531936 139621350418544 139621823818370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8949] ppid=8887 vsize=10849012 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8949/stat : 8949 (java) S 8887 8890 5836 0 -1 1077944384 17 13019 0 0 0 0 5 3 20 0 15 0 405522031 11109388288 189767 33554432000 4194304 4196468 140727602531936 139621266613088 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8950] ppid=8887 vsize=10849012 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8950/stat : 8950 (java) S 8887 8890 5836 0 -1 1077944384 6 13019 0 0 0 0 5 3 20 0 15 0 405522031 11109388288 189767 33554432000 4194304 4196468 140727602531936 139620662633600 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8951] ppid=8887 vsize=10849012 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8951/stat : 8951 (java) S 8887 8890 5836 0 -1 1077944384 3 13019 0 0 0 0 5 3 20 0 15 0 405522034 11109388288 189767 33554432000 4194304 4196468 140727602531936 139620355233872 139621823825819 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8952] ppid=8887 vsize=10849012 memory=7668614699372077904 CPUtime=4.44 cores=1,3,5,7
/proc/8890/task/8952/stat : 8952 (java) S 8887 8890 5836 0 -1 1077944384 9913 13019 0 0 433 3 5 3 20 0 15 0 405522034 11109388288 189767 33554432000 4194304 4196468 140727602531936 139621349366384 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8953] ppid=8887 vsize=10849012 memory=7813865652928602452 CPUtime=4.56 cores=1,3,5,7
/proc/8890/task/8953/stat : 8953 (java) S 8887 8890 5836 0 -1 1077944384 15335 13019 0 0 445 3 5 3 20 0 15 0 405522034 11109388288 189767 33554432000 4194304 4196468 140727602531936 139621348313584 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8954] ppid=8887 vsize=10849012 memory=6940723664948057168 CPUtime=3.53 cores=1,3,5,7
/proc/8890/task/8954/stat : 8954 (java) S 8887 8890 5836 0 -1 1077944384 14829 13019 0 0 340 5 5 3 20 0 15 0 405522034 11109388288 189767 33554432000 4194304 4196468 140727602531936 139621347261296 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8955] ppid=8887 vsize=10849012 memory=6370440127932111022 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8955/stat : 8955 (java) S 8887 8890 5836 0 -1 1077944384 3 13019 0 0 0 0 5 3 20 0 15 0 405522034 11109388288 189767 33554432000 4194304 4196468 140727602531936 139620321676256 139621823817429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
[pid=8890/tid=8956] ppid=8887 vsize=10849012 memory=280093474735936 CPUtime=0.08 cores=1,3,5,7
/proc/8890/task/8956/stat : 8956 (java) S 8887 8890 5836 0 -1 1077944384 94 13019 0 0 0 0 5 3 20 0 15 0 405522034 11109388288 189767 33554432000 4194304 4196468 140727602531936 139621346208176 139621823818370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38584320 140727602539254 140727602541765 140727602541765 140727602544591 0
Current children cumulated CPU time: 27.55 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 759068 KiB
Child status: 0
Real time (s): 15.1169
CPU time (s): 27.6768
CPU user time (s): 27.2387
CPU system time (s): 0.43813
CPU usage (%): 183.085
Max. virtual memory (cumulated for all children) (KiB): 10851344
Max. memory (cumulated for all children) (KiB): 759068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.2387
system time used= 0.43813
maximum resident set size= 761128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87827
page faults= 0
swaps= 0
block input operations= 208
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12521
involuntary context switches= 113
# summary of solver processes directly reported to runsolver:
# pid: 8890
# total CPU time (s): 27.6768
# total CPU user time (s): 27.2387
# total CPU system time (s): 0.43813
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.109815 second user time and 0.195015 second system time
The end