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-4091749-1466092283/watcher-4091749-1466092283 -o /tmp/evaluation-result-4091749-1466092283/solver-4091749-1466092283 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466075580-10198 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091749-1466092283.wbo
pid=24873
running on 4 cores: 1,3,5,7
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.40 4.24 4.05 5/197 24876
/proc/meminfo: memFree=30128064/32872528 swapFree=1286144/1433312
[pid=24876] ppid=24873 vsize=3568 CPUtime=0 cores=1,3,5,7
/proc/24876/stat : 24876 (java) R 24873 24876 8056 0 -1 4202496 175 0 0 0 0 0 0 0 20 0 1 0 11275031 3653632 49 33554432000 1073741824 1073778376 140736105521376 140736105518504 214360485159 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24876/statm: 892 52 41 9 0 30 0
[startup+0.10006 s]
/proc/loadavg: 4.40 4.24 4.05 5/197 24876
/proc/meminfo: memFree=30128064/32872528 swapFree=1286144/1433312
[pid=24876] ppid=24873 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/24876/stat : 24876 (java) S 24873 24876 8056 0 -1 4202496 4073 0 1 0 6 1 0 0 20 0 18 0 11275031 9787879424 5187 33554432000 1073741824 1073778376 140735773483696 140735773474832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24876/statm: 2389619 5191 2052 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476
[startup+0.200259 s]
/proc/loadavg: 4.40 4.24 4.05 5/197 24876
/proc/meminfo: memFree=30128064/32872528 swapFree=1286144/1433312
[pid=24876] ppid=24873 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/24876/stat : 24876 (java) S 24873 24876 8056 0 -1 4202496 4716 0 1 0 21 1 0 0 20 0 18 0 11275031 9787879424 6787 33554432000 1073741824 1073778376 140735773483696 140735773474832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24876/statm: 2389619 6787 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476
[startup+0.300241 s]
/proc/loadavg: 4.40 4.24 4.05 5/197 24876
/proc/meminfo: memFree=30128064/32872528 swapFree=1286144/1433312
[pid=24876] ppid=24873 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/24876/stat : 24876 (java) S 24873 24876 8056 0 -1 4202496 5521 0 1 0 44 1 0 0 20 0 18 0 11275031 9787879424 8905 33554432000 1073741824 1073778376 140735773483696 140735773474832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24876/statm: 2389619 8905 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476
[startup+0.700177 s]
/proc/loadavg: 4.40 4.24 4.05 5/197 24876
/proc/meminfo: memFree=30128064/32872528 swapFree=1286144/1433312
[pid=24876] ppid=24873 vsize=9558476 CPUtime=1.4 cores=1,3,5,7
/proc/24876/stat : 24876 (java) S 24873 24876 8056 0 -1 4202496 12359 0 1 0 133 7 0 0 20 0 18 0 11275031 9787879424 49994 33554432000 1073741824 1073778376 140735773483696 140735773474832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24876/statm: 2389619 49994 2265 9 0 2380296 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 9558476
[startup+1.50085 s]
/proc/loadavg: 4.40 4.24 4.05 8/219 24898
/proc/meminfo: memFree=29929612/32872528 swapFree=1286144/1433312
[pid=24876] ppid=24873 vsize=9824732 CPUtime=3.6 cores=1,3,5,7
/proc/24876/stat : 24876 (java) S 24873 24876 8056 0 -1 4202496 15215 0 1 0 346 14 0 0 20 0 19 0 11275031 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140735773474832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24876/statm: 2456183 63544 2283 9 0 2446860 0
[pid=24876/tid=24878] ppid=24873 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/24876/task/24878/stat : 24878 (java) R 24873 24876 8056 0 -1 4202560 2486 0 1 0 89 3 0 0 20 0 19 0 11275032 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140623840833064 140623688611304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24879] ppid=24873 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/24876/task/24879/stat : 24879 (java) S 24873 24876 8056 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 11275034 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140623813286440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24880] ppid=24873 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/24876/task/24880/stat : 24880 (java) S 24873 24876 8056 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 11275034 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140623812233640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24881] ppid=24873 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24876/task/24881/stat : 24881 (java) S 24873 24876 8056 0 -1 4202560 57 0 0 0 4 1 0 0 20 0 19 0 11275034 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140623811180840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24882] ppid=24873 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/24876/task/24882/stat : 24882 (java) S 24873 24876 8056 0 -1 4202560 38 0 0 0 4 2 0 0 20 0 19 0 11275034 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140623810128040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24876/tid=24883] ppid=24873 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/24876/task/24883/stat : 24883 (java) S 24873 24876 8056 0 -1 4202560 128 0 0 0 2 2 0 0 20 0 19 0 11275034 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140623809076264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24884] ppid=24873 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/24876/task/24884/stat : 24884 (java) S 24873 24876 8056 0 -1 4202560 192 0 0 0 2 2 0 0 20 0 19 0 11275034 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140623808023464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24885] ppid=24873 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/24876/task/24885/stat : 24885 (java) S 24873 24876 8056 0 -1 4202560 60 0 0 0 2 0 0 0 20 0 19 0 11275034 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140623677532968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24886] ppid=24873 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/24876/task/24886/stat : 24886 (java) S 24873 24876 8056 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 11275034 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140623676480168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24876/tid=24887] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24887/stat : 24887 (java) S 24873 24876 8056 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 11275035 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140623193532904 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24876/tid=24888] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24888/stat : 24888 (java) S 24873 24876 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11275036 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140623192478968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24889] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24889/stat : 24889 (java) S 24873 24876 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 11275036 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140623191426056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24890] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24890/stat : 24890 (java) S 24873 24876 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11275038 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140623190374544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24891] ppid=24873 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
/proc/24876/task/24891/stat : 24891 (java) R 24873 24876 8056 0 -1 4202560 6747 0 0 0 69 1 0 0 20 0 19 0 11275038 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140623189322680 140623848568445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24876/tid=24892] ppid=24873 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/24876/task/24892/stat : 24892 (java) S 24873 24876 8056 0 -1 4202560 4054 0 0 0 72 0 0 0 20 0 19 0 11275038 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140623188269880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24893] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24893/stat : 24893 (java) S 24873 24876 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11275038 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140623187217272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24894] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24894/stat : 24894 (java) S 24873 24876 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11275038 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140623186164680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24898] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24898/stat : 24898 (java) S 24873 24876 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11275122 10060525568 63544 33554432000 1073741824 1073778376 140735773483696 140623181951784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 9824732
[startup+3.10098 s]
/proc/loadavg: 4.40 4.24 4.05 6/219 24901
/proc/meminfo: memFree=29727352/32872528 swapFree=1286144/1433312
[pid=24876] ppid=24873 vsize=9824732 CPUtime=7.53 cores=1,3,5,7
/proc/24876/stat : 24876 (java) S 24873 24876 8056 0 -1 4202496 19803 0 1 0 730 23 0 0 20 0 22 0 11275031 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140735773474832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24876/statm: 2456183 101897 2284 9 0 2446860 0
[pid=24876/tid=24878] ppid=24873 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/24876/task/24878/stat : 24878 (java) S 24873 24876 8056 0 -1 4202560 2486 0 1 0 106 3 0 0 20 0 22 0 11275032 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623840834424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24879] ppid=24873 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24876/task/24879/stat : 24879 (java) S 24873 24876 8056 0 -1 4202560 35 0 0 0 3 2 0 0 20 0 22 0 11275034 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623813286440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24880] ppid=24873 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24876/task/24880/stat : 24880 (java) S 24873 24876 8056 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 22 0 11275034 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623812233640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24881] ppid=24873 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/24876/task/24881/stat : 24881 (java) S 24873 24876 8056 0 -1 4202560 67 0 0 0 6 2 0 0 20 0 22 0 11275034 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623811180840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24876/tid=24882] ppid=24873 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/24876/task/24882/stat : 24882 (java) S 24873 24876 8056 0 -1 4202560 51 0 0 0 7 2 0 0 20 0 22 0 11275034 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623810128040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24883] ppid=24873 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/24876/task/24883/stat : 24883 (java) S 24873 24876 8056 0 -1 4202560 136 0 0 0 4 2 0 0 20 0 22 0 11275034 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623809076264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24884] ppid=24873 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/24876/task/24884/stat : 24884 (java) S 24873 24876 8056 0 -1 4202560 200 0 0 0 4 2 0 0 20 0 22 0 11275034 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623808023464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24885] ppid=24873 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/24876/task/24885/stat : 24885 (java) S 24873 24876 8056 0 -1 4202560 79 0 0 0 4 2 0 0 20 0 22 0 11275034 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623677532968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24886] ppid=24873 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/24876/task/24886/stat : 24886 (java) S 24873 24876 8056 0 -1 4202560 45 0 0 0 6 2 0 0 20 0 22 0 11275034 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623676480168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24876/tid=24887] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24887/stat : 24887 (java) S 24873 24876 8056 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 11275035 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623193532904 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24876/tid=24888] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24888/stat : 24888 (java) S 24873 24876 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11275036 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623192478968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24889] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24889/stat : 24889 (java) S 24873 24876 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 11275036 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623191426056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24890] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24890/stat : 24890 (java) S 24873 24876 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11275038 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623190374544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24891] ppid=24873 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/24876/task/24891/stat : 24891 (java) S 24873 24876 8056 0 -1 4202560 11023 0 0 0 115 1 0 0 20 0 22 0 11275038 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623189322680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24876/tid=24892] ppid=24873 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/24876/task/24892/stat : 24892 (java) S 24873 24876 8056 0 -1 4202560 4073 0 0 0 106 0 0 0 20 0 22 0 11275038 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623188269880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24893] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24893/stat : 24893 (java) S 24873 24876 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11275038 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623187217272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24894] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24894/stat : 24894 (java) S 24873 24876 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11275038 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623186164680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24898] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24898/stat : 24898 (java) S 24873 24876 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 11275122 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623181951784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24899] ppid=24873 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/24876/task/24899/stat : 24899 (java) R 24873 24876 8056 0 -1 4202560 2 0 0 0 135 0 0 0 20 0 22 0 11275198 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623184057304 140623689327651 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24900] ppid=24873 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/24876/task/24900/stat : 24900 (java) R 24873 24876 8056 0 -1 4202560 56 0 0 0 132 2 0 0 20 0 22 0 11275198 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623185110072 140623689438019 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24876/tid=24901] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24901/stat : 24901 (java) S 24873 24876 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11275199 10060525568 101897 33554432000 1073741824 1073778376 140735773483696 140623183005096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.53
Current children cumulated vsize (KiB) 9824732
[startup+6.30099 s]
/proc/loadavg: 4.45 4.25 4.05 5/219 24901
/proc/meminfo: memFree=29727576/32872528 swapFree=1286144/1433312
[pid=24876] ppid=24873 vsize=9824732 CPUtime=13.96 cores=1,3,5,7
/proc/24876/stat : 24876 (java) S 24873 24876 8056 0 -1 4202496 19805 0 1 0 1373 23 0 0 20 0 22 0 11275031 10060525568 101825 33554432000 1073741824 1073778376 140735773483696 140735773474832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24876/statm: 2456183 101825 2284 9 0 2446860 0
[pid=24876/tid=24878] ppid=24873 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/24876/task/24878/stat : 24878 (java) S 24873 24876 8056 0 -1 4202560 2486 0 1 0 106 3 0 0 20 0 22 0 11275032 10060525568 101825 33554432000 1073741824 1073778376 140735773483696 140623840834424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24879] ppid=24873 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24876/task/24879/stat : 24879 (java) S 24873 24876 8056 0 -1 4202560 35 0 0 0 3 2 0 0 20 0 22 0 11275034 10060525568 101825 33554432000 1073741824 1073778376 140735773483696 140623813286440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24880] ppid=24873 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24876/task/24880/stat : 24880 (java) S 24873 24876 8056 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 22 0 11275034 10060525568 101825 33554432000 1073741824 1073778376 140735773483696 140623812233640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24881] ppid=24873 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/24876/task/24881/stat : 24881 (java) S 24873 24876 8056 0 -1 4202560 67 0 0 0 6 2 0 0 20 0 22 0 11275034 10060525568 101825 33554432000 1073741824 1073778376 140735773483696 140623811180840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24876/tid=24882] ppid=24873 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/24876/task/24882/stat : 24882 (java) S 24873 24876 8056 0 -1 4202560 51 0 0 0 7 2 0 0 20 0 22 0 11275034 10060525568 101825 33554432000 1073741824 1073778376 140735773483696 140623810128040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24883] ppid=24873 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/24876/task/24883/stat : 24883 (java) S 24873 24876 8056 0 -1 4202560 136 0 0 0 4 2 0 0 20 0 22 0 11275034 10060525568 101825 33554432000 1073741824 1073778376 140735773483696 140623809076264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24884] ppid=24873 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/24876/task/24884/stat : 24884 (java) S 24873 24876 8056 0 -1 4202560 200 0 0 0 4 2 0 0 20 0 22 0 11275034 10060525568 101825 33554432000 1073741824 1073778376 140735773483696 140623808023464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24885] ppid=24873 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/24876/task/24885/stat : 24885 (java) S 24873 24876 8056 0 -1 4202560 79 0 0 0 4 2 0 0 20 0 22 0 11275034 10060525568 101825 33554432000 1073741824 1073778376 140735773483696 140623677532968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24886] ppid=24873 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/24876/task/24886/stat : 24886 (java) S 24873 24876 8056 0 -1 4202560 45 0 0 0 6 2 0 0 20 0 22 0 11275034 10060525568 101825 33554432000 1073741824 1073778376 140735773483696 140623676480168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24876/tid=24887] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24887/stat : 24887 (java) S 24873 24876 8056 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 11275035 10060525568 101825 33554432000 1073741824 1073778376 140735773483696 140623193532904 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24888] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24888/stat : 24888 (java) S 24873 24876 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11275036 10060525568 101825 33554432000 1073741824 1073778376 140735773483696 140623192478968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24889] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24889/stat : 24889 (java) S 24873 24876 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 11275036 10060525568 101825 33554432000 1073741824 1073778376 140735773483696 140623191426056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24890] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24890/stat : 24890 (java) S 24873 24876 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11275038 10060525568 101825 33554432000 1073741824 1073778376 140735773483696 140623190374544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24891] ppid=24873 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/24876/task/24891/stat : 24891 (java) S 24873 24876 8056 0 -1 4202560 11023 0 0 0 115 1 0 0 20 0 22 0 11275038 10060525568 101825 33554432000 1073741824 1073778376 140735773483696 140623189322680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24876/tid=24892] ppid=24873 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/24876/task/24892/stat : 24892 (java) S 24873 24876 8056 0 -1 4202560 4073 0 0 0 109 0 0 0 20 0 22 0 11275038 10060525568 101825 33554432000 1073741824 1073778376 140735773483696 140623188269880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24893] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24893/stat : 24893 (java) S 24873 24876 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11275038 10060525568 101825 33554432000 1073741824 1073778376 140735773483696 140623187217272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24894] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.20 4.29 4.17 3/191 24976
/proc/meminfo: memFree=29587328/32872528 swapFree=1286144/1433312
[pid=24876] ppid=24873 vsize=9824732 CPUtime=1646.12 cores=1,3,5,7
/proc/24876/stat : 24876 (java) S 24873 24876 8056 0 -1 4202496 22173 0 1 0 164525 87 0 0 20 0 22 0 11275031 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140735773474832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24876/statm: 2456183 261466 2297 9 0 2446860 0
[pid=24876/tid=24878] ppid=24873 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/24876/task/24878/stat : 24878 (java) S 24873 24876 8056 0 -1 4202560 2492 0 1 0 108 5 0 0 20 0 22 0 11275032 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623840834424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24879] ppid=24873 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/24876/task/24879/stat : 24879 (java) S 24873 24876 8056 0 -1 4202560 280 0 0 0 17 7 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623813286440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24880] ppid=24873 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/24876/task/24880/stat : 24880 (java) S 24873 24876 8056 0 -1 4202560 98 0 0 0 12 4 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623812233640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24881] ppid=24873 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/24876/task/24881/stat : 24881 (java) S 24873 24876 8056 0 -1 4202560 326 0 0 0 22 8 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623811180840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24882] ppid=24873 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/24876/task/24882/stat : 24882 (java) S 24873 24876 8056 0 -1 4202560 158 0 0 0 20 6 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623810128040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24876/tid=24883] ppid=24873 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/24876/task/24883/stat : 24883 (java) S 24873 24876 8056 0 -1 4202560 330 0 0 0 23 7 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623809076264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24884] ppid=24873 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/24876/task/24884/stat : 24884 (java) S 24873 24876 8056 0 -1 4202560 320 0 0 0 22 8 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623808023464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24885] ppid=24873 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/24876/task/24885/stat : 24885 (java) S 24873 24876 8056 0 -1 4202560 217 0 0 0 23 9 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623677532968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24876/tid=24886] ppid=24873 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/24876/task/24886/stat : 24886 (java) S 24873 24876 8056 0 -1 4202560 296 0 0 0 19 6 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623676480168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24887] ppid=24873 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/24876/task/24887/stat : 24887 (java) S 24873 24876 8056 0 -1 4202560 819 0 0 0 61 3 0 0 20 0 22 0 11275035 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623193532904 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24888] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24888/stat : 24888 (java) S 24873 24876 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11275036 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623192478968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24889] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24889/stat : 24889 (java) S 24873 24876 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 11275036 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623191426056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24890] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24890/stat : 24890 (java) S 24873 24876 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11275038 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623190374544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24891] ppid=24873 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/24876/task/24891/stat : 24891 (java) S 24873 24876 8056 0 -1 4202560 11045 0 0 0 134 2 0 0 20 0 22 0 11275038 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623189322680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24876/tid=24892] ppid=24873 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/24876/task/24892/stat : 24892 (java) S 24873 24876 8056 0 -1 4202560 4078 0 0 0 121 0 0 0 20 0 22 0 11275038 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623188269880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24893] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24893/stat : 24893 (java) S 24873 24876 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11275038 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623187217272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24894] ppid=24873 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/24876/task/24894/stat : 24894 (java) S 24873 24876 8056 0 -1 4202560 47 0 0 0 10 24 0 0 20 0 22 0 11275038 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623186164680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24898] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24898/stat : 24898 (java) S 24873 24876 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 11275122 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623181951784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24899] ppid=24873 vsize=9824732 CPUtime=819.39 cores=1,3,5,7
/proc/24876/task/24899/stat : 24899 (java) R 24873 24876 8056 0 -1 4202560 44 0 0 0 81925 14 0 0 20 0 22 0 11275198 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623184048656 140623689986210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24876/tid=24900] ppid=24873 vsize=9824732 CPUtime=819.33 cores=1,3,5,7
/proc/24876/task/24900/stat : 24900 (java) R 24873 24876 8056 0 -1 4202560 303 0 0 0 81916 17 0 0 20 0 22 0 11275198 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623185107920 140623689437646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24901] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24901/stat : 24901 (java) S 24873 24876 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11275199 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623183005096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1646.12
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 2.84 3.88 4.04 3/191 24977
/proc/meminfo: memFree=29588612/32872528 swapFree=1286144/1433312
[pid=24876] ppid=24873 vsize=9824732 CPUtime=1766.19 cores=1,3,5,7
/proc/24876/stat : 24876 (java) S 24873 24876 8056 0 -1 4202496 22179 0 1 0 176532 87 0 0 20 0 22 0 11275031 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140735773474832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24876/statm: 2456183 261466 2297 9 0 2446860 0
[pid=24876/tid=24878] ppid=24873 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/24876/task/24878/stat : 24878 (java) S 24873 24876 8056 0 -1 4202560 2492 0 1 0 108 5 0 0 20 0 22 0 11275032 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623840834424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24879] ppid=24873 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/24876/task/24879/stat : 24879 (java) S 24873 24876 8056 0 -1 4202560 280 0 0 0 17 7 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623813286440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24880] ppid=24873 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/24876/task/24880/stat : 24880 (java) S 24873 24876 8056 0 -1 4202560 98 0 0 0 12 4 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623812233640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24881] ppid=24873 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/24876/task/24881/stat : 24881 (java) S 24873 24876 8056 0 -1 4202560 326 0 0 0 22 8 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623811180840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24882] ppid=24873 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/24876/task/24882/stat : 24882 (java) S 24873 24876 8056 0 -1 4202560 158 0 0 0 20 6 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623810128040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24876/tid=24883] ppid=24873 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/24876/task/24883/stat : 24883 (java) S 24873 24876 8056 0 -1 4202560 330 0 0 0 23 7 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623809076264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24884] ppid=24873 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/24876/task/24884/stat : 24884 (java) S 24873 24876 8056 0 -1 4202560 320 0 0 0 22 8 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623808023464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24885] ppid=24873 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/24876/task/24885/stat : 24885 (java) S 24873 24876 8056 0 -1 4202560 217 0 0 0 23 9 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623677532968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24876/tid=24886] ppid=24873 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/24876/task/24886/stat : 24886 (java) S 24873 24876 8056 0 -1 4202560 296 0 0 0 19 6 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623676480168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24887] ppid=24873 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/24876/task/24887/stat : 24887 (java) S 24873 24876 8056 0 -1 4202560 819 0 0 0 61 3 0 0 20 0 22 0 11275035 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623193532904 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24888] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24888/stat : 24888 (java) S 24873 24876 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11275036 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623192478968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24889] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24889/stat : 24889 (java) S 24873 24876 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 11275036 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623191426056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24890] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24890/stat : 24890 (java) S 24873 24876 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11275038 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623190374544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24891] ppid=24873 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/24876/task/24891/stat : 24891 (java) S 24873 24876 8056 0 -1 4202560 11047 0 0 0 138 2 0 0 20 0 22 0 11275038 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623189322680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24876/tid=24892] ppid=24873 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/24876/task/24892/stat : 24892 (java) S 24873 24876 8056 0 -1 4202560 4078 0 0 0 125 0 0 0 20 0 22 0 11275038 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623188269880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24893] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24893/stat : 24893 (java) S 24873 24876 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11275038 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623187217272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24894] ppid=24873 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/24876/task/24894/stat : 24894 (java) S 24873 24876 8056 0 -1 4202560 51 0 0 0 10 27 0 0 20 0 22 0 11275038 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623186164680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24898] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24898/stat : 24898 (java) S 24873 24876 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 11275122 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623181951784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24899] ppid=24873 vsize=9824732 CPUtime=879.39 cores=1,3,5,7
/proc/24876/task/24899/stat : 24899 (java) R 24873 24876 8056 0 -1 4202560 44 0 0 0 87924 15 0 0 20 0 22 0 11275198 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623184048656 140623689785444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24900] ppid=24873 vsize=9824732 CPUtime=879.34 cores=1,3,5,7
/proc/24876/task/24900/stat : 24900 (java) R 24873 24876 8056 0 -1 4202560 303 0 0 0 87916 18 0 0 20 0 22 0 11275198 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623185109736 140623689161203 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24876/tid=24901] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24901/stat : 24901 (java) S 24873 24876 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11275199 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623183005096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1766.19
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.201 s]
/proc/loadavg: 2.67 3.77 4.00 4/191 24977
/proc/meminfo: memFree=29588736/32872528 swapFree=1286144/1433312
[pid=24876] ppid=24873 vsize=9824732 CPUtime=1800.02 cores=1,3,5,7
/proc/24876/stat : 24876 (java) S 24873 24876 8056 0 -1 4202496 22182 0 1 0 179914 88 0 0 20 0 22 0 11275031 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140735773474832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24876/statm: 2456183 261466 2297 9 0 2446860 0
[pid=24876/tid=24878] ppid=24873 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/24876/task/24878/stat : 24878 (java) S 24873 24876 8056 0 -1 4202560 2492 0 1 0 108 5 0 0 20 0 22 0 11275032 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623840834424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24879] ppid=24873 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/24876/task/24879/stat : 24879 (java) S 24873 24876 8056 0 -1 4202560 280 0 0 0 17 7 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623813286440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24880] ppid=24873 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/24876/task/24880/stat : 24880 (java) S 24873 24876 8056 0 -1 4202560 98 0 0 0 12 4 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623812233640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24881] ppid=24873 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/24876/task/24881/stat : 24881 (java) S 24873 24876 8056 0 -1 4202560 326 0 0 0 22 8 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623811180840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24882] ppid=24873 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/24876/task/24882/stat : 24882 (java) S 24873 24876 8056 0 -1 4202560 158 0 0 0 20 6 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623810128040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24876/tid=24883] ppid=24873 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/24876/task/24883/stat : 24883 (java) S 24873 24876 8056 0 -1 4202560 330 0 0 0 23 7 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623809076264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24884] ppid=24873 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/24876/task/24884/stat : 24884 (java) S 24873 24876 8056 0 -1 4202560 320 0 0 0 22 8 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623808023464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24885] ppid=24873 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/24876/task/24885/stat : 24885 (java) S 24873 24876 8056 0 -1 4202560 217 0 0 0 23 9 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623677532968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24876/tid=24886] ppid=24873 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/24876/task/24886/stat : 24886 (java) S 24873 24876 8056 0 -1 4202560 296 0 0 0 19 6 0 0 20 0 22 0 11275034 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623676480168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24887] ppid=24873 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/24876/task/24887/stat : 24887 (java) S 24873 24876 8056 0 -1 4202560 819 0 0 0 61 3 0 0 20 0 22 0 11275035 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623193532904 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24888] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24888/stat : 24888 (java) S 24873 24876 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11275036 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623192478968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24889] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24889/stat : 24889 (java) S 24873 24876 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 11275036 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623191426056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24890] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24890/stat : 24890 (java) S 24873 24876 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11275038 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623190374544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24891] ppid=24873 vsize=9824732 CPUtime=1.41 cores=1,3,5,7
/proc/24876/task/24891/stat : 24891 (java) S 24873 24876 8056 0 -1 4202560 11049 0 0 0 139 2 0 0 20 0 22 0 11275038 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623189322680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24876/tid=24892] ppid=24873 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/24876/task/24892/stat : 24892 (java) S 24873 24876 8056 0 -1 4202560 4079 0 0 0 128 0 0 0 20 0 22 0 11275038 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623188269880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24893] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24893/stat : 24893 (java) S 24873 24876 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11275038 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623187217272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24894] ppid=24873 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/24876/task/24894/stat : 24894 (java) S 24873 24876 8056 0 -1 4202560 51 0 0 0 10 27 0 0 20 0 22 0 11275038 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623186164680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24876/tid=24898] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24898/stat : 24898 (java) S 24873 24876 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 11275122 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623181951784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24899] ppid=24873 vsize=9824732 CPUtime=896.28 cores=1,3,5,7
/proc/24876/task/24899/stat : 24899 (java) R 24873 24876 8056 0 -1 4202560 44 0 0 0 89613 15 0 0 20 0 22 0 11275198 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623184048656 140623689986313 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24876/tid=24900] ppid=24873 vsize=9824732 CPUtime=896.23 cores=1,3,5,7
/proc/24876/task/24900/stat : 24900 (java) R 24873 24876 8056 0 -1 4202560 303 0 0 0 89605 18 0 0 20 0 22 0 11275198 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623185109736 140623689165154 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24876/tid=24901] ppid=24873 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24876/task/24901/stat : 24901 (java) S 24873 24876 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11275199 10060525568 261466 33554432000 1073741824 1073778376 140735773483696 140623183005096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 24876 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 899.242
CPU time (s): 1800.66
CPU user time (s): 1799.23
CPU system time (s): 1.43278
CPU usage (%): 200.242
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.23
system time used= 1.43278
maximum resident set size= 1045976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22216
page faults= 1
swaps= 0
block input operations= 0
block output operations= 656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21359
involuntary context switches= 10550
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.50316 second user time and 7.9028 second system time
The end