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 (13325 MiB free)
memory of node 1: 16384 MiB (15366 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400915-1568678462/watcher-4400915-1568678462 -o /tmp/evaluation-result-4400915-1568678462/solver-4400915-1568678462 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568673289-24883 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1342979146 HOME/instance-4400915-1568678462.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=26147, runsolver pid=26144
[startup+0.100061 s]*
/proc/loadavg: 1.27 1.26 1.29 3/219 26204
/proc/meminfo: memFree=29375452/32770624 swapFree=66953604/67108860
[pid=26147] ppid=26144 vsize=9972712 memory=18336 CPUtime=0.09 cores=1,3,5,7
/proc/26147/stat : 26147 (java) S 26144 26147 24851 0 -1 1077944320 4338 13315 0 0 1 0 5 3 20 0 6 0 443788076 10212057088 4584 33554432000 4194304 4196468 140729908763744 140729908746288 139756940013303 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
/proc/26147/statm: 2493178 4584 1931 1 0 2481616 0
[pid=26147/tid=26200] ppid=26144 vsize=9972712 memory=7892391828772250251 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26200/stat : 26200 (java) R 26144 26147 24851 0 -1 4202560 2123 13315 0 0 0 0 5 3 20 0 6 0 443788085 10212057088 4584 33554432000 4194304 4196468 140729908763744 139756911850064 139756932730455 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26201] ppid=26144 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26201/stat : 26201 (java) S 26144 26147 24851 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 6 0 443788086 10212057088 4584 33554432000 4194304 4196468 140729908763744 139756944255760 139756940023509 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26202] ppid=26144 vsize=9972712 memory=140180352624256 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26202/stat : 26202 (java) S 26144 26147 24851 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 6 0 443788086 10212057088 4584 33554432000 4194304 4196468 140729908763744 139756832529296 139756940023509 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26203] ppid=26144 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26203/stat : 26203 (java) S 26144 26147 24851 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 6 0 443788086 10212057088 4584 33554432000 4194304 4196468 140729908763744 139756831476752 139756940023509 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26204] ppid=26144 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26204/stat : 26204 (java) S 26144 26147 24851 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 6 0 443788086 10212057088 4584 33554432000 4194304 4196468 140729908763744 139756830424208 139756940023509 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18336 KiB
[startup+0.210121 s]*
/proc/loadavg: 1.27 1.26 1.29 4/228 26213
/proc/meminfo: memFree=29353336/32770624 swapFree=66953604/67108860
[pid=26147] ppid=26144 vsize=10820196 memory=41124 CPUtime=0.27 cores=1,3,5,7
/proc/26147/stat : 26147 (java) S 26144 26147 24851 0 -1 1077944320 7115 13315 0 0 17 2 5 3 20 0 15 0 443788076 11079880704 10281 33554432000 4194304 4196468 140729908763744 140729908746288 139756940013303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
/proc/26147/statm: 2705049 10281 3298 1 0 2667149 0
[pid=26147/tid=26200] ppid=26144 vsize=10820196 memory=7822038051842263955 CPUtime=0.19 cores=1,3,5,7
/proc/26147/task/26200/stat : 26200 (java) R 26144 26147 24851 0 -1 4202560 3598 13315 0 0 10 1 5 3 20 0 15 0 443788085 11079880704 10281 33554432000 4194304 4196468 140729908763744 139756911827488 139756924093790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26201] ppid=26144 vsize=10820196 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26201/stat : 26201 (java) S 26144 26147 24851 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 443788086 11079880704 10281 33554432000 4194304 4196468 140729908763744 139756944255760 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26202] ppid=26144 vsize=10820196 memory=140180352624256 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26202/stat : 26202 (java) S 26144 26147 24851 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 443788086 11079880704 10281 33554432000 4194304 4196468 140729908763744 139756832529296 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26203] ppid=26144 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26203/stat : 26203 (java) S 26144 26147 24851 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 443788086 11079880704 10281 33554432000 4194304 4196468 140729908763744 139756831476752 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26204] ppid=26144 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26204/stat : 26204 (java) S 26144 26147 24851 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 443788086 11079880704 10281 33554432000 4194304 4196468 140729908763744 139756830424208 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26205] ppid=26144 vsize=10820196 memory=140180352624256 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26205/stat : 26205 (java) S 26144 26147 24851 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 443788088 11079880704 10281 33554432000 4194304 4196468 140729908763744 139756399417328 139756940024450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26206] ppid=26144 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26206/stat : 26206 (java) S 26144 26147 24851 0 -1 1077944384 33 13315 0 0 0 0 5 3 20 0 15 0 443788088 11079880704 10281 33554432000 4194304 4196468 140729908763744 139756398363552 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26207] ppid=26144 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26207/stat : 26207 (java) S 26144 26147 24851 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 443788088 11079880704 10281 33554432000 4194304 4196468 140729908763744 139755752776688 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26208] ppid=26144 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26208/stat : 26208 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788091 11079880704 10281 33554432000 4194304 4196468 140729908763744 139755512486096 139756940031899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26209] ppid=26144 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26147/task/26209/stat : 26209 (java) S 26144 26147 24851 0 -1 1077944384 467 13315 0 0 1 0 5 3 20 0 15 0 443788091 11079880704 10281 33554432000 4194304 4196468 140729908763744 139756364806640 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26210] ppid=26144 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/26147/task/26210/stat : 26210 (java) S 26144 26147 24851 0 -1 1077944384 186 13315 0 0 1 0 5 3 20 0 15 0 443788091 11079880704 10281 33554432000 4194304 4196468 140729908763744 139756363754096 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26211] ppid=26144 vsize=10820196 memory=140180352624256 CPUtime=0.11 cores=1,3,5,7
/proc/26147/task/26211/stat : 26211 (java) S 26144 26147 24851 0 -1 1077944384 606 13315 0 0 3 0 5 3 20 0 15 0 443788091 11079880704 10281 33554432000 4194304 4196468 140729908763744 139756362701552 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26212] ppid=26144 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26212/stat : 26212 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788091 11079880704 10281 33554432000 4194304 4196468 140729908763744 139755478928480 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26213] ppid=26144 vsize=10820196 memory=140180352624256 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26213/stat : 26213 (java) S 26144 26147 24851 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 443788091 11079880704 10281 33554432000 4194304 4196468 140729908763744 139756361648432 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 41124 KiB
[startup+0.310465 s]*
/proc/loadavg: 1.27 1.26 1.29 3/228 26213
/proc/meminfo: memFree=29341908/32770624 swapFree=66953604/67108860
[pid=26147] ppid=26144 vsize=10820196 memory=50496 CPUtime=0.41 cores=1,3,5,7
/proc/26147/stat : 26147 (java) S 26144 26147 24851 0 -1 1077944320 10361 13315 0 0 29 4 5 3 20 0 15 0 443788076 11079880704 12624 33554432000 4194304 4196468 140729908763744 140729908746288 139756940013303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
/proc/26147/statm: 2705049 12624 3309 1 0 2667149 0
[pid=26147/tid=26200] ppid=26144 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/26147/task/26200/stat : 26200 (java) R 26144 26147 24851 0 -1 4202560 6832 13315 0 0 18 3 5 3 20 0 15 0 443788085 11079880704 12624 33554432000 4194304 4196468 140729908763744 139756911831760 139756926262507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26201] ppid=26144 vsize=10820196 memory=7809910713947349871 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26201/stat : 26201 (java) S 26144 26147 24851 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 443788086 11079880704 12624 33554432000 4194304 4196468 140729908763744 139756944255760 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26202] ppid=26144 vsize=10820196 memory=5787233549803348032 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26202/stat : 26202 (java) S 26144 26147 24851 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 443788086 11079880704 12624 33554432000 4194304 4196468 140729908763744 139756832529296 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26203] ppid=26144 vsize=10820196 memory=7649539568776203458 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26203/stat : 26203 (java) S 26144 26147 24851 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 443788086 11079880704 12624 33554432000 4194304 4196468 140729908763744 139756831476752 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26204] ppid=26144 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26204/stat : 26204 (java) S 26144 26147 24851 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 443788086 11079880704 12624 33554432000 4194304 4196468 140729908763744 139756830424208 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26205] ppid=26144 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26205/stat : 26205 (java) S 26144 26147 24851 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 443788088 11079880704 12624 33554432000 4194304 4196468 140729908763744 139756399417328 139756940024450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26206] ppid=26144 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26206/stat : 26206 (java) S 26144 26147 24851 0 -1 1077944384 33 13315 0 0 0 0 5 3 20 0 15 0 443788088 11079880704 12624 33554432000 4194304 4196468 140729908763744 139756398363552 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26207] ppid=26144 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26207/stat : 26207 (java) S 26144 26147 24851 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 443788088 11079880704 12624 33554432000 4194304 4196468 140729908763744 139755752776688 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26208] ppid=26144 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26208/stat : 26208 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788091 11079880704 12624 33554432000 4194304 4196468 140729908763744 139755512486096 139756940031899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26209] ppid=26144 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26147/task/26209/stat : 26209 (java) S 26144 26147 24851 0 -1 1077944384 467 13315 0 0 1 0 5 3 20 0 15 0 443788091 11079880704 12624 33554432000 4194304 4196468 140729908763744 139756364806640 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26210] ppid=26144 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26147/task/26210/stat : 26210 (java) S 26144 26147 24851 0 -1 1077944384 187 13315 0 0 2 0 5 3 20 0 15 0 443788091 11079880704 12624 33554432000 4194304 4196468 140729908763744 139756363754096 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26211] ppid=26144 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/26147/task/26211/stat : 26211 (java) S 26144 26147 24851 0 -1 1077944384 615 13315 0 0 5 0 5 3 20 0 15 0 443788091 11079880704 12624 33554432000 4194304 4196468 140729908763744 139756362701552 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26212] ppid=26144 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26212/stat : 26212 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788091 11079880704 12624 33554432000 4194304 4196468 140729908763744 139755478928480 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26213] ppid=26144 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26213/stat : 26213 (java) S 26144 26147 24851 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 443788091 11079880704 12624 33554432000 4194304 4196468 140729908763744 139756361648432 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50496 KiB
[startup+0.70069 s]
/proc/loadavg: 1.27 1.26 1.29 3/228 26213
/proc/meminfo: memFree=29327248/32770624 swapFree=66953604/67108860
[pid=26147] ppid=26144 vsize=10824364 memory=82392 CPUtime=1.14 cores=1,3,5,7
/proc/26147/stat : 26147 (java) S 26144 26147 24851 0 -1 1077944320 14359 13315 0 0 100 6 5 3 20 0 15 0 443788076 11084148736 20598 33554432000 4194304 4196468 140729908763744 140729908746288 139756940013303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
/proc/26147/statm: 2706091 20598 3508 1 0 2668173 0
[pid=26147/tid=26200] ppid=26144 vsize=10824364 memory=2241 CPUtime=0.66 cores=1,3,5,7
/proc/26147/task/26200/stat : 26200 (java) R 26144 26147 24851 0 -1 4202560 9842 13315 0 0 54 4 5 3 20 0 15 0 443788085 11084148736 20598 33554432000 4194304 4196468 140729908763744 139756911839856 139756924093790 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26201] ppid=26144 vsize=10824364 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26201/stat : 26201 (java) S 26144 26147 24851 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 443788086 11084148736 20598 33554432000 4194304 4196468 140729908763744 139756944255760 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26202] ppid=26144 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26202/stat : 26202 (java) S 26144 26147 24851 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 443788086 11084148736 20598 33554432000 4194304 4196468 140729908763744 139756832529296 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26203] ppid=26144 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26203/stat : 26203 (java) S 26144 26147 24851 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 443788086 11084148736 20598 33554432000 4194304 4196468 140729908763744 139756831476752 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26204] ppid=26144 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26204/stat : 26204 (java) S 26144 26147 24851 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 443788086 11084148736 20598 33554432000 4194304 4196468 140729908763744 139756830424208 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26205] ppid=26144 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26205/stat : 26205 (java) S 26144 26147 24851 0 -1 1077944384 6 13315 0 0 0 0 5 3 20 0 15 0 443788088 11084148736 20598 33554432000 4194304 4196468 140729908763744 139756399417328 139756940024450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26206] ppid=26144 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26206/stat : 26206 (java) S 26144 26147 24851 0 -1 1077944384 33 13315 0 0 0 0 5 3 20 0 15 0 443788088 11084148736 20598 33554432000 4194304 4196468 140729908763744 139756398363552 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26207] ppid=26144 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26207/stat : 26207 (java) S 26144 26147 24851 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 443788088 11084148736 20598 33554432000 4194304 4196468 140729908763744 139755752776688 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26208] ppid=26144 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26208/stat : 26208 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788091 11084148736 20598 33554432000 4194304 4196468 140729908763744 139755512486096 139756940031899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26209] ppid=26144 vsize=10824364 memory=140180216383376 CPUtime=0.22 cores=1,3,5,7
/proc/26147/task/26209/stat : 26209 (java) R 26144 26147 24851 0 -1 4202560 940 13315 0 0 14 0 5 3 20 0 15 0 443788091 11084148736 20598 33554432000 4194304 4196468 140729908763744 139756364806640 139756919231066 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26210] ppid=26144 vsize=10824364 memory=24964 CPUtime=0.21 cores=1,3,5,7
/proc/26147/task/26210/stat : 26210 (java) R 26144 26147 24851 0 -1 4202560 520 13315 0 0 13 0 5 3 20 0 15 0 443788091 11084148736 20598 33554432000 4194304 4196468 140729908763744 139756363754096 139756919669712 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26211] ppid=26144 vsize=10824364 memory=2244 CPUtime=0.25 cores=1,3,5,7
/proc/26147/task/26211/stat : 26211 (java) S 26144 26147 24851 0 -1 1077944384 797 13315 0 0 17 0 5 3 20 0 15 0 443788091 11084148736 20598 33554432000 4194304 4196468 140729908763744 139756362701552 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26212] ppid=26144 vsize=10824364 memory=140180216380784 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26212/stat : 26212 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788091 11084148736 20598 33554432000 4194304 4196468 140729908763744 139755478928480 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26213] ppid=26144 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26213/stat : 26213 (java) S 26144 26147 24851 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 443788091 11084148736 20598 33554432000 4194304 4196468 140729908763744 139756361648432 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 82392 KiB
[startup+1.50075 s]
/proc/loadavg: 1.27 1.26 1.29 3/228 26213
/proc/meminfo: memFree=29283064/32770624 swapFree=66953604/67108860
[pid=26147] ppid=26144 vsize=10834680 memory=170744 CPUtime=2.47 cores=1,3,5,7
/proc/26147/stat : 26147 (java) S 26144 26147 24851 0 -1 1077944320 21871 13315 0 0 229 10 5 3 20 0 15 0 443788076 11094712320 42686 33554432000 4194304 4196468 140729908763744 140729908746288 139756940013303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
/proc/26147/statm: 2708670 42686 3583 1 0 2670733 0
[pid=26147/tid=26200] ppid=26144 vsize=10834680 memory=18 CPUtime=1.43 cores=1,3,5,7
/proc/26147/task/26200/stat : 26200 (java) R 26144 26147 24851 0 -1 4202560 14755 13315 0 0 129 6 5 3 20 0 15 0 443788085 11094712320 42686 33554432000 4194304 4196468 140729908763744 139756911810064 139756918458094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26201] ppid=26144 vsize=10834680 memory=25 CPUtime=0.09 cores=1,3,5,7
/proc/26147/task/26201/stat : 26201 (java) S 26144 26147 24851 0 -1 1077944384 417 13315 0 0 1 0 5 3 20 0 15 0 443788086 11094712320 42686 33554432000 4194304 4196468 140729908763744 139756944255760 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26202] ppid=26144 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26202/stat : 26202 (java) S 26144 26147 24851 0 -1 1077944384 37 13315 0 0 0 0 5 3 20 0 15 0 443788086 11094712320 42686 33554432000 4194304 4196468 140729908763744 139756832529296 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26203] ppid=26144 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26147/task/26203/stat : 26203 (java) S 26144 26147 24851 0 -1 1077944384 78 13315 0 0 1 0 5 3 20 0 15 0 443788086 11094712320 42686 33554432000 4194304 4196468 140729908763744 139756831476752 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26204] ppid=26144 vsize=10834680 memory=99160 CPUtime=0.09 cores=1,3,5,7
/proc/26147/task/26204/stat : 26204 (java) S 26144 26147 24851 0 -1 1077944384 99 13315 0 0 1 0 5 3 20 0 15 0 443788086 11094712320 42686 33554432000 4194304 4196468 140729908763744 139756830424208 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26205] ppid=26144 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26147/task/26205/stat : 26205 (java) S 26144 26147 24851 0 -1 1077944384 825 13315 0 0 1 0 5 3 20 0 15 0 443788088 11094712320 42686 33554432000 4194304 4196468 140729908763744 139756399417328 139756940024450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26206] ppid=26144 vsize=10834680 memory=7018394261716494164 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26206/stat : 26206 (java) S 26144 26147 24851 0 -1 1077944384 34 13315 0 0 0 0 5 3 20 0 15 0 443788088 11094712320 42686 33554432000 4194304 4196468 140729908763744 139756398363616 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26207] ppid=26144 vsize=10834680 memory=7595151830773359189 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26207/stat : 26207 (java) S 26144 26147 24851 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 443788088 11094712320 42686 33554432000 4194304 4196468 140729908763744 139755752776704 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26208] ppid=26144 vsize=10834680 memory=7156619404760674663 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26208/stat : 26208 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788091 11094712320 42686 33554432000 4194304 4196468 140729908763744 139755512486096 139756940031899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26209] ppid=26144 vsize=10834680 memory=5788630088553161816 CPUtime=0.35 cores=1,3,5,7
/proc/26147/task/26209/stat : 26209 (java) S 26144 26147 24851 0 -1 1077944384 1107 13315 0 0 27 0 5 3 20 0 15 0 443788091 11094712320 42686 33554432000 4194304 4196468 140729908763744 139756364806640 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26210] ppid=26144 vsize=10834680 memory=8170210765931368560 CPUtime=0.32 cores=1,3,5,7
/proc/26147/task/26210/stat : 26210 (java) S 26144 26147 24851 0 -1 1077944384 663 13315 0 0 24 0 5 3 20 0 15 0 443788091 11094712320 42686 33554432000 4194304 4196468 140729908763744 139756363754096 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26211] ppid=26144 vsize=10834680 memory=7018394261716494164 CPUtime=0.5 cores=1,3,5,7
/proc/26147/task/26211/stat : 26211 (java) R 26144 26147 24851 0 -1 4202560 1637 13315 0 0 41 1 5 3 20 0 15 0 443788091 11094712320 42686 33554432000 4194304 4196468 140729908763744 139756362701552 139756921422985 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26212] ppid=26144 vsize=10834680 memory=7018394261716494164 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26212/stat : 26212 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788091 11094712320 42686 33554432000 4194304 4196468 140729908763744 139755478928480 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26213] ppid=26144 vsize=10834680 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26213/stat : 26213 (java) S 26144 26147 24851 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 443788091 11094712320 42686 33554432000 4194304 4196468 140729908763744 139756361648432 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/26147/task/26200/stat : 26200 (java) R 26144 26147 24851 0 -1 4202560 66609 13315 0 0 235516 52 5 3 20 0 15 0 443788085 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756911848016 139756523860213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26201] ppid=26144 vsize=10849048 memory=822076 CPUtime=12.78 cores=1,3,5,7
/proc/26147/task/26201/stat : 26201 (java) S 26144 26147 24851 0 -1 1077944384 18408 13315 0 0 1202 68 5 3 20 0 15 0 443788086 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756944255760 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26202] ppid=26144 vsize=10849048 memory=6791534058613427641 CPUtime=12.78 cores=1,3,5,7
/proc/26147/task/26202/stat : 26202 (java) S 26144 26147 24851 0 -1 1077944384 14875 13315 0 0 1211 59 5 3 20 0 15 0 443788086 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756832529296 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26203] ppid=26144 vsize=10849048 memory=822076 CPUtime=12.82 cores=1,3,5,7
/proc/26147/task/26203/stat : 26203 (java) S 26144 26147 24851 0 -1 1077944384 7852 13315 0 0 1213 61 5 3 20 0 15 0 443788086 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756831476752 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26204] ppid=26144 vsize=10849048 memory=820028 CPUtime=12.84 cores=1,3,5,7
/proc/26147/task/26204/stat : 26204 (java) S 26144 26147 24851 0 -1 1077944384 11278 13315 0 0 1216 60 5 3 20 0 15 0 443788086 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756830424208 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26205] ppid=26144 vsize=10849048 memory=820028 CPUtime=11.27 cores=1,3,5,7
/proc/26147/task/26205/stat : 26205 (java) S 26144 26147 24851 0 -1 1077944384 15119 13315 0 0 1062 57 5 3 20 0 15 0 443788088 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756399417328 139756940024450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26206] ppid=26144 vsize=10849048 memory=822076 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26206/stat : 26206 (java) S 26144 26147 24851 0 -1 1077944384 39 13315 0 0 0 0 5 3 20 0 15 0 443788088 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756398363616 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26207] ppid=26144 vsize=10849048 memory=1273 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26207/stat : 26207 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788088 11109425152 205519 33554432000 4194304 4196468 140729908763744 139755752776704 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26208] ppid=26144 vsize=10849048 memory=820028 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26208/stat : 26208 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139755512486096 139756940031899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26209] ppid=26144 vsize=10849048 memory=822076 CPUtime=5.03 cores=1,3,5,7
/proc/26147/task/26209/stat : 26209 (java) S 26144 26147 24851 0 -1 1077944384 21823 13315 0 0 490 5 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756364806640 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26210] ppid=26144 vsize=10849048 memory=822076 CPUtime=4.94 cores=1,3,5,7
/proc/26147/task/26210/stat : 26210 (java) S 26144 26147 24851 0 -1 1077944384 21151 13315 0 0 479 7 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756363754096 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26211] ppid=26144 vsize=10849048 memory=0 CPUtime=5.16 cores=1,3,5,7
/proc/26147/task/26211/stat : 26211 (java) S 26144 26147 24851 0 -1 1077944384 29904 13315 0 0 501 7 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756362701552 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26212] ppid=26144 vsize=10849048 memory=822076 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26212/stat : 26212 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139755478928480 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26213] ppid=26144 vsize=10849048 memory=3612 CPUtime=1.47 cores=1,3,5,7
/proc/26147/task/26213/stat : 26213 (java) S 26144 26147 24851 0 -1 1077944384 1509 13315 0 0 64 75 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756361648432 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
Current children cumulated CPU time: 2434.27 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 822076 KiB
[startup+2442.3 s]
/proc/loadavg: 1.78 1.43 1.39 3/228 26592
/proc/meminfo: memFree=27428120/32770624 swapFree=66953644/67108860
[pid=26147] ppid=26144 vsize=10849048 memory=822076 CPUtime=2495.27 cores=1,3,5,7
/proc/26147/stat : 26147 (java) S 26144 26147 24851 0 -1 1077944320 212393 13315 0 0 249125 394 5 3 20 0 15 0 443788076 11109425152 205519 33554432000 4194304 4196468 140729908763744 140729908746288 139756940013303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
/proc/26147/statm: 2712262 205519 3632 1 0 2674317 0
[pid=26147/tid=26200] ppid=26144 vsize=10849048 memory=822076 CPUtime=2415.08 cores=1,3,5,7
/proc/26147/task/26200/stat : 26200 (java) R 26144 26147 24851 0 -1 4202560 67361 13315 0 0 241447 53 5 3 20 0 15 0 443788085 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756911848576 139756521289351 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26201] ppid=26144 vsize=10849048 memory=822076 CPUtime=13.13 cores=1,3,5,7
/proc/26147/task/26201/stat : 26201 (java) S 26144 26147 24851 0 -1 1077944384 18468 13315 0 0 1235 70 5 3 20 0 15 0 443788086 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756944255760 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26202] ppid=26144 vsize=10849048 memory=822076 CPUtime=13.12 cores=1,3,5,7
/proc/26147/task/26202/stat : 26202 (java) S 26144 26147 24851 0 -1 1077944384 14950 13315 0 0 1244 60 5 3 20 0 15 0 443788086 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756832529296 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26203] ppid=26144 vsize=10849048 memory=822076 CPUtime=13.17 cores=1,3,5,7
/proc/26147/task/26203/stat : 26203 (java) S 26144 26147 24851 0 -1 1077944384 7960 13315 0 0 1247 62 5 3 20 0 15 0 443788086 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756831476752 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26204] ppid=26144 vsize=10849048 memory=822076 CPUtime=13.18 cores=1,3,5,7
/proc/26147/task/26204/stat : 26204 (java) S 26144 26147 24851 0 -1 1077944384 11651 13315 0 0 1249 61 5 3 20 0 15 0 443788086 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756830424208 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26205] ppid=26144 vsize=10849048 memory=822076 CPUtime=11.56 cores=1,3,5,7
/proc/26147/task/26205/stat : 26205 (java) S 26144 26147 24851 0 -1 1077944384 15334 13315 0 0 1089 59 5 3 20 0 15 0 443788088 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756399417328 139756940024450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26206] ppid=26144 vsize=10849048 memory=822076 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26206/stat : 26206 (java) S 26144 26147 24851 0 -1 1077944384 39 13315 0 0 0 0 5 3 20 0 15 0 443788088 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756398363616 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26207] ppid=26144 vsize=10849048 memory=822076 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26207/stat : 26207 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788088 11109425152 205519 33554432000 4194304 4196468 140729908763744 139755752776704 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26208] ppid=26144 vsize=10849048 memory=822076 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26208/stat : 26208 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139755512486096 139756940031899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26209] ppid=26144 vsize=10849048 memory=822076 CPUtime=5.03 cores=1,3,5,7
/proc/26147/task/26209/stat : 26209 (java) S 26144 26147 24851 0 -1 1077944384 21825 13315 0 0 490 5 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756364806640 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26210] ppid=26144 vsize=10849048 memory=822076 CPUtime=4.94 cores=1,3,5,7
/proc/26147/task/26210/stat : 26210 (java) S 26144 26147 24851 0 -1 1077944384 21153 13315 0 0 479 7 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756363754096 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26211] ppid=26144 vsize=10849048 memory=822076 CPUtime=5.16 cores=1,3,5,7
/proc/26147/task/26211/stat : 26211 (java) S 26144 26147 24851 0 -1 1077944384 29906 13315 0 0 501 7 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756362701552 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26212] ppid=26144 vsize=10849048 memory=280360433932768 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26212/stat : 26212 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139755478928480 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26213] ppid=26144 vsize=10849048 memory=822076 CPUtime=1.51 cores=1,3,5,7
/proc/26147/task/26213/stat : 26213 (java) S 26144 26147 24851 0 -1 1077944384 1526 13315 0 0 66 77 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756361648432 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
Current children cumulated CPU time: 2495.27 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 822076 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2466.7 s]
/proc/loadavg: 1.83 1.47 1.40 3/228 26593
/proc/meminfo: memFree=27429044/32770624 swapFree=66953644/67108860
[pid=26147] ppid=26144 vsize=10849048 memory=822076 CPUtime=2520.08 cores=1,3,5,7
/proc/26147/stat : 26147 (java) S 26144 26147 24851 0 -1 1077944320 213570 13315 0 0 251602 398 5 3 20 0 15 0 443788076 11109425152 205519 33554432000 4194304 4196468 140729908763744 140729908746288 139756940013303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
/proc/26147/statm: 2712262 205519 3632 1 0 2674317 0
[pid=26147/tid=26200] ppid=26144 vsize=10849048 memory=822076 CPUtime=2439.19 cores=1,3,5,7
/proc/26147/task/26200/stat : 26200 (java) R 26144 26147 24851 0 -1 4202560 67848 13315 0 0 243857 54 5 3 20 0 15 0 443788085 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756911848576 139756520209085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26201] ppid=26144 vsize=10849048 memory=822076 CPUtime=13.26 cores=1,3,5,7
/proc/26147/task/26201/stat : 26201 (java) S 26144 26147 24851 0 -1 1077944384 18483 13315 0 0 1248 70 5 3 20 0 15 0 443788086 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756944255760 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26202] ppid=26144 vsize=10849048 memory=822076 CPUtime=13.26 cores=1,3,5,7
/proc/26147/task/26202/stat : 26202 (java) S 26144 26147 24851 0 -1 1077944384 15276 13315 0 0 1257 61 5 3 20 0 15 0 443788086 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756832529296 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26203] ppid=26144 vsize=10849048 memory=822076 CPUtime=13.31 cores=1,3,5,7
/proc/26147/task/26203/stat : 26203 (java) S 26144 26147 24851 0 -1 1077944384 8051 13315 0 0 1260 63 5 3 20 0 15 0 443788086 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756831476752 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26204] ppid=26144 vsize=10849048 memory=822076 CPUtime=13.32 cores=1,3,5,7
/proc/26147/task/26204/stat : 26204 (java) S 26144 26147 24851 0 -1 1077944384 11703 13315 0 0 1262 62 5 3 20 0 15 0 443788086 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756830424208 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26205] ppid=26144 vsize=10849048 memory=822076 CPUtime=11.67 cores=1,3,5,7
/proc/26147/task/26205/stat : 26205 (java) S 26144 26147 24851 0 -1 1077944384 15526 13315 0 0 1100 59 5 3 20 0 15 0 443788088 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756399417328 139756940024450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26206] ppid=26144 vsize=10849048 memory=822076 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26206/stat : 26206 (java) S 26144 26147 24851 0 -1 1077944384 39 13315 0 0 0 0 5 3 20 0 15 0 443788088 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756398363616 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26207] ppid=26144 vsize=10849048 memory=3612 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26207/stat : 26207 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788088 11109425152 205519 33554432000 4194304 4196468 140729908763744 139755752776704 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26208] ppid=26144 vsize=10849048 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26208/stat : 26208 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139755512486096 139756940031899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26209] ppid=26144 vsize=10849048 memory=822076 CPUtime=5.03 cores=1,3,5,7
/proc/26147/task/26209/stat : 26209 (java) S 26144 26147 24851 0 -1 1077944384 21825 13315 0 0 490 5 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756364806640 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26210] ppid=26144 vsize=10849048 memory=822076 CPUtime=4.94 cores=1,3,5,7
/proc/26147/task/26210/stat : 26210 (java) S 26144 26147 24851 0 -1 1077944384 21153 13315 0 0 479 7 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756363754096 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26211] ppid=26144 vsize=10849048 memory=822076 CPUtime=5.16 cores=1,3,5,7
/proc/26147/task/26211/stat : 26211 (java) S 26144 26147 24851 0 -1 1077944384 29906 13315 0 0 501 7 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756362701552 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26212] ppid=26144 vsize=10849048 memory=822076 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26212/stat : 26212 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139755478928480 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26213] ppid=26144 vsize=10849048 memory=3612 CPUtime=1.53 cores=1,3,5,7
/proc/26147/task/26213/stat : 26213 (java) S 26144 26147 24851 0 -1 1077944384 1540 13315 0 0 67 78 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756361648432 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 822076 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2466.74 s]
# the end of solver process 26147 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.09 s, system=4.0275 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2466.7 s]
/proc/loadavg: 1.83 1.47 1.40 3/228 26593
/proc/meminfo: memFree=27429044/32770624 swapFree=66953644/67108860
[pid=26147] ppid=26144 vsize=10849048 memory=822076 CPUtime=2520.08 cores=1,3,5,7
/proc/26147/stat : 26147 (java) S 26144 26147 24851 0 -1 1077944320 213570 13315 0 0 251602 398 5 3 20 0 15 0 443788076 11109425152 205519 33554432000 4194304 4196468 140729908763744 140729908746288 139756940013303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
/proc/26147/statm: 2712262 205519 3632 1 0 2674317 0
[pid=26147/tid=26200] ppid=26144 vsize=10849048 memory=822076 CPUtime=2439.19 cores=1,3,5,7
/proc/26147/task/26200/stat : 26200 (java) R 26144 26147 24851 0 -1 4202560 67848 13315 0 0 243857 54 5 3 20 0 15 0 443788085 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756911848576 139756520209085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26201] ppid=26144 vsize=10849048 memory=822076 CPUtime=13.26 cores=1,3,5,7
/proc/26147/task/26201/stat : 26201 (java) S 26144 26147 24851 0 -1 1077944384 18483 13315 0 0 1248 70 5 3 20 0 15 0 443788086 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756944255760 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26202] ppid=26144 vsize=10849048 memory=822076 CPUtime=13.26 cores=1,3,5,7
/proc/26147/task/26202/stat : 26202 (java) S 26144 26147 24851 0 -1 1077944384 15276 13315 0 0 1257 61 5 3 20 0 15 0 443788086 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756832529296 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26203] ppid=26144 vsize=10849048 memory=822076 CPUtime=13.31 cores=1,3,5,7
/proc/26147/task/26203/stat : 26203 (java) S 26144 26147 24851 0 -1 1077944384 8051 13315 0 0 1260 63 5 3 20 0 15 0 443788086 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756831476752 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26204] ppid=26144 vsize=10849048 memory=822076 CPUtime=13.32 cores=1,3,5,7
/proc/26147/task/26204/stat : 26204 (java) S 26144 26147 24851 0 -1 1077944384 11703 13315 0 0 1262 62 5 3 20 0 15 0 443788086 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756830424208 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26205] ppid=26144 vsize=10849048 memory=822076 CPUtime=11.67 cores=1,3,5,7
/proc/26147/task/26205/stat : 26205 (java) S 26144 26147 24851 0 -1 1077944384 15526 13315 0 0 1100 59 5 3 20 0 15 0 443788088 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756399417328 139756940024450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26206] ppid=26144 vsize=10849048 memory=822076 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26206/stat : 26206 (java) S 26144 26147 24851 0 -1 1077944384 39 13315 0 0 0 0 5 3 20 0 15 0 443788088 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756398363616 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26207] ppid=26144 vsize=10849048 memory=3612 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26207/stat : 26207 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788088 11109425152 205519 33554432000 4194304 4196468 140729908763744 139755752776704 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26208] ppid=26144 vsize=10849048 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26208/stat : 26208 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139755512486096 139756940031899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26209] ppid=26144 vsize=10849048 memory=822076 CPUtime=5.03 cores=1,3,5,7
/proc/26147/task/26209/stat : 26209 (java) S 26144 26147 24851 0 -1 1077944384 21825 13315 0 0 490 5 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756364806640 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26210] ppid=26144 vsize=10849048 memory=822076 CPUtime=4.94 cores=1,3,5,7
/proc/26147/task/26210/stat : 26210 (java) S 26144 26147 24851 0 -1 1077944384 21153 13315 0 0 479 7 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756363754096 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26211] ppid=26144 vsize=10849048 memory=822076 CPUtime=5.16 cores=1,3,5,7
/proc/26147/task/26211/stat : 26211 (java) S 26144 26147 24851 0 -1 1077944384 29906 13315 0 0 501 7 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756362701552 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26212] ppid=26144 vsize=10849048 memory=822076 CPUtime=0.08 cores=1,3,5,7
/proc/26147/task/26212/stat : 26212 (java) S 26144 26147 24851 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139755478928480 139756940023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
[pid=26147/tid=26213] ppid=26144 vsize=10849048 memory=3612 CPUtime=1.53 cores=1,3,5,7
/proc/26147/task/26213/stat : 26213 (java) S 26144 26147 24851 0 -1 1077944384 1540 13315 0 0 67 78 5 3 20 0 15 0 443788091 11109425152 205519 33554432000 4194304 4196468 140729908763744 139756361648432 139756940024450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140729908771567 140729908774085 140729908774085 140729908776911 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 822076 KiB
Child status: 143
Real time (s): 2466.74
CPU time (s): 2520.12
CPU user time (s): 2516.09
CPU system time (s): 4.0275
CPU usage (%): 102.164
Max. virtual memory (cumulated for all children) (KiB): 10852032
Max. memory (cumulated for all children) (KiB): 933656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.09
system time used= 4.0275
maximum resident set size= 935656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227739
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 318364
involuntary context switches= 5695
# summary of solver processes directly reported to runsolver:
# pid: 26147
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.09
# total CPU system time (s): 4.0275
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3296 second user time and 22.8551 second system time
The end