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-4092275-1466084048/watcher-4092275-1466084048 -o /tmp/evaluation-result-4092275-1466084048/solver-4092275-1466084048 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466075580-10198 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092275-1466084048.wbo
pid=21031
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: 2.34 2.25 2.42 3/196 21034
/proc/meminfo: memFree=30307164/32872528 swapFree=1286144/1433312
[pid=21034] ppid=21031 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/21034/stat : 21034 (java) D 21031 21034 8056 0 -1 4202496 171 0 0 0 0 0 0 0 20 0 1 0 10451546 2560000 46 33554432000 1073741824 1073778376 140736008652128 140736008649256 214360485159 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/21034/statm: 625 46 37 9 0 29 0
[startup+0.100166 s]
/proc/loadavg: 2.34 2.25 2.42 3/196 21034
/proc/meminfo: memFree=30307164/32872528 swapFree=1286144/1433312
[pid=21034] ppid=21031 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/21034/stat : 21034 (java) S 21031 21034 8056 0 -1 4202496 3993 0 1 0 6 0 0 0 20 0 18 0 10451546 9787879424 5119 33554432000 1073741824 1073778376 140735182565680 140735182556816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21034/statm: 2389619 5123 2046 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558476
[startup+0.200349 s]
/proc/loadavg: 2.34 2.25 2.42 3/196 21034
/proc/meminfo: memFree=30307164/32872528 swapFree=1286144/1433312
[pid=21034] ppid=21031 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/21034/stat : 21034 (java) S 21031 21034 8056 0 -1 4202496 4749 0 1 0 21 0 0 0 20 0 18 0 10451546 9787879424 6827 33554432000 1073741824 1073778376 140735182565680 140735182556816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21034/statm: 2389619 6827 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476
[startup+0.300327 s]
/proc/loadavg: 2.34 2.25 2.42 3/196 21034
/proc/meminfo: memFree=30307164/32872528 swapFree=1286144/1433312
[pid=21034] ppid=21031 vsize=9558476 CPUtime=0.44 cores=1,3,5,7
/proc/21034/stat : 21034 (java) S 21031 21034 8056 0 -1 4202496 5560 0 1 0 43 1 0 0 20 0 18 0 10451546 9787879424 8366 33554432000 1073741824 1073778376 140735182565680 140735182556816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21034/statm: 2389619 8366 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476
[startup+0.700306 s]
/proc/loadavg: 2.34 2.25 2.42 3/196 21034
/proc/meminfo: memFree=30307164/32872528 swapFree=1286144/1433312
[pid=21034] ppid=21031 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/21034/stat : 21034 (java) S 21031 21034 8056 0 -1 4202496 15636 0 1 0 158 4 0 0 20 0 19 0 10451546 10060525568 16909 33554432000 1073741824 1073778376 140735182565680 140735182556816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21034/statm: 2456183 16909 2267 9 0 2446860 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9824732
[startup+1.50081 s]
/proc/loadavg: 2.63 2.32 2.44 2/215 21059
/proc/meminfo: memFree=30229132/32872528 swapFree=1286144/1433312
[pid=21034] ppid=21031 vsize=9824732 CPUtime=2.68 cores=1,3,5,7
/proc/21034/stat : 21034 (java) S 21031 21034 8056 0 -1 4202496 19415 0 1 0 260 8 0 0 20 0 19 0 10451546 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140735182556816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21034/statm: 2456183 23673 2274 9 0 2446860 0
[pid=21034/tid=21036] ppid=21031 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/21034/task/21036/stat : 21036 (java) S 21031 21034 8056 0 -1 4202560 2441 0 1 0 35 0 0 0 20 0 19 0 10451547 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140667041842040 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21037] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21037/stat : 21037 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451549 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140667030903592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21038] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21038/stat : 21038 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451549 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140667029850792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21039] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21039/stat : 21039 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451549 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140667028798504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21034/tid=21040] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21040/stat : 21040 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451549 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140667027745704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21041] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21041/stat : 21041 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451549 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140667026692392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21042] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21042/stat : 21042 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451549 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140667025639592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21043] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21043/stat : 21043 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451549 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140666879031848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21044] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21044/stat : 21044 (java) S 21031 21034 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10451549 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140666877979048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21045] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21045/stat : 21045 (java) S 21031 21034 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10451550 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140666865781480 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21046] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21046/stat : 21046 (java) S 21031 21034 8056 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10451551 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140666864727544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21047] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21047/stat : 21047 (java) S 21031 21034 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10451551 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140666863675144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21048] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21048/stat : 21048 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451553 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140666862623632 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21049] ppid=21031 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/21034/task/21049/stat : 21049 (java) S 21031 21034 8056 0 -1 4202560 6174 0 0 0 74 0 0 0 20 0 19 0 10451553 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140666861570232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21050] ppid=21031 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/21034/task/21050/stat : 21050 (java) S 21031 21034 8056 0 -1 4202560 9443 0 0 0 81 2 0 0 20 0 19 0 10451553 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140666860517432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21051] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21051/stat : 21051 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451553 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140666859465336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21052] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21052/stat : 21052 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451553 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140666858412744 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21055] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21055/stat : 21055 (java) S 21031 21034 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10451584 10060525568 23673 33554432000 1073741824 1073778376 140735182565680 140666855253672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 9824732
[startup+3.10083 s]
/proc/loadavg: 2.63 2.32 2.44 2/215 21065
/proc/meminfo: memFree=30209964/32872528 swapFree=1286144/1433312
[pid=21034] ppid=21031 vsize=9824732 CPUtime=3.38 cores=1,3,5,7
/proc/21034/stat : 21034 (java) S 21031 21034 8056 0 -1 4202496 19787 0 1 0 323 15 0 0 20 0 19 0 10451546 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140735182556816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21034/statm: 2456183 36987 2276 9 0 2446860 0
[pid=21034/tid=21036] ppid=21031 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/21034/task/21036/stat : 21036 (java) S 21031 21034 8056 0 -1 4202560 2444 0 1 0 37 0 0 0 20 0 19 0 10451547 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140667041842040 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21037] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21037/stat : 21037 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451549 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140667030903592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21038] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21038/stat : 21038 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451549 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140667029850792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21039] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21039/stat : 21039 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451549 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140667028798504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21034/tid=21040] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21040/stat : 21040 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451549 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140667027745704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21041] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21041/stat : 21041 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451549 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140667026692392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21042] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21042/stat : 21042 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451549 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140667025639592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21043] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21043/stat : 21043 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451549 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140666879031848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21044] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21044/stat : 21044 (java) S 21031 21034 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10451549 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140666877979048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21045] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21045/stat : 21045 (java) S 21031 21034 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10451550 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140666865781480 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21046] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21046/stat : 21046 (java) S 21031 21034 8056 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10451551 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140666864727544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21047] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21047/stat : 21047 (java) S 21031 21034 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10451551 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140666863675144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21048] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21048/stat : 21048 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451553 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140666862623632 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21049] ppid=21031 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/21034/task/21049/stat : 21049 (java) S 21031 21034 8056 0 -1 4202560 6174 0 0 0 81 0 0 0 20 0 19 0 10451553 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140666861570232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21050] ppid=21031 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/21034/task/21050/stat : 21050 (java) S 21031 21034 8056 0 -1 4202560 9769 0 0 0 96 2 0 0 20 0 19 0 10451553 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140666860517432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21051] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21051/stat : 21051 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451553 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140666859465336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21052] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21052/stat : 21052 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10451553 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140666858412744 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21055] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21055/stat : 21055 (java) S 21031 21034 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10451584 10060525568 36987 33554432000 1073741824 1073778376 140735182565680 140666855253672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 9824732
[startup+6.30078 s]
/proc/loadavg: 2.50 2.29 2.44 3/215 21086
/proc/meminfo: memFree=30207144/32872528 swapFree=1286144/1433312
[pid=21034] ppid=21031 vsize=9824732 CPUtime=4.84 cores=1,3,5,7
/proc/21034/stat : 21034 (java) S 21031 21034 8056 0 -1 4202496 19894 0 1 0 460 24 0 0 20 0 22 0 10451546 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140735182556816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21034/statm: 2456183 45644 2290 9 0 2446860 0
[pid=21034/tid=21036] ppid=21031 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/21034/task/21036/stat : 21036 (java) S 21031 21034 8056 0 -1 4202560 2446 0 1 0 39 0 0 0 20 0 22 0 10451547 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140667041842040 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21037] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21037/stat : 21037 (java) S 21031 21034 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10451549 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140667030903592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21038] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21038/stat : 21038 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10451549 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140667029850792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21039] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21039/stat : 21039 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10451549 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140667028798504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21034/tid=21040] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21040/stat : 21040 (java) S 21031 21034 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10451549 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140667027745704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21041] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21041/stat : 21041 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10451549 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140667026692392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21042] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21042/stat : 21042 (java) S 21031 21034 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 10451549 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140667025639592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21043] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21043/stat : 21043 (java) S 21031 21034 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 10451549 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140666879031848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21034/tid=21044] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21044/stat : 21044 (java) S 21031 21034 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 10451549 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140666877979048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21045] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21045/stat : 21045 (java) S 21031 21034 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10451550 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140666865781480 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21046] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21046/stat : 21046 (java) S 21031 21034 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10451551 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140666864727544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21047] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21047/stat : 21047 (java) S 21031 21034 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10451551 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140666863675144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21048] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21048/stat : 21048 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10451553 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140666862623632 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21049] ppid=21031 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/21034/task/21049/stat : 21049 (java) R 21031 21034 8056 0 -1 4202560 6175 0 0 0 96 2 0 0 20 0 22 0 10451553 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140666861570232 140667048658263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21050] ppid=21031 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/21034/task/21050/stat : 21050 (java) R 21031 21034 8056 0 -1 4202560 9770 0 0 0 102 2 0 0 20 0 22 0 10451553 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140666860517272 140667048828163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21051] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21051/stat : 21051 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10451553 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140666859465336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21052] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21052/stat : 21052 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10451553 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140666858412744 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21055] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21055/stat : 21055 (java) S 21031 21034 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10451584 10060525568 45644 33554432000 1073741824 1073778376 140735182565680 140666855253672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 9824732
heavy processes:
################
# More data... #
################
[pid=21034/tid=21148] ppid=21031 vsize=9824732 CPUtime=1625.95 cores=1,3,5,7
/proc/21034/task/21148/stat : 21148 (java) R 21031 21034 8056 0 -1 4202560 2745 0 0 0 162549 46 0 0 20 0 21 0 10453518 10060525568 924908 33554432000 1073741824 1073778376 140735182565680 140666856304000 140666907387902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21149] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21149/stat : 21149 (java) S 21031 21034 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10453520 10060525568 924908 33554432000 1073741824 1073778376 140735182565680 140666857358760 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1681.19
Current children cumulated vsize (KiB) 9824732
[startup+1722.3 s]
/proc/loadavg: 2.12 2.20 2.19 3/217 21394
/proc/meminfo: memFree=22768428/32872528 swapFree=1286144/1433312
[pid=21034] ppid=21031 vsize=9824732 CPUtime=1741.76 cores=1,3,5,7
/proc/21034/stat : 21034 (java) S 21031 21034 8056 0 -1 4202496 35295 0 1 0 173760 416 0 0 20 0 21 0 10451546 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140735182556816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21034/statm: 2456183 941817 2302 9 0 2446860 0
[pid=21034/tid=21036] ppid=21031 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/21034/task/21036/stat : 21036 (java) S 21031 21034 8056 0 -1 4202560 2510 0 1 0 82 21 0 0 20 0 21 0 10451547 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140667041842152 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21037] ppid=21031 vsize=9824732 CPUtime=3.65 cores=1,3,5,7
/proc/21034/task/21037/stat : 21037 (java) S 21031 21034 8056 0 -1 4202560 968 0 0 0 330 35 0 0 20 0 21 0 10451549 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140667030903592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21038] ppid=21031 vsize=9824732 CPUtime=3.5 cores=1,3,5,7
/proc/21034/task/21038/stat : 21038 (java) S 21031 21034 8056 0 -1 4202560 876 0 0 0 312 38 0 0 20 0 21 0 10451549 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140667029850792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21039] ppid=21031 vsize=9824732 CPUtime=3.8 cores=1,3,5,7
/proc/21034/task/21039/stat : 21039 (java) S 21031 21034 8056 0 -1 4202560 1052 0 0 0 342 38 0 0 20 0 21 0 10451549 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140667028798504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21040] ppid=21031 vsize=9824732 CPUtime=3.59 cores=1,3,5,7
/proc/21034/task/21040/stat : 21040 (java) S 21031 21034 8056 0 -1 4202560 730 0 0 0 328 31 0 0 20 0 21 0 10451549 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140667027745704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21034/tid=21041] ppid=21031 vsize=9824732 CPUtime=3.81 cores=1,3,5,7
/proc/21034/task/21041/stat : 21041 (java) S 21031 21034 8056 0 -1 4202560 810 0 0 0 341 40 0 0 20 0 21 0 10451549 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140667026692392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21034/tid=21042] ppid=21031 vsize=9824732 CPUtime=3.53 cores=1,3,5,7
/proc/21034/task/21042/stat : 21042 (java) S 21031 21034 8056 0 -1 4202560 877 0 0 0 319 34 0 0 20 0 21 0 10451549 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140667025639592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21043] ppid=21031 vsize=9824732 CPUtime=3.57 cores=1,3,5,7
/proc/21034/task/21043/stat : 21043 (java) S 21031 21034 8056 0 -1 4202560 929 0 0 0 323 34 0 0 20 0 21 0 10451549 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140666879031848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21044] ppid=21031 vsize=9824732 CPUtime=3.59 cores=1,3,5,7
/proc/21034/task/21044/stat : 21044 (java) S 21031 21034 8056 0 -1 4202560 1058 0 0 0 324 35 0 0 20 0 21 0 10451549 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140666877979048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21045] ppid=21031 vsize=9824732 CPUtime=9.04 cores=1,3,5,7
/proc/21034/task/21045/stat : 21045 (java) S 21031 21034 8056 0 -1 4202560 3224 0 0 0 893 11 0 0 20 0 21 0 10451550 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140666865781480 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21046] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21046/stat : 21046 (java) S 21031 21034 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10451551 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140666864727544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21047] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21047/stat : 21047 (java) S 21031 21034 8056 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 21 0 10451551 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140666863675144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21048] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21048/stat : 21048 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10451553 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140666862623632 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21049] ppid=21031 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/21034/task/21049/stat : 21049 (java) S 21031 21034 8056 0 -1 4202560 7923 0 0 0 143 2 0 0 20 0 21 0 10451553 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140666861570232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21050] ppid=21031 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/21034/task/21050/stat : 21050 (java) S 21031 21034 8056 0 -1 4202560 9775 0 0 0 115 2 0 0 20 0 21 0 10451553 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140666860517432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21051] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21051/stat : 21051 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10451553 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140666859465336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21052] ppid=21031 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/21034/task/21052/stat : 21052 (java) S 21031 21034 8056 0 -1 4202560 99 0 0 0 16 22 0 0 20 0 21 0 10451553 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140666858412744 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21055] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21055/stat : 21055 (java) S 21031 21034 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10451584 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140666855253672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21148] ppid=21031 vsize=9824732 CPUtime=1685.76 cores=1,3,5,7
/proc/21034/task/21148/stat : 21148 (java) R 21031 21034 8056 0 -1 4202560 2745 0 0 0 168529 47 0 0 20 0 21 0 10453518 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140666856303664 140666907385552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21149] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21149/stat : 21149 (java) S 21031 21034 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10453520 10060525568 941817 33554432000 1073741824 1073778376 140735182565680 140666857358760 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1741.76
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1780.3 s]
/proc/loadavg: 2.09 2.18 2.18 3/217 21395
/proc/meminfo: memFree=22647100/32872528 swapFree=1286144/1433312
[pid=21034] ppid=21031 vsize=9824732 CPUtime=1800.08 cores=1,3,5,7
/proc/21034/stat : 21034 (java) S 21031 21034 8056 0 -1 4202496 35354 0 1 0 179588 420 0 0 20 0 21 0 10451546 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140735182556816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21034/statm: 2456183 948476 2302 9 0 2446860 0
[pid=21034/tid=21036] ppid=21031 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/21034/task/21036/stat : 21036 (java) S 21031 21034 8056 0 -1 4202560 2511 0 1 0 82 22 0 0 20 0 21 0 10451547 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140667041842152 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21037] ppid=21031 vsize=9824732 CPUtime=3.7 cores=1,3,5,7
/proc/21034/task/21037/stat : 21037 (java) S 21031 21034 8056 0 -1 4202560 972 0 0 0 335 35 0 0 20 0 21 0 10451549 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140667030903592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21038] ppid=21031 vsize=9824732 CPUtime=3.56 cores=1,3,5,7
/proc/21034/task/21038/stat : 21038 (java) S 21031 21034 8056 0 -1 4202560 883 0 0 0 318 38 0 0 20 0 21 0 10451549 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140667029850792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21034/tid=21039] ppid=21031 vsize=9824732 CPUtime=3.83 cores=1,3,5,7
/proc/21034/task/21039/stat : 21039 (java) S 21031 21034 8056 0 -1 4202560 1056 0 0 0 345 38 0 0 20 0 21 0 10451549 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140667028798504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21040] ppid=21031 vsize=9824732 CPUtime=3.69 cores=1,3,5,7
/proc/21034/task/21040/stat : 21040 (java) S 21031 21034 8056 0 -1 4202560 742 0 0 0 338 31 0 0 20 0 21 0 10451549 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140667027745704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21034/tid=21041] ppid=21031 vsize=9824732 CPUtime=3.84 cores=1,3,5,7
/proc/21034/task/21041/stat : 21041 (java) S 21031 21034 8056 0 -1 4202560 814 0 0 0 344 40 0 0 20 0 21 0 10451549 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140667026692392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21042] ppid=21031 vsize=9824732 CPUtime=3.57 cores=1,3,5,7
/proc/21034/task/21042/stat : 21042 (java) S 21031 21034 8056 0 -1 4202560 882 0 0 0 323 34 0 0 20 0 21 0 10451549 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140667025639592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21043] ppid=21031 vsize=9824732 CPUtime=3.63 cores=1,3,5,7
/proc/21034/task/21043/stat : 21043 (java) S 21031 21034 8056 0 -1 4202560 935 0 0 0 328 35 0 0 20 0 21 0 10451549 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666879031848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21034/tid=21044] ppid=21031 vsize=9824732 CPUtime=3.64 cores=1,3,5,7
/proc/21034/task/21044/stat : 21044 (java) S 21031 21034 8056 0 -1 4202560 1068 0 0 0 328 36 0 0 20 0 21 0 10451549 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666877979048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21045] ppid=21031 vsize=9824732 CPUtime=9.04 cores=1,3,5,7
/proc/21034/task/21045/stat : 21045 (java) S 21031 21034 8056 0 -1 4202560 3226 0 0 0 893 11 0 0 20 0 21 0 10451550 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666865781480 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21046] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21046/stat : 21046 (java) S 21031 21034 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10451551 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666864727544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21047] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21047/stat : 21047 (java) S 21031 21034 8056 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 21 0 10451551 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666863675144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21048] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21048/stat : 21048 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10451553 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666862623632 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21049] ppid=21031 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/21034/task/21049/stat : 21049 (java) S 21031 21034 8056 0 -1 4202560 7923 0 0 0 143 2 0 0 20 0 21 0 10451553 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666861570232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21050] ppid=21031 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/21034/task/21050/stat : 21050 (java) S 21031 21034 8056 0 -1 4202560 9775 0 0 0 115 2 0 0 20 0 21 0 10451553 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666860517432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21051] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21051/stat : 21051 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10451553 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666859465336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21052] ppid=21031 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/21034/task/21052/stat : 21052 (java) S 21031 21034 8056 0 -1 4202560 103 0 0 0 16 23 0 0 20 0 21 0 10451553 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666858412744 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21055] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21055/stat : 21055 (java) S 21031 21034 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10451584 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666855253672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21148] ppid=21031 vsize=9824732 CPUtime=1743.65 cores=1,3,5,7
/proc/21034/task/21148/stat : 21148 (java) R 21031 21034 8056 0 -1 4202560 2745 0 0 0 174316 49 0 0 20 0 21 0 10453518 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666856303808 140666907440411 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21149] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21149/stat : 21149 (java) S 21031 21034 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10453520 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666857358760 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 21034 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1780.3 s]
/proc/loadavg: 2.09 2.18 2.18 3/217 21395
/proc/meminfo: memFree=22647100/32872528 swapFree=1286144/1433312
[pid=21034] ppid=21031 vsize=9824732 CPUtime=1800.08 cores=1,3,5,7
/proc/21034/stat : 21034 (java) S 21031 21034 8056 0 -1 4202496 35354 0 1 0 179588 420 0 0 20 0 21 0 10451546 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140735182556816 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21034/statm: 2456183 948476 2302 9 0 2446860 0
[pid=21034/tid=21036] ppid=21031 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/21034/task/21036/stat : 21036 (java) S 21031 21034 8056 0 -1 4202560 2511 0 1 0 82 22 0 0 20 0 21 0 10451547 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140667041842152 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21037] ppid=21031 vsize=9824732 CPUtime=3.7 cores=1,3,5,7
/proc/21034/task/21037/stat : 21037 (java) S 21031 21034 8056 0 -1 4202560 972 0 0 0 335 35 0 0 20 0 21 0 10451549 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140667030903592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21038] ppid=21031 vsize=9824732 CPUtime=3.56 cores=1,3,5,7
/proc/21034/task/21038/stat : 21038 (java) S 21031 21034 8056 0 -1 4202560 883 0 0 0 318 38 0 0 20 0 21 0 10451549 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140667029850792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21034/tid=21039] ppid=21031 vsize=9824732 CPUtime=3.83 cores=1,3,5,7
/proc/21034/task/21039/stat : 21039 (java) S 21031 21034 8056 0 -1 4202560 1056 0 0 0 345 38 0 0 20 0 21 0 10451549 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140667028798504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21040] ppid=21031 vsize=9824732 CPUtime=3.69 cores=1,3,5,7
/proc/21034/task/21040/stat : 21040 (java) S 21031 21034 8056 0 -1 4202560 742 0 0 0 338 31 0 0 20 0 21 0 10451549 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140667027745704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21034/tid=21041] ppid=21031 vsize=9824732 CPUtime=3.84 cores=1,3,5,7
/proc/21034/task/21041/stat : 21041 (java) S 21031 21034 8056 0 -1 4202560 814 0 0 0 344 40 0 0 20 0 21 0 10451549 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140667026692392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21042] ppid=21031 vsize=9824732 CPUtime=3.57 cores=1,3,5,7
/proc/21034/task/21042/stat : 21042 (java) S 21031 21034 8056 0 -1 4202560 882 0 0 0 323 34 0 0 20 0 21 0 10451549 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140667025639592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21043] ppid=21031 vsize=9824732 CPUtime=3.63 cores=1,3,5,7
/proc/21034/task/21043/stat : 21043 (java) S 21031 21034 8056 0 -1 4202560 935 0 0 0 328 35 0 0 20 0 21 0 10451549 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666879031848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21034/tid=21044] ppid=21031 vsize=9824732 CPUtime=3.64 cores=1,3,5,7
/proc/21034/task/21044/stat : 21044 (java) S 21031 21034 8056 0 -1 4202560 1068 0 0 0 328 36 0 0 20 0 21 0 10451549 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666877979048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21045] ppid=21031 vsize=9824732 CPUtime=9.04 cores=1,3,5,7
/proc/21034/task/21045/stat : 21045 (java) S 21031 21034 8056 0 -1 4202560 3226 0 0 0 893 11 0 0 20 0 21 0 10451550 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666865781480 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21046] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21046/stat : 21046 (java) S 21031 21034 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10451551 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666864727544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21047] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21047/stat : 21047 (java) S 21031 21034 8056 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 21 0 10451551 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666863675144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21048] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21048/stat : 21048 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10451553 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666862623632 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21049] ppid=21031 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/21034/task/21049/stat : 21049 (java) S 21031 21034 8056 0 -1 4202560 7923 0 0 0 143 2 0 0 20 0 21 0 10451553 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666861570232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21034/tid=21050] ppid=21031 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/21034/task/21050/stat : 21050 (java) S 21031 21034 8056 0 -1 4202560 9775 0 0 0 115 2 0 0 20 0 21 0 10451553 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666860517432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21051] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21051/stat : 21051 (java) S 21031 21034 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10451553 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666859465336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21052] ppid=21031 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/21034/task/21052/stat : 21052 (java) S 21031 21034 8056 0 -1 4202560 103 0 0 0 16 23 0 0 20 0 21 0 10451553 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666858412744 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21055] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21055/stat : 21055 (java) S 21031 21034 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10451584 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666855253672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21034/tid=21148] ppid=21031 vsize=9824732 CPUtime=1743.65 cores=1,3,5,7
/proc/21034/task/21148/stat : 21148 (java) R 21031 21034 8056 0 -1 4202560 2745 0 0 0 174316 49 0 0 20 0 21 0 10453518 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666856303808 140666907440411 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21034/tid=21149] ppid=21031 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21034/task/21149/stat : 21149 (java) S 21031 21034 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10453520 10060525568 948476 33554432000 1073741824 1073778376 140735182565680 140666857358760 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 1780.34
CPU time (s): 1800.72
CPU user time (s): 1796.03
CPU system time (s): 4.69129
CPU usage (%): 101.144
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.03
system time used= 4.69129
maximum resident set size= 3794004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35388
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79081
involuntary context switches= 52418
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9552 second user time and 12.6221 second system time
The end