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 (13379 MiB free)
memory of node 1: 16384 MiB (13627 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302885-1532899210/watcher-4302885-1532899210 -o /tmp/evaluation-result-4302885-1532899210/solver-4302885-1532899210 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28700 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=592697675 -superng HOME/instance-4302885-1532899210.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=5250, runsolver pid=5247
[startup+0.100125 s]*
/proc/loadavg: 2.85 2.13 1.91 3/210 5307
/proc/meminfo: memFree=27648196/32770624 swapFree=67108744/67108860
[pid=5250] ppid=5247 vsize=10005480 memory=16552 CPUtime=0.09 cores=0,2,4,6
/proc/5250/stat : 5250 (java) S 5247 5250 19273 0 -1 1077944320 4324 13235 0 0 1 0 5 3 20 0 6 0 107484237 10245611520 4138 33554432000 4194304 4196468 140724599682992 140724599665536 139985856585463 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
/proc/5250/statm: 2501370 4138 1933 1 0 2489808 0
[pid=5250/tid=5303] ppid=5247 vsize=10005480 memory=-8171376296011865461 CPUtime=0.09 cores=0,2,4,6
/proc/5250/task/5303/stat : 5303 (java) R 5247 5250 19273 0 -1 4202560 2178 13235 0 0 1 0 5 3 20 0 6 0 107484246 10245611520 4716 33554432000 4194304 4196468 140724599682992 139985828422224 139985856607389 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5304] ppid=5247 vsize=10005480 memory=5792869726567804975 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5304/stat : 5304 (java) S 5247 5250 19273 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 6 0 107484247 10245611520 4716 33554432000 4194304 4196468 140724599682992 139985860828048 139985856595669 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5305] ppid=5247 vsize=10005480 memory=140375334733440 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5305/stat : 5305 (java) S 5247 5250 19273 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 6 0 107484247 10245611520 4716 33554432000 4194304 4196468 140724599682992 139985742093072 139985856595669 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5306] ppid=5247 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5306/stat : 5306 (java) S 5247 5250 19273 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 6 0 107484247 10245611520 4716 33554432000 4194304 4196468 140724599682992 139985741040784 139985856595669 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5307] ppid=5247 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5307/stat : 5307 (java) S 5247 5250 19273 0 -1 1077944384 2 13235 0 0 0 0 5 3 20 0 6 0 107484247 10245611520 4716 33554432000 4194304 4196468 140724599682992 139985739987984 139985856595669 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16552 KiB
[startup+0.210084 s]*
/proc/loadavg: 2.85 2.13 1.91 3/219 5316
/proc/meminfo: memFree=27612856/32770624 swapFree=67108744/67108860
[pid=5250] ppid=5247 vsize=10982744 memory=42732 CPUtime=0.26 cores=0,2,4,6
/proc/5250/stat : 5250 (java) S 5247 5250 19273 0 -1 1077944320 7942 13235 0 0 16 2 5 3 20 0 15 0 107484237 11246329856 10683 33554432000 4194304 4196468 140724599682992 140724599665536 139985856585463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
/proc/5250/statm: 2745686 10683 2959 1 0 2708109 0
[pid=5250/tid=5303] ppid=5247 vsize=10985364 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/5250/task/5303/stat : 5303 (java) R 5247 5250 19273 0 -1 4202560 4859 13235 0 0 10 1 5 3 20 0 15 0 107484246 11249012736 11079 33554432000 4194304 4196468 140724599682992 139985828410272 139985849265181 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5304] ppid=5247 vsize=10985364 memory=4294967660 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5304/stat : 5304 (java) S 5247 5250 19273 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 107484247 11249012736 11079 33554432000 4194304 4196468 140724599682992 139985860828048 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5305] ppid=5247 vsize=10985364 memory=288370751486445184 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5305/stat : 5305 (java) S 5247 5250 19273 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 107484247 11249012736 11079 33554432000 4194304 4196468 140724599682992 139985742093072 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5306] ppid=5247 vsize=10985364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5306/stat : 5306 (java) S 5247 5250 19273 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 107484247 11249012736 11145 33554432000 4194304 4196468 140724599682992 139985741040784 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5307] ppid=5247 vsize=10985364 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5307/stat : 5307 (java) S 5247 5250 19273 0 -1 1077944384 2 13235 0 0 0 0 5 3 20 0 15 0 107484247 11249012736 11145 33554432000 4194304 4196468 140724599682992 139985739987984 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5308] ppid=5247 vsize=10985364 memory=140375334733440 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5308/stat : 5308 (java) S 5247 5250 19273 0 -1 1077944384 2 13235 0 0 0 0 5 3 20 0 15 0 107484248 11249012736 11145 33554432000 4194304 4196468 140724599682992 139985349437552 139985856596610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5309] ppid=5247 vsize=10985364 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5309/stat : 5309 (java) S 5247 5250 19273 0 -1 1077944384 13 13235 0 0 0 0 5 3 20 0 15 0 107484249 11249012736 11145 33554432000 4194304 4196468 140724599682992 139984526893856 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5310] ppid=5247 vsize=10985364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5310/stat : 5310 (java) S 5247 5250 19273 0 -1 1077944384 21 13235 0 0 0 0 5 3 20 0 15 0 107484249 11249012736 11211 33554432000 4194304 4196468 140724599682992 139984459781232 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5311] ppid=5247 vsize=10985364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5311/stat : 5311 (java) S 5247 5250 19273 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 107484252 11249012736 11211 33554432000 4194304 4196468 140724599682992 139984152385616 139985856604059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5312] ppid=5247 vsize=10985364 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5250/task/5312/stat : 5312 (java) S 5247 5250 19273 0 -1 1077944384 429 13235 0 0 1 0 5 3 20 0 15 0 107484252 11249012736 11211 33554432000 4194304 4196468 140724599682992 139985348385392 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5313] ppid=5247 vsize=10985364 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/5250/task/5313/stat : 5313 (java) S 5247 5250 19273 0 -1 1077944384 190 13235 0 0 1 0 5 3 20 0 15 0 107484252 11249012736 11211 33554432000 4194304 4196468 140724599682992 139985347332592 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5314] ppid=5247 vsize=10985364 memory=140375334733440 CPUtime=0.11 cores=0,2,4,6
/proc/5250/task/5314/stat : 5314 (java) S 5247 5250 19273 0 -1 1077944384 605 13235 0 0 3 0 5 3 20 0 15 0 107484252 11249012736 11277 33554432000 4194304 4196468 140724599682992 139985346280304 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5315] ppid=5247 vsize=10985364 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5315/stat : 5315 (java) S 5247 5250 19273 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 107484252 11249012736 11277 33554432000 4194304 4196468 140724599682992 139983721589728 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5316] ppid=5247 vsize=10985364 memory=140375334733440 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5316/stat : 5316 (java) S 5247 5250 19273 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 107484252 11249012736 11277 33554432000 4194304 4196468 140724599682992 139985345227184 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42732 KiB
[startup+0.31058 s]*
/proc/loadavg: 2.85 2.13 1.91 3/219 5316
/proc/meminfo: memFree=27599980/32770624 swapFree=67108744/67108860
[pid=5250] ppid=5247 vsize=10983192 memory=53404 CPUtime=0.38 cores=0,2,4,6
/proc/5250/stat : 5250 (java) S 5247 5250 19273 0 -1 1077944320 10448 13235 0 0 28 2 5 3 20 0 15 0 107484237 11246788608 13351 33554432000 4194304 4196468 140724599682992 140724599665536 139985856585463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
/proc/5250/statm: 2745798 13351 3078 1 0 2708109 0
[pid=5250/tid=5303] ppid=5247 vsize=10983192 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/5250/task/5303/stat : 5303 (java) R 5247 5250 19273 0 -1 4202560 6991 13235 0 0 20 1 5 3 20 0 15 0 107484246 11246788608 13351 33554432000 4194304 4196468 140724599682992 139985828400112 139985746074150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5304] ppid=5247 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5304/stat : 5304 (java) S 5247 5250 19273 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 107484247 11246788608 13351 33554432000 4194304 4196468 140724599682992 139985860828048 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5305] ppid=5247 vsize=10983192 memory=-2843878417231365278 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5305/stat : 5305 (java) S 5247 5250 19273 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 107484247 11246788608 13351 33554432000 4194304 4196468 140724599682992 139985742093072 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5306] ppid=5247 vsize=10983192 memory=-8412656567334364540 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5306/stat : 5306 (java) S 5247 5250 19273 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 107484247 11246788608 13351 33554432000 4194304 4196468 140724599682992 139985741040784 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5307] ppid=5247 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5307/stat : 5307 (java) S 5247 5250 19273 0 -1 1077944384 2 13235 0 0 0 0 5 3 20 0 15 0 107484247 11246788608 13351 33554432000 4194304 4196468 140724599682992 139985739987984 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5308] ppid=5247 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5308/stat : 5308 (java) S 5247 5250 19273 0 -1 1077944384 2 13235 0 0 0 0 5 3 20 0 15 0 107484248 11246788608 13351 33554432000 4194304 4196468 140724599682992 139985349437552 139985856596610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5309] ppid=5247 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5309/stat : 5309 (java) S 5247 5250 19273 0 -1 1077944384 13 13235 0 0 0 0 5 3 20 0 15 0 107484249 11246788608 13351 33554432000 4194304 4196468 140724599682992 139984526893856 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5310] ppid=5247 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5310/stat : 5310 (java) S 5247 5250 19273 0 -1 1077944384 21 13235 0 0 0 0 5 3 20 0 15 0 107484249 11246788608 13351 33554432000 4194304 4196468 140724599682992 139984459781232 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5311] ppid=5247 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5311/stat : 5311 (java) S 5247 5250 19273 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 107484252 11246788608 13351 33554432000 4194304 4196468 140724599682992 139984152385616 139985856604059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5312] ppid=5247 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5250/task/5312/stat : 5312 (java) S 5247 5250 19273 0 -1 1077944384 429 13235 0 0 1 0 5 3 20 0 15 0 107484252 11246788608 13351 33554432000 4194304 4196468 140724599682992 139985348385392 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5313] ppid=5247 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5250/task/5313/stat : 5313 (java) S 5247 5250 19273 0 -1 1077944384 191 13235 0 0 1 0 5 3 20 0 15 0 107484252 11246788608 13351 33554432000 4194304 4196468 140724599682992 139985347332592 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5314] ppid=5247 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/5250/task/5314/stat : 5314 (java) R 5247 5250 19273 0 -1 4202560 611 13235 0 0 5 0 5 3 20 0 15 0 107484252 11246788608 13351 33554432000 4194304 4196468 140724599682992 139985346280304 139985835556373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5315] ppid=5247 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5315/stat : 5315 (java) S 5247 5250 19273 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 107484252 11246788608 13351 33554432000 4194304 4196468 140724599682992 139983721589728 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5316] ppid=5247 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5316/stat : 5316 (java) S 5247 5250 19273 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 107484252 11246788608 13351 33554432000 4194304 4196468 140724599682992 139985345227184 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53404 KiB
[startup+0.70078 s]
/proc/loadavg: 2.85 2.13 1.91 4/219 5316
/proc/meminfo: memFree=27589540/32770624 swapFree=67108744/67108860
[pid=5250] ppid=5247 vsize=10983192 memory=86724 CPUtime=1 cores=0,2,4,6
/proc/5250/stat : 5250 (java) S 5247 5250 19273 0 -1 1077944320 16795 13235 0 0 88 4 5 3 20 0 15 0 107484237 11246788608 21681 33554432000 4194304 4196468 140724599682992 140724599665536 139985856585463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
/proc/5250/statm: 2745798 21681 3247 1 0 2708109 0
[pid=5250/tid=5303] ppid=5247 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/5250/task/5303/stat : 5303 (java) R 5247 5250 19273 0 -1 4202560 12154 13235 0 0 56 3 5 3 20 0 15 0 107484246 11246788608 21681 33554432000 4194304 4196468 140724599682992 139985828406288 139985839772272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5304] ppid=5247 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5304/stat : 5304 (java) S 5247 5250 19273 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 107484247 11246788608 21681 33554432000 4194304 4196468 140724599682992 139985860828048 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5305] ppid=5247 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5305/stat : 5305 (java) S 5247 5250 19273 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 107484247 11246788608 21681 33554432000 4194304 4196468 140724599682992 139985742093072 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5306] ppid=5247 vsize=10983192 memory=280750469418768 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5306/stat : 5306 (java) S 5247 5250 19273 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 107484247 11246788608 21681 33554432000 4194304 4196468 140724599682992 139985741040784 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5307] ppid=5247 vsize=10983192 memory=217802577 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5307/stat : 5307 (java) S 5247 5250 19273 0 -1 1077944384 2 13235 0 0 0 0 5 3 20 0 15 0 107484247 11246788608 21681 33554432000 4194304 4196468 140724599682992 139985739987984 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5308] ppid=5247 vsize=10983192 memory=7295946125792534684 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5308/stat : 5308 (java) S 5247 5250 19273 0 -1 1077944384 5 13235 0 0 0 0 5 3 20 0 15 0 107484248 11246788608 21681 33554432000 4194304 4196468 140724599682992 139985349437552 139985856596610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5309] ppid=5247 vsize=10983192 memory=7594570223111459687 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5309/stat : 5309 (java) S 5247 5250 19273 0 -1 1077944384 13 13235 0 0 0 0 5 3 20 0 15 0 107484249 11246788608 21681 33554432000 4194304 4196468 140724599682992 139984526893856 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5310] ppid=5247 vsize=10983192 memory=7019257425709197167 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5310/stat : 5310 (java) S 5247 5250 19273 0 -1 1077944384 21 13235 0 0 0 0 5 3 20 0 15 0 107484249 11246788608 21681 33554432000 4194304 4196468 140724599682992 139984459781232 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5311] ppid=5247 vsize=10983192 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5311/stat : 5311 (java) S 5247 5250 19273 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 107484252 11246788608 21681 33554432000 4194304 4196468 140724599682992 139984152385616 139985856604059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5312] ppid=5247 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/5250/task/5312/stat : 5312 (java) S 5247 5250 19273 0 -1 1077944384 1090 13235 0 0 9 0 5 3 20 0 15 0 107484252 11246788608 21681 33554432000 4194304 4196468 140724599682992 139985348385392 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5313] ppid=5247 vsize=10983192 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/5250/task/5313/stat : 5313 (java) S 5247 5250 19273 0 -1 1077944384 598 13235 0 0 8 0 5 3 20 0 15 0 107484252 11246788608 21681 33554432000 4194304 4196468 140724599682992 139985347332592 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5314] ppid=5247 vsize=10983192 memory=280750469972544 CPUtime=0.21 cores=0,2,4,6
/proc/5250/task/5314/stat : 5314 (java) S 5247 5250 19273 0 -1 1077944384 705 13235 0 0 13 0 5 3 20 0 15 0 107484252 11246788608 21681 33554432000 4194304 4196468 140724599682992 139985346280304 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5315] ppid=5247 vsize=10983192 memory=140376711103089 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5315/stat : 5315 (java) S 5247 5250 19273 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 107484252 11246788608 21681 33554432000 4194304 4196468 140724599682992 139983721589728 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5316] ppid=5247 vsize=10983192 memory=140376711103097 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5316/stat : 5316 (java) S 5247 5250 19273 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 107484252 11246788608 21681 33554432000 4194304 4196468 140724599682992 139985345227184 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86724 KiB
[startup+1.5063 s]
/proc/loadavg: 2.85 2.13 1.91 4/219 5316
/proc/meminfo: memFree=27543836/32770624 swapFree=67108744/67108860
[pid=5250] ppid=5247 vsize=10998092 memory=193200 CPUtime=3.01 cores=0,2,4,6
/proc/5250/stat : 5250 (java) S 5247 5250 19273 0 -1 1077944320 29097 13235 0 0 285 8 5 3 20 0 15 0 107484237 11262046208 48300 33554432000 4194304 4196468 140724599682992 140724599665536 139985856585463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
/proc/5250/statm: 2749523 48300 3472 1 0 2711181 0
[pid=5250/tid=5303] ppid=5247 vsize=10998092 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/5250/task/5303/stat : 5303 (java) R 5247 5250 19273 0 -1 4202560 18024 13235 0 0 130 4 5 3 20 0 15 0 107484246 11262046208 48300 33554432000 4194304 4196468 140724599682992 139985828402800 139985420513861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5304] ppid=5247 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5250/task/5304/stat : 5304 (java) S 5247 5250 19273 0 -1 1077944384 16 13235 0 0 1 0 5 3 20 0 15 0 107484247 11262046208 48300 33554432000 4194304 4196468 140724599682992 139985860828048 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5305] ppid=5247 vsize=10998092 memory=8112282956445269571 CPUtime=0.09 cores=0,2,4,6
/proc/5250/task/5305/stat : 5305 (java) S 5247 5250 19273 0 -1 1077944384 157 13235 0 0 1 0 5 3 20 0 15 0 107484247 11262046208 48300 33554432000 4194304 4196468 140724599682992 139985742093072 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5306] ppid=5247 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5306/stat : 5306 (java) S 5247 5250 19273 0 -1 1077944384 21 13235 0 0 0 0 5 3 20 0 15 0 107484247 11262046208 48300 33554432000 4194304 4196468 140724599682992 139985741040784 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5307] ppid=5247 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5250/task/5307/stat : 5307 (java) S 5247 5250 19273 0 -1 1077944384 87 13235 0 0 1 0 5 3 20 0 15 0 107484247 11262046208 48300 33554432000 4194304 4196468 140724599682992 139985739987984 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5308] ppid=5247 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5250/task/5308/stat : 5308 (java) S 5247 5250 19273 0 -1 1077944384 47 13235 0 0 1 0 5 3 20 0 15 0 107484248 11262046208 48300 33554432000 4194304 4196468 140724599682992 139985349437552 139985856596610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5309] ppid=5247 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5309/stat : 5309 (java) S 5247 5250 19273 0 -1 1077944384 13 13235 0 0 0 0 5 3 20 0 15 0 107484249 11262046208 48300 33554432000 4194304 4196468 140724599682992 139984526893856 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5310] ppid=5247 vsize=10998092 memory=-7966001967407402336 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5310/stat : 5310 (java) S 5247 5250 19273 0 -1 1077944384 42 13235 0 0 0 0 5 3 20 0 15 0 107484249 11262046208 48300 33554432000 4194304 4196468 140724599682992 139984459781232 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5311] ppid=5247 vsize=10998092 memory=-7019007797916124576 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5311/stat : 5311 (java) S 5247 5250 19273 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 107484252 11262046208 48300 33554432000 4194304 4196468 140724599682992 139984152385616 139985856604059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5312] ppid=5247 vsize=10998092 memory=4628415523589229910 CPUtime=0.59 cores=0,2,4,6
/proc/5250/task/5312/stat : 5312 (java) S 5247 5250 19273 0 -1 1077944384 3120 13235 0 0 51 0 5 3 20 0 15 0 107484252 11262046208 48300 33554432000 4194304 4196468 140724599682992 139985348385392 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5313] ppid=5247 vsize=10998092 memory=6525018278055875452 CPUtime=0.64 cores=0,2,4,6
/proc/5250/task/5313/stat : 5313 (java) R 5247 5250 19273 0 -1 4202560 3590 13235 0 0 56 0 5 3 20 0 15 0 107484252 11262046208 48300 33554432000 4194304 4196468 140724599682992 139985347314816 139985842602201 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5314] ppid=5247 vsize=10998092 memory=-8253362664378451622 CPUtime=0.46 cores=0,2,4,6
/proc/5250/task/5314/stat : 5314 (java) S 5247 5250 19273 0 -1 1077944384 1776 13235 0 0 38 0 5 3 20 0 15 0 107484252 11262046208 48300 33554432000 4194304 4196468 140724599682992 139985346280304 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5315] ppid=5247 vsize=10998092 memory=280750469672768 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5315/stat : 5315 (java) S 5247 5250 19273 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 107484252 11262046208 48300 33554432000 4194304 4196468 140724599682992 139983721589728 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5316] ppid=5247 vsize=10998092 memory=280750469677328 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5316/stat : 5316 (java) S 5247 5250 19273 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 107484252 11262046208 48300 33554432000 4194304 4196468 140724599682992 139985345227184 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/5250/task/5303/stat : 5303 (java) R 5247 5250 19273 0 -1 4202560 55775 13235 0 0 16062 26 5 3 20 0 15 0 107484246 11280941056 384151 33554432000 4194304 4196468 140724599682992 139985828419624 139985429877484 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5304] ppid=5247 vsize=11016544 memory=1564308 CPUtime=0.78 cores=0,2,4,6
/proc/5250/task/5304/stat : 5304 (java) S 5247 5250 19273 0 -1 1077944384 2720 13235 0 0 49 21 5 3 20 0 15 0 107484247 11280941056 384151 33554432000 4194304 4196468 140724599682992 139985860828048 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5305] ppid=5247 vsize=11016544 memory=7810763844726514514 CPUtime=0.79 cores=0,2,4,6
/proc/5250/task/5305/stat : 5305 (java) S 5247 5250 19273 0 -1 1077944384 2878 13235 0 0 51 20 5 3 20 0 15 0 107484247 11280941056 384151 33554432000 4194304 4196468 140724599682992 139985742093072 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5306] ppid=5247 vsize=11016544 memory=8112282956445269571 CPUtime=0.79 cores=0,2,4,6
/proc/5250/task/5306/stat : 5306 (java) S 5247 5250 19273 0 -1 1077944384 2371 13235 0 0 50 21 5 3 20 0 15 0 107484247 11280941056 384151 33554432000 4194304 4196468 140724599682992 139985741040784 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5307] ppid=5247 vsize=11016544 memory=272 CPUtime=0.8 cores=0,2,4,6
/proc/5250/task/5307/stat : 5307 (java) S 5247 5250 19273 0 -1 1077944384 2422 13235 0 0 52 20 5 3 20 0 15 0 107484247 11280941056 384151 33554432000 4194304 4196468 140724599682992 139985739987984 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5308] ppid=5247 vsize=11016544 memory=4096 CPUtime=0.18 cores=0,2,4,6
/proc/5250/task/5308/stat : 5308 (java) S 5247 5250 19273 0 -1 1077944384 9090 13235 0 0 9 1 5 3 20 0 15 0 107484248 11280941056 384151 33554432000 4194304 4196468 140724599682992 139985349437552 139985856596610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5309] ppid=5247 vsize=11016544 memory=30752 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5309/stat : 5309 (java) S 5247 5250 19273 0 -1 1077944384 14 13235 0 0 0 0 5 3 20 0 15 0 107484249 11280941056 384151 33554432000 4194304 4196468 140724599682992 139984526893984 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5310] ppid=5247 vsize=11016544 memory=1571492 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5310/stat : 5310 (java) S 5247 5250 19273 0 -1 1077944384 42 13235 0 0 0 0 5 3 20 0 15 0 107484249 11280941056 384151 33554432000 4194304 4196468 140724599682992 139984459781408 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5311] ppid=5247 vsize=11016544 memory=30752 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5311/stat : 5311 (java) S 5247 5250 19273 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 107484252 11280941056 384151 33554432000 4194304 4196468 140724599682992 139984152385616 139985856604059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5312] ppid=5247 vsize=11016544 memory=1564308 CPUtime=7.5 cores=0,2,4,6
/proc/5250/task/5312/stat : 5312 (java) S 5247 5250 19273 0 -1 1077944384 21608 13235 0 0 738 4 5 3 20 0 15 0 107484252 11280941056 384151 33554432000 4194304 4196468 140724599682992 139985348385392 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5313] ppid=5247 vsize=11016544 memory=1536604 CPUtime=7.67 cores=0,2,4,6
/proc/5250/task/5313/stat : 5313 (java) S 5247 5250 19273 0 -1 1077944384 22195 13235 0 0 756 3 5 3 20 0 15 0 107484252 11280941056 384151 33554432000 4194304 4196468 140724599682992 139985347332592 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5314] ppid=5247 vsize=11016544 memory=1564308 CPUtime=2.83 cores=0,2,4,6
/proc/5250/task/5314/stat : 5314 (java) S 5247 5250 19273 0 -1 1077944384 15887 13235 0 0 270 5 5 3 20 0 15 0 107484252 11280941056 384151 33554432000 4194304 4196468 140724599682992 139985346280304 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5315] ppid=5247 vsize=11016544 memory=30752 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5315/stat : 5315 (java) S 5247 5250 19273 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 107484252 11280941056 384151 33554432000 4194304 4196468 140724599682992 139983721589728 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5316] ppid=5247 vsize=11016544 memory=2396 CPUtime=0.16 cores=0,2,4,6
/proc/5250/task/5316/stat : 5316 (java) S 5247 5250 19273 0 -1 1077944384 1565 13235 0 0 3 5 5 3 20 0 15 0 107484252 11280941056 384151 33554432000 4194304 4196468 140724599682992 139985345227184 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 46 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
Current children cumulated CPU time: 181.87 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1536604 KiB
[startup+222.301 s]
/proc/loadavg: 1.59 1.90 1.86 4/220 5352
/proc/meminfo: memFree=26985504/32770624 swapFree=67108744/67108860
[pid=5250] ppid=5247 vsize=11016544 memory=1304968 CPUtime=242.5 cores=0,2,4,6
/proc/5250/stat : 5250 (java) S 5247 5250 19273 0 -1 1077944320 152491 13235 0 0 24108 134 5 3 20 0 15 0 107484237 11280941056 326242 33554432000 4194304 4196468 140724599682992 140724599665536 139985856585463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
/proc/5250/statm: 2754136 326242 3532 1 0 2715789 0
[pid=5250/tid=5303] ppid=5247 vsize=11016544 memory=1309588 CPUtime=220.83 cores=0,2,4,6
/proc/5250/task/5303/stat : 5303 (java) R 5247 5250 19273 0 -1 4202560 57449 13235 0 0 22048 27 5 3 20 0 15 0 107484246 11280941056 326242 33554432000 4194304 4196468 140724599682992 139985828419712 139985429876116 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5304] ppid=5247 vsize=11016544 memory=1324464 CPUtime=0.89 cores=0,2,4,6
/proc/5250/task/5304/stat : 5304 (java) S 5247 5250 19273 0 -1 1077944384 3841 13235 0 0 60 21 5 3 20 0 15 0 107484247 11280941056 326242 33554432000 4194304 4196468 140724599682992 139985860828048 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5305] ppid=5247 vsize=11016544 memory=1329080 CPUtime=0.9 cores=0,2,4,6
/proc/5250/task/5305/stat : 5305 (java) S 5247 5250 19273 0 -1 1077944384 3530 13235 0 0 61 21 5 3 20 0 15 0 107484247 11280941056 326242 33554432000 4194304 4196468 140724599682992 139985742093072 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5306] ppid=5247 vsize=11016544 memory=1324464 CPUtime=0.89 cores=0,2,4,6
/proc/5250/task/5306/stat : 5306 (java) S 5247 5250 19273 0 -1 1077944384 2745 13235 0 0 60 21 5 3 20 0 15 0 107484247 11280941056 326242 33554432000 4194304 4196468 140724599682992 139985741040784 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5307] ppid=5247 vsize=11016544 memory=1309588 CPUtime=0.9 cores=0,2,4,6
/proc/5250/task/5307/stat : 5307 (java) S 5247 5250 19273 0 -1 1077944384 2518 13235 0 0 62 20 5 3 20 0 15 0 107484247 11280941056 326242 33554432000 4194304 4196468 140724599682992 139985739987984 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5308] ppid=5247 vsize=11016544 memory=4639924115538404950 CPUtime=0.2 cores=0,2,4,6
/proc/5250/task/5308/stat : 5308 (java) S 5247 5250 19273 0 -1 1077944384 9371 13235 0 0 10 2 5 3 20 0 15 0 107484248 11280941056 326242 33554432000 4194304 4196468 140724599682992 139985349437552 139985856596610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 41 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5309] ppid=5247 vsize=11016544 memory=1304968 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5309/stat : 5309 (java) S 5247 5250 19273 0 -1 1077944384 14 13235 0 0 0 0 5 3 20 0 15 0 107484249 11280941056 326242 33554432000 4194304 4196468 140724599682992 139984526893984 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5310] ppid=5247 vsize=11016544 memory=1304968 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5310/stat : 5310 (java) S 5247 5250 19273 0 -1 1077944384 42 13235 0 0 0 0 5 3 20 0 15 0 107484249 11280941056 326242 33554432000 4194304 4196468 140724599682992 139984459781408 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5311] ppid=5247 vsize=11016544 memory=1309588 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5311/stat : 5311 (java) S 5247 5250 19273 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 107484252 11280941056 326242 33554432000 4194304 4196468 140724599682992 139984152385616 139985856604059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5312] ppid=5247 vsize=11016544 memory=18280 CPUtime=7.61 cores=0,2,4,6
/proc/5250/task/5312/stat : 5312 (java) S 5247 5250 19273 0 -1 1077944384 23773 13235 0 0 749 4 5 3 20 0 15 0 107484252 11280941056 326242 33554432000 4194304 4196468 140724599682992 139985348385392 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5313] ppid=5247 vsize=11016544 memory=1304968 CPUtime=7.79 cores=0,2,4,6
/proc/5250/task/5313/stat : 5313 (java) S 5247 5250 19273 0 -1 1077944384 25035 13235 0 0 767 4 5 3 20 0 15 0 107484252 11280941056 326242 33554432000 4194304 4196468 140724599682992 139985347332592 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5314] ppid=5247 vsize=11016544 memory=18280 CPUtime=2.9 cores=0,2,4,6
/proc/5250/task/5314/stat : 5314 (java) S 5247 5250 19273 0 -1 1077944384 20277 13235 0 0 277 5 5 3 20 0 15 0 107484252 11280941056 326242 33554432000 4194304 4196468 140724599682992 139985346280304 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5315] ppid=5247 vsize=11016544 memory=1844 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5315/stat : 5315 (java) S 5247 5250 19273 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 107484252 11280941056 326242 33554432000 4194304 4196468 140724599682992 139983721589728 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5316] ppid=5247 vsize=11016544 memory=1008 CPUtime=0.2 cores=0,2,4,6
/proc/5250/task/5316/stat : 5316 (java) S 5247 5250 19273 0 -1 1077944384 1693 13235 0 0 5 7 5 3 20 0 15 0 107484252 11280941056 326242 33554432000 4194304 4196468 140724599682992 139985345227184 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 46 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
Current children cumulated CPU time: 242.5 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1304968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+231.701 s]
/proc/loadavg: 1.74 1.92 1.87 3/221 5452
/proc/meminfo: memFree=26593332/32770624 swapFree=67108744/67108860
[pid=5250] ppid=5247 vsize=11016544 memory=1254204 CPUtime=252 cores=0,2,4,6
/proc/5250/stat : 5250 (java) S 5247 5250 19273 0 -1 1077944320 153235 13235 0 0 25057 135 5 3 20 0 15 0 107484237 11280941056 313551 33554432000 4194304 4196468 140724599682992 140724599665536 139985856585463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
/proc/5250/statm: 2754136 313551 3532 1 0 2715789 0
[pid=5250/tid=5303] ppid=5247 vsize=11016544 memory=280750471126272 CPUtime=230.21 cores=0,2,4,6
/proc/5250/task/5303/stat : 5303 (java) R 5247 5250 19273 0 -1 4202560 58108 13235 0 0 22986 27 5 3 20 0 15 0 107484246 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985828419296 139985429877363 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5304] ppid=5247 vsize=11016544 memory=1272128 CPUtime=0.9 cores=0,2,4,6
/proc/5250/task/5304/stat : 5304 (java) S 5247 5250 19273 0 -1 1077944384 3842 13235 0 0 61 21 5 3 20 0 15 0 107484247 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985860828048 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5305] ppid=5247 vsize=11016544 memory=1272128 CPUtime=0.92 cores=0,2,4,6
/proc/5250/task/5305/stat : 5305 (java) S 5247 5250 19273 0 -1 1077944384 3533 13235 0 0 63 21 5 3 20 0 15 0 107484247 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985742093072 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5306] ppid=5247 vsize=11016544 memory=1008 CPUtime=0.91 cores=0,2,4,6
/proc/5250/task/5306/stat : 5306 (java) S 5247 5250 19273 0 -1 1077944384 2755 13235 0 0 61 22 5 3 20 0 15 0 107484247 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985741040784 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5307] ppid=5247 vsize=11016544 memory=1254176 CPUtime=0.92 cores=0,2,4,6
/proc/5250/task/5307/stat : 5307 (java) S 5247 5250 19273 0 -1 1077944384 2521 13235 0 0 64 20 5 3 20 0 15 0 107484247 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985739987984 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5308] ppid=5247 vsize=11016544 memory=1272128 CPUtime=0.2 cores=0,2,4,6
/proc/5250/task/5308/stat : 5308 (java) S 5247 5250 19273 0 -1 1077944384 9372 13235 0 0 10 2 5 3 20 0 15 0 107484248 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985349437552 139985856596610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 41 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5309] ppid=5247 vsize=11016544 memory=164 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5309/stat : 5309 (java) S 5247 5250 19273 0 -1 1077944384 14 13235 0 0 0 0 5 3 20 0 15 0 107484249 11280941056 313551 33554432000 4194304 4196468 140724599682992 139984526893984 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5310] ppid=5247 vsize=11016544 memory=1292 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5310/stat : 5310 (java) S 5247 5250 19273 0 -1 1077944384 42 13235 0 0 0 0 5 3 20 0 15 0 107484249 11280941056 313551 33554432000 4194304 4196468 140724599682992 139984459781408 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5311] ppid=5247 vsize=11016544 memory=1844 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5311/stat : 5311 (java) S 5247 5250 19273 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 107484252 11280941056 313551 33554432000 4194304 4196468 140724599682992 139984152385616 139985856604059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5312] ppid=5247 vsize=11016544 memory=1844 CPUtime=7.64 cores=0,2,4,6
/proc/5250/task/5312/stat : 5312 (java) S 5247 5250 19273 0 -1 1077944384 23783 13235 0 0 752 4 5 3 20 0 15 0 107484252 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985348385392 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 46 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5313] ppid=5247 vsize=11016544 memory=1008 CPUtime=7.8 cores=0,2,4,6
/proc/5250/task/5313/stat : 5313 (java) S 5247 5250 19273 0 -1 1077944384 25067 13235 0 0 768 4 5 3 20 0 15 0 107484252 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985347332592 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5314] ppid=5247 vsize=11016544 memory=0 CPUtime=2.91 cores=0,2,4,6
/proc/5250/task/5314/stat : 5314 (java) S 5247 5250 19273 0 -1 1077944384 20302 13235 0 0 278 5 5 3 20 0 15 0 107484252 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985346280304 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5315] ppid=5247 vsize=11016544 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5315/stat : 5315 (java) S 5247 5250 19273 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 107484252 11280941056 313551 33554432000 4194304 4196468 140724599682992 139983721589728 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5316] ppid=5247 vsize=11016544 memory=1272128 CPUtime=0.2 cores=0,2,4,6
/proc/5250/task/5316/stat : 5316 (java) S 5247 5250 19273 0 -1 1077944384 1693 13235 0 0 5 7 5 3 20 0 15 0 107484252 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985345227184 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1254204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+231.75 s]
# the end of solver process 5250 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.651 s, system=1.4072 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+231.701 s]
/proc/loadavg: 1.74 1.92 1.87 3/221 5452
/proc/meminfo: memFree=26593332/32770624 swapFree=67108744/67108860
[pid=5250] ppid=5247 vsize=11016544 memory=1254204 CPUtime=252 cores=0,2,4,6
/proc/5250/stat : 5250 (java) S 5247 5250 19273 0 -1 1077944320 153235 13235 0 0 25057 135 5 3 20 0 15 0 107484237 11280941056 313551 33554432000 4194304 4196468 140724599682992 140724599665536 139985856585463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
/proc/5250/statm: 2754136 313551 3532 1 0 2715789 0
[pid=5250/tid=5303] ppid=5247 vsize=11016544 memory=280750471126272 CPUtime=230.21 cores=0,2,4,6
/proc/5250/task/5303/stat : 5303 (java) R 5247 5250 19273 0 -1 4202560 58108 13235 0 0 22986 27 5 3 20 0 15 0 107484246 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985828419296 139985429877363 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5304] ppid=5247 vsize=11016544 memory=1272128 CPUtime=0.9 cores=0,2,4,6
/proc/5250/task/5304/stat : 5304 (java) S 5247 5250 19273 0 -1 1077944384 3842 13235 0 0 61 21 5 3 20 0 15 0 107484247 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985860828048 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5305] ppid=5247 vsize=11016544 memory=1272128 CPUtime=0.92 cores=0,2,4,6
/proc/5250/task/5305/stat : 5305 (java) S 5247 5250 19273 0 -1 1077944384 3533 13235 0 0 63 21 5 3 20 0 15 0 107484247 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985742093072 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5306] ppid=5247 vsize=11016544 memory=1008 CPUtime=0.91 cores=0,2,4,6
/proc/5250/task/5306/stat : 5306 (java) S 5247 5250 19273 0 -1 1077944384 2755 13235 0 0 61 22 5 3 20 0 15 0 107484247 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985741040784 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5307] ppid=5247 vsize=11016544 memory=1254176 CPUtime=0.92 cores=0,2,4,6
/proc/5250/task/5307/stat : 5307 (java) S 5247 5250 19273 0 -1 1077944384 2521 13235 0 0 64 20 5 3 20 0 15 0 107484247 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985739987984 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5308] ppid=5247 vsize=11016544 memory=1272128 CPUtime=0.2 cores=0,2,4,6
/proc/5250/task/5308/stat : 5308 (java) S 5247 5250 19273 0 -1 1077944384 9372 13235 0 0 10 2 5 3 20 0 15 0 107484248 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985349437552 139985856596610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 41 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5309] ppid=5247 vsize=11016544 memory=164 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5309/stat : 5309 (java) S 5247 5250 19273 0 -1 1077944384 14 13235 0 0 0 0 5 3 20 0 15 0 107484249 11280941056 313551 33554432000 4194304 4196468 140724599682992 139984526893984 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5310] ppid=5247 vsize=11016544 memory=1292 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5310/stat : 5310 (java) S 5247 5250 19273 0 -1 1077944384 42 13235 0 0 0 0 5 3 20 0 15 0 107484249 11280941056 313551 33554432000 4194304 4196468 140724599682992 139984459781408 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5311] ppid=5247 vsize=11016544 memory=1844 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5311/stat : 5311 (java) S 5247 5250 19273 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 107484252 11280941056 313551 33554432000 4194304 4196468 140724599682992 139984152385616 139985856604059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5312] ppid=5247 vsize=11016544 memory=1844 CPUtime=7.64 cores=0,2,4,6
/proc/5250/task/5312/stat : 5312 (java) S 5247 5250 19273 0 -1 1077944384 23783 13235 0 0 752 4 5 3 20 0 15 0 107484252 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985348385392 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 46 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5313] ppid=5247 vsize=11016544 memory=1008 CPUtime=7.8 cores=0,2,4,6
/proc/5250/task/5313/stat : 5313 (java) S 5247 5250 19273 0 -1 1077944384 25067 13235 0 0 768 4 5 3 20 0 15 0 107484252 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985347332592 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5314] ppid=5247 vsize=11016544 memory=0 CPUtime=2.91 cores=0,2,4,6
/proc/5250/task/5314/stat : 5314 (java) S 5247 5250 19273 0 -1 1077944384 20302 13235 0 0 278 5 5 3 20 0 15 0 107484252 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985346280304 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5315] ppid=5247 vsize=11016544 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/5250/task/5315/stat : 5315 (java) S 5247 5250 19273 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 107484252 11280941056 313551 33554432000 4194304 4196468 140724599682992 139983721589728 139985856595669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
[pid=5250/tid=5316] ppid=5247 vsize=11016544 memory=1272128 CPUtime=0.2 cores=0,2,4,6
/proc/5250/task/5316/stat : 5316 (java) S 5247 5250 19273 0 -1 1077944384 1693 13235 0 0 5 7 5 3 20 0 15 0 107484252 11280941056 313551 33554432000 4194304 4196468 140724599682992 139985345227184 139985856596610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 27504640 140724599687785 140724599690593 140724599690593 140724599693263 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1254204 KiB
Child status: 143
Real time (s): 231.75
CPU time (s): 252.059
CPU user time (s): 250.651
CPU system time (s): 1.4072
CPU usage (%): 108.763
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 1834680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.651
system time used= 1.40721
maximum resident set size= 1849016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167916
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16800
involuntary context switches= 489
# summary of solver processes directly reported to runsolver:
# pid: 5250
# total CPU time (s): 252.059
# total CPU user time (s): 250.651
# total CPU system time (s): 1.4072
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47455 second user time and 2.15063 second system time
The end