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 (13908 MiB free)
memory of node 1: 16384 MiB (15474 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395786-1568412562/watcher-4395786-1568412562 -o /tmp/evaluation-result-4395786-1568412562/solver-4395786-1568412562 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568395860-30101 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=731978066 HOME/instance-4395786-1568412562.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
Current StackSize limit: 8192 KiB
solver pid=1649, runsolver pid=1646
[startup+0.110242 s]*
/proc/loadavg: 1.52 1.47 1.41 3/220 1708
/proc/meminfo: memFree=30078984/32770624 swapFree=66918984/67108860
[pid=1649] ppid=1646 vsize=10153664 memory=18400 CPUtime=0.1 cores=1,3,5,7
/proc/1649/stat : 1649 (java) S 1646 1649 30069 0 -1 1077944320 4871 13409 0 0 2 0 5 3 20 0 8 0 417194140 10397351936 4600 33554432000 4194304 4196468 140727986885440 140727986867984 139805736206071 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
/proc/1649/statm: 2538416 4600 2077 1 0 2526854 0
[pid=1649/tid=1702] ppid=1646 vsize=10355560 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/1649/task/1702/stat : 1702 (java) R 1646 1649 30069 0 -1 4202560 2686 13409 0 0 1 0 5 3 20 0 9 0 417194149 10604093440 5161 33554432000 4194304 4196468 140727986885440 139805708042096 139805720286558 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1703] ppid=1646 vsize=10355560 memory=5792869726567804975 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1703/stat : 1703 (java) S 1646 1649 30069 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 9 0 417194150 10604093440 5161 33554432000 4194304 4196468 140727986885440 139805740448784 139805736216277 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1704] ppid=1646 vsize=10355560 memory=139985960425088 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1704/stat : 1704 (java) S 1646 1649 30069 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 9 0 417194150 10604093440 5161 33554432000 4194304 4196468 140727986885440 139805628722320 139805736216277 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1707] ppid=1646 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1707/stat : 1707 (java) S 1646 1649 30069 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 9 0 417194150 10604093440 5161 33554432000 4194304 4196468 140727986885440 139805627669264 139805736216277 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1708] ppid=1646 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1708/stat : 1708 (java) S 1646 1649 30069 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 9 0 417194150 10604093440 5161 33554432000 4194304 4196468 140727986885440 139805626616720 139805736216277 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1709] ppid=1646 vsize=10355560 memory=139985960425088 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1709/stat : 1709 (java) S 1646 1649 30069 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 9 0 417194151 10604093440 5161 33554432000 4194304 4196468 140727986885440 139804739090672 139805736217218 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1710] ppid=1646 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1710/stat : 1710 (java) S 1646 1649 30069 0 -1 1077944384 33 13409 0 0 0 0 5 3 20 0 9 0 417194152 10604093440 5161 33554432000 4194304 4196468 140727986885440 139804738036896 139805736216277 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1711] ppid=1646 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1711/stat : 1711 (java) S 1646 1649 30069 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 9 0 417194152 10604093440 5161 33554432000 4194304 4196468 140727986885440 139804608029488 139805736216277 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10153664 KiB
Current children cumulated memory: 18400 KiB
[startup+0.212238 s]*
/proc/loadavg: 1.52 1.47 1.41 3/229 1717
/proc/meminfo: memFree=30063024/32770624 swapFree=66918984/67108860
[pid=1649] ppid=1646 vsize=10819664 memory=38092 CPUtime=0.27 cores=1,3,5,7
/proc/1649/stat : 1649 (java) S 1646 1649 30069 0 -1 1077944320 7322 13409 0 0 17 2 5 3 20 0 15 0 417194140 11079335936 9523 33554432000 4194304 4196468 140727986885440 140727986867984 139805736206071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
/proc/1649/statm: 2704916 9523 3187 1 0 2667149 0
[pid=1649/tid=1702] ppid=1646 vsize=10819664 memory=7892391828772250251 CPUtime=0.2 cores=1,3,5,7
/proc/1649/task/1702/stat : 1702 (java) R 1646 1649 30069 0 -1 4202560 3820 13409 0 0 11 1 5 3 20 0 15 0 417194149 11079335936 10099 33554432000 4194304 4196468 140727986885440 139805708023184 139805736227997 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1703] ppid=1646 vsize=10819664 memory=5792869726567804975 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1703/stat : 1703 (java) S 1646 1649 30069 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 15 0 417194150 11079335936 10099 33554432000 4194304 4196468 140727986885440 139805740448784 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1704] ppid=1646 vsize=10819664 memory=139985960425088 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1704/stat : 1704 (java) S 1646 1649 30069 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 15 0 417194150 11079335936 10099 33554432000 4194304 4196468 140727986885440 139805628722320 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1707] ppid=1646 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1707/stat : 1707 (java) S 1646 1649 30069 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 417194150 11079335936 10099 33554432000 4194304 4196468 140727986885440 139805627669264 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1708] ppid=1646 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1708/stat : 1708 (java) S 1646 1649 30069 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 15 0 417194150 11079335936 10099 33554432000 4194304 4196468 140727986885440 139805626616720 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1709] ppid=1646 vsize=10819664 memory=139985960425088 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1709/stat : 1709 (java) S 1646 1649 30069 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 15 0 417194151 11079335936 10099 33554432000 4194304 4196468 140727986885440 139804739090672 139805736217218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1710] ppid=1646 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1710/stat : 1710 (java) S 1646 1649 30069 0 -1 1077944384 33 13409 0 0 0 0 5 3 20 0 15 0 417194152 11079335936 10099 33554432000 4194304 4196468 140727986885440 139804738036896 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1711] ppid=1646 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1711/stat : 1711 (java) S 1646 1649 30069 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 417194152 11079335936 10099 33554432000 4194304 4196468 140727986885440 139804608029424 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1712] ppid=1646 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1712/stat : 1712 (java) S 1646 1649 30069 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 417194154 11079335936 10099 33554432000 4194304 4196468 140727986885440 139804300629968 139805736224667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1713] ppid=1646 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1649/task/1713/stat : 1713 (java) S 1646 1649 30069 0 -1 1077944384 597 13409 0 0 1 0 5 3 20 0 15 0 417194154 11079335936 10099 33554432000 4194304 4196468 140727986885440 139804704479984 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1714] ppid=1646 vsize=10819664 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/1649/task/1714/stat : 1714 (java) S 1646 1649 30069 0 -1 1077944384 72 13409 0 0 1 0 5 3 20 0 15 0 417194155 11079335936 10099 33554432000 4194304 4196468 140727986885440 139804703427440 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1715] ppid=1646 vsize=10819664 memory=139985960425088 CPUtime=0.11 cores=1,3,5,7
/proc/1649/task/1715/stat : 1715 (java) R 1646 1649 30069 0 -1 4202560 606 13409 0 0 3 0 5 3 20 0 15 0 417194155 11079335936 10099 33554432000 4194304 4196468 140727986885440 139804702374384 139805714881104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1716] ppid=1646 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1716/stat : 1716 (java) S 1646 1649 30069 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 417194155 11079335936 10099 33554432000 4194304 4196468 140727986885440 139804267072352 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1717] ppid=1646 vsize=10819664 memory=139985960425088 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1717/stat : 1717 (java) S 1646 1649 30069 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 417194155 11079335936 10099 33554432000 4194304 4196468 140727986885440 139804701321776 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 38092 KiB
[startup+0.311291 s]*
/proc/loadavg: 1.52 1.47 1.41 4/229 1717
/proc/meminfo: memFree=30050612/32770624 swapFree=66918984/67108860
[pid=1649] ppid=1646 vsize=10820148 memory=49216 CPUtime=0.4 cores=1,3,5,7
/proc/1649/stat : 1649 (java) S 1646 1649 30069 0 -1 1077944320 11014 13409 0 0 29 3 5 3 20 0 15 0 417194140 11079831552 12304 33554432000 4194304 4196468 140727986885440 140727986867984 139805736206071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
/proc/1649/statm: 2705037 12304 3319 1 0 2667149 0
[pid=1649/tid=1702] ppid=1646 vsize=10820148 memory=7302696001386991697 CPUtime=0.29 cores=1,3,5,7
/proc/1649/task/1702/stat : 1702 (java) R 1646 1649 30069 0 -1 4202560 7471 13409 0 0 19 2 5 3 20 0 15 0 417194149 11079831552 12304 33554432000 4194304 4196468 140727986885440 139805708012176 139805736227997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1703] ppid=1646 vsize=10820148 memory=4294969536 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1703/stat : 1703 (java) S 1646 1649 30069 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 15 0 417194150 11079831552 12304 33554432000 4194304 4196468 140727986885440 139805740448784 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1704] ppid=1646 vsize=10820148 memory=139985960425088 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1704/stat : 1704 (java) S 1646 1649 30069 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 15 0 417194150 11079831552 12304 33554432000 4194304 4196468 140727986885440 139805628722320 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1707] ppid=1646 vsize=10820148 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1707/stat : 1707 (java) S 1646 1649 30069 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 417194150 11079831552 12304 33554432000 4194304 4196468 140727986885440 139805627669264 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1708] ppid=1646 vsize=10820148 memory=2240 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1708/stat : 1708 (java) S 1646 1649 30069 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 15 0 417194150 11079831552 12304 33554432000 4194304 4196468 140727986885440 139805626616720 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1709] ppid=1646 vsize=10820148 memory=139985960425088 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1709/stat : 1709 (java) S 1646 1649 30069 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 15 0 417194151 11079831552 12304 33554432000 4194304 4196468 140727986885440 139804739090672 139805736217218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1710] ppid=1646 vsize=10820148 memory=2208 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1710/stat : 1710 (java) S 1646 1649 30069 0 -1 1077944384 33 13409 0 0 0 0 5 3 20 0 15 0 417194152 11079831552 12304 33554432000 4194304 4196468 140727986885440 139804738036896 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1711] ppid=1646 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1711/stat : 1711 (java) S 1646 1649 30069 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 417194152 11079831552 12304 33554432000 4194304 4196468 140727986885440 139804608029424 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1712] ppid=1646 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1712/stat : 1712 (java) S 1646 1649 30069 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 417194154 11079831552 12304 33554432000 4194304 4196468 140727986885440 139804300629968 139805736224667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1713] ppid=1646 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/1649/task/1713/stat : 1713 (java) S 1646 1649 30069 0 -1 1077944384 603 13409 0 0 2 0 5 3 20 0 15 0 417194154 11079831552 12304 33554432000 4194304 4196468 140727986885440 139804704479984 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1714] ppid=1646 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/1649/task/1714/stat : 1714 (java) S 1646 1649 30069 0 -1 1077944384 73 13409 0 0 1 0 5 3 20 0 15 0 417194155 11079831552 12304 33554432000 4194304 4196468 140727986885440 139804703427440 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1715] ppid=1646 vsize=10820148 memory=139985960425088 CPUtime=0.13 cores=1,3,5,7
/proc/1649/task/1715/stat : 1715 (java) R 1646 1649 30069 0 -1 4202560 614 13409 0 0 5 0 5 3 20 0 15 0 417194155 11079831552 12304 33554432000 4194304 4196468 140727986885440 139804702374384 139805714370708 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1716] ppid=1646 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1716/stat : 1716 (java) S 1646 1649 30069 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 417194155 11079831552 12304 33554432000 4194304 4196468 140727986885440 139804267072352 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1717] ppid=1646 vsize=10820148 memory=139985960425088 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1717/stat : 1717 (java) S 1646 1649 30069 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 417194155 11079831552 12304 33554432000 4194304 4196468 140727986885440 139804701321776 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 49216 KiB
[startup+0.701287 s]
/proc/loadavg: 1.52 1.47 1.41 3/229 1717
/proc/meminfo: memFree=30036420/32770624 swapFree=66918984/67108860
[pid=1649] ppid=1646 vsize=10824360 memory=81908 CPUtime=1.15 cores=1,3,5,7
/proc/1649/stat : 1649 (java) S 1646 1649 30069 0 -1 1077944320 15190 13409 0 0 102 5 5 3 20 0 15 0 417194140 11084144640 20477 33554432000 4194304 4196468 140727986885440 140727986867984 139805736206071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
/proc/1649/statm: 2706090 20477 3506 1 0 2668173 0
[pid=1649/tid=1702] ppid=1646 vsize=10824360 memory=1056 CPUtime=0.67 cores=1,3,5,7
/proc/1649/task/1702/stat : 1702 (java) R 1646 1649 30069 0 -1 4202560 10401 13409 0 0 55 4 5 3 20 0 15 0 417194149 11084144640 20477 33554432000 4194304 4196468 140727986885440 139805708030608 139805721575547 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1703] ppid=1646 vsize=10824360 memory=11464 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1703/stat : 1703 (java) S 1646 1649 30069 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 15 0 417194150 11084144640 20477 33554432000 4194304 4196468 140727986885440 139805740448784 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1704] ppid=1646 vsize=10824360 memory=6297835844906604903 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1704/stat : 1704 (java) S 1646 1649 30069 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 15 0 417194150 11084144640 20477 33554432000 4194304 4196468 140727986885440 139805628722320 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1707] ppid=1646 vsize=10824360 memory=7380108234199885905 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1707/stat : 1707 (java) S 1646 1649 30069 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 417194150 11084144640 20477 33554432000 4194304 4196468 140727986885440 139805627669264 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1708] ppid=1646 vsize=10824360 memory=5787213827163908199 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1708/stat : 1708 (java) S 1646 1649 30069 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 15 0 417194150 11084144640 20477 33554432000 4194304 4196468 140727986885440 139805626616720 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1709] ppid=1646 vsize=10824360 memory=4638778398332829792 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1709/stat : 1709 (java) S 1646 1649 30069 0 -1 1077944384 5 13409 0 0 0 0 5 3 20 0 15 0 417194151 11084144640 20477 33554432000 4194304 4196468 140727986885440 139804739090672 139805736217218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1710] ppid=1646 vsize=10824360 memory=3616 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1710/stat : 1710 (java) S 1646 1649 30069 0 -1 1077944384 33 13409 0 0 0 0 5 3 20 0 15 0 417194152 11084144640 20477 33554432000 4194304 4196468 140727986885440 139804738036896 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1711] ppid=1646 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1711/stat : 1711 (java) S 1646 1649 30069 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 417194152 11084144640 20477 33554432000 4194304 4196468 140727986885440 139804608029424 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1712] ppid=1646 vsize=10824360 memory=14558105937648680 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1712/stat : 1712 (java) S 1646 1649 30069 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 417194154 11084144640 20477 33554432000 4194304 4196468 140727986885440 139804300629968 139805736224667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1713] ppid=1646 vsize=10824360 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/1649/task/1713/stat : 1713 (java) S 1646 1649 30069 0 -1 1077944384 1234 13409 0 0 15 0 5 3 20 0 15 0 417194154 11084144640 20477 33554432000 4194304 4196468 140727986885440 139804704479984 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1714] ppid=1646 vsize=10824360 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/1649/task/1714/stat : 1714 (java) R 1646 1649 30069 0 -1 4202560 489 13409 0 0 12 0 5 3 20 0 15 0 417194155 11084144640 20477 33554432000 4194304 4196468 140727986885440 139804703427440 139805720116757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1715] ppid=1646 vsize=10824360 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/1649/task/1715/stat : 1715 (java) S 1646 1649 30069 0 -1 1077944384 807 13409 0 0 17 0 5 3 20 0 15 0 417194155 11084144640 20477 33554432000 4194304 4196468 140727986885440 139804702374384 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1716] ppid=1646 vsize=10824360 memory=7809523229951467574 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1716/stat : 1716 (java) S 1646 1649 30069 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 417194155 11084144640 20477 33554432000 4194304 4196468 140727986885440 139804267072352 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1717] ppid=1646 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1717/stat : 1717 (java) S 1646 1649 30069 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 417194155 11084144640 20477 33554432000 4194304 4196468 140727986885440 139804701321776 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 81908 KiB
[startup+1.50128 s]
/proc/loadavg: 1.52 1.47 1.41 5/229 1717
/proc/meminfo: memFree=29902192/32770624 swapFree=66918984/67108860
[pid=1649] ppid=1646 vsize=10830580 memory=251940 CPUtime=3.69 cores=1,3,5,7
/proc/1649/stat : 1649 (java) S 1646 1649 30069 0 -1 1077944320 30381 13409 0 0 349 12 5 3 20 0 15 0 417194140 11090513920 62985 33554432000 4194304 4196468 140727986885440 140727986867984 139805736206071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
/proc/1649/statm: 2707645 62985 3569 1 0 2669709 0
[pid=1649/tid=1702] ppid=1646 vsize=10830580 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/1649/task/1702/stat : 1702 (java) R 1646 1649 30069 0 -1 4202560 15385 13409 0 0 129 7 5 3 20 0 15 0 417194149 11090513920 62985 33554432000 4194304 4196468 140727986885440 139805708007680 139805721575984 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1703] ppid=1646 vsize=10830580 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1703/stat : 1703 (java) S 1646 1649 30069 0 -1 1077944384 32 13409 0 0 0 0 5 3 20 0 15 0 417194150 11090513920 62985 33554432000 4194304 4196468 140727986885440 139805740448784 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1704] ppid=1646 vsize=10830580 memory=24 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1704/stat : 1704 (java) S 1646 1649 30069 0 -1 1077944384 7 13409 0 0 0 0 5 3 20 0 15 0 417194150 11090513920 62985 33554432000 4194304 4196468 140727986885440 139805628722320 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1707] ppid=1646 vsize=10830580 memory=24 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1707/stat : 1707 (java) S 1646 1649 30069 0 -1 1077944384 15 13409 0 0 0 0 5 3 20 0 15 0 417194150 11090513920 62985 33554432000 4194304 4196468 140727986885440 139805627669264 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1708] ppid=1646 vsize=10830580 memory=31 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1708/stat : 1708 (java) S 1646 1649 30069 0 -1 1077944384 21 13409 0 0 0 0 5 3 20 0 15 0 417194150 11090513920 62985 33554432000 4194304 4196468 140727986885440 139805626616720 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1709] ppid=1646 vsize=10830580 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1709/stat : 1709 (java) S 1646 1649 30069 0 -1 1077944384 86 13409 0 0 0 0 5 3 20 0 15 0 417194151 11090513920 62985 33554432000 4194304 4196468 140727986885440 139804739090672 139805736217218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1710] ppid=1646 vsize=10830580 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1710/stat : 1710 (java) S 1646 1649 30069 0 -1 1077944384 34 13409 0 0 0 0 5 3 20 0 15 0 417194152 11090513920 62985 33554432000 4194304 4196468 140727986885440 139804738036960 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1711] ppid=1646 vsize=10830580 memory=147325901189484 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1711/stat : 1711 (java) S 1646 1649 30069 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 15 0 417194152 11090513920 62985 33554432000 4194304 4196468 140727986885440 139804608029440 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1712] ppid=1646 vsize=10830580 memory=3067941 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1712/stat : 1712 (java) S 1646 1649 30069 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 417194154 11090513920 62985 33554432000 4194304 4196468 140727986885440 139804300629968 139805736224667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1713] ppid=1646 vsize=10830580 memory=2110336409187012 CPUtime=0.88 cores=1,3,5,7
/proc/1649/task/1713/stat : 1713 (java) R 1646 1649 30069 0 -1 4202560 4639 13409 0 0 80 0 5 3 20 0 15 0 417194154 11090513920 62985 33554432000 4194304 4196468 140727986885440 139804704464600 139805715859936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1714] ppid=1646 vsize=10830580 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/1649/task/1714/stat : 1714 (java) R 1646 1649 30069 0 -1 4202560 4549 13409 0 0 80 1 5 3 20 0 15 0 417194155 11090513920 62985 33554432000 4194304 4196468 140727986885440 139804703412904 139805722223631 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1715] ppid=1646 vsize=10830580 memory=7809523229951467574 CPUtime=0.64 cores=1,3,5,7
/proc/1649/task/1715/stat : 1715 (java) S 1646 1649 30069 0 -1 1077944384 3398 13409 0 0 55 1 5 3 20 0 15 0 417194155 11090513920 62985 33554432000 4194304 4196468 140727986885440 139804702374384 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
################
# More data... #
################
/proc/1649/task/1702/stat : 1702 (java) R 1646 1649 30069 0 -1 4202560 336731 13409 0 0 236341 64 5 3 20 0 15 0 417194149 11107311616 521145 33554432000 4194304 4196468 140727986885440 139805708036736 139805302131128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1703] ppid=1646 vsize=10846984 memory=2084580 CPUtime=11.4 cores=1,3,5,7
/proc/1649/task/1703/stat : 1703 (java) S 1646 1649 30069 0 -1 1077944384 29374 13409 0 0 1097 35 5 3 20 0 15 0 417194150 11107311616 521145 33554432000 4194304 4196468 140727986885440 139805740448784 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1704] ppid=1646 vsize=10846984 memory=2072644 CPUtime=11.35 cores=1,3,5,7
/proc/1649/task/1704/stat : 1704 (java) S 1646 1649 30069 0 -1 1077944384 23793 13409 0 0 1089 38 5 3 20 0 15 0 417194150 11107311616 521145 33554432000 4194304 4196468 140727986885440 139805628722320 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1707] ppid=1646 vsize=10846984 memory=2084580 CPUtime=11.39 cores=1,3,5,7
/proc/1649/task/1707/stat : 1707 (java) S 1646 1649 30069 0 -1 1077944384 22266 13409 0 0 1096 35 5 3 20 0 15 0 417194150 11107311616 521145 33554432000 4194304 4196468 140727986885440 139805627669264 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1708] ppid=1646 vsize=10846984 memory=2084580 CPUtime=11.37 cores=1,3,5,7
/proc/1649/task/1708/stat : 1708 (java) S 1646 1649 30069 0 -1 1077944384 23598 13409 0 0 1094 35 5 3 20 0 15 0 417194150 11107311616 521145 33554432000 4194304 4196468 140727986885440 139805626616720 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1709] ppid=1646 vsize=10846984 memory=2084580 CPUtime=5.09 cores=1,3,5,7
/proc/1649/task/1709/stat : 1709 (java) S 1646 1649 30069 0 -1 1077944384 30531 13409 0 0 463 38 5 3 20 0 15 0 417194151 11107311616 521145 33554432000 4194304 4196468 140727986885440 139804739090672 139805736217218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1710] ppid=1646 vsize=10846984 memory=2062108 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1710/stat : 1710 (java) S 1646 1649 30069 0 -1 1077944384 49 13409 0 0 0 0 5 3 20 0 15 0 417194152 11107311616 521145 33554432000 4194304 4196468 140727986885440 139804738037024 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1711] ppid=1646 vsize=10846984 memory=2084580 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1711/stat : 1711 (java) S 1646 1649 30069 0 -1 1077944384 6 13409 0 0 0 0 5 3 20 0 15 0 417194152 11107311616 521145 33554432000 4194304 4196468 140727986885440 139804608029440 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1712] ppid=1646 vsize=10846984 memory=2084580 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1712/stat : 1712 (java) S 1646 1649 30069 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 417194154 11107311616 521145 33554432000 4194304 4196468 140727986885440 139804300629968 139805736224667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1713] ppid=1646 vsize=10846984 memory=2072464 CPUtime=6.01 cores=1,3,5,7
/proc/1649/task/1713/stat : 1713 (java) S 1646 1649 30069 0 -1 1077944384 32327 13409 0 0 589 4 5 3 20 0 15 0 417194154 11107311616 521145 33554432000 4194304 4196468 140727986885440 139804704479984 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1714] ppid=1646 vsize=10846984 memory=2072464 CPUtime=5.71 cores=1,3,5,7
/proc/1649/task/1714/stat : 1714 (java) S 1646 1649 30069 0 -1 1077944384 30408 13409 0 0 559 4 5 3 20 0 15 0 417194155 11107311616 521145 33554432000 4194304 4196468 140727986885440 139804703427440 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1715] ppid=1646 vsize=10846984 memory=2084580 CPUtime=2.2 cores=1,3,5,7
/proc/1649/task/1715/stat : 1715 (java) S 1646 1649 30069 0 -1 1077944384 17755 13409 0 0 208 4 5 3 20 0 15 0 417194155 11107311616 521145 33554432000 4194304 4196468 140727986885440 139804702374384 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1716] ppid=1646 vsize=10846984 memory=2083620 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1716/stat : 1716 (java) S 1646 1649 30069 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 417194155 11107311616 521145 33554432000 4194304 4196468 140727986885440 139804267072352 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1717] ppid=1646 vsize=10846984 memory=8580 CPUtime=1.42 cores=1,3,5,7
/proc/1649/task/1717/stat : 1717 (java) S 1646 1649 30069 0 -1 1077944384 1873 13409 0 0 59 75 5 3 20 0 15 0 417194155 11107311616 521145 33554432000 4194304 4196468 140727986885440 139804701321776 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
Current children cumulated CPU time: 2429.47 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2084580 KiB
[startup+2442.3 s]
/proc/loadavg: 0.97 1.17 1.36 2/206 2016
/proc/meminfo: memFree=29344904/32770624 swapFree=66919036/67108860
[pid=1649] ppid=1646 vsize=10846984 memory=2146216 CPUtime=2489.57 cores=1,3,5,7
/proc/1649/stat : 1649 (java) S 1646 1649 30069 0 -1 1077944320 589795 13409 0 0 248644 305 5 3 20 0 15 0 417194140 11107311616 536554 33554432000 4194304 4196468 140727986885440 140727986867984 139805736206071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
/proc/1649/statm: 2711746 536554 3635 1 0 2673805 0
[pid=1649/tid=1702] ppid=1646 vsize=10846984 memory=2135408 CPUtime=2424.11 cores=1,3,5,7
/proc/1649/task/1702/stat : 1702 (java) R 1646 1649 30069 0 -1 4202560 374089 13409 0 0 242336 67 5 3 20 0 15 0 417194149 11107311616 536554 33554432000 4194304 4196468 140727986885440 139805708037024 139805302985230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1703] ppid=1646 vsize=10846984 memory=2145356 CPUtime=11.42 cores=1,3,5,7
/proc/1649/task/1703/stat : 1703 (java) S 1646 1649 30069 0 -1 1077944384 29925 13409 0 0 1099 35 5 3 20 0 15 0 417194150 11107311616 536554 33554432000 4194304 4196468 140727986885440 139805740448784 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1704] ppid=1646 vsize=10846984 memory=2145356 CPUtime=11.38 cores=1,3,5,7
/proc/1649/task/1704/stat : 1704 (java) S 1646 1649 30069 0 -1 1077944384 24033 13409 0 0 1092 38 5 3 20 0 15 0 417194150 11107311616 536554 33554432000 4194304 4196468 140727986885440 139805628722320 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1707] ppid=1646 vsize=10846984 memory=2146108 CPUtime=11.41 cores=1,3,5,7
/proc/1649/task/1707/stat : 1707 (java) S 1646 1649 30069 0 -1 1077944384 22520 13409 0 0 1098 35 5 3 20 0 15 0 417194150 11107311616 536554 33554432000 4194304 4196468 140727986885440 139805627669264 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1708] ppid=1646 vsize=10846984 memory=2146216 CPUtime=11.39 cores=1,3,5,7
/proc/1649/task/1708/stat : 1708 (java) S 1646 1649 30069 0 -1 1077944384 23823 13409 0 0 1096 35 5 3 20 0 15 0 417194150 11107311616 536554 33554432000 4194304 4196468 140727986885440 139805626616720 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1709] ppid=1646 vsize=10846984 memory=2146216 CPUtime=5.1 cores=1,3,5,7
/proc/1649/task/1709/stat : 1709 (java) S 1646 1649 30069 0 -1 1077944384 30748 13409 0 0 464 38 5 3 20 0 15 0 417194151 11107311616 536554 33554432000 4194304 4196468 140727986885440 139804739090672 139805736217218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1710] ppid=1646 vsize=10846984 memory=2146108 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1710/stat : 1710 (java) S 1646 1649 30069 0 -1 1077944384 49 13409 0 0 0 0 5 3 20 0 15 0 417194152 11107311616 536554 33554432000 4194304 4196468 140727986885440 139804738037024 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1711] ppid=1646 vsize=10846984 memory=3616 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1711/stat : 1711 (java) S 1646 1649 30069 0 -1 1077944384 6 13409 0 0 0 0 5 3 20 0 15 0 417194152 11107311616 536554 33554432000 4194304 4196468 140727986885440 139804608029440 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1712] ppid=1646 vsize=10846984 memory=2146108 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1712/stat : 1712 (java) S 1646 1649 30069 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 417194154 11107311616 536554 33554432000 4194304 4196468 140727986885440 139804300629968 139805736224667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1713] ppid=1646 vsize=10846984 memory=2146108 CPUtime=6.01 cores=1,3,5,7
/proc/1649/task/1713/stat : 1713 (java) S 1646 1649 30069 0 -1 1077944384 32329 13409 0 0 589 4 5 3 20 0 15 0 417194154 11107311616 536554 33554432000 4194304 4196468 140727986885440 139804704479984 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1714] ppid=1646 vsize=10846984 memory=8112282956445269571 CPUtime=5.71 cores=1,3,5,7
/proc/1649/task/1714/stat : 1714 (java) S 1646 1649 30069 0 -1 1077944384 30411 13409 0 0 559 4 5 3 20 0 15 0 417194155 11107311616 536554 33554432000 4194304 4196468 140727986885440 139804703427440 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1715] ppid=1646 vsize=10846984 memory=4872558044660077418 CPUtime=2.2 cores=1,3,5,7
/proc/1649/task/1715/stat : 1715 (java) S 1646 1649 30069 0 -1 1077944384 17757 13409 0 0 208 4 5 3 20 0 15 0 417194155 11107311616 536554 33554432000 4194304 4196468 140727986885440 139804702374384 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1716] ppid=1646 vsize=10846984 memory=2146216 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1716/stat : 1716 (java) S 1646 1649 30069 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 417194155 11107311616 536554 33554432000 4194304 4196468 140727986885440 139804267072352 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1717] ppid=1646 vsize=10846984 memory=2135408 CPUtime=1.46 cores=1,3,5,7
/proc/1649/task/1717/stat : 1717 (java) S 1646 1649 30069 0 -1 1077944384 1893 13409 0 0 60 78 5 3 20 0 15 0 417194155 11107311616 536554 33554432000 4194304 4196468 140727986885440 139804701321776 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
Current children cumulated CPU time: 2489.57 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2146216 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2472.7 s]
/proc/loadavg: 0.98 1.15 1.35 2/206 2018
/proc/meminfo: memFree=29314496/32770624 swapFree=66919036/67108860
[pid=1649] ppid=1646 vsize=10846984 memory=2176792 CPUtime=2520.02 cores=1,3,5,7
/proc/1649/stat : 1649 (java) S 1646 1649 30069 0 -1 1077944320 624147 13409 0 0 251686 308 5 3 20 0 15 0 417194140 11107311616 544198 33554432000 4194304 4196468 140727986885440 140727986867984 139805736206071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
/proc/1649/statm: 2711746 544198 3635 1 0 2673805 0
[pid=1649/tid=1702] ppid=1646 vsize=10846984 memory=2166104 CPUtime=2454.48 cores=1,3,5,7
/proc/1649/task/1702/stat : 1702 (java) R 1646 1649 30069 0 -1 4202560 407908 13409 0 0 245372 68 5 3 20 0 15 0 417194149 11107311616 544198 33554432000 4194304 4196468 140727986885440 139805708041152 139805314187892 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1703] ppid=1646 vsize=10846984 memory=2828 CPUtime=11.43 cores=1,3,5,7
/proc/1649/task/1703/stat : 1703 (java) S 1646 1649 30069 0 -1 1077944384 30064 13409 0 0 1100 35 5 3 20 0 15 0 417194150 11107311616 544198 33554432000 4194304 4196468 140727986885440 139805740448784 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1704] ppid=1646 vsize=10846984 memory=2176792 CPUtime=11.39 cores=1,3,5,7
/proc/1649/task/1704/stat : 1704 (java) S 1646 1649 30069 0 -1 1077944384 24145 13409 0 0 1093 38 5 3 20 0 15 0 417194150 11107311616 544198 33554432000 4194304 4196468 140727986885440 139805628722320 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1707] ppid=1646 vsize=10846984 memory=2176240 CPUtime=11.42 cores=1,3,5,7
/proc/1649/task/1707/stat : 1707 (java) S 1646 1649 30069 0 -1 1077944384 22646 13409 0 0 1099 35 5 3 20 0 15 0 417194150 11107311616 544198 33554432000 4194304 4196468 140727986885440 139805627669264 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1708] ppid=1646 vsize=10846984 memory=2176792 CPUtime=11.4 cores=1,3,5,7
/proc/1649/task/1708/stat : 1708 (java) S 1646 1649 30069 0 -1 1077944384 23955 13409 0 0 1097 35 5 3 20 0 15 0 417194150 11107311616 544198 33554432000 4194304 4196468 140727986885440 139805626616720 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1709] ppid=1646 vsize=10846984 memory=2176792 CPUtime=5.11 cores=1,3,5,7
/proc/1649/task/1709/stat : 1709 (java) S 1646 1649 30069 0 -1 1077944384 30770 13409 0 0 464 39 5 3 20 0 15 0 417194151 11107311616 544198 33554432000 4194304 4196468 140727986885440 139804739090672 139805736217218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1710] ppid=1646 vsize=10846984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1710/stat : 1710 (java) S 1646 1649 30069 0 -1 1077944384 49 13409 0 0 0 0 5 3 20 0 15 0 417194152 11107311616 544198 33554432000 4194304 4196468 140727986885440 139804738037024 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1711] ppid=1646 vsize=10846984 memory=2176792 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1711/stat : 1711 (java) S 1646 1649 30069 0 -1 1077944384 6 13409 0 0 0 0 5 3 20 0 15 0 417194152 11107311616 544198 33554432000 4194304 4196468 140727986885440 139804608029440 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1712] ppid=1646 vsize=10846984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1712/stat : 1712 (java) S 1646 1649 30069 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 417194154 11107311616 544198 33554432000 4194304 4196468 140727986885440 139804300629968 139805736224667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1713] ppid=1646 vsize=10846984 memory=2176264 CPUtime=6.01 cores=1,3,5,7
/proc/1649/task/1713/stat : 1713 (java) S 1646 1649 30069 0 -1 1077944384 32329 13409 0 0 589 4 5 3 20 0 15 0 417194154 11107311616 544198 33554432000 4194304 4196468 140727986885440 139804704479984 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1714] ppid=1646 vsize=10846984 memory=2176792 CPUtime=5.71 cores=1,3,5,7
/proc/1649/task/1714/stat : 1714 (java) S 1646 1649 30069 0 -1 1077944384 30411 13409 0 0 559 4 5 3 20 0 15 0 417194155 11107311616 544198 33554432000 4194304 4196468 140727986885440 139804703427440 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1715] ppid=1646 vsize=10846984 memory=2176792 CPUtime=2.2 cores=1,3,5,7
/proc/1649/task/1715/stat : 1715 (java) S 1646 1649 30069 0 -1 1077944384 17757 13409 0 0 208 4 5 3 20 0 15 0 417194155 11107311616 544198 33554432000 4194304 4196468 140727986885440 139804702374384 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1716] ppid=1646 vsize=10846984 memory=2176792 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1716/stat : 1716 (java) S 1646 1649 30069 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 417194155 11107311616 544198 33554432000 4194304 4196468 140727986885440 139804267072352 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1717] ppid=1646 vsize=10846984 memory=8112282956445269571 CPUtime=1.48 cores=1,3,5,7
/proc/1649/task/1717/stat : 1717 (java) S 1646 1649 30069 0 -1 1077944384 1895 13409 0 0 61 79 5 3 20 0 15 0 417194155 11107311616 544198 33554432000 4194304 4196468 140727986885440 139804701321776 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2176792 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2472.75 s]
# the end of solver process 1649 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.94 s, system=3.14249 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2472.7 s]
/proc/loadavg: 0.98 1.15 1.35 2/206 2018
/proc/meminfo: memFree=29314496/32770624 swapFree=66919036/67108860
[pid=1649] ppid=1646 vsize=10846984 memory=2176792 CPUtime=2520.02 cores=1,3,5,7
/proc/1649/stat : 1649 (java) S 1646 1649 30069 0 -1 1077944320 624147 13409 0 0 251686 308 5 3 20 0 15 0 417194140 11107311616 544198 33554432000 4194304 4196468 140727986885440 140727986867984 139805736206071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
/proc/1649/statm: 2711746 544198 3635 1 0 2673805 0
[pid=1649/tid=1702] ppid=1646 vsize=10846984 memory=2166104 CPUtime=2454.48 cores=1,3,5,7
/proc/1649/task/1702/stat : 1702 (java) R 1646 1649 30069 0 -1 4202560 407908 13409 0 0 245372 68 5 3 20 0 15 0 417194149 11107311616 544198 33554432000 4194304 4196468 140727986885440 139805708041152 139805314187892 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1703] ppid=1646 vsize=10846984 memory=2828 CPUtime=11.43 cores=1,3,5,7
/proc/1649/task/1703/stat : 1703 (java) S 1646 1649 30069 0 -1 1077944384 30064 13409 0 0 1100 35 5 3 20 0 15 0 417194150 11107311616 544198 33554432000 4194304 4196468 140727986885440 139805740448784 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1704] ppid=1646 vsize=10846984 memory=2176792 CPUtime=11.39 cores=1,3,5,7
/proc/1649/task/1704/stat : 1704 (java) S 1646 1649 30069 0 -1 1077944384 24145 13409 0 0 1093 38 5 3 20 0 15 0 417194150 11107311616 544198 33554432000 4194304 4196468 140727986885440 139805628722320 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1707] ppid=1646 vsize=10846984 memory=2176240 CPUtime=11.42 cores=1,3,5,7
/proc/1649/task/1707/stat : 1707 (java) S 1646 1649 30069 0 -1 1077944384 22646 13409 0 0 1099 35 5 3 20 0 15 0 417194150 11107311616 544198 33554432000 4194304 4196468 140727986885440 139805627669264 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1708] ppid=1646 vsize=10846984 memory=2176792 CPUtime=11.4 cores=1,3,5,7
/proc/1649/task/1708/stat : 1708 (java) S 1646 1649 30069 0 -1 1077944384 23955 13409 0 0 1097 35 5 3 20 0 15 0 417194150 11107311616 544198 33554432000 4194304 4196468 140727986885440 139805626616720 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1709] ppid=1646 vsize=10846984 memory=2176792 CPUtime=5.11 cores=1,3,5,7
/proc/1649/task/1709/stat : 1709 (java) S 1646 1649 30069 0 -1 1077944384 30770 13409 0 0 464 39 5 3 20 0 15 0 417194151 11107311616 544198 33554432000 4194304 4196468 140727986885440 139804739090672 139805736217218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1710] ppid=1646 vsize=10846984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1710/stat : 1710 (java) S 1646 1649 30069 0 -1 1077944384 49 13409 0 0 0 0 5 3 20 0 15 0 417194152 11107311616 544198 33554432000 4194304 4196468 140727986885440 139804738037024 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1711] ppid=1646 vsize=10846984 memory=2176792 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1711/stat : 1711 (java) S 1646 1649 30069 0 -1 1077944384 6 13409 0 0 0 0 5 3 20 0 15 0 417194152 11107311616 544198 33554432000 4194304 4196468 140727986885440 139804608029440 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1712] ppid=1646 vsize=10846984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1712/stat : 1712 (java) S 1646 1649 30069 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 417194154 11107311616 544198 33554432000 4194304 4196468 140727986885440 139804300629968 139805736224667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1713] ppid=1646 vsize=10846984 memory=2176264 CPUtime=6.01 cores=1,3,5,7
/proc/1649/task/1713/stat : 1713 (java) S 1646 1649 30069 0 -1 1077944384 32329 13409 0 0 589 4 5 3 20 0 15 0 417194154 11107311616 544198 33554432000 4194304 4196468 140727986885440 139804704479984 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1714] ppid=1646 vsize=10846984 memory=2176792 CPUtime=5.71 cores=1,3,5,7
/proc/1649/task/1714/stat : 1714 (java) S 1646 1649 30069 0 -1 1077944384 30411 13409 0 0 559 4 5 3 20 0 15 0 417194155 11107311616 544198 33554432000 4194304 4196468 140727986885440 139804703427440 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1715] ppid=1646 vsize=10846984 memory=2176792 CPUtime=2.2 cores=1,3,5,7
/proc/1649/task/1715/stat : 1715 (java) S 1646 1649 30069 0 -1 1077944384 17757 13409 0 0 208 4 5 3 20 0 15 0 417194155 11107311616 544198 33554432000 4194304 4196468 140727986885440 139804702374384 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1716] ppid=1646 vsize=10846984 memory=2176792 CPUtime=0.08 cores=1,3,5,7
/proc/1649/task/1716/stat : 1716 (java) S 1646 1649 30069 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 417194155 11107311616 544198 33554432000 4194304 4196468 140727986885440 139804267072352 139805736216277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
[pid=1649/tid=1717] ppid=1646 vsize=10846984 memory=8112282956445269571 CPUtime=1.48 cores=1,3,5,7
/proc/1649/task/1717/stat : 1717 (java) S 1646 1649 30069 0 -1 1077944384 1895 13409 0 0 61 79 5 3 20 0 15 0 417194155 11107311616 544198 33554432000 4194304 4196468 140727986885440 139804701321776 139805736217218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140727986891504 140727986894021 140727986894021 140727986896847 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2176792 KiB
Child status: 143
Real time (s): 2472.75
CPU time (s): 2520.08
CPU user time (s): 2516.94
CPU system time (s): 3.14249
CPU usage (%): 101.914
Max. virtual memory (cumulated for all children) (KiB): 10849680
Max. memory (cumulated for all children) (KiB): 2176792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.94
system time used= 3.14249
maximum resident set size= 2181020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 638770
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 163492
involuntary context switches= 7896
# summary of solver processes directly reported to runsolver:
# pid: 1649
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.94
# total CPU system time (s): 3.14249
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3533 second user time and 22.9374 second system time
The end