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-4106575-1466272675/watcher-4106575-1466272675 -o /tmp/evaluation-result-4106575-1466272675/solver-4106575-1466272675 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466264922-3637 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106575-1466272675.opb
pid=9170
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.23 3.27 3.32 4/197 9173
/proc/meminfo: memFree=27412368/32872528 swapFree=1286400/1433568
[pid=9173] ppid=9170 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/9173/stat : 9173 (java) D 9170 9173 3621 0 -1 4202496 171 0 0 0 0 0 0 0 20 0 1 0 29314240 2560000 46 33554432000 1073741824 1073778376 140734504029744 140734504026872 214360485159 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/9173/statm: 625 46 37 9 0 29 0
[startup+0.100114 s]
/proc/loadavg: 3.23 3.27 3.32 4/197 9173
/proc/meminfo: memFree=27412368/32872528 swapFree=1286400/1433568
[pid=9173] ppid=9170 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/9173/stat : 9173 (java) S 9170 9173 3621 0 -1 4202496 3794 0 1 0 6 0 0 0 20 0 18 0 29314240 9787879424 4925 33554432000 1073741824 1073778376 140733680224176 140733680215312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9173/statm: 2389619 4926 1949 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558476
[startup+0.200305 s]
/proc/loadavg: 3.23 3.27 3.32 4/197 9173
/proc/meminfo: memFree=27412368/32872528 swapFree=1286400/1433568
[pid=9173] ppid=9170 vsize=9558476 CPUtime=0.21 cores=0,2,4,6
/proc/9173/stat : 9173 (java) S 9170 9173 3621 0 -1 4202496 4669 0 1 0 20 1 0 0 20 0 18 0 29314240 9787879424 7270 33554432000 1073741824 1073778376 140733680224176 140733680215312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9173/statm: 2389619 7270 2195 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476
[startup+0.300249 s]
/proc/loadavg: 3.23 3.27 3.32 4/197 9173
/proc/meminfo: memFree=27412368/32872528 swapFree=1286400/1433568
[pid=9173] ppid=9170 vsize=9558476 CPUtime=0.41 cores=0,2,4,6
/proc/9173/stat : 9173 (java) S 9170 9173 3621 0 -1 4202496 6121 0 1 0 40 1 0 0 20 0 18 0 29314240 9787879424 8830 33554432000 1073741824 1073778376 140733680224176 140733680215312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9173/statm: 2389619 8830 2235 9 0 2380296 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 9558476
[startup+0.700195 s]
/proc/loadavg: 3.23 3.27 3.32 4/197 9173
/proc/meminfo: memFree=27412368/32872528 swapFree=1286400/1433568
[pid=9173] ppid=9170 vsize=9558476 CPUtime=1.54 cores=0,2,4,6
/proc/9173/stat : 9173 (java) S 9170 9173 3621 0 -1 4202496 23433 0 1 0 150 4 0 0 20 0 18 0 29314240 9787879424 27322 33554432000 1073741824 1073778376 140733680224176 140733680215312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9173/statm: 2389619 27322 2256 9 0 2380296 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 9558476
[startup+1.50074 s]
/proc/loadavg: 3.23 3.27 3.32 6/215 9191
/proc/meminfo: memFree=27242456/32872528 swapFree=1286400/1433568
[pid=9173] ppid=9170 vsize=9824732 CPUtime=4.04 cores=0,2,4,6
/proc/9173/stat : 9173 (java) S 9170 9173 3621 0 -1 4202496 39527 0 1 0 395 9 0 0 20 0 22 0 29314240 10060525568 58176 33554432000 1073741824 1073778376 140733680224176 140733680215312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9173/statm: 2456183 58176 2259 9 0 2446860 0
[pid=9173/tid=9175] ppid=9170 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/9173/task/9175/stat : 9175 (java) S 9170 9173 3621 0 -1 4202560 2482 0 1 0 128 4 0 0 20 0 22 0 29314242 10060525568 58176 33554432000 1073741824 1073778376 140733680224176 140330023265144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9176] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9176/stat : 9176 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314243 10060525568 58176 33554432000 1073741824 1073778376 140733680224176 140330012326312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9177] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9177/stat : 9177 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314243 10060525568 58176 33554432000 1073741824 1073778376 140733680224176 140330011273768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9178] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9178/stat : 9178 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314243 10060525568 58176 33554432000 1073741824 1073778376 140733680224176 140330010220712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9173/tid=9179] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9179/stat : 9179 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314243 10060525568 58176 33554432000 1073741824 1073778376 140733680224176 140330009168168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9180] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9180/stat : 9180 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314243 10060525568 58176 33554432000 1073741824 1073778376 140733680224176 140330008116136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9181] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9181/stat : 9181 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314243 10060525568 58176 33554432000 1073741824 1073778376 140733680224176 140330007063592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9182] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9182/stat : 9182 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314243 10060525568 58176 33554432000 1073741824 1073778376 140733680224176 140330006010536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9183] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9183/stat : 9183 (java) S 9170 9173 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29314243 10060525568 58176 33554432000 1073741824 1073778376 140733680224176 140330004957992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9184] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9184/stat : 9184 (java) S 9170 9173 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29314244 10060525568 58176 33554432000 1073741824 1073778376 140733680224176 140329847171432 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9185] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9185/stat : 9185 (java) S 9170 9173 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 29314245 10060525568 58176 33554432000 1073741824 1073778376 140733680224176 140329846117752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9186] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9186/stat : 9186 (java) S 9170 9173 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29314245 10060525568 58176 33554432000 1073741824 1073778376 140733680224176 140329845064584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9187] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9187/stat : 9187 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314247 10060525568 58176 33554432000 1073741824 1073778376 140733680224176 140329844013328 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9188] ppid=9170 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/9173/task/9188/stat : 9188 (java) R 9170 9173 3621 0 -1 4202560 17624 0 0 0 120 2 0 0 20 0 22 0 29314247 10060525568 58176 33554432000 1073741824 1073778376 140733680224176 140329842948576 140330030239826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9189] ppid=9170 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/9173/task/9189/stat : 9189 (java) R 9170 9173 3621 0 -1 4202560 18113 0 0 0 119 4 0 0 20 0 22 0 29314247 10060525568 58176 33554432000 1073741824 1073778376 140733680224176 140329841895840 140330029107962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9190] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9190/stat : 9190 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314247 10060525568 58176 33554432000 1073741824 1073778376 140733680224176 140329840855800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9191] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9191/stat : 9191 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314247 10060525568 58176 33554432000 1073741824 1073778376 140733680224176 140329839803464 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 9824732
[startup+3.10089 s]
/proc/loadavg: 3.37 3.29 3.33 3/216 9198
/proc/meminfo: memFree=27131092/32872528 swapFree=1286400/1433568
[pid=9173] ppid=9170 vsize=9824732 CPUtime=6.87 cores=0,2,4,6
/proc/9173/stat : 9173 (java) S 9170 9173 3621 0 -1 4202496 39819 0 1 0 665 22 0 0 20 0 19 0 29314240 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140733680215312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9173/statm: 2456183 72661 2285 9 0 2446860 0
[pid=9173/tid=9175] ppid=9170 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/9173/task/9175/stat : 9175 (java) S 9170 9173 3621 0 -1 4202560 2486 0 1 0 130 4 0 0 20 0 19 0 29314242 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140330023265144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9176] ppid=9170 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/9173/task/9176/stat : 9176 (java) S 9170 9173 3621 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 29314243 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140330012326312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9173/tid=9177] ppid=9170 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/9173/task/9177/stat : 9177 (java) S 9170 9173 3621 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 29314243 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140330011273768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9178] ppid=9170 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/9173/task/9178/stat : 9178 (java) S 9170 9173 3621 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 29314243 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140330010220712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9173/tid=9179] ppid=9170 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/9173/task/9179/stat : 9179 (java) S 9170 9173 3621 0 -1 4202560 31 0 0 0 5 1 0 0 20 0 19 0 29314243 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140330009168168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9173/tid=9180] ppid=9170 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/9173/task/9180/stat : 9180 (java) S 9170 9173 3621 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 29314243 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140330008116136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9173/tid=9181] ppid=9170 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/9173/task/9181/stat : 9181 (java) S 9170 9173 3621 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 29314243 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140330007063592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9182] ppid=9170 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/9173/task/9182/stat : 9182 (java) S 9170 9173 3621 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 29314243 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140330006010536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9183] ppid=9170 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/9173/task/9183/stat : 9183 (java) S 9170 9173 3621 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 29314243 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140330004957992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9184] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9184/stat : 9184 (java) S 9170 9173 3621 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 29314244 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140329847171432 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9185] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9185/stat : 9185 (java) S 9170 9173 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29314245 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140329846117752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9173/tid=9186] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9186/stat : 9186 (java) S 9170 9173 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29314245 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140329845064584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9187] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9187/stat : 9187 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29314247 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140329844013328 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9188] ppid=9170 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/9173/task/9188/stat : 9188 (java) S 9170 9173 3621 0 -1 4202560 17673 0 0 0 177 2 0 0 20 0 19 0 29314247 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140329842961208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9189] ppid=9170 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/9173/task/9189/stat : 9189 (java) S 9170 9173 3621 0 -1 4202560 18115 0 0 0 179 4 0 0 20 0 19 0 29314247 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140329841908664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9190] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9190/stat : 9190 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29314247 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140329840855800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9191] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9191/stat : 9191 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29314247 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140329839803464 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9194] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9194/stat : 9194 (java) S 9170 9173 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29314380 10060525568 72661 33554432000 1073741824 1073778376 140733680224176 140329836643112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 9824732
[startup+6.30096 s]
/proc/loadavg: 3.37 3.29 3.33 6/219 9207
/proc/meminfo: memFree=27103128/32872528 swapFree=1286400/1433568
[pid=9173] ppid=9170 vsize=9824732 CPUtime=12.94 cores=0,2,4,6
/proc/9173/stat : 9173 (java) S 9170 9173 3621 0 -1 4202496 40310 0 1 0 1269 25 0 0 20 0 22 0 29314240 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140733680215312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9173/statm: 2456183 79242 2291 9 0 2446860 0
[pid=9173/tid=9175] ppid=9170 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/9173/task/9175/stat : 9175 (java) S 9170 9173 3621 0 -1 4202560 2486 0 1 0 130 4 0 0 20 0 22 0 29314242 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140330023265144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9176] ppid=9170 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/9173/task/9176/stat : 9176 (java) S 9170 9173 3621 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 29314243 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140330012326312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9173/tid=9177] ppid=9170 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/9173/task/9177/stat : 9177 (java) S 9170 9173 3621 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 22 0 29314243 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140330011273768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9178] ppid=9170 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/9173/task/9178/stat : 9178 (java) S 9170 9173 3621 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 29314243 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140330010220712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9179] ppid=9170 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/9173/task/9179/stat : 9179 (java) S 9170 9173 3621 0 -1 4202560 106 0 0 0 5 2 0 0 20 0 22 0 29314243 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140330009168168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9180] ppid=9170 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/9173/task/9180/stat : 9180 (java) S 9170 9173 3621 0 -1 4202560 62 0 0 0 2 0 0 0 20 0 22 0 29314243 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140330008116136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9173/tid=9181] ppid=9170 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/9173/task/9181/stat : 9181 (java) S 9170 9173 3621 0 -1 4202560 27 0 0 0 4 1 0 0 20 0 22 0 29314243 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140330007063592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9182] ppid=9170 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/9173/task/9182/stat : 9182 (java) S 9170 9173 3621 0 -1 4202560 160 0 0 0 5 1 0 0 20 0 22 0 29314243 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140330006010536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9183] ppid=9170 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/9173/task/9183/stat : 9183 (java) S 9170 9173 3621 0 -1 4202560 147 0 0 0 5 0 0 0 20 0 22 0 29314243 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140330004957992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9184] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9184/stat : 9184 (java) S 9170 9173 3621 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 29314244 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140329847171432 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9185] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9185/stat : 9185 (java) S 9170 9173 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29314245 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140329846117752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9173/tid=9186] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9186/stat : 9186 (java) S 9170 9173 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29314245 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140329845064584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9187] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9187/stat : 9187 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314247 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140329844013328 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9188] ppid=9170 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
/proc/9173/task/9188/stat : 9188 (java) S 9170 9173 3621 0 -1 4202560 17722 0 0 0 188 2 0 0 20 0 22 0 29314247 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140329842961208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9189] ppid=9170 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/9173/task/9189/stat : 9189 (java) S 9170 9173 3621 0 -1 4202560 18118 0 0 0 196 4 0 0 20 0 22 0 29314247 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140329841908664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9190] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9190/stat : 9190 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314247 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140329840855800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9191] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9191/stat : 9191 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314247 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140329839803464 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9194] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9194/stat : 9194 (java) S 9170 9173 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 29314380 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140329836643112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9205] ppid=9170 vsize=9824732 CPUtime=2.78 cores=0,2,4,6
/proc/9173/task/9205/stat : 9205 (java) R 9170 9173 3621 0 -1 4202560 4 0 0 0 278 0 0 0 20 0 22 0 29314583 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140329838746800 140329886460042 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9206] ppid=9170 vsize=9824732 CPUtime=2.79 cores=0,2,4,6
/proc/9173/task/9206/stat : 9206 (java) R 9170 9173 3621 0 -1 4202560 6 0 0 0 279 0 0 0 20 0 22 0 29314583 10060525568 79242 33554432000 1073741824 1073778376 140733680224176 140329835590104 140329887504819 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9207] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+882.308 s]
/proc/loadavg: 4.36 4.28 3.92 5/217 9360
/proc/meminfo: memFree=23106168/32872528 swapFree=1286400/1433568
[pid=9173] ppid=9170 vsize=9824732 CPUtime=1769.09 cores=0,2,4,6
/proc/9173/stat : 9173 (java) S 9170 9173 3621 0 -1 4202496 51978 0 1 0 176634 275 0 0 20 0 22 0 29314240 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140733680215312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9173/statm: 2456183 1026233 2304 9 0 2446860 0
[pid=9173/tid=9175] ppid=9170 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/9173/task/9175/stat : 9175 (java) S 9170 9173 3621 0 -1 4202560 2501 0 1 0 134 4 0 0 20 0 22 0 29314242 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140330023265144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9176] ppid=9170 vsize=9824732 CPUtime=3.89 cores=0,2,4,6
/proc/9173/task/9176/stat : 9176 (java) S 9170 9173 3621 0 -1 4202560 586 0 0 0 365 24 0 0 20 0 22 0 29314243 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140330012326312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9177] ppid=9170 vsize=9824732 CPUtime=3.46 cores=0,2,4,6
/proc/9173/task/9177/stat : 9177 (java) S 9170 9173 3621 0 -1 4202560 859 0 0 0 322 24 0 0 20 0 22 0 29314243 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140330011273768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9178] ppid=9170 vsize=9824732 CPUtime=3.63 cores=0,2,4,6
/proc/9173/task/9178/stat : 9178 (java) S 9170 9173 3621 0 -1 4202560 1055 0 0 0 340 23 0 0 20 0 22 0 29314243 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140330010220712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9179] ppid=9170 vsize=9824732 CPUtime=3.93 cores=0,2,4,6
/proc/9173/task/9179/stat : 9179 (java) S 9170 9173 3621 0 -1 4202560 701 0 0 0 370 23 0 0 20 0 22 0 29314243 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140330009168168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9180] ppid=9170 vsize=9824732 CPUtime=3.89 cores=0,2,4,6
/proc/9173/task/9180/stat : 9180 (java) S 9170 9173 3621 0 -1 4202560 868 0 0 0 364 25 0 0 20 0 22 0 29314243 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140330008116136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9173/tid=9181] ppid=9170 vsize=9824732 CPUtime=4.42 cores=0,2,4,6
/proc/9173/task/9181/stat : 9181 (java) S 9170 9173 3621 0 -1 4202560 818 0 0 0 416 26 0 0 20 0 22 0 29314243 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140330007063592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9182] ppid=9170 vsize=9824732 CPUtime=3.41 cores=0,2,4,6
/proc/9173/task/9182/stat : 9182 (java) S 9170 9173 3621 0 -1 4202560 742 0 0 0 318 23 0 0 20 0 22 0 29314243 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140330006010536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9183] ppid=9170 vsize=9824732 CPUtime=4.17 cores=0,2,4,6
/proc/9173/task/9183/stat : 9183 (java) S 9170 9173 3621 0 -1 4202560 1109 0 0 0 389 28 0 0 20 0 22 0 29314243 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140330004957992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9173/tid=9184] ppid=9170 vsize=9824732 CPUtime=9.46 cores=0,2,4,6
/proc/9173/task/9184/stat : 9184 (java) S 9170 9173 3621 0 -1 4202560 3727 0 0 0 938 8 0 0 20 0 22 0 29314244 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140329847171432 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9185] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9185/stat : 9185 (java) S 9170 9173 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29314245 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140329846117752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9173/tid=9186] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9186/stat : 9186 (java) S 9170 9173 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 29314245 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140329845064584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9187] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9187/stat : 9187 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314247 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140329844013328 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9188] ppid=9170 vsize=9824732 CPUtime=2.32 cores=0,2,4,6
/proc/9173/task/9188/stat : 9188 (java) S 9170 9173 3621 0 -1 4202560 17770 0 0 0 229 3 0 0 20 0 22 0 29314247 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140329842961208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9189] ppid=9170 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/9173/task/9189/stat : 9189 (java) S 9170 9173 3621 0 -1 4202560 18134 0 0 0 212 4 0 0 20 0 22 0 29314247 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140329841908664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9173/tid=9190] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9190/stat : 9190 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314247 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140329840855800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9191] ppid=9170 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/9173/task/9191/stat : 9191 (java) S 9170 9173 3621 0 -1 4202560 51 0 0 0 12 17 0 0 20 0 22 0 29314247 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140329839803464 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9207] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9207/stat : 9207 (java) S 9170 9173 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29314583 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140329837696424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9217] ppid=9170 vsize=9824732 CPUtime=813.59 cores=0,2,4,6
/proc/9173/task/9217/stat : 9217 (java) R 9170 9173 3621 0 -1 4202560 13 0 0 0 81345 14 0 0 20 0 22 0 29319385 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140329838746320 140329887348085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9218] ppid=9170 vsize=9824732 CPUtime=813.6 cores=0,2,4,6
/proc/9173/task/9218/stat : 9218 (java) R 9170 9173 3621 0 -1 4202560 610 0 0 0 81332 28 0 0 20 0 22 0 29319385 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140329836641360 140329887376663 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9219] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9219/stat : 9219 (java) S 9170 9173 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29319398 10060525568 1026233 33554432000 1073741824 1073778376 140733680224176 140329835590568 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1769.09
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+897.708 s]
/proc/loadavg: 4.28 4.27 3.92 5/219 9362
/proc/meminfo: memFree=23105328/32872528 swapFree=1286400/1433568
[pid=9173] ppid=9170 vsize=9824732 CPUtime=1800.04 cores=0,2,4,6
/proc/9173/stat : 9173 (java) S 9170 9173 3621 0 -1 4202496 52005 0 1 0 179729 275 0 0 20 0 22 0 29314240 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140733680215312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9173/statm: 2456183 1026242 2304 9 0 2446860 0
[pid=9173/tid=9175] ppid=9170 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/9173/task/9175/stat : 9175 (java) S 9170 9173 3621 0 -1 4202560 2501 0 1 0 134 5 0 0 20 0 22 0 29314242 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140330023265144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9176] ppid=9170 vsize=9824732 CPUtime=3.92 cores=0,2,4,6
/proc/9173/task/9176/stat : 9176 (java) S 9170 9173 3621 0 -1 4202560 586 0 0 0 368 24 0 0 20 0 22 0 29314243 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140330012326312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9177] ppid=9170 vsize=9824732 CPUtime=3.53 cores=0,2,4,6
/proc/9173/task/9177/stat : 9177 (java) S 9170 9173 3621 0 -1 4202560 867 0 0 0 329 24 0 0 20 0 22 0 29314243 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140330011273768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9178] ppid=9170 vsize=9824732 CPUtime=3.7 cores=0,2,4,6
/proc/9173/task/9178/stat : 9178 (java) S 9170 9173 3621 0 -1 4202560 1059 0 0 0 347 23 0 0 20 0 22 0 29314243 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140330010220712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9179] ppid=9170 vsize=9824732 CPUtime=3.99 cores=0,2,4,6
/proc/9173/task/9179/stat : 9179 (java) S 9170 9173 3621 0 -1 4202560 704 0 0 0 376 23 0 0 20 0 22 0 29314243 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140330009168168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9180] ppid=9170 vsize=9824732 CPUtime=3.92 cores=0,2,4,6
/proc/9173/task/9180/stat : 9180 (java) S 9170 9173 3621 0 -1 4202560 869 0 0 0 367 25 0 0 20 0 22 0 29314243 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140330008116136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9181] ppid=9170 vsize=9824732 CPUtime=4.44 cores=0,2,4,6
/proc/9173/task/9181/stat : 9181 (java) S 9170 9173 3621 0 -1 4202560 818 0 0 0 418 26 0 0 20 0 22 0 29314243 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140330007063592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9182] ppid=9170 vsize=9824732 CPUtime=3.44 cores=0,2,4,6
/proc/9173/task/9182/stat : 9182 (java) S 9170 9173 3621 0 -1 4202560 743 0 0 0 321 23 0 0 20 0 22 0 29314243 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140330006010536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9183] ppid=9170 vsize=9824732 CPUtime=4.2 cores=0,2,4,6
/proc/9173/task/9183/stat : 9183 (java) S 9170 9173 3621 0 -1 4202560 1111 0 0 0 392 28 0 0 20 0 22 0 29314243 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140330004957992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9184] ppid=9170 vsize=9824732 CPUtime=9.47 cores=0,2,4,6
/proc/9173/task/9184/stat : 9184 (java) S 9170 9173 3621 0 -1 4202560 3733 0 0 0 939 8 0 0 20 0 22 0 29314244 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329847171432 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9185] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9185/stat : 9185 (java) S 9170 9173 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29314245 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329846117752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9173/tid=9186] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9186/stat : 9186 (java) S 9170 9173 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 29314245 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329845064584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9187] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9187/stat : 9187 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314247 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329844013328 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9188] ppid=9170 vsize=9824732 CPUtime=2.32 cores=0,2,4,6
/proc/9173/task/9188/stat : 9188 (java) S 9170 9173 3621 0 -1 4202560 17770 0 0 0 229 3 0 0 20 0 22 0 29314247 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329842961208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9189] ppid=9170 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/9173/task/9189/stat : 9189 (java) S 9170 9173 3621 0 -1 4202560 18134 0 0 0 212 4 0 0 20 0 22 0 29314247 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329841908664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9173/tid=9190] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9190/stat : 9190 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314247 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329840855800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9191] ppid=9170 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/9173/task/9191/stat : 9191 (java) S 9170 9173 3621 0 -1 4202560 51 0 0 0 12 18 0 0 20 0 22 0 29314247 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329839803464 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9207] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9207/stat : 9207 (java) S 9170 9173 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29314583 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329837696424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9217] ppid=9170 vsize=9824732 CPUtime=828.9 cores=0,2,4,6
/proc/9173/task/9217/stat : 9217 (java) R 9170 9173 3621 0 -1 4202560 14 0 0 0 82876 14 0 0 20 0 22 0 29319385 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329838747136 140329887340103 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9218] ppid=9170 vsize=9824732 CPUtime=828.91 cores=0,2,4,6
/proc/9173/task/9218/stat : 9218 (java) R 9170 9173 3621 0 -1 4202560 611 0 0 0 82863 28 0 0 20 0 22 0 29319385 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329836642672 140329887747780 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9219] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9219/stat : 9219 (java) S 9170 9173 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29319398 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329835590568 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9173 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+897.708 s]
/proc/loadavg: 4.28 4.27 3.92 5/219 9362
/proc/meminfo: memFree=23105328/32872528 swapFree=1286400/1433568
[pid=9173] ppid=9170 vsize=9824732 CPUtime=1800.04 cores=0,2,4,6
/proc/9173/stat : 9173 (java) S 9170 9173 3621 0 -1 4202496 52005 0 1 0 179729 275 0 0 20 0 22 0 29314240 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140733680215312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9173/statm: 2456183 1026242 2304 9 0 2446860 0
[pid=9173/tid=9175] ppid=9170 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/9173/task/9175/stat : 9175 (java) S 9170 9173 3621 0 -1 4202560 2501 0 1 0 134 5 0 0 20 0 22 0 29314242 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140330023265144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9176] ppid=9170 vsize=9824732 CPUtime=3.92 cores=0,2,4,6
/proc/9173/task/9176/stat : 9176 (java) S 9170 9173 3621 0 -1 4202560 586 0 0 0 368 24 0 0 20 0 22 0 29314243 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140330012326312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9177] ppid=9170 vsize=9824732 CPUtime=3.53 cores=0,2,4,6
/proc/9173/task/9177/stat : 9177 (java) S 9170 9173 3621 0 -1 4202560 867 0 0 0 329 24 0 0 20 0 22 0 29314243 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140330011273768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9178] ppid=9170 vsize=9824732 CPUtime=3.7 cores=0,2,4,6
/proc/9173/task/9178/stat : 9178 (java) S 9170 9173 3621 0 -1 4202560 1059 0 0 0 347 23 0 0 20 0 22 0 29314243 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140330010220712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9179] ppid=9170 vsize=9824732 CPUtime=3.99 cores=0,2,4,6
/proc/9173/task/9179/stat : 9179 (java) S 9170 9173 3621 0 -1 4202560 704 0 0 0 376 23 0 0 20 0 22 0 29314243 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140330009168168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9180] ppid=9170 vsize=9824732 CPUtime=3.92 cores=0,2,4,6
/proc/9173/task/9180/stat : 9180 (java) S 9170 9173 3621 0 -1 4202560 869 0 0 0 367 25 0 0 20 0 22 0 29314243 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140330008116136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9181] ppid=9170 vsize=9824732 CPUtime=4.44 cores=0,2,4,6
/proc/9173/task/9181/stat : 9181 (java) S 9170 9173 3621 0 -1 4202560 818 0 0 0 418 26 0 0 20 0 22 0 29314243 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140330007063592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9182] ppid=9170 vsize=9824732 CPUtime=3.44 cores=0,2,4,6
/proc/9173/task/9182/stat : 9182 (java) S 9170 9173 3621 0 -1 4202560 743 0 0 0 321 23 0 0 20 0 22 0 29314243 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140330006010536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9183] ppid=9170 vsize=9824732 CPUtime=4.2 cores=0,2,4,6
/proc/9173/task/9183/stat : 9183 (java) S 9170 9173 3621 0 -1 4202560 1111 0 0 0 392 28 0 0 20 0 22 0 29314243 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140330004957992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9184] ppid=9170 vsize=9824732 CPUtime=9.47 cores=0,2,4,6
/proc/9173/task/9184/stat : 9184 (java) S 9170 9173 3621 0 -1 4202560 3733 0 0 0 939 8 0 0 20 0 22 0 29314244 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329847171432 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9185] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9185/stat : 9185 (java) S 9170 9173 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29314245 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329846117752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9173/tid=9186] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9186/stat : 9186 (java) S 9170 9173 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 29314245 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329845064584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9187] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9187/stat : 9187 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314247 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329844013328 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9188] ppid=9170 vsize=9824732 CPUtime=2.32 cores=0,2,4,6
/proc/9173/task/9188/stat : 9188 (java) S 9170 9173 3621 0 -1 4202560 17770 0 0 0 229 3 0 0 20 0 22 0 29314247 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329842961208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9189] ppid=9170 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/9173/task/9189/stat : 9189 (java) S 9170 9173 3621 0 -1 4202560 18134 0 0 0 212 4 0 0 20 0 22 0 29314247 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329841908664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9173/tid=9190] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9190/stat : 9190 (java) S 9170 9173 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29314247 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329840855800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9191] ppid=9170 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/9173/task/9191/stat : 9191 (java) S 9170 9173 3621 0 -1 4202560 51 0 0 0 12 18 0 0 20 0 22 0 29314247 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329839803464 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9173/tid=9207] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9207/stat : 9207 (java) S 9170 9173 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29314583 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329837696424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9217] ppid=9170 vsize=9824732 CPUtime=828.9 cores=0,2,4,6
/proc/9173/task/9217/stat : 9217 (java) R 9170 9173 3621 0 -1 4202560 14 0 0 0 82876 14 0 0 20 0 22 0 29319385 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329838747136 140329887340103 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9173/tid=9218] ppid=9170 vsize=9824732 CPUtime=828.91 cores=0,2,4,6
/proc/9173/task/9218/stat : 9218 (java) R 9170 9173 3621 0 -1 4202560 611 0 0 0 82863 28 0 0 20 0 22 0 29319385 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329836642672 140329887747780 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9173/tid=9219] ppid=9170 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9173/task/9219/stat : 9219 (java) S 9170 9173 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29319398 10060525568 1026242 33554432000 1073741824 1073778376 140733680224176 140329835590568 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 897.76
CPU time (s): 1800.62
CPU user time (s): 1797.39
CPU system time (s): 3.23051
CPU usage (%): 200.568
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.39
system time used= 3.23051
maximum resident set size= 4105080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52040
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22976
involuntary context switches= 32013
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2712 second user time and 7.94479 second system time
The end