runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4116166-1466978129/watcher-4116166-1466978129 -o /tmp/evaluation-result-4116166-1466978129/solver-4116166-1466978129 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466975440-23497 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116166-1466978129.opb
pid=24033
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.18 4.14 4.00 5/197 24036
/proc/meminfo: memFree=30428960/32872528 swapFree=1094508/1184444
[pid=24036] ppid=24033 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/24036/stat : 24036 (java) S 24033 24036 23481 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 30852701 98570240 977 33554432000 1073741824 1073778376 140734004015856 140734004006992 271790932029 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24036/statm: 24065 977 743 9 0 16771 0
[pid=24036/tid=24037] ppid=24033 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24037/stat : 24037 (java) R 24033 24036 23481 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 30852702 98570240 978 33554432000 1073741824 1073778376 140734004015856 140412438351400 271787574656 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.100168 s]
/proc/loadavg: 4.18 4.14 4.00 5/197 24036
/proc/meminfo: memFree=30428960/32872528 swapFree=1094508/1184444
[pid=24036] ppid=24033 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/24036/stat : 24036 (java) S 24033 24036 23481 0 -1 4202496 4497 0 1 0 9 1 0 0 20 0 18 0 30852701 9787879424 6115 33554432000 1073741824 1073778376 140734004015856 140734004006992 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24036/statm: 2389619 6115 2156 9 0 2380296 0
[pid=24036/tid=24037] ppid=24033 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/24036/task/24037/stat : 24037 (java) R 24033 24036 23481 0 -1 4202560 2381 0 1 0 6 2 0 0 20 0 18 0 30852702 9787879424 6115 33554432000 1073741824 1073778376 140734004015856 140412438354848 271790957837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200281 s]
/proc/loadavg: 4.18 4.14 4.00 5/197 24036
/proc/meminfo: memFree=30428960/32872528 swapFree=1094508/1184444
[pid=24036] ppid=24033 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/24036/stat : 24036 (java) S 24033 24036 23481 0 -1 4202496 4729 0 1 0 25 1 0 0 20 0 18 0 30852701 9787879424 6793 33554432000 1073741824 1073778376 140734004015856 140734004006992 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24036/statm: 2389619 6793 2213 9 0 2380296 0
[pid=24036/tid=24037] ppid=24033 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/24036/task/24037/stat : 24037 (java) R 24033 24036 23481 0 -1 4202560 2397 0 1 0 16 2 0 0 20 0 18 0 30852702 9787879424 6793 33554432000 1073741824 1073778376 140734004015856 140412438354848 140412295656929 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300254 s]
/proc/loadavg: 4.18 4.14 4.00 5/197 24036
/proc/meminfo: memFree=30428960/32872528 swapFree=1094508/1184444
[pid=24036] ppid=24033 vsize=9558476 CPUtime=0.51 cores=0,2,4,6
/proc/24036/stat : 24036 (java) S 24033 24036 23481 0 -1 4202496 6015 0 1 0 49 2 0 0 20 0 18 0 30852701 9787879424 9083 33554432000 1073741824 1073778376 140734004015856 140734004006992 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24036/statm: 2389619 9083 2234 9 0 2380296 0
[pid=24036/tid=24037] ppid=24033 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/24036/task/24037/stat : 24037 (java) R 24033 24036 23481 0 -1 4202560 2400 0 1 0 26 2 0 0 20 0 18 0 30852702 9787879424 9083 33554432000 1073741824 1073778376 140734004015856 140412438354848 140412296028570 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476
[startup+0.70023 s]
/proc/loadavg: 4.18 4.14 4.00 5/197 24036
/proc/meminfo: memFree=30428960/32872528 swapFree=1094508/1184444
[pid=24036] ppid=24033 vsize=9824732 CPUtime=1.78 cores=0,2,4,6
/proc/24036/stat : 24036 (java) S 24033 24036 23481 0 -1 4202496 14985 0 1 0 174 4 0 0 20 0 22 0 30852701 10060525568 23629 33554432000 1073741824 1073778376 140734004015856 140734004006992 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24036/statm: 2456183 23629 2265 9 0 2446860 0
[pid=24036/tid=24037] ppid=24033 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/24036/task/24037/stat : 24037 (java) S 24033 24036 23481 0 -1 4202560 2460 0 1 0 46 3 0 0 20 0 22 0 30852702 10060525568 23629 33554432000 1073741824 1073778376 140734004015856 140412438356856 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 9824732
[startup+1.50085 s]
/proc/loadavg: 4.18 4.14 4.00 8/219 24058
/proc/meminfo: memFree=30148984/32872528 swapFree=1094508/1184444
[pid=24036] ppid=24033 vsize=9824732 CPUtime=4.87 cores=0,2,4,6
/proc/24036/stat : 24036 (java) S 24033 24036 23481 0 -1 4202496 22157 0 1 0 480 7 0 0 20 0 22 0 30852701 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140734004006992 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24036/statm: 2456183 47586 2292 9 0 2446860 0
[pid=24036/tid=24037] ppid=24033 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/24036/task/24037/stat : 24037 (java) S 24033 24036 23481 0 -1 4202560 2460 0 1 0 46 3 0 0 20 0 22 0 30852702 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412438356856 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24039] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24039/stat : 24039 (java) S 24033 24036 23481 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 30852703 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412416457256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24040] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24040/stat : 24040 (java) S 24033 24036 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30852703 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412415404456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24041] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24041/stat : 24041 (java) S 24033 24036 23481 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 30852703 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412414351656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24042] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24042/stat : 24042 (java) S 24033 24036 23481 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 30852703 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412077467816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24043] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24043/stat : 24043 (java) S 24033 24036 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30852703 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412076416040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24044] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24044/stat : 24044 (java) S 24033 24036 23481 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 30852703 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412075363240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24045] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24045/stat : 24045 (java) S 24033 24036 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30852703 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412074310440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24046] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24046/stat : 24046 (java) S 24033 24036 23481 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 30852703 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412073257640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24047] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24047/stat : 24047 (java) S 24033 24036 23481 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 30852704 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412061059560 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24048] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24048/stat : 24048 (java) S 24033 24036 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30852704 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412060005624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24049] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24049/stat : 24049 (java) S 24033 24036 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30852704 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412058952712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24050] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24050/stat : 24050 (java) S 24033 24036 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30852706 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412057901200 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24051] ppid=24033 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/24036/task/24051/stat : 24051 (java) R 24033 24036 23481 0 -1 4202560 7701 0 0 0 122 1 0 0 20 0 22 0 30852706 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412056825832 140412441735297 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24052] ppid=24033 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/24036/task/24052/stat : 24052 (java) S 24033 24036 23481 0 -1 4202560 10594 0 0 0 112 2 0 0 20 0 22 0 30852706 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412055796536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24053] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24053/stat : 24053 (java) S 24033 24036 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30852706 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412054743928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24054] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24054/stat : 24054 (java) S 24033 24036 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30852706 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412053691336 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24055] ppid=24033 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/24036/task/24055/stat : 24055 (java) R 24033 24036 23481 0 -1 4202560 19 0 0 0 94 0 0 0 20 0 22 0 30852752 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412052529184 140412296385525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24056] ppid=24033 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/24036/task/24056/stat : 24056 (java) R 24033 24036 23481 0 -1 4202560 67 0 0 0 97 0 0 0 20 0 22 0 30852752 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412051483880 140412296414826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24057] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24057/stat : 24057 (java) S 24033 24036 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30852753 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412050432936 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24058] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24058/stat : 24058 (java) S 24033 24036 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30852753 10060525568 47586 33554432000 1073741824 1073778376 140734004015856 140412049380136 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.87
Current children cumulated vsize (KiB) 9824732
[startup+3.10093 s]
/proc/loadavg: 4.18 4.14 4.00 7/219 24058
/proc/meminfo: memFree=29939412/32872528 swapFree=1094508/1184444
[pid=24036] ppid=24033 vsize=9824732 CPUtime=8.68 cores=0,2,4,6
/proc/24036/stat : 24036 (java) S 24033 24036 23481 0 -1 4202496 23892 0 1 0 851 17 0 0 20 0 22 0 30852701 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140734004006992 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24036/statm: 2456183 87693 2292 9 0 2446860 0
[pid=24036/tid=24037] ppid=24033 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/24036/task/24037/stat : 24037 (java) S 24033 24036 23481 0 -1 4202560 2460 0 1 0 46 3 0 0 20 0 22 0 30852702 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412438356856 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24039] ppid=24033 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/24036/task/24039/stat : 24039 (java) S 24033 24036 23481 0 -1 4202560 23 0 0 0 2 1 0 0 20 0 22 0 30852703 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412416457256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24040] ppid=24033 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/24036/task/24040/stat : 24040 (java) S 24033 24036 23481 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 30852703 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412415404456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24041] ppid=24033 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24036/task/24041/stat : 24041 (java) S 24033 24036 23481 0 -1 4202560 28 0 0 0 1 1 0 0 20 0 22 0 30852703 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412414351656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24042] ppid=24033 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24036/task/24042/stat : 24042 (java) S 24033 24036 23481 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 22 0 30852703 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412077467816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24043] ppid=24033 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/24036/task/24043/stat : 24043 (java) S 24033 24036 23481 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 30852703 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412076416040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24044] ppid=24033 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24036/task/24044/stat : 24044 (java) S 24033 24036 23481 0 -1 4202560 26 0 0 0 3 2 0 0 20 0 22 0 30852703 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412075363240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24045] ppid=24033 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24036/task/24045/stat : 24045 (java) S 24033 24036 23481 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 30852703 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412074310440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24046] ppid=24033 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24036/task/24046/stat : 24046 (java) S 24033 24036 23481 0 -1 4202560 24 0 0 0 2 2 0 0 20 0 22 0 30852703 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412073257640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24047] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24047/stat : 24047 (java) S 24033 24036 23481 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 30852704 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412061059560 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24048] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24048/stat : 24048 (java) S 24033 24036 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30852704 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412060005624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24049] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24049/stat : 24049 (java) S 24033 24036 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30852704 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412058952712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24050] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24050/stat : 24050 (java) S 24033 24036 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30852706 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412057901200 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24051] ppid=24033 vsize=9824732 CPUtime=1.62 cores=0,2,4,6
/proc/24036/task/24051/stat : 24051 (java) S 24033 24036 23481 0 -1 4202560 9075 0 0 0 160 2 0 0 20 0 22 0 30852706 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412056849336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24052] ppid=24033 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
/proc/24036/task/24052/stat : 24052 (java) S 24033 24036 23481 0 -1 4202560 10594 0 0 0 123 2 0 0 20 0 22 0 30852706 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412055796536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24053] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24053/stat : 24053 (java) S 24033 24036 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30852706 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412054743928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24054] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24054/stat : 24054 (java) S 24033 24036 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30852706 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412053691336 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24055] ppid=24033 vsize=9824732 CPUtime=2.45 cores=0,2,4,6
/proc/24036/task/24055/stat : 24055 (java) R 24033 24036 23481 0 -1 4202560 22 0 0 0 245 0 0 0 20 0 22 0 30852752 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412052538136 140412296396719 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24056] ppid=24033 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/24036/task/24056/stat : 24056 (java) R 24033 24036 23481 0 -1 4202560 118 0 0 0 246 2 0 0 20 0 22 0 30852752 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412051484080 140412296575942 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24057] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24057/stat : 24057 (java) S 24033 24036 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30852753 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412050432936 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24058] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24058/stat : 24058 (java) S 24033 24036 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30852753 10060525568 87693 33554432000 1073741824 1073778376 140734004015856 140412049380136 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (KiB) 9824732
[startup+6.30094 s]
/proc/loadavg: 4.17 4.14 4.00 6/219 24058
/proc/meminfo: memFree=29385684/32872528 swapFree=1094508/1184444
[pid=24036] ppid=24033 vsize=9824732 CPUtime=15.23 cores=0,2,4,6
/proc/24036/stat : 24036 (java) S 24033 24036 23481 0 -1 4202496 24983 0 1 0 1497 26 0 0 20 0 22 0 30852701 10060525568 155497 33554432000 1073741824 1073778376 140734004015856 140734004006992 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24036/statm: 2456183 155497 2292 9 0 2446860 0
[pid=24036/tid=24037] ppid=24033 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/24036/task/24037/stat : 24037 (java) S 24033 24036 23481 0 -1 4202560 2460 0 1 0 46 3 0 0 20 0 22 0 30852702 10060525568 155497 33554432000 1073741824 1073778376 140734004015856 140412438356856 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24039] ppid=24033 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/24036/task/24039/stat : 24039 (java) S 24033 24036 23481 0 -1 4202560 200 0 0 0 6 2 0 0 20 0 22 0 30852703 10060525568 155497 33554432000 1073741824 1073778376 140734004015856 140412416457256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24040] ppid=24033 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24036/task/24040/stat : 24040 (java) S 24033 24036 23481 0 -1 4202560 142 0 0 0 4 0 0 0 20 0 22 0 30852703 10060525568 155497 33554432000 1073741824 1073778376 140734004015856 140412415404456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24041] ppid=24033 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24036/task/24041/stat : 24041 (java) S 24033 24036 23481 0 -1 4202560 52 0 0 0 3 2 0 0 20 0 22 0 30852703 10060525568 155497 33554432000 1073741824 1073778376 140734004015856 140412414351656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24042] ppid=24033 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/24036/task/24042/stat : 24042 (java) S 24033 24036 23481 0 -1 4202560 48 0 0 0 5 2 0 0 20 0 22 0 30852703 10060525568 155497 33554432000 1073741824 1073778376 140734004015856 140412077467816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24043] ppid=24033 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/24036/task/24043/stat : 24043 (java) S 24033 24036 23481 0 -1 4202560 58 0 0 0 6 0 0 0 20 0 22 0 30852703 10060525568 155497 33554432000 1073741824 1073778376 140734004015856 140412076416040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24044] ppid=24033 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/24036/task/24044/stat : 24044 (java) S 24033 24036 23481 0 -1 4202560 51 0 0 0 6 2 0 0 20 0 22 0 30852703 10060525568 155497 33554432000 1073741824 1073778376 140734004015856 140412075363240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24045] ppid=24033 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24036/task/24045/stat : 24045 (java) S 24033 24036 23481 0 -1 4202560 172 0 0 0 4 1 0 0 20 0 22 0 30852703 10060525568 155497 33554432000 1073741824 1073778376 140734004015856 140412074310440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24046] ppid=24033 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.13 4.12 4.05 5/219 24100
/proc/meminfo: memFree=24062024/32872528 swapFree=1094508/1184444
[pid=24036] ppid=24033 vsize=9824732 CPUtime=1648.45 cores=0,2,4,6
/proc/24036/stat : 24036 (java) S 24033 24036 23481 0 -1 4202496 33389 0 1 0 164661 184 0 0 20 0 22 0 30852701 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140734004006992 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24036/statm: 2456183 847455 2301 9 0 2446860 0
[pid=24036/tid=24037] ppid=24033 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/24036/task/24037/stat : 24037 (java) S 24033 24036 23481 0 -1 4202560 2463 0 1 0 48 4 0 0 20 0 22 0 30852702 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412438356856 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24039] ppid=24033 vsize=9824732 CPUtime=1.05 cores=0,2,4,6
/proc/24036/task/24039/stat : 24039 (java) S 24033 24036 23481 0 -1 4202560 611 0 0 0 88 17 0 0 20 0 22 0 30852703 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412416457256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24040] ppid=24033 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/24036/task/24040/stat : 24040 (java) S 24033 24036 23481 0 -1 4202560 503 0 0 0 93 15 0 0 20 0 22 0 30852703 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412415404456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24041] ppid=24033 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/24036/task/24041/stat : 24041 (java) S 24033 24036 23481 0 -1 4202560 467 0 0 0 76 13 0 0 20 0 22 0 30852703 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412414351656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24042] ppid=24033 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/24036/task/24042/stat : 24042 (java) S 24033 24036 23481 0 -1 4202560 505 0 0 0 96 15 0 0 20 0 22 0 30852703 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412077467816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24043] ppid=24033 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/24036/task/24043/stat : 24043 (java) S 24033 24036 23481 0 -1 4202560 756 0 0 0 88 16 0 0 20 0 22 0 30852703 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412076416040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24044] ppid=24033 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/24036/task/24044/stat : 24044 (java) S 24033 24036 23481 0 -1 4202560 454 0 0 0 100 16 0 0 20 0 22 0 30852703 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412075363240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24045] ppid=24033 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/24036/task/24045/stat : 24045 (java) S 24033 24036 23481 0 -1 4202560 578 0 0 0 82 14 0 0 20 0 22 0 30852703 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412074310440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24046] ppid=24033 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/24036/task/24046/stat : 24046 (java) S 24033 24036 23481 0 -1 4202560 710 0 0 0 95 18 0 0 20 0 22 0 30852703 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412073257640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24047] ppid=24033 vsize=9824732 CPUtime=2.64 cores=0,2,4,6
/proc/24036/task/24047/stat : 24047 (java) S 24033 24036 23481 0 -1 4202560 2125 0 0 0 260 4 0 0 20 0 22 0 30852704 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412061059560 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24048] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24048/stat : 24048 (java) S 24033 24036 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30852704 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412060005624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24049] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24049/stat : 24049 (java) S 24033 24036 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30852704 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412058952712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24050] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24050/stat : 24050 (java) S 24033 24036 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30852706 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412057901200 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24051] ppid=24033 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/24036/task/24051/stat : 24051 (java) S 24033 24036 23481 0 -1 4202560 9084 0 0 0 164 2 0 0 20 0 22 0 30852706 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412056849336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24052] ppid=24033 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/24036/task/24052/stat : 24052 (java) S 24033 24036 23481 0 -1 4202560 12273 0 0 0 154 3 0 0 20 0 22 0 30852706 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412055796536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24053] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24053/stat : 24053 (java) S 24033 24036 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30852706 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412054743928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24054] ppid=24033 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/24036/task/24054/stat : 24054 (java) S 24033 24036 23481 0 -1 4202560 49 0 0 0 13 17 0 0 20 0 22 0 30852706 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412053691336 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24055] ppid=24033 vsize=9824732 CPUtime=816.68 cores=0,2,4,6
/proc/24036/task/24055/stat : 24055 (java) R 24033 24036 23481 0 -1 4202560 77 0 0 0 81652 16 0 0 20 0 22 0 30852752 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412052536288 140412296312079 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24056] ppid=24033 vsize=9824732 CPUtime=816.86 cores=0,2,4,6
/proc/24036/task/24056/stat : 24056 (java) R 24033 24036 23481 0 -1 4202560 1469 0 0 0 81638 48 0 0 20 0 22 0 30852752 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412051483984 140412296158852 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24057] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24057/stat : 24057 (java) S 24033 24036 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30852753 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412050432936 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24058] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24058/stat : 24058 (java) S 24033 24036 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30852753 10060525568 847455 33554432000 1073741824 1073778376 140734004015856 140412049380136 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1648.45
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.20 4.14 4.06 5/220 24104
/proc/meminfo: memFree=24141860/32872528 swapFree=1094508/1184444
[pid=24036] ppid=24033 vsize=9824732 CPUtime=1769.28 cores=0,2,4,6
/proc/24036/stat : 24036 (java) S 24033 24036 23481 0 -1 4202496 34459 0 1 0 176734 194 0 0 20 0 22 0 30852701 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140734004006992 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24036/statm: 2456183 827447 2301 9 0 2446860 0
[pid=24036/tid=24037] ppid=24033 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/24036/task/24037/stat : 24037 (java) S 24033 24036 23481 0 -1 4202560 2463 0 1 0 48 4 0 0 20 0 22 0 30852702 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412438356856 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24039] ppid=24033 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/24036/task/24039/stat : 24039 (java) S 24033 24036 23481 0 -1 4202560 788 0 0 0 109 18 0 0 20 0 22 0 30852703 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412416457256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24040] ppid=24033 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/24036/task/24040/stat : 24040 (java) S 24033 24036 23481 0 -1 4202560 621 0 0 0 112 16 0 0 20 0 22 0 30852703 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412415404456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24041] ppid=24033 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/24036/task/24041/stat : 24041 (java) S 24033 24036 23481 0 -1 4202560 628 0 0 0 97 14 0 0 20 0 22 0 30852703 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412414351656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24042] ppid=24033 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/24036/task/24042/stat : 24042 (java) S 24033 24036 23481 0 -1 4202560 546 0 0 0 118 16 0 0 20 0 22 0 30852703 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412077467816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24043] ppid=24033 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/24036/task/24043/stat : 24043 (java) S 24033 24036 23481 0 -1 4202560 840 0 0 0 106 17 0 0 20 0 22 0 30852703 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412076416040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24044] ppid=24033 vsize=9824732 CPUtime=1.4 cores=0,2,4,6
/proc/24036/task/24044/stat : 24044 (java) S 24033 24036 23481 0 -1 4202560 538 0 0 0 122 18 0 0 20 0 22 0 30852703 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412075363240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24045] ppid=24033 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/24036/task/24045/stat : 24045 (java) S 24033 24036 23481 0 -1 4202560 643 0 0 0 102 15 0 0 20 0 22 0 30852703 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412074310440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24046] ppid=24033 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/24036/task/24046/stat : 24046 (java) S 24033 24036 23481 0 -1 4202560 734 0 0 0 119 19 0 0 20 0 22 0 30852703 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412073257640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24047] ppid=24033 vsize=9824732 CPUtime=2.65 cores=0,2,4,6
/proc/24036/task/24047/stat : 24047 (java) S 24033 24036 23481 0 -1 4202560 2295 0 0 0 260 5 0 0 20 0 22 0 30852704 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412061059560 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24048] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24048/stat : 24048 (java) S 24033 24036 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30852704 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412060005624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24049] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24049/stat : 24049 (java) S 24033 24036 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30852704 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412058952712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24050] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24050/stat : 24050 (java) S 24033 24036 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30852706 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412057901200 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24051] ppid=24033 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/24036/task/24051/stat : 24051 (java) S 24033 24036 23481 0 -1 4202560 9086 0 0 0 164 2 0 0 20 0 22 0 30852706 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412056849336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24052] ppid=24033 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/24036/task/24052/stat : 24052 (java) S 24033 24036 23481 0 -1 4202560 12273 0 0 0 154 3 0 0 20 0 22 0 30852706 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412055796536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24053] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24053/stat : 24053 (java) S 24033 24036 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30852706 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412054743928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24054] ppid=24033 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/24036/task/24054/stat : 24054 (java) S 24033 24036 23481 0 -1 4202560 51 0 0 0 14 18 0 0 20 0 22 0 30852706 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412053691336 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24055] ppid=24033 vsize=9824732 CPUtime=876.23 cores=0,2,4,6
/proc/24036/task/24055/stat : 24055 (java) R 24033 24036 23481 0 -1 4202560 84 0 0 0 87606 17 0 0 20 0 22 0 30852752 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412052536896 140412296414373 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24056] ppid=24033 vsize=9824732 CPUtime=876.38 cores=0,2,4,6
/proc/24036/task/24056/stat : 24056 (java) R 24033 24036 23481 0 -1 4202560 1604 0 0 0 87589 49 0 0 20 0 22 0 30852752 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412051483144 140412296203874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24057] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24057/stat : 24057 (java) S 24033 24036 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30852753 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412050432936 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24058] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24058/stat : 24058 (java) S 24033 24036 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30852753 10060525568 827447 33554432000 1073741824 1073778376 140734004015856 140412049380136 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1769.28
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+897.601 s]
/proc/loadavg: 4.22 4.15 4.07 7/220 24173
/proc/meminfo: memFree=27087728/32872528 swapFree=1094508/1184444
[pid=24036] ppid=24033 vsize=9824732 CPUtime=1800.04 cores=0,2,4,6
/proc/24036/stat : 24036 (java) S 24033 24036 23481 0 -1 4202496 34612 0 1 0 179804 200 0 0 20 0 22 0 30852701 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140734004006992 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24036/statm: 2456183 841852 2301 9 0 2446860 0
[pid=24036/tid=24037] ppid=24033 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/24036/task/24037/stat : 24037 (java) S 24033 24036 23481 0 -1 4202560 2463 0 1 0 48 4 0 0 20 0 22 0 30852702 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412438356856 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24039] ppid=24033 vsize=9824732 CPUtime=1.33 cores=0,2,4,6
/proc/24036/task/24039/stat : 24039 (java) S 24033 24036 23481 0 -1 4202560 800 0 0 0 114 19 0 0 20 0 22 0 30852703 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412416457256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24040] ppid=24033 vsize=9824732 CPUtime=1.33 cores=0,2,4,6
/proc/24036/task/24040/stat : 24040 (java) S 24033 24036 23481 0 -1 4202560 632 0 0 0 116 17 0 0 20 0 22 0 30852703 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412415404456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24041] ppid=24033 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/24036/task/24041/stat : 24041 (java) S 24033 24036 23481 0 -1 4202560 637 0 0 0 101 15 0 0 20 0 22 0 30852703 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412414351656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24042] ppid=24033 vsize=9824732 CPUtime=1.37 cores=0,2,4,6
/proc/24036/task/24042/stat : 24042 (java) S 24033 24036 23481 0 -1 4202560 578 0 0 0 121 16 0 0 20 0 22 0 30852703 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412077467816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24043] ppid=24033 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/24036/task/24043/stat : 24043 (java) S 24033 24036 23481 0 -1 4202560 849 0 0 0 111 17 0 0 20 0 22 0 30852703 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412076416040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24044] ppid=24033 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/24036/task/24044/stat : 24044 (java) S 24033 24036 23481 0 -1 4202560 550 0 0 0 126 18 0 0 20 0 22 0 30852703 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412075363240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24045] ppid=24033 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/24036/task/24045/stat : 24045 (java) S 24033 24036 23481 0 -1 4202560 686 0 0 0 106 16 0 0 20 0 22 0 30852703 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412074310440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24046] ppid=24033 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/24036/task/24046/stat : 24046 (java) S 24033 24036 23481 0 -1 4202560 738 0 0 0 122 19 0 0 20 0 22 0 30852703 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412073257640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24047] ppid=24033 vsize=9824732 CPUtime=2.65 cores=0,2,4,6
/proc/24036/task/24047/stat : 24047 (java) S 24033 24036 23481 0 -1 4202560 2304 0 0 0 260 5 0 0 20 0 22 0 30852704 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412061059560 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24048] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24048/stat : 24048 (java) S 24033 24036 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30852704 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412060005624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24049] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24049/stat : 24049 (java) S 24033 24036 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30852704 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412058952712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24050] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24050/stat : 24050 (java) S 24033 24036 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30852706 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412057901200 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24051] ppid=24033 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/24036/task/24051/stat : 24051 (java) S 24033 24036 23481 0 -1 4202560 9086 0 0 0 164 2 0 0 20 0 22 0 30852706 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412056849336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24052] ppid=24033 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/24036/task/24052/stat : 24052 (java) S 24033 24036 23481 0 -1 4202560 12273 0 0 0 154 3 0 0 20 0 22 0 30852706 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412055796536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24053] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24053/stat : 24053 (java) S 24033 24036 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30852706 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412054743928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24036/tid=24054] ppid=24033 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/24036/task/24054/stat : 24054 (java) S 24033 24036 23481 0 -1 4202560 53 0 0 0 14 18 0 0 20 0 22 0 30852706 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412053691336 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24036/tid=24055] ppid=24033 vsize=9824732 CPUtime=891.43 cores=0,2,4,6
/proc/24036/task/24055/stat : 24055 (java) R 24033 24036 23481 0 -1 4202560 85 0 0 0 89125 18 0 0 20 0 22 0 30852752 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412052536896 140412296385849 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24056] ppid=24033 vsize=9824732 CPUtime=891.58 cores=0,2,4,6
/proc/24036/task/24056/stat : 24056 (java) R 24033 24036 23481 0 -1 4202560 1613 0 0 0 89109 49 0 0 20 0 22 0 30852752 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412051483024 140412296351338 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24036/tid=24057] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24057/stat : 24057 (java) S 24033 24036 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30852753 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412050432936 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24036/tid=24058] ppid=24033 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24036/task/24058/stat : 24058 (java) S 24033 24036 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30852753 10060525568 841852 33554432000 1073741824 1073778376 140734004015856 140412049380136 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24036 sig 9
??? kill -24036 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 897.673
CPU time (s): 1800.69
CPU user time (s): 1798.16
CPU system time (s): 2.53061
CPU usage (%): 200.595
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.16
system time used= 2.53062
maximum resident set size= 3439196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34645
page faults= 1
swaps= 0
block input operations= 0
block output operations= 832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23017
involuntary context switches= 20917
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.57015 second user time and 7.35788 second system time
The end