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 (13964 MiB free)
memory of node 1: 16384 MiB (12330 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258249-1502638994/watcher-4258249-1502638994 -o /tmp/evaluation-result-4258249-1502638994/solver-4258249-1502638994 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502637430-15760 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258249-1502638994.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=17036, runsolver pid=17033
[startup+0.103043 s]*
/proc/loadavg: 4.73 4.57 3.86 4/215 17051
/proc/meminfo: memFree=26906928/32770624 swapFree=67108860/67108860
[pid=17036] ppid=17033 vsize=10555400 memory=30816 CPUtime=0.13 cores=0,2,4,6
/proc/17036/stat : 17036 (java) S 17033 17036 6338 0 -1 1077944320 6770 0 0 0 12 1 0 0 20 0 15 0 96980442 10808729600 7704 33554432000 4194304 4196468 140732866966720 140732866949264 140041685217015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
/proc/17036/statm: 2638850 7704 2824 1 0 2627263 0
[pid=17036/tid=17038] ppid=17033 vsize=10555400 memory=-7254947784588945530 CPUtime=0.09 cores=0,2,4,6
/proc/17036/task/17038/stat : 17038 (java) R 17033 17036 6338 0 -1 4202560 4612 0 0 0 9 0 0 0 20 0 15 0 96980442 10808729600 7704 33554432000 4194304 4196468 140732866966720 140041689439600 140041669297502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17039] ppid=17033 vsize=10555400 memory=5793855162643814841 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17039/stat : 17039 (java) S 17033 17036 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96980443 10808729600 7704 33554432000 4194304 4196468 140732866966720 140041637837456 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17040] ppid=17033 vsize=10555400 memory=139911633921664 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17040/stat : 17040 (java) S 17033 17036 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96980443 10808729600 7704 33554432000 4194304 4196468 140732866966720 140041291225616 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17041] ppid=17033 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17041/stat : 17041 (java) S 17033 17036 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96980443 10808729600 7704 33554432000 4194304 4196468 140732866966720 140041290172816 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17042] ppid=17033 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17042/stat : 17042 (java) S 17033 17036 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96980443 10808729600 7704 33554432000 4194304 4196468 140732866966720 140041289120016 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17043] ppid=17033 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17043/stat : 17043 (java) S 17033 17036 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96980445 10808729600 7704 33554432000 4194304 4196468 140732866966720 140041244846960 140041685228162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17044] ppid=17033 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17044/stat : 17044 (java) S 17033 17036 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96980445 10808729600 7704 33554432000 4194304 4196468 140732866966720 140041243792928 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17045] ppid=17033 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17045/stat : 17045 (java) S 17033 17036 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96980445 10808729600 7704 33554432000 4194304 4196468 140732866966720 140041242740080 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17046] ppid=17033 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17046/stat : 17046 (java) S 17033 17036 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96980447 10808729600 7704 33554432000 4194304 4196468 140732866966720 140041241688400 140041685235611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17047] ppid=17033 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17047/stat : 17047 (java) S 17033 17036 6338 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 96980448 10808729600 7704 33554432000 4194304 4196468 140732866966720 140041240635760 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17048] ppid=17033 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17048/stat : 17048 (java) S 17033 17036 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96980448 10808729600 7704 33554432000 4194304 4196468 140732866966720 140041239582960 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17049] ppid=17033 vsize=10555400 memory=139911633921664 CPUtime=0.02 cores=0,2,4,6
/proc/17036/task/17049/stat : 17049 (java) S 17033 17036 6338 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 96980448 10808729600 7704 33554432000 4194304 4196468 140732866966720 140041238530160 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17050] ppid=17033 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17050/stat : 17050 (java) S 17033 17036 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96980448 10808729600 7704 33554432000 4194304 4196468 140732866966720 140041237477600 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17051] ppid=17033 vsize=10555400 memory=139911633921664 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17051/stat : 17051 (java) S 17033 17036 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96980448 10808729600 7704 33554432000 4194304 4196468 140732866966720 140041236425904 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30816 KiB
[startup+0.210517 s]*
/proc/loadavg: 4.73 4.57 3.86 3/215 17051
/proc/meminfo: memFree=26898564/32770624 swapFree=67108860/67108860
[pid=17036] ppid=17033 vsize=10555400 memory=39628 CPUtime=0.3 cores=0,2,4,6
/proc/17036/stat : 17036 (java) S 17033 17036 6338 0 -1 1077944320 8046 0 0 0 28 2 0 0 20 0 15 0 96980442 10808729600 9907 33554432000 4194304 4196468 140732866966720 140732866949264 140041685217015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
/proc/17036/statm: 2638850 9907 2929 1 0 2627263 0
[pid=17036/tid=17038] ppid=17033 vsize=10555400 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/17036/task/17038/stat : 17038 (java) R 17033 17036 6338 0 -1 4202560 5161 0 0 0 19 1 0 0 20 0 15 0 96980442 10808729600 9907 33554432000 4194304 4196468 140732866966720 140041689449264 140732868217032 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17039] ppid=17033 vsize=10555400 memory=4211973637838712202 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17039/stat : 17039 (java) S 17033 17036 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96980443 10808729600 9907 33554432000 4194304 4196468 140732866966720 140041637837456 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17040] ppid=17033 vsize=10555400 memory=139911633921664 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17040/stat : 17040 (java) S 17033 17036 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96980443 10808729600 9907 33554432000 4194304 4196468 140732866966720 140041291225616 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17041] ppid=17033 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17041/stat : 17041 (java) S 17033 17036 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96980443 10808729600 9907 33554432000 4194304 4196468 140732866966720 140041290172816 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17042] ppid=17033 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17042/stat : 17042 (java) S 17033 17036 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96980443 10808729600 9907 33554432000 4194304 4196468 140732866966720 140041289120016 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17043] ppid=17033 vsize=10555400 memory=139911633921664 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17043/stat : 17043 (java) S 17033 17036 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96980445 10808729600 9907 33554432000 4194304 4196468 140732866966720 140041244846960 140041685228162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17044] ppid=17033 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17044/stat : 17044 (java) S 17033 17036 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96980445 10808729600 9907 33554432000 4194304 4196468 140732866966720 140041243792928 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17045] ppid=17033 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17045/stat : 17045 (java) S 17033 17036 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96980445 10808729600 9907 33554432000 4194304 4196468 140732866966720 140041242740080 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17046] ppid=17033 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17046/stat : 17046 (java) S 17033 17036 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96980447 10808729600 9907 33554432000 4194304 4196468 140732866966720 140041241688400 140041685235611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17047] ppid=17033 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/17036/task/17047/stat : 17047 (java) S 17033 17036 6338 0 -1 1077944384 590 0 0 0 1 0 0 0 20 0 15 0 96980448 10808729600 9907 33554432000 4194304 4196468 140732866966720 140041240635760 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17048] ppid=17033 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/17036/task/17048/stat : 17048 (java) S 17033 17036 6338 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 15 0 96980448 10808729600 9907 33554432000 4194304 4196468 140732866966720 140041239582960 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17049] ppid=17033 vsize=10555400 memory=139911633921664 CPUtime=0.06 cores=0,2,4,6
/proc/17036/task/17049/stat : 17049 (java) S 17033 17036 6338 0 -1 1077944384 805 0 0 0 6 0 0 0 20 0 15 0 96980448 10808729600 9907 33554432000 4194304 4196468 140732866966720 140041238530160 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17050] ppid=17033 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17050/stat : 17050 (java) S 17033 17036 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96980448 10808729600 9907 33554432000 4194304 4196468 140732866966720 140041237477600 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17051] ppid=17033 vsize=10555400 memory=139911633921664 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17051/stat : 17051 (java) S 17033 17036 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96980448 10808729600 9907 33554432000 4194304 4196468 140732866966720 140041236425904 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39628 KiB
[startup+0.310215 s]*
/proc/loadavg: 4.73 4.57 3.86 5/215 17051
/proc/meminfo: memFree=26891904/32770624 swapFree=67108860/67108860
[pid=17036] ppid=17033 vsize=10555476 memory=46692 CPUtime=0.51 cores=0,2,4,6
/proc/17036/stat : 17036 (java) S 17033 17036 6338 0 -1 1077944320 8702 0 0 0 48 3 0 0 20 0 15 0 96980442 10808807424 11673 33554432000 4194304 4196468 140732866966720 140732866949264 140041685217015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
/proc/17036/statm: 2638869 11673 3041 1 0 2627263 0
[pid=17036/tid=17038] ppid=17033 vsize=10555476 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/17036/task/17038/stat : 17038 (java) R 17033 17036 6338 0 -1 4202560 5546 0 0 0 28 2 0 0 20 0 15 0 96980442 10808807424 11673 33554432000 4194304 4196468 140732866966720 140041689453488 140041317854901 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17039] ppid=17033 vsize=10555476 memory=4211973637838712202 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17039/stat : 17039 (java) S 17033 17036 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96980443 10808807424 11673 33554432000 4194304 4196468 140732866966720 140041637837456 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17040] ppid=17033 vsize=10555476 memory=139911633924021 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17040/stat : 17040 (java) S 17033 17036 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96980443 10808807424 11673 33554432000 4194304 4196468 140732866966720 140041291225616 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17041] ppid=17033 vsize=10555476 memory=139911512572626 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17041/stat : 17041 (java) S 17033 17036 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96980443 10808807424 11673 33554432000 4194304 4196468 140732866966720 140041290172816 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17042] ppid=17033 vsize=10555476 memory=139911512575439 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17042/stat : 17042 (java) S 17033 17036 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96980443 10808807424 11673 33554432000 4194304 4196468 140732866966720 140041289120016 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17043] ppid=17033 vsize=10555476 memory=139911633928029 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17043/stat : 17043 (java) S 17033 17036 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96980445 10808807424 11673 33554432000 4194304 4196468 140732866966720 140041244846960 140041685228162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17044] ppid=17033 vsize=10555476 memory=139911512584623 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17044/stat : 17044 (java) S 17033 17036 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96980445 10808807424 11673 33554432000 4194304 4196468 140732866966720 140041243792928 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17045] ppid=17033 vsize=10555476 memory=279823025160080 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17045/stat : 17045 (java) S 17033 17036 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96980445 10808807424 11673 33554432000 4194304 4196468 140732866966720 140041242740080 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17046] ppid=17033 vsize=10555476 memory=279823025157776 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17046/stat : 17046 (java) S 17033 17036 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96980447 10808807424 11673 33554432000 4194304 4196468 140732866966720 140041241688400 140041685235611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17047] ppid=17033 vsize=10555476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/17036/task/17047/stat : 17047 (java) R 17033 17036 6338 0 -1 4202560 669 0 0 0 3 0 0 0 20 0 15 0 96980448 10808807424 11673 33554432000 4194304 4196468 140732866966720 140041240635760 140041664359680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17048] ppid=17033 vsize=10555476 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/17036/task/17048/stat : 17048 (java) R 17033 17036 6338 0 -1 1077944384 215 0 0 0 3 0 0 0 20 0 15 0 96980448 10808807424 11673 33554432000 4194304 4196468 140732866966720 140041239582960 140041685228162 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17049] ppid=17033 vsize=10555476 memory=139911633921664 CPUtime=0.13 cores=0,2,4,6
/proc/17036/task/17049/stat : 17049 (java) R 17033 17036 6338 0 -1 4202560 904 0 0 0 13 0 0 0 20 0 15 0 96980448 10808807424 11673 33554432000 4194304 4196468 140732866966720 140041238530160 140041663661816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17050] ppid=17033 vsize=10555476 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17050/stat : 17050 (java) S 17033 17036 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96980448 10808807424 11673 33554432000 4194304 4196468 140732866966720 140041237477600 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17051] ppid=17033 vsize=10555476 memory=139911633921664 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17051/stat : 17051 (java) S 17033 17036 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96980448 10808807424 11673 33554432000 4194304 4196468 140732866966720 140041236425904 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46692 KiB
[startup+0.700787 s]
/proc/loadavg: 4.73 4.57 3.86 5/215 17051
/proc/meminfo: memFree=26739548/32770624 swapFree=67108860/67108860
[pid=17036] ppid=17033 vsize=10555476 memory=387188 CPUtime=1.53 cores=0,2,4,6
/proc/17036/stat : 17036 (java) S 17033 17036 6338 0 -1 1077944320 10227 0 0 0 132 21 0 0 20 0 15 0 96980442 10808807424 96797 33554432000 4194304 4196468 140732866966720 140732866949264 140041685217015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
/proc/17036/statm: 2638869 96797 3106 1 0 2627263 0
[pid=17036/tid=17038] ppid=17033 vsize=10555476 memory=1952 CPUtime=0.57 cores=0,2,4,6
/proc/17036/task/17038/stat : 17038 (java) R 17033 17036 6338 0 -1 4202560 5738 0 0 0 52 5 0 0 20 0 15 0 96980442 10808807424 96797 33554432000 4194304 4196468 140732866966720 140041689454064 140041671285140 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17039] ppid=17033 vsize=10555476 memory=5796 CPUtime=0.1 cores=0,2,4,6
/proc/17036/task/17039/stat : 17039 (java) S 17033 17036 6338 0 -1 1077944384 136 0 0 0 7 3 0 0 20 0 15 0 96980443 10808807424 96797 33554432000 4194304 4196468 140732866966720 140041637837456 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17040] ppid=17033 vsize=10555476 memory=4616 CPUtime=0.09 cores=0,2,4,6
/proc/17036/task/17040/stat : 17040 (java) S 17033 17036 6338 0 -1 1077944384 125 0 0 0 6 3 0 0 20 0 15 0 96980443 10808807424 96797 33554432000 4194304 4196468 140732866966720 140041291225616 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17041] ppid=17033 vsize=10555476 memory=7523356985603351872 CPUtime=0.09 cores=0,2,4,6
/proc/17036/task/17041/stat : 17041 (java) S 17033 17036 6338 0 -1 1077944384 134 0 0 0 6 3 0 0 20 0 15 0 96980443 10808807424 96797 33554432000 4194304 4196468 140732866966720 140041290172816 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17042] ppid=17033 vsize=10555476 memory=7881696724453321575 CPUtime=0.1 cores=0,2,4,6
/proc/17036/task/17042/stat : 17042 (java) S 17033 17036 6338 0 -1 1077944384 143 0 0 0 7 3 0 0 20 0 15 0 96980443 10808807424 96797 33554432000 4194304 4196468 140732866966720 140041289120016 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17043] ppid=17033 vsize=10555476 memory=7223893998309494864 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17043/stat : 17043 (java) S 17033 17036 6338 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 96980445 10808807424 96797 33554432000 4194304 4196468 140732866966720 140041244846960 140041685228162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17044] ppid=17033 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17044/stat : 17044 (java) S 17033 17036 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96980445 10808807424 96797 33554432000 4194304 4196468 140732866966720 140041243792928 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17045] ppid=17033 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17045/stat : 17045 (java) S 17033 17036 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96980445 10808807424 96797 33554432000 4194304 4196468 140732866966720 140041242740080 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17046] ppid=17033 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17046/stat : 17046 (java) S 17033 17036 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96980447 10808807424 96797 33554432000 4194304 4196468 140732866966720 140041241688400 140041685235611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17047] ppid=17033 vsize=10555476 memory=72 CPUtime=0.12 cores=0,2,4,6
/proc/17036/task/17047/stat : 17047 (java) S 17033 17036 6338 0 -1 1077944384 843 0 0 0 12 0 0 0 20 0 15 0 96980448 10808807424 96797 33554432000 4194304 4196468 140732866966720 140041240635760 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17048] ppid=17033 vsize=10555476 memory=3 CPUtime=0.16 cores=0,2,4,6
/proc/17036/task/17048/stat : 17048 (java) S 17033 17036 6338 0 -1 1077944384 466 0 0 0 16 0 0 0 20 0 15 0 96980448 10808807424 96797 33554432000 4194304 4196468 140732866966720 140041239582960 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17049] ppid=17033 vsize=10555476 memory=6074 CPUtime=0.21 cores=0,2,4,6
/proc/17036/task/17049/stat : 17049 (java) S 17033 17036 6338 0 -1 1077944384 1072 0 0 0 21 0 0 0 20 0 15 0 96980448 10808807424 96797 33554432000 4194304 4196468 140732866966720 140041238530160 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17050] ppid=17033 vsize=10555476 memory=279823025343984 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17050/stat : 17050 (java) S 17033 17036 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96980448 10808807424 96797 33554432000 4194304 4196468 140732866966720 140041237477600 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17051] ppid=17033 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17051/stat : 17051 (java) S 17033 17036 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96980448 10808807424 96797 33554432000 4194304 4196468 140732866966720 140041236425904 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 387188 KiB
[startup+1.50082 s]
/proc/loadavg: 4.73 4.57 3.86 8/215 17051
/proc/meminfo: memFree=26143028/32770624 swapFree=67108860/67108860
[pid=17036] ppid=17033 vsize=10555476 memory=692004 CPUtime=3 cores=0,2,4,6
/proc/17036/stat : 17036 (java) S 17033 17036 6338 0 -1 1077944320 13750 0 0 0 266 34 0 0 20 0 15 0 96980442 10808807424 173001 33554432000 4194304 4196468 140732866966720 140732866949264 140041685217015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
/proc/17036/statm: 2638869 173001 3113 1 0 2627263 0
[pid=17036/tid=17038] ppid=17033 vsize=10555476 memory=0 CPUtime=1.28 cores=0,2,4,6
/proc/17036/task/17038/stat : 17038 (java) R 17033 17036 6338 0 -1 4202560 6414 0 0 0 120 8 0 0 20 0 15 0 96980442 10808807424 173001 33554432000 4194304 4196468 140732866966720 140041689448168 140041320512777 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17039] ppid=17033 vsize=10555476 memory=-6292470442678708832 CPUtime=0.18 cores=0,2,4,6
/proc/17036/task/17039/stat : 17039 (java) S 17033 17036 6338 0 -1 1077944384 269 0 0 0 12 6 0 0 20 0 15 0 96980443 10808807424 173001 33554432000 4194304 4196468 140732866966720 140041637837456 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17040] ppid=17033 vsize=10555476 memory=-5935602824819121961 CPUtime=0.18 cores=0,2,4,6
/proc/17036/task/17040/stat : 17040 (java) S 17033 17036 6338 0 -1 1077944384 245 0 0 0 12 6 0 0 20 0 15 0 96980443 10808807424 173001 33554432000 4194304 4196468 140732866966720 140041291225616 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17041] ppid=17033 vsize=10555476 memory=-1161699032755887712 CPUtime=0.18 cores=0,2,4,6
/proc/17036/task/17041/stat : 17041 (java) S 17033 17036 6338 0 -1 1077944384 256 0 0 0 12 6 0 0 20 0 15 0 96980443 10808807424 173001 33554432000 4194304 4196468 140732866966720 140041290172816 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17042] ppid=17033 vsize=10555476 memory=-6305713888769566080 CPUtime=0.17 cores=0,2,4,6
/proc/17036/task/17042/stat : 17042 (java) S 17033 17036 6338 0 -1 1077944384 179 0 0 0 13 4 0 0 20 0 15 0 96980443 10808807424 173001 33554432000 4194304 4196468 140732866966720 140041289120016 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17043] ppid=17033 vsize=10555476 memory=-6305717182874739840 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17043/stat : 17043 (java) S 17033 17036 6338 0 -1 1077944384 488 0 0 0 0 0 0 0 20 0 15 0 96980445 10808807424 173001 33554432000 4194304 4196468 140732866966720 140041244846960 140041685228162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
################
# More data... #
################
/proc/17036/task/17039/stat : 17039 (java) R 17033 17036 6338 0 -1 4202560 33872 0 0 0 5540 173 0 0 20 0 15 0 96980443 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041637837656 140041669916843 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17040] ppid=17033 vsize=10555476 memory=1692 CPUtime=56.47 cores=0,2,4,6
/proc/17036/task/17040/stat : 17040 (java) R 17033 17036 6338 0 -1 4202560 18674 0 0 0 5485 162 0 0 20 0 15 0 96980443 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041291225424 140041677845223 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17041] ppid=17033 vsize=10555476 memory=916 CPUtime=56.79 cores=0,2,4,6
/proc/17036/task/17041/stat : 17041 (java) R 17033 17036 6338 0 -1 4202560 27963 0 0 0 5515 164 0 0 20 0 15 0 96980443 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041290172936 140041677845223 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17042] ppid=17033 vsize=10555476 memory=3832 CPUtime=56.07 cores=0,2,4,6
/proc/17036/task/17042/stat : 17042 (java) R 17033 17036 6338 0 -1 4202560 25511 0 0 0 5455 152 0 0 20 0 15 0 96980443 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041289120136 140041677845223 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17043] ppid=17033 vsize=10555476 memory=4096 CPUtime=11.23 cores=0,2,4,6
/proc/17036/task/17043/stat : 17043 (java) S 17033 17036 6338 0 -1 1077944384 22812 0 0 0 1122 1 0 0 20 0 15 0 96980445 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041244845504 140041685227221 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17044] ppid=17033 vsize=10555476 memory=2536 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17044/stat : 17044 (java) S 17033 17036 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96980445 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041243792992 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17045] ppid=17033 vsize=10555476 memory=2536 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17045/stat : 17045 (java) S 17033 17036 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96980445 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041242740096 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17046] ppid=17033 vsize=10555476 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17046/stat : 17046 (java) S 17033 17036 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96980447 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041241688400 140041685235611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17047] ppid=17033 vsize=10555476 memory=2840 CPUtime=0.39 cores=0,2,4,6
/proc/17036/task/17047/stat : 17047 (java) S 17033 17036 6338 0 -1 1077944384 3457 0 0 0 38 1 0 0 20 0 15 0 96980448 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041240635520 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17048] ppid=17033 vsize=10555476 memory=8291052 CPUtime=0.47 cores=0,2,4,6
/proc/17036/task/17048/stat : 17048 (java) S 17033 17036 6338 0 -1 1077944384 2271 0 0 0 47 0 0 0 20 0 15 0 96980448 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041239583008 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17049] ppid=17033 vsize=10555476 memory=1156 CPUtime=0.28 cores=0,2,4,6
/proc/17036/task/17049/stat : 17049 (java) S 17033 17036 6338 0 -1 1077944384 2075 0 0 0 28 0 0 0 20 0 15 0 96980448 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041238530208 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17050] ppid=17033 vsize=10555476 memory=2852 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17050/stat : 17050 (java) S 17033 17036 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96980448 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041237477600 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17051] ppid=17033 vsize=10555476 memory=8305072 CPUtime=0.02 cores=0,2,4,6
/proc/17036/task/17051/stat : 17051 (java) S 17033 17036 6338 0 -1 1077944384 407 0 0 0 1 1 0 0 20 0 15 0 96980448 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041236425904 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8305072 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+84.0521 s]
# the end of solver process 17036 was just reported to runsolver
# cumulated CPU time of all completed processes: user=249.486 s, system=6.76896 s
Solver just ended.
Dumping a history of the last processes samples
[startup+83.2007 s]
/proc/loadavg: 4.75 4.59 3.92 6/216 17134
/proc/meminfo: memFree=17455736/32770624 swapFree=67108860/67108860
[pid=17036] ppid=17033 vsize=10555476 memory=8305072 CPUtime=255.39 cores=0,2,4,6
/proc/17036/stat : 17036 (java) S 17033 17036 6338 0 -1 1077944320 153755 0 0 0 24866 673 0 0 20 0 15 0 96980442 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140732866949264 140041685217015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
/proc/17036/statm: 2638869 2076268 3133 1 0 2627263 0
[pid=17036/tid=17038] ppid=17033 vsize=10555476 memory=279823025456384 CPUtime=13.12 cores=0,2,4,6
/proc/17036/task/17038/stat : 17038 (java) S 17033 17036 6338 0 -1 1077944384 14789 0 0 0 1298 14 0 0 20 0 15 0 96980442 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041689452208 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17039] ppid=17033 vsize=10555476 memory=6944652177228980320 CPUtime=57.85 cores=0,2,4,6
/proc/17036/task/17039/stat : 17039 (java) S 17033 17036 6338 0 -1 1077944384 33888 0 0 0 5612 173 0 0 20 0 15 0 96980443 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041637837456 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17040] ppid=17033 vsize=10555476 memory=6943526294502006880 CPUtime=57.19 cores=0,2,4,6
/proc/17036/task/17040/stat : 17040 (java) S 17033 17036 6338 0 -1 1077944384 19173 0 0 0 5557 162 0 0 20 0 15 0 96980443 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041291225616 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17041] ppid=17033 vsize=10555476 memory=6791534058613427641 CPUtime=57.5 cores=0,2,4,6
/proc/17036/task/17041/stat : 17041 (java) S 17033 17036 6338 0 -1 1077944384 27976 0 0 0 5586 164 0 0 20 0 15 0 96980443 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041290172816 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17042] ppid=17033 vsize=10555476 memory=8305072 CPUtime=56.77 cores=0,2,4,6
/proc/17036/task/17042/stat : 17042 (java) S 17033 17036 6338 0 -1 1077944384 25543 0 0 0 5525 152 0 0 20 0 15 0 96980443 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041289120016 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17043] ppid=17033 vsize=10555476 memory=139911512974304 CPUtime=11.7 cores=0,2,4,6
/proc/17036/task/17043/stat : 17043 (java) R 17033 17036 6338 0 -1 4202560 22812 0 0 0 1169 1 0 0 20 0 15 0 96980445 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041244845392 140041670213425 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17044] ppid=17033 vsize=10555476 memory=279823025915712 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17044/stat : 17044 (java) S 17033 17036 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96980445 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041243792992 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17045] ppid=17033 vsize=10555476 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17045/stat : 17045 (java) S 17033 17036 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96980445 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041242740096 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17046] ppid=17033 vsize=10555476 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17046/stat : 17046 (java) S 17033 17036 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96980447 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041241688048 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17047] ppid=17033 vsize=10555476 memory=8584 CPUtime=0.39 cores=0,2,4,6
/proc/17036/task/17047/stat : 17047 (java) S 17033 17036 6338 0 -1 1077944384 3457 0 0 0 38 1 0 0 20 0 15 0 96980448 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041240635520 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17048] ppid=17033 vsize=10555476 memory=792 CPUtime=0.47 cores=0,2,4,6
/proc/17036/task/17048/stat : 17048 (java) S 17033 17036 6338 0 -1 1077944384 2271 0 0 0 47 0 0 0 20 0 15 0 96980448 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041239583008 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17049] ppid=17033 vsize=10555476 memory=1204 CPUtime=0.28 cores=0,2,4,6
/proc/17036/task/17049/stat : 17049 (java) S 17033 17036 6338 0 -1 1077944384 2075 0 0 0 28 0 0 0 20 0 15 0 96980448 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041238530208 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17050] ppid=17033 vsize=10555476 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17050/stat : 17050 (java) S 17033 17036 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96980448 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041237477600 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17051] ppid=17033 vsize=10555476 memory=792 CPUtime=0.02 cores=0,2,4,6
/proc/17036/task/17051/stat : 17051 (java) S 17033 17036 6338 0 -1 1077944384 407 0 0 0 1 1 0 0 20 0 15 0 96980448 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041236425904 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
Current children cumulated CPU time: 255.39 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8305072 KiB
[startup+83.6007 s]
/proc/loadavg: 4.75 4.59 3.92 6/216 17134
/proc/meminfo: memFree=17455736/32770624 swapFree=67108860/67108860
[pid=17036] ppid=17033 vsize=10555476 memory=8305072 CPUtime=255.79 cores=0,2,4,6
/proc/17036/stat : 17036 (java) S 17033 17036 6338 0 -1 1077944320 153755 0 0 0 24906 673 0 0 20 0 15 0 96980442 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140732866949264 140041685217015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
/proc/17036/statm: 2638869 2076268 3133 1 0 2627263 0
[pid=17036/tid=17038] ppid=17033 vsize=10555476 memory=6791534058613427641 CPUtime=13.12 cores=0,2,4,6
/proc/17036/task/17038/stat : 17038 (java) S 17033 17036 6338 0 -1 1077944384 14789 0 0 0 1298 14 0 0 20 0 15 0 96980442 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041689452208 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17039] ppid=17033 vsize=10555476 memory=288230621803970871 CPUtime=57.85 cores=0,2,4,6
/proc/17036/task/17039/stat : 17039 (java) S 17033 17036 6338 0 -1 1077944384 33888 0 0 0 5612 173 0 0 20 0 15 0 96980443 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041637837456 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17040] ppid=17033 vsize=10555476 memory=16099256251451951 CPUtime=57.19 cores=0,2,4,6
/proc/17036/task/17040/stat : 17040 (java) S 17033 17036 6338 0 -1 1077944384 19173 0 0 0 5557 162 0 0 20 0 15 0 96980443 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041291225616 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17041] ppid=17033 vsize=10555476 memory=6791534058613427641 CPUtime=57.5 cores=0,2,4,6
/proc/17036/task/17041/stat : 17041 (java) S 17033 17036 6338 0 -1 1077944384 27976 0 0 0 5586 164 0 0 20 0 15 0 96980443 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041290172816 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17042] ppid=17033 vsize=10555476 memory=16824 CPUtime=56.77 cores=0,2,4,6
/proc/17036/task/17042/stat : 17042 (java) S 17033 17036 6338 0 -1 1077944384 25543 0 0 0 5525 152 0 0 20 0 15 0 96980443 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041289120016 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17043] ppid=17033 vsize=10555476 memory=4044 CPUtime=12.1 cores=0,2,4,6
/proc/17036/task/17043/stat : 17043 (java) R 17033 17036 6338 0 -1 4202560 22812 0 0 0 1209 1 0 0 20 0 15 0 96980445 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041244845392 140041669917609 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17044] ppid=17033 vsize=10555476 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17044/stat : 17044 (java) S 17033 17036 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96980445 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041243792992 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17045] ppid=17033 vsize=10555476 memory=8290660 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17045/stat : 17045 (java) S 17033 17036 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96980445 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041242740096 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17046] ppid=17033 vsize=10555476 memory=8290600 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17046/stat : 17046 (java) S 17033 17036 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96980447 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041241688048 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17047] ppid=17033 vsize=10555476 memory=8290600 CPUtime=0.39 cores=0,2,4,6
/proc/17036/task/17047/stat : 17047 (java) S 17033 17036 6338 0 -1 1077944384 3457 0 0 0 38 1 0 0 20 0 15 0 96980448 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041240635520 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17048] ppid=17033 vsize=10555476 memory=8290688 CPUtime=0.47 cores=0,2,4,6
/proc/17036/task/17048/stat : 17048 (java) S 17033 17036 6338 0 -1 1077944384 2271 0 0 0 47 0 0 0 20 0 15 0 96980448 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041239583008 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17049] ppid=17033 vsize=10555476 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/17036/task/17049/stat : 17049 (java) S 17033 17036 6338 0 -1 1077944384 2075 0 0 0 28 0 0 0 20 0 15 0 96980448 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041238530208 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17050] ppid=17033 vsize=10555476 memory=8305072 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17050/stat : 17050 (java) S 17033 17036 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96980448 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041237477600 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17051] ppid=17033 vsize=10555476 memory=932 CPUtime=0.02 cores=0,2,4,6
/proc/17036/task/17051/stat : 17051 (java) S 17033 17036 6338 0 -1 1077944384 407 0 0 0 1 1 0 0 20 0 15 0 96980448 10808807424 2076268 33554432000 4194304 4196468 140732866966720 140041236425904 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
Current children cumulated CPU time: 255.79 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8305072 KiB
[startup+84.0007 s]*
/proc/loadavg: 4.75 4.59 3.92 6/218 17137
/proc/meminfo: memFree=17446924/32770624 swapFree=67108860/67108860
[pid=17036] ppid=17033 vsize=10755168 memory=8305108 CPUtime=256.2 cores=0,2,4,6
/proc/17036/stat : 17036 (java) S 17033 17036 6338 0 -1 1077944320 153880 0 0 0 24947 673 0 0 20 0 17 0 96980442 11013292032 2076277 33554432000 4194304 4196468 140732866966720 140732866949264 140041685217015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
/proc/17036/statm: 2688792 2076277 3135 1 0 2677186 0
[pid=17036/tid=17038] ppid=17033 vsize=10755168 memory=6791534058613427641 CPUtime=13.24 cores=0,2,4,6
/proc/17036/task/17038/stat : 17038 (java) R 17033 17036 6338 0 -1 4202560 14789 0 0 0 1310 14 0 0 20 0 17 0 96980442 11013292032 2076277 33554432000 4194304 4196468 140732866966720 140041689452208 140041321125511 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17039] ppid=17033 vsize=10755168 memory=-7003737579269690708 CPUtime=57.85 cores=0,2,4,6
/proc/17036/task/17039/stat : 17039 (java) S 17033 17036 6338 0 -1 1077944384 33888 0 0 0 5612 173 0 0 20 0 17 0 96980443 11013292032 2076277 33554432000 4194304 4196468 140732866966720 140041637837456 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17040] ppid=17033 vsize=10755168 memory=279823026366112 CPUtime=57.19 cores=0,2,4,6
/proc/17036/task/17040/stat : 17040 (java) S 17033 17036 6338 0 -1 1077944384 19173 0 0 0 5557 162 0 0 20 0 17 0 96980443 11013292032 2076277 33554432000 4194304 4196468 140732866966720 140041291225616 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17041] ppid=17033 vsize=10755168 memory=279823026366304 CPUtime=57.5 cores=0,2,4,6
/proc/17036/task/17041/stat : 17041 (java) S 17033 17036 6338 0 -1 1077944384 27976 0 0 0 5586 164 0 0 20 0 17 0 96980443 11013292032 2076277 33554432000 4194304 4196468 140732866966720 140041290172816 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17042] ppid=17033 vsize=10755168 memory=279823026366496 CPUtime=56.77 cores=0,2,4,6
/proc/17036/task/17042/stat : 17042 (java) S 17033 17036 6338 0 -1 1077944384 25543 0 0 0 5525 152 0 0 20 0 17 0 96980443 11013292032 2076277 33554432000 4194304 4196468 140732866966720 140041289120016 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17043] ppid=17033 vsize=10755168 memory=279823026366688 CPUtime=12.39 cores=0,2,4,6
/proc/17036/task/17043/stat : 17043 (java) S 17033 17036 6338 0 -1 1077944384 22812 0 0 0 1238 1 0 0 20 0 17 0 96980445 11013292032 2076277 33554432000 4194304 4196468 140732866966720 140041244846960 140041685228162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17044] ppid=17033 vsize=10755168 memory=279823026366880 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17044/stat : 17044 (java) S 17033 17036 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 17 0 96980445 11013292032 2076277 33554432000 4194304 4196468 140732866966720 140041243792992 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17045] ppid=17033 vsize=10755168 memory=279823026367072 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17045/stat : 17045 (java) S 17033 17036 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 96980445 11013292032 2076277 33554432000 4194304 4196468 140732866966720 140041242740096 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17046] ppid=17033 vsize=10755168 memory=279823026112144 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17046/stat : 17046 (java) S 17033 17036 6338 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 17 0 96980447 11013292032 2076277 33554432000 4194304 4196468 140732866966720 140041241688400 140041685235611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17047] ppid=17033 vsize=10755168 memory=279823026367440 CPUtime=0.39 cores=0,2,4,6
/proc/17036/task/17047/stat : 17047 (java) S 17033 17036 6338 0 -1 1077944384 3457 0 0 0 38 1 0 0 20 0 17 0 96980448 11013292032 2076277 33554432000 4194304 4196468 140732866966720 140041240635760 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17048] ppid=17033 vsize=10755168 memory=279823026367504 CPUtime=0.47 cores=0,2,4,6
/proc/17036/task/17048/stat : 17048 (java) S 17033 17036 6338 0 -1 1077944384 2271 0 0 0 47 0 0 0 20 0 17 0 96980448 11013292032 2076277 33554432000 4194304 4196468 140732866966720 140041239582960 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17049] ppid=17033 vsize=10755168 memory=279823026367364 CPUtime=0.28 cores=0,2,4,6
/proc/17036/task/17049/stat : 17049 (java) S 17033 17036 6338 0 -1 1077944384 2075 0 0 0 28 0 0 0 20 0 17 0 96980448 11013292032 2076277 33554432000 4194304 4196468 140732866966720 140041238530160 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17050] ppid=17033 vsize=10755168 memory=279823026296528 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17050/stat : 17050 (java) S 17033 17036 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 96980448 11013292032 2076277 33554432000 4194304 4196468 140732866966720 140041237477600 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17051] ppid=17033 vsize=10755168 memory=279823026296464 CPUtime=0.02 cores=0,2,4,6
/proc/17036/task/17051/stat : 17051 (java) S 17033 17036 6338 0 -1 1077944384 407 0 0 0 1 1 0 0 20 0 17 0 96980448 11013292032 2076277 33554432000 4194304 4196468 140732866966720 140041236425904 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17135] ppid=17033 vsize=10755168 memory=279823025322532 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17135/stat : 17135 (java) S 17033 17036 6338 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 96988831 11013292032 2076277 33554432000 4194304 4196468 140732866966720 140041235370736 140041685227221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
[pid=17036/tid=17136] ppid=17033 vsize=10755168 memory=279823026296976 CPUtime=0 cores=0,2,4,6
/proc/17036/task/17136/stat : 17136 (java) S 17033 17036 6338 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 96988831 11013292032 2076277 33554432000 4194304 4196468 140732866966720 140041166775824 140041685228162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13049856 140732866970763 140732866970916 140732866970916 140732866973647 0
Current children cumulated CPU time: 256.2 s
Current children cumulated vsize: 10755168 KiB
Current children cumulated memory: 8305108 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 84.0522
CPU time (s): 256.255
CPU user time (s): 249.486
CPU system time (s): 6.76896
CPU usage (%): 304.876
Max. virtual memory (cumulated for all children) (KiB): 10755168
Max. memory (cumulated for all children) (KiB): 8305108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.486
system time used= 6.76896
maximum resident set size= 8305732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153884
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6648
involuntary context switches= 5944
# summary of solver processes directly reported to runsolver:
# pid: 17036
# total CPU time (s): 256.255
# total CPU user time (s): 249.486
# total CPU system time (s): 6.76896
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.504549 second user time and 0.872149 second system time
The end