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 (14350 MiB free)
memory of node 1: 16384 MiB (15724 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401269-1568680924/watcher-4401269-1568680924 -o /tmp/evaluation-result-4401269-1568680924/solver-4401269-1568680924 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568673289-15739 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1612266580 HOME/instance-4401269-1568680924.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18153, runsolver pid=18150
Current StackSize limit: 8192 KiB
[startup+0.100958 s]*
/proc/loadavg: 1.37 1.37 1.38 3/220 18210
/proc/meminfo: memFree=30788852/32770624 swapFree=66976644/67108860
[pid=18153] ppid=18150 vsize=9972712 memory=17080 CPUtime=0.09 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18150 18153 15707 0 -1 1077944320 4545 13318 0 0 1 0 5 3 20 0 6 0 444355064 10212057088 4270 33554432000 4194304 4196468 140729694442640 140729694425184 140290690121463 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
/proc/18153/statm: 2493178 4270 1935 1 0 2481616 0
[pid=18153/tid=18206] ppid=18150 vsize=9972712 memory=-8439527450518781933 CPUtime=0.09 cores=1,3,5,7
/proc/18153/task/18206/stat : 18206 (java) R 18150 18153 15707 0 -1 4202560 2337 13318 0 0 1 0 5 3 20 0 6 0 444355073 10212057088 4270 33554432000 4194304 4196468 140729694442640 140290661958224 140290676361520 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18207] ppid=18150 vsize=9972712 memory=4211973702277729674 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18207/stat : 18207 (java) S 18150 18153 15707 0 -1 1077944384 1 13318 0 0 0 0 5 3 20 0 6 0 444355074 10212057088 4336 33554432000 4194304 4196468 140729694442640 140290694364176 140290690131669 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18208] ppid=18150 vsize=9972712 memory=139976072939136 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18208/stat : 18208 (java) S 18150 18153 15707 0 -1 1077944384 2 13318 0 0 0 0 5 3 20 0 6 0 444355074 10212057088 4336 33554432000 4194304 4196468 140729694442640 140290613116048 140290690131669 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18209] ppid=18150 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18209/stat : 18209 (java) S 18150 18153 15707 0 -1 1077944384 1 13318 0 0 0 0 5 3 20 0 6 0 444355074 10212057088 4336 33554432000 4194304 4196468 140729694442640 140290612062992 140290690131669 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18210] ppid=18150 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18210/stat : 18210 (java) S 18150 18153 15707 0 -1 1077944384 2 13318 0 0 0 0 5 3 20 0 6 0 444355074 10212057088 4336 33554432000 4194304 4196468 140729694442640 140290261179280 140290690131669 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.209944 s]*
/proc/loadavg: 1.37 1.37 1.38 4/229 18219
/proc/meminfo: memFree=30770128/32770624 swapFree=66976644/67108860
[pid=18153] ppid=18150 vsize=10820196 memory=42376 CPUtime=0.27 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18150 18153 15707 0 -1 1077944320 7426 13318 0 0 18 1 5 3 20 0 15 0 444355064 11079880704 10594 33554432000 4194304 4196468 140729694442640 140729694425184 140290690121463 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
/proc/18153/statm: 2705049 10594 3285 1 0 2667149 0
[pid=18153/tid=18206] ppid=18150 vsize=10820196 memory=7900017517374083699 CPUtime=0.19 cores=1,3,5,7
/proc/18153/task/18206/stat : 18206 (java) R 18150 18153 15707 0 -1 4202560 3939 13318 0 0 11 0 5 3 20 0 15 0 444355073 11079880704 10660 33554432000 4194304 4196468 140729694442640 140290661938176 140290682358590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18207] ppid=18150 vsize=10820196 memory=4211973702277729674 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18207/stat : 18207 (java) S 18150 18153 15707 0 -1 1077944384 1 13318 0 0 0 0 5 3 20 0 15 0 444355074 11079880704 10660 33554432000 4194304 4196468 140729694442640 140290694364176 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18208] ppid=18150 vsize=10820196 memory=139976072939136 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18208/stat : 18208 (java) S 18150 18153 15707 0 -1 1077944384 2 13318 0 0 0 0 5 3 20 0 15 0 444355074 11079880704 10660 33554432000 4194304 4196468 140729694442640 140290613116048 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18209] ppid=18150 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18209/stat : 18209 (java) S 18150 18153 15707 0 -1 1077944384 1 13318 0 0 0 0 5 3 20 0 15 0 444355074 11079880704 10660 33554432000 4194304 4196468 140729694442640 140290612062992 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18210] ppid=18150 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18210/stat : 18210 (java) S 18150 18153 15707 0 -1 1077944384 2 13318 0 0 0 0 5 3 20 0 15 0 444355074 11079880704 10660 33554432000 4194304 4196468 140729694442640 140290261179280 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18211] ppid=18150 vsize=10820196 memory=139976072939136 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18211/stat : 18211 (java) S 18150 18153 15707 0 -1 1077944384 2 13318 0 0 0 0 5 3 20 0 15 0 444355075 11079880704 10660 33554432000 4194304 4196468 140729694442640 140290216737008 140290690132610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18212] ppid=18150 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18212/stat : 18212 (java) S 18150 18153 15707 0 -1 1077944384 13 13318 0 0 0 0 5 3 20 0 15 0 444355075 11079880704 10660 33554432000 4194304 4196468 140729694442640 140290140660896 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18213] ppid=18150 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18213/stat : 18213 (java) S 18150 18153 15707 0 -1 1077944384 1 13318 0 0 0 0 5 3 20 0 15 0 444355076 11079880704 10660 33554432000 4194304 4196468 140729694442640 140289536680688 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18214] ppid=18150 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18214/stat : 18214 (java) S 18150 18153 15707 0 -1 1077944384 3 13318 0 0 0 0 5 3 20 0 15 0 444355078 11079880704 10660 33554432000 4194304 4196468 140729694442640 140289229281232 140290690140059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18215] ppid=18150 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18153/task/18215/stat : 18215 (java) R 18150 18153 15707 0 -1 4202560 336 13318 0 0 1 0 5 3 20 0 15 0 444355078 11079880704 10660 33554432000 4194304 4196468 140729694442640 140290215684848 140290673678145 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18216] ppid=18150 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/18153/task/18216/stat : 18216 (java) S 18150 18153 15707 0 -1 1077944384 330 13318 0 0 1 0 5 3 20 0 15 0 444355078 11079880704 10660 33554432000 4194304 4196468 140729694442640 140290214632304 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18217] ppid=18150 vsize=10820196 memory=139976072939136 CPUtime=0.11 cores=1,3,5,7
/proc/18153/task/18217/stat : 18217 (java) S 18150 18153 15707 0 -1 1077944384 593 13318 0 0 3 0 5 3 20 0 15 0 444355078 11079880704 10660 33554432000 4194304 4196468 140729694442640 140290213579248 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18218] ppid=18150 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18218/stat : 18218 (java) S 18150 18153 15707 0 -1 1077944384 3 13318 0 0 0 0 5 3 20 0 15 0 444355079 11079880704 10660 33554432000 4194304 4196468 140729694442640 140289195723616 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18219] ppid=18150 vsize=10820196 memory=139976072939136 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18219/stat : 18219 (java) S 18150 18153 15707 0 -1 1077944384 1 13318 0 0 0 0 5 3 20 0 15 0 444355079 11079880704 10660 33554432000 4194304 4196468 140729694442640 140290212526640 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 42376 KiB
[startup+0.311437 s]*
/proc/loadavg: 1.37 1.37 1.38 3/229 18219
/proc/meminfo: memFree=30758016/32770624 swapFree=66976644/67108860
[pid=18153] ppid=18150 vsize=10820196 memory=50936 CPUtime=0.41 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18150 18153 15707 0 -1 1077944320 10894 13318 0 0 30 3 5 3 20 0 15 0 444355064 11079880704 12734 33554432000 4194304 4196468 140729694442640 140729694425184 140290690121463 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
/proc/18153/statm: 2705049 12734 3337 1 0 2667149 0
[pid=18153/tid=18206] ppid=18150 vsize=10820196 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/18153/task/18206/stat : 18206 (java) R 18150 18153 15707 0 -1 4202560 7387 13318 0 0 20 2 5 3 20 0 15 0 444355073 11079880704 12734 33554432000 4194304 4196468 140729694442640 140290661927568 140290675816432 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18207] ppid=18150 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18207/stat : 18207 (java) S 18150 18153 15707 0 -1 1077944384 1 13318 0 0 0 0 5 3 20 0 15 0 444355074 11079880704 12734 33554432000 4194304 4196468 140729694442640 140290694364176 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18208] ppid=18150 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18208/stat : 18208 (java) S 18150 18153 15707 0 -1 1077944384 2 13318 0 0 0 0 5 3 20 0 15 0 444355074 11079880704 12734 33554432000 4194304 4196468 140729694442640 140290613116048 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18209] ppid=18150 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18209/stat : 18209 (java) S 18150 18153 15707 0 -1 1077944384 1 13318 0 0 0 0 5 3 20 0 15 0 444355074 11079880704 12734 33554432000 4194304 4196468 140729694442640 140290612062992 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18210] ppid=18150 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18210/stat : 18210 (java) S 18150 18153 15707 0 -1 1077944384 2 13318 0 0 0 0 5 3 20 0 15 0 444355074 11079880704 12734 33554432000 4194304 4196468 140729694442640 140290261179280 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18211] ppid=18150 vsize=10820196 memory=139976072939135 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18211/stat : 18211 (java) S 18150 18153 15707 0 -1 1077944384 2 13318 0 0 0 0 5 3 20 0 15 0 444355075 11079880704 12734 33554432000 4194304 4196468 140729694442640 140290216737008 140290690132610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18212] ppid=18150 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18212/stat : 18212 (java) S 18150 18153 15707 0 -1 1077944384 13 13318 0 0 0 0 5 3 20 0 15 0 444355075 11079880704 12734 33554432000 4194304 4196468 140729694442640 140290140660896 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18213] ppid=18150 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18213/stat : 18213 (java) S 18150 18153 15707 0 -1 1077944384 1 13318 0 0 0 0 5 3 20 0 15 0 444355076 11079880704 12734 33554432000 4194304 4196468 140729694442640 140289536680688 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18214] ppid=18150 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18214/stat : 18214 (java) S 18150 18153 15707 0 -1 1077944384 3 13318 0 0 0 0 5 3 20 0 15 0 444355078 11079880704 12734 33554432000 4194304 4196468 140729694442640 140289229281232 140290690140059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18215] ppid=18150 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/18153/task/18215/stat : 18215 (java) S 18150 18153 15707 0 -1 1077944384 338 13318 0 0 2 0 5 3 20 0 15 0 444355078 11079880704 12734 33554432000 4194304 4196468 140729694442640 140290215684848 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18216] ppid=18150 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/18153/task/18216/stat : 18216 (java) S 18150 18153 15707 0 -1 1077944384 330 13318 0 0 1 0 5 3 20 0 15 0 444355078 11079880704 12734 33554432000 4194304 4196468 140729694442640 140290214632304 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18217] ppid=18150 vsize=10820196 memory=139976072939136 CPUtime=0.13 cores=1,3,5,7
/proc/18153/task/18217/stat : 18217 (java) S 18150 18153 15707 0 -1 1077944384 600 13318 0 0 5 0 5 3 20 0 15 0 444355078 11079880704 12734 33554432000 4194304 4196468 140729694442640 140290213579248 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18218] ppid=18150 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18218/stat : 18218 (java) S 18150 18153 15707 0 -1 1077944384 3 13318 0 0 0 0 5 3 20 0 15 0 444355079 11079880704 12734 33554432000 4194304 4196468 140729694442640 140289195723616 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18219] ppid=18150 vsize=10820196 memory=139976072939136 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18219/stat : 18219 (java) S 18150 18153 15707 0 -1 1077944384 1 13318 0 0 0 0 5 3 20 0 15 0 444355079 11079880704 12734 33554432000 4194304 4196468 140729694442640 140290212526640 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50936 KiB
[startup+0.700748 s]
/proc/loadavg: 1.37 1.37 1.38 4/229 18219
/proc/meminfo: memFree=30743580/32770624 swapFree=66976644/67108860
[pid=18153] ppid=18150 vsize=10824364 memory=83684 CPUtime=1.12 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18150 18153 15707 0 -1 1077944320 15095 13318 0 0 98 6 5 3 20 0 15 0 444355064 11084148736 20921 33554432000 4194304 4196468 140729694442640 140729694425184 140290690121463 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
/proc/18153/statm: 2706091 20921 3505 1 0 2668173 0
[pid=18153/tid=18206] ppid=18150 vsize=10824364 memory=2241 CPUtime=0.67 cores=1,3,5,7
/proc/18153/task/18206/stat : 18206 (java) R 18150 18153 15707 0 -1 4202560 10551 13318 0 0 55 4 5 3 20 0 15 0 444355073 11084148736 20921 33554432000 4194304 4196468 140729694442640 140290661924792 140290674201950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18207] ppid=18150 vsize=10824364 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18207/stat : 18207 (java) S 18150 18153 15707 0 -1 1077944384 1 13318 0 0 0 0 5 3 20 0 15 0 444355074 11084148736 20921 33554432000 4194304 4196468 140729694442640 140290694364176 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18208] ppid=18150 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18208/stat : 18208 (java) S 18150 18153 15707 0 -1 1077944384 2 13318 0 0 0 0 5 3 20 0 15 0 444355074 11084148736 20921 33554432000 4194304 4196468 140729694442640 140290613116048 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18209] ppid=18150 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18209/stat : 18209 (java) S 18150 18153 15707 0 -1 1077944384 1 13318 0 0 0 0 5 3 20 0 15 0 444355074 11084148736 20921 33554432000 4194304 4196468 140729694442640 140290612062992 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18210] ppid=18150 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18210/stat : 18210 (java) S 18150 18153 15707 0 -1 1077944384 2 13318 0 0 0 0 5 3 20 0 15 0 444355074 11084148736 20921 33554432000 4194304 4196468 140729694442640 140290261179280 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18211] ppid=18150 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18211/stat : 18211 (java) S 18150 18153 15707 0 -1 1077944384 5 13318 0 0 0 0 5 3 20 0 15 0 444355075 11084148736 20921 33554432000 4194304 4196468 140729694442640 140290216737008 140290690132610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18212] ppid=18150 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18212/stat : 18212 (java) S 18150 18153 15707 0 -1 1077944384 13 13318 0 0 0 0 5 3 20 0 15 0 444355075 11084148736 20921 33554432000 4194304 4196468 140729694442640 140290140660896 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18213] ppid=18150 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18213/stat : 18213 (java) S 18150 18153 15707 0 -1 1077944384 1 13318 0 0 0 0 5 3 20 0 15 0 444355076 11084148736 20921 33554432000 4194304 4196468 140729694442640 140289536680688 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18214] ppid=18150 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18214/stat : 18214 (java) S 18150 18153 15707 0 -1 1077944384 3 13318 0 0 0 0 5 3 20 0 15 0 444355078 11084148736 20921 33554432000 4194304 4196468 140729694442640 140289229281232 140290690140059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18215] ppid=18150 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/18153/task/18215/stat : 18215 (java) R 18150 18153 15707 0 -1 4202560 756 13318 0 0 12 0 5 3 20 0 15 0 444355078 11084148736 20921 33554432000 4194304 4196468 140729694442640 140290215684848 140290690142810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18216] ppid=18150 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/18153/task/18216/stat : 18216 (java) R 18150 18153 15707 0 -1 4202560 740 13318 0 0 12 0 5 3 20 0 15 0 444355078 11084148736 20921 33554432000 4194304 4196468 140729694442640 140290214632304 140290673590305 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18217] ppid=18150 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/18153/task/18217/stat : 18217 (java) S 18150 18153 15707 0 -1 1077944384 808 13318 0 0 17 0 5 3 20 0 15 0 444355078 11084148736 20921 33554432000 4194304 4196468 140729694442640 140290213579248 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18218] ppid=18150 vsize=10824364 memory=279951873933552 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18218/stat : 18218 (java) S 18150 18153 15707 0 -1 1077944384 3 13318 0 0 0 0 5 3 20 0 15 0 444355079 11084148736 20921 33554432000 4194304 4196468 140729694442640 140289195723616 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18219] ppid=18150 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18219/stat : 18219 (java) S 18150 18153 15707 0 -1 1077944384 1 13318 0 0 0 0 5 3 20 0 15 0 444355079 11084148736 20921 33554432000 4194304 4196468 140729694442640 140290212526640 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83684 KiB
[startup+1.50645 s]
/proc/loadavg: 1.37 1.37 1.38 5/229 18219
/proc/meminfo: memFree=30672408/32770624 swapFree=66976644/67108860
[pid=18153] ppid=18150 vsize=10834680 memory=226292 CPUtime=2.91 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18150 18153 15707 0 -1 1077944320 23919 13318 0 0 271 12 5 3 20 0 15 0 444355064 11094712320 56573 33554432000 4194304 4196468 140729694442640 140729694425184 140290690121463 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
/proc/18153/statm: 2708670 56573 3584 1 0 2670733 0
[pid=18153/tid=18206] ppid=18150 vsize=10834680 memory=279951874298744 CPUtime=1.44 cores=1,3,5,7
/proc/18153/task/18206/stat : 18206 (java) R 18150 18153 15707 0 -1 4202560 15158 13318 0 0 130 6 5 3 20 0 15 0 444355073 11094712320 56573 33554432000 4194304 4196468 140729694442640 140290661942656 140290690143389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18207] ppid=18150 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18153/task/18207/stat : 18207 (java) S 18150 18153 15707 0 -1 1077944384 36 13318 0 0 1 0 5 3 20 0 15 0 444355074 11094712320 56573 33554432000 4194304 4196468 140729694442640 140290694364176 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18208] ppid=18150 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18153/task/18208/stat : 18208 (java) S 18150 18153 15707 0 -1 1077944384 45 13318 0 0 1 0 5 3 20 0 15 0 444355074 11094712320 56573 33554432000 4194304 4196468 140729694442640 140290613116048 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18209] ppid=18150 vsize=10834680 memory=4580 CPUtime=0.09 cores=1,3,5,7
/proc/18153/task/18209/stat : 18209 (java) S 18150 18153 15707 0 -1 1077944384 295 13318 0 0 1 0 5 3 20 0 15 0 444355074 11094712320 56573 33554432000 4194304 4196468 140729694442640 140290612062992 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18210] ppid=18150 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18153/task/18210/stat : 18210 (java) S 18150 18153 15707 0 -1 1077944384 108 13318 0 0 1 0 5 3 20 0 15 0 444355074 11094712320 56573 33554432000 4194304 4196468 140729694442640 140290261179280 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18211] ppid=18150 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18153/task/18211/stat : 18211 (java) S 18150 18153 15707 0 -1 1077944384 1299 13318 0 0 1 0 5 3 20 0 15 0 444355075 11094712320 56573 33554432000 4194304 4196468 140729694442640 140290216737008 140290690132610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18212] ppid=18150 vsize=10834680 memory=279951874458368 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18212/stat : 18212 (java) S 18150 18153 15707 0 -1 1077944384 13 13318 0 0 0 0 5 3 20 0 15 0 444355075 11094712320 56573 33554432000 4194304 4196468 140729694442640 140290140660960 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18213] ppid=18150 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18213/stat : 18213 (java) S 18150 18153 15707 0 -1 1077944384 3 13318 0 0 0 0 5 3 20 0 15 0 444355076 11094712320 56573 33554432000 4194304 4196468 140729694442640 140289536680704 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18214] ppid=18150 vsize=10834680 memory=16660 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18214/stat : 18214 (java) S 18150 18153 15707 0 -1 1077944384 3 13318 0 0 0 0 5 3 20 0 15 0 444355078 11094712320 56573 33554432000 4194304 4196468 140729694442640 140289229281232 140290690140059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18215] ppid=18150 vsize=10834680 memory=2244 CPUtime=0.54 cores=1,3,5,7
/proc/18153/task/18215/stat : 18215 (java) S 18150 18153 15707 0 -1 1077944384 1392 13318 0 0 46 0 5 3 20 0 15 0 444355078 11094712320 56573 33554432000 4194304 4196468 140729694442640 140290215684848 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18216] ppid=18150 vsize=10834680 memory=139975937236064 CPUtime=0.55 cores=1,3,5,7
/proc/18153/task/18216/stat : 18216 (java) S 18150 18153 15707 0 -1 1077944384 1913 13318 0 0 47 0 5 3 20 0 15 0 444355078 11094712320 56573 33554432000 4194304 4196468 140729694442640 140290214632304 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18217] ppid=18150 vsize=10834680 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/18153/task/18217/stat : 18217 (java) S 18150 18153 15707 0 -1 1077944384 1440 13318 0 0 39 1 5 3 20 0 15 0 444355078 11094712320 56573 33554432000 4194304 4196468 140729694442640 140290213579248 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18218] ppid=18150 vsize=10834680 memory=-1088251628401078322 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18218/stat : 18218 (java) S 18150 18153 15707 0 -1 1077944384 3 13318 0 0 0 0 5 3 20 0 15 0 444355079 11094712320 56573 33554432000 4194304 4196468 140729694442640 140289195723616 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18219] ppid=18150 vsize=10834680 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18219/stat : 18219 (java) S 18150 18153 15707 0 -1 1077944384 1 13318 0 0 0 0 5 3 20 0 15 0 444355079 11094712320 56573 33554432000 4194304 4196468 140729694442640 140290212526640 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/18153/task/18206/stat : 18206 (java) R 18150 18153 15707 0 -1 4202560 93864 13318 0 0 224650 52 5 3 20 0 15 0 444355073 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290661956320 140290301692744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18207] ppid=18150 vsize=10849036 memory=1966296 CPUtime=8.04 cores=1,3,5,7
/proc/18153/task/18207/stat : 18207 (java) S 18150 18153 15707 0 -1 1077944384 32804 13318 0 0 760 36 5 3 20 0 15 0 444355074 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290694364176 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18208] ppid=18150 vsize=10849036 memory=1966296 CPUtime=8.02 cores=1,3,5,7
/proc/18153/task/18208/stat : 18208 (java) S 18150 18153 15707 0 -1 1077944384 26657 13318 0 0 759 35 5 3 20 0 15 0 444355074 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290613116048 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18209] ppid=18150 vsize=10849036 memory=1966296 CPUtime=8.04 cores=1,3,5,7
/proc/18153/task/18209/stat : 18209 (java) S 18150 18153 15707 0 -1 1077944384 31098 13318 0 0 761 35 5 3 20 0 15 0 444355074 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290612062992 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18210] ppid=18150 vsize=10849036 memory=1968344 CPUtime=8.06 cores=1,3,5,7
/proc/18153/task/18210/stat : 18210 (java) S 18150 18153 15707 0 -1 1077944384 42541 13318 0 0 758 40 5 3 20 0 15 0 444355074 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290261179280 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18211] ppid=18150 vsize=10849036 memory=1968344 CPUtime=5.87 cores=1,3,5,7
/proc/18153/task/18211/stat : 18211 (java) S 18150 18153 15707 0 -1 1077944384 26550 13318 0 0 543 36 5 3 20 0 15 0 444355075 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290216737008 140290690132610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18212] ppid=18150 vsize=10849036 memory=1966296 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18212/stat : 18212 (java) S 18150 18153 15707 0 -1 1077944384 17 13318 0 0 0 0 5 3 20 0 15 0 444355075 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290140661024 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18213] ppid=18150 vsize=10849036 memory=1966296 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18213/stat : 18213 (java) S 18150 18153 15707 0 -1 1077944384 18 13318 0 0 0 0 5 3 20 0 15 0 444355076 11109412864 492086 33554432000 4194304 4196468 140729694442640 140289536680864 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18214] ppid=18150 vsize=10849036 memory=1968344 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18214/stat : 18214 (java) S 18150 18153 15707 0 -1 1077944384 3 13318 0 0 0 0 5 3 20 0 15 0 444355078 11109412864 492086 33554432000 4194304 4196468 140729694442640 140289229281232 140290690140059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18215] ppid=18150 vsize=10849036 memory=3620 CPUtime=5.31 cores=1,3,5,7
/proc/18153/task/18215/stat : 18215 (java) S 18150 18153 15707 0 -1 1077944384 39807 13318 0 0 519 4 5 3 20 0 15 0 444355078 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290215684848 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18216] ppid=18150 vsize=10849036 memory=1966296 CPUtime=4.66 cores=1,3,5,7
/proc/18153/task/18216/stat : 18216 (java) S 18150 18153 15707 0 -1 1077944384 28209 13318 0 0 454 4 5 3 20 0 15 0 444355078 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290214632304 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18217] ppid=18150 vsize=10849036 memory=3620 CPUtime=1.96 cores=1,3,5,7
/proc/18153/task/18217/stat : 18217 (java) S 18150 18153 15707 0 -1 1077944384 12931 13318 0 0 183 5 5 3 20 0 15 0 444355078 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290213579248 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18218] ppid=18150 vsize=10849036 memory=1966296 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18218/stat : 18218 (java) S 18150 18153 15707 0 -1 1077944384 3 13318 0 0 0 0 5 3 20 0 15 0 444355079 11109412864 492086 33554432000 4194304 4196468 140729694442640 140289195723616 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18219] ppid=18150 vsize=10849036 memory=6943526294502006880 CPUtime=1.32 cores=1,3,5,7
/proc/18153/task/18219/stat : 18219 (java) S 18150 18153 15707 0 -1 1077944384 2011 13318 0 0 62 62 5 3 20 0 15 0 444355079 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290212526640 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
Current children cumulated CPU time: 2297.74 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1968344 KiB
[startup+2322.3 s]
/proc/loadavg: 1.62 1.42 1.39 3/229 18579
/proc/meminfo: memFree=29029068/32770624 swapFree=66976696/67108860
[pid=18153] ppid=18150 vsize=10849036 memory=1968344 CPUtime=2358.37 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18150 18153 15707 0 -1 1077944320 341197 13318 0 0 235550 279 5 3 20 0 15 0 444355064 11109412864 492086 33554432000 4194304 4196468 140729694442640 140729694425184 140290690121463 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
/proc/18153/statm: 2712259 492086 3628 1 0 2674317 0
[pid=18153/tid=18206] ppid=18150 vsize=10849036 memory=1968344 CPUtime=2306.68 cores=1,3,5,7
/proc/18153/task/18206/stat : 18206 (java) R 18150 18153 15707 0 -1 4202560 94889 13318 0 0 230607 53 5 3 20 0 15 0 444355073 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290661940736 140290306944157 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18207] ppid=18150 vsize=10849036 memory=2529 CPUtime=8.25 cores=1,3,5,7
/proc/18153/task/18207/stat : 18207 (java) S 18150 18153 15707 0 -1 1077944384 32970 13318 0 0 780 37 5 3 20 0 15 0 444355074 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290694364176 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18208] ppid=18150 vsize=10849036 memory=1966296 CPUtime=8.23 cores=1,3,5,7
/proc/18153/task/18208/stat : 18208 (java) S 18150 18153 15707 0 -1 1077944384 27016 13318 0 0 780 35 5 3 20 0 15 0 444355074 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290613116048 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18209] ppid=18150 vsize=10849036 memory=1968344 CPUtime=8.24 cores=1,3,5,7
/proc/18153/task/18209/stat : 18209 (java) S 18150 18153 15707 0 -1 1077944384 31513 13318 0 0 780 36 5 3 20 0 15 0 444355074 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290612062992 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18210] ppid=18150 vsize=10849036 memory=1968344 CPUtime=8.27 cores=1,3,5,7
/proc/18153/task/18210/stat : 18210 (java) S 18150 18153 15707 0 -1 1077944384 42622 13318 0 0 779 40 5 3 20 0 15 0 444355074 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290261179280 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18211] ppid=18150 vsize=10849036 memory=1968344 CPUtime=6.03 cores=1,3,5,7
/proc/18153/task/18211/stat : 18211 (java) S 18150 18153 15707 0 -1 1077944384 26933 13318 0 0 558 37 5 3 20 0 15 0 444355075 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290216737008 140290690132610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18212] ppid=18150 vsize=10849036 memory=1968344 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18212/stat : 18212 (java) S 18150 18153 15707 0 -1 1077944384 17 13318 0 0 0 0 5 3 20 0 15 0 444355075 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290140661024 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18213] ppid=18150 vsize=10849036 memory=1968344 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18213/stat : 18213 (java) S 18150 18153 15707 0 -1 1077944384 18 13318 0 0 0 0 5 3 20 0 15 0 444355076 11109412864 492086 33554432000 4194304 4196468 140729694442640 140289536680864 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18214] ppid=18150 vsize=10849036 memory=1968344 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18214/stat : 18214 (java) S 18150 18153 15707 0 -1 1077944384 3 13318 0 0 0 0 5 3 20 0 15 0 444355078 11109412864 492086 33554432000 4194304 4196468 140729694442640 140289229281232 140290690140059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18215] ppid=18150 vsize=10849036 memory=30172 CPUtime=5.31 cores=1,3,5,7
/proc/18153/task/18215/stat : 18215 (java) S 18150 18153 15707 0 -1 1077944384 39811 13318 0 0 519 4 5 3 20 0 15 0 444355078 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290215684848 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18216] ppid=18150 vsize=10849036 memory=1968344 CPUtime=4.66 cores=1,3,5,7
/proc/18153/task/18216/stat : 18216 (java) S 18150 18153 15707 0 -1 1077944384 28213 13318 0 0 454 4 5 3 20 0 15 0 444355078 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290214632304 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18217] ppid=18150 vsize=10849036 memory=0 CPUtime=1.96 cores=1,3,5,7
/proc/18153/task/18217/stat : 18217 (java) S 18150 18153 15707 0 -1 1077944384 12936 13318 0 0 183 5 5 3 20 0 15 0 444355078 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290213579248 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18218] ppid=18150 vsize=10849036 memory=1968344 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18218/stat : 18218 (java) S 18150 18153 15707 0 -1 1077944384 3 13318 0 0 0 0 5 3 20 0 15 0 444355079 11109412864 492086 33554432000 4194304 4196468 140729694442640 140289195723616 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18219] ppid=18150 vsize=10849036 memory=1968344 CPUtime=1.36 cores=1,3,5,7
/proc/18153/task/18219/stat : 18219 (java) S 18150 18153 15707 0 -1 1077944384 2043 13318 0 0 64 64 5 3 20 0 15 0 444355079 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290212526640 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
Current children cumulated CPU time: 2358.37 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1968344 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2363.5 s]
/proc/loadavg: 1.39 1.38 1.38 3/229 18582
/proc/meminfo: memFree=29028696/32770624 swapFree=66976696/67108860
[pid=18153] ppid=18150 vsize=10849036 memory=1968344 CPUtime=2400.05 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18150 18153 15707 0 -1 1077944320 342948 13318 0 0 239714 283 5 3 20 0 15 0 444355064 11109412864 492086 33554432000 4194304 4196468 140729694442640 140729694425184 140290690121463 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
/proc/18153/statm: 2712259 492086 3628 1 0 2674317 0
[pid=18153/tid=18206] ppid=18150 vsize=10849036 memory=1968344 CPUtime=2347.57 cores=1,3,5,7
/proc/18153/task/18206/stat : 18206 (java) R 18150 18153 15707 0 -1 4202560 95639 13318 0 0 234696 53 5 3 20 0 15 0 444355073 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290661940128 140290306911168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18207] ppid=18150 vsize=10849036 memory=1968344 CPUtime=8.41 cores=1,3,5,7
/proc/18153/task/18207/stat : 18207 (java) S 18150 18153 15707 0 -1 1077944384 33330 13318 0 0 796 37 5 3 20 0 15 0 444355074 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290694364176 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18208] ppid=18150 vsize=10849036 memory=1968344 CPUtime=8.39 cores=1,3,5,7
/proc/18153/task/18208/stat : 18208 (java) S 18150 18153 15707 0 -1 1077944384 27160 13318 0 0 795 36 5 3 20 0 15 0 444355074 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290613116048 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18209] ppid=18150 vsize=10849036 memory=1968344 CPUtime=8.4 cores=1,3,5,7
/proc/18153/task/18209/stat : 18209 (java) S 18150 18153 15707 0 -1 1077944384 31558 13318 0 0 796 36 5 3 20 0 15 0 444355074 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290612062992 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18210] ppid=18150 vsize=10849036 memory=1968344 CPUtime=8.43 cores=1,3,5,7
/proc/18153/task/18210/stat : 18210 (java) S 18150 18153 15707 0 -1 1077944384 42788 13318 0 0 794 41 5 3 20 0 15 0 444355074 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290261179280 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18211] ppid=18150 vsize=10849036 memory=1968344 CPUtime=6.14 cores=1,3,5,7
/proc/18153/task/18211/stat : 18211 (java) S 18150 18153 15707 0 -1 1077944384 27183 13318 0 0 569 37 5 3 20 0 15 0 444355075 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290216737008 140290690132610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18212] ppid=18150 vsize=10849036 memory=1968344 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18212/stat : 18212 (java) S 18150 18153 15707 0 -1 1077944384 17 13318 0 0 0 0 5 3 20 0 15 0 444355075 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290140661024 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18213] ppid=18150 vsize=10849036 memory=1968344 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18213/stat : 18213 (java) S 18150 18153 15707 0 -1 1077944384 18 13318 0 0 0 0 5 3 20 0 15 0 444355076 11109412864 492086 33554432000 4194304 4196468 140729694442640 140289536680864 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18214] ppid=18150 vsize=10849036 memory=1968344 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18214/stat : 18214 (java) S 18150 18153 15707 0 -1 1077944384 3 13318 0 0 0 0 5 3 20 0 15 0 444355078 11109412864 492086 33554432000 4194304 4196468 140729694442640 140289229281232 140290690140059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18215] ppid=18150 vsize=10849036 memory=1968344 CPUtime=5.31 cores=1,3,5,7
/proc/18153/task/18215/stat : 18215 (java) S 18150 18153 15707 0 -1 1077944384 39813 13318 0 0 519 4 5 3 20 0 15 0 444355078 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290215684848 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18216] ppid=18150 vsize=10849036 memory=1968344 CPUtime=4.66 cores=1,3,5,7
/proc/18153/task/18216/stat : 18216 (java) S 18150 18153 15707 0 -1 1077944384 28216 13318 0 0 454 4 5 3 20 0 15 0 444355078 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290214632304 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18217] ppid=18150 vsize=10849036 memory=1968344 CPUtime=1.96 cores=1,3,5,7
/proc/18153/task/18217/stat : 18217 (java) S 18150 18153 15707 0 -1 1077944384 12938 13318 0 0 183 5 5 3 20 0 15 0 444355078 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290213579248 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18218] ppid=18150 vsize=10849036 memory=30188 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18218/stat : 18218 (java) S 18150 18153 15707 0 -1 1077944384 3 13318 0 0 0 0 5 3 20 0 15 0 444355079 11109412864 492086 33554432000 4194304 4196468 140729694442640 140289195723616 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18219] ppid=18150 vsize=10849036 memory=6791534058613427641 CPUtime=1.38 cores=1,3,5,7
/proc/18153/task/18219/stat : 18219 (java) S 18150 18153 15707 0 -1 1077944384 2072 13318 0 0 65 65 5 3 20 0 15 0 444355079 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290212526640 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1968344 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2363.53 s]
# the end of solver process 18153 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.22 s, system=2.87566 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2363.5 s]
/proc/loadavg: 1.39 1.38 1.38 3/229 18582
/proc/meminfo: memFree=29028696/32770624 swapFree=66976696/67108860
[pid=18153] ppid=18150 vsize=10849036 memory=1968344 CPUtime=2400.05 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18150 18153 15707 0 -1 1077944320 342948 13318 0 0 239714 283 5 3 20 0 15 0 444355064 11109412864 492086 33554432000 4194304 4196468 140729694442640 140729694425184 140290690121463 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
/proc/18153/statm: 2712259 492086 3628 1 0 2674317 0
[pid=18153/tid=18206] ppid=18150 vsize=10849036 memory=1968344 CPUtime=2347.57 cores=1,3,5,7
/proc/18153/task/18206/stat : 18206 (java) R 18150 18153 15707 0 -1 4202560 95639 13318 0 0 234696 53 5 3 20 0 15 0 444355073 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290661940128 140290306911168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18207] ppid=18150 vsize=10849036 memory=1968344 CPUtime=8.41 cores=1,3,5,7
/proc/18153/task/18207/stat : 18207 (java) S 18150 18153 15707 0 -1 1077944384 33330 13318 0 0 796 37 5 3 20 0 15 0 444355074 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290694364176 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18208] ppid=18150 vsize=10849036 memory=1968344 CPUtime=8.39 cores=1,3,5,7
/proc/18153/task/18208/stat : 18208 (java) S 18150 18153 15707 0 -1 1077944384 27160 13318 0 0 795 36 5 3 20 0 15 0 444355074 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290613116048 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18209] ppid=18150 vsize=10849036 memory=1968344 CPUtime=8.4 cores=1,3,5,7
/proc/18153/task/18209/stat : 18209 (java) S 18150 18153 15707 0 -1 1077944384 31558 13318 0 0 796 36 5 3 20 0 15 0 444355074 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290612062992 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18210] ppid=18150 vsize=10849036 memory=1968344 CPUtime=8.43 cores=1,3,5,7
/proc/18153/task/18210/stat : 18210 (java) S 18150 18153 15707 0 -1 1077944384 42788 13318 0 0 794 41 5 3 20 0 15 0 444355074 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290261179280 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18211] ppid=18150 vsize=10849036 memory=1968344 CPUtime=6.14 cores=1,3,5,7
/proc/18153/task/18211/stat : 18211 (java) S 18150 18153 15707 0 -1 1077944384 27183 13318 0 0 569 37 5 3 20 0 15 0 444355075 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290216737008 140290690132610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18212] ppid=18150 vsize=10849036 memory=1968344 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18212/stat : 18212 (java) S 18150 18153 15707 0 -1 1077944384 17 13318 0 0 0 0 5 3 20 0 15 0 444355075 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290140661024 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18213] ppid=18150 vsize=10849036 memory=1968344 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18213/stat : 18213 (java) S 18150 18153 15707 0 -1 1077944384 18 13318 0 0 0 0 5 3 20 0 15 0 444355076 11109412864 492086 33554432000 4194304 4196468 140729694442640 140289536680864 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18214] ppid=18150 vsize=10849036 memory=1968344 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18214/stat : 18214 (java) S 18150 18153 15707 0 -1 1077944384 3 13318 0 0 0 0 5 3 20 0 15 0 444355078 11109412864 492086 33554432000 4194304 4196468 140729694442640 140289229281232 140290690140059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18215] ppid=18150 vsize=10849036 memory=1968344 CPUtime=5.31 cores=1,3,5,7
/proc/18153/task/18215/stat : 18215 (java) S 18150 18153 15707 0 -1 1077944384 39813 13318 0 0 519 4 5 3 20 0 15 0 444355078 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290215684848 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18216] ppid=18150 vsize=10849036 memory=1968344 CPUtime=4.66 cores=1,3,5,7
/proc/18153/task/18216/stat : 18216 (java) S 18150 18153 15707 0 -1 1077944384 28216 13318 0 0 454 4 5 3 20 0 15 0 444355078 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290214632304 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18217] ppid=18150 vsize=10849036 memory=1968344 CPUtime=1.96 cores=1,3,5,7
/proc/18153/task/18217/stat : 18217 (java) S 18150 18153 15707 0 -1 1077944384 12938 13318 0 0 183 5 5 3 20 0 15 0 444355078 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290213579248 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18218] ppid=18150 vsize=10849036 memory=30188 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18218/stat : 18218 (java) S 18150 18153 15707 0 -1 1077944384 3 13318 0 0 0 0 5 3 20 0 15 0 444355079 11109412864 492086 33554432000 4194304 4196468 140729694442640 140289195723616 140290690131669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
[pid=18153/tid=18219] ppid=18150 vsize=10849036 memory=6791534058613427641 CPUtime=1.38 cores=1,3,5,7
/proc/18153/task/18219/stat : 18219 (java) S 18150 18153 15707 0 -1 1077944384 2072 13318 0 0 65 65 5 3 20 0 15 0 444355079 11109412864 492086 33554432000 4194304 4196468 140729694442640 140290212526640 140290690132610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 22999040 140729694448367 140729694450885 140729694450885 140729694453711 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1968344 KiB
Child status: 143
Real time (s): 2363.53
CPU time (s): 2400.09
CPU user time (s): 2397.22
CPU system time (s): 2.87566
CPU usage (%): 101.547
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 2132248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.22
system time used= 2.87566
maximum resident set size= 2133304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357401
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 180799
involuntary context switches= 3471
# summary of solver processes directly reported to runsolver:
# pid: 18153
# total CPU time (s): 2400.09
# total CPU user time (s): 2397.22
# total CPU system time (s): 2.87566
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6353 second user time and 22.6451 second system time
The end