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-4106773-1466277181/watcher-4106773-1466277181 -o /tmp/evaluation-result-4106773-1466277181/solver-4106773-1466277181 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466276277-8275 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106773-1466277181.opb
pid=8662
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.33 4.18 3.42 4/197 8665
/proc/meminfo: memFree=29894152/32872528 swapFree=1200228/1314692
[pid=8665] ppid=8662 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/8665/stat : 8665 (java) S 8662 8665 8258 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 29764593 98570240 978 33554432000 1073741824 1073778376 140737329468160 140737329459296 252266446909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8665/statm: 24065 978 744 9 0 16771 0
[pid=8665/tid=8666] ppid=8662 vsize=96272 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8666/stat : 8666 (java) R 8662 8665 8258 0 -1 4202560 135 0 0 0 0 0 0 0 20 0 2 0 29764593 98582528 983 33554432000 1073741824 1073778376 140737329468160 140260886150696 252263089565 0 0 0 16784584 0 0 0 -1 3 0 0 0 0 0
[startup+0.100165 s]
/proc/loadavg: 4.33 4.18 3.42 4/197 8665
/proc/meminfo: memFree=29894152/32872528 swapFree=1200228/1314692
[pid=8665] ppid=8662 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/8665/stat : 8665 (java) S 8662 8665 8258 0 -1 4202496 4518 0 1 0 10 1 0 0 20 0 18 0 29764593 9787879424 5644 33554432000 1073741824 1073778376 140737329468160 140737329459296 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8665/statm: 2389619 5644 2156 9 0 2380296 0
[pid=8665/tid=8666] ppid=8662 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/8665/task/8666/stat : 8666 (java) R 8662 8665 8258 0 -1 4202560 2438 0 1 0 7 0 0 0 20 0 18 0 29764593 9787879424 5644 33554432000 1073741824 1073778376 140737329468160 140260886154144 140260893582625 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200288 s]
/proc/loadavg: 4.33 4.18 3.42 4/197 8665
/proc/meminfo: memFree=29894152/32872528 swapFree=1200228/1314692
[pid=8665] ppid=8662 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/8665/stat : 8665 (java) S 8662 8665 8258 0 -1 4202496 4655 0 1 0 22 1 0 0 20 0 18 0 29764593 9787879424 6771 33554432000 1073741824 1073778376 140737329468160 140737329459296 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8665/statm: 2389619 6771 2213 9 0 2380296 0
[pid=8665/tid=8666] ppid=8662 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/8665/task/8666/stat : 8666 (java) R 8662 8665 8258 0 -1 4202560 2459 0 1 0 17 0 0 0 20 0 18 0 29764593 9787879424 6771 33554432000 1073741824 1073778376 140737329468160 140260886154856 140260758416720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.323477 s]
/proc/loadavg: 4.33 4.18 3.42 4/197 8665
/proc/meminfo: memFree=29894152/32872528 swapFree=1200228/1314692
[pid=8665] ppid=8662 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/8665/stat : 8665 (java) S 8662 8665 8258 0 -1 4202496 7875 0 1 0 58 2 0 0 20 0 22 0 29764593 10060525568 10308 33554432000 1073741824 1073778376 140737329468160 140737329459296 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8665/statm: 2456183 10330 2237 9 0 2446860 0
[pid=8665/tid=8666] ppid=8662 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/8665/task/8666/stat : 8666 (java) S 8662 8665 8258 0 -1 4202560 2472 0 1 0 23 0 0 0 20 0 22 0 29764593 10060525568 10343 33554432000 1073741824 1073778376 140737329468160 140260886156152 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 9824732
[startup+0.70026 s]
/proc/loadavg: 4.33 4.18 3.42 4/197 8665
/proc/meminfo: memFree=29894152/32872528 swapFree=1200228/1314692
[pid=8665] ppid=8662 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/8665/stat : 8665 (java) S 8662 8665 8258 0 -1 4202496 10401 0 1 0 81 4 0 0 20 0 19 0 29764593 10060525568 12331 33554432000 1073741824 1073778376 140737329468160 140737329459296 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8665/statm: 2456183 12331 2251 9 0 2446860 0
[pid=8665/tid=8666] ppid=8662 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/8665/task/8666/stat : 8666 (java) S 8662 8665 8258 0 -1 4202560 2472 0 1 0 23 0 0 0 20 0 19 0 29764593 10060525568 12331 33554432000 1073741824 1073778376 140737329468160 140260886156152 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 9824732
[startup+1.50078 s]
/proc/loadavg: 4.33 4.18 3.42 3/216 8693
/proc/meminfo: memFree=29751840/32872528 swapFree=1200228/1314692
[pid=8665] ppid=8662 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/8665/stat : 8665 (java) S 8662 8665 8258 0 -1 4202496 14320 0 1 0 177 8 0 0 20 0 22 0 29764593 10060525568 23290 33554432000 1073741824 1073778376 140737329468160 140737329459296 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8665/statm: 2456183 23802 2259 9 0 2446860 0
[pid=8665/tid=8666] ppid=8662 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/8665/task/8666/stat : 8666 (java) S 8662 8665 8258 0 -1 4202560 2473 0 1 0 23 0 0 0 20 0 22 0 29764593 10060525568 23803 33554432000 1073741824 1073778376 140737329468160 140260886156152 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8668] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8668/stat : 8668 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764594 10060525568 23803 33554432000 1073741824 1073778376 140737329468160 140260729977768 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8669] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8669/stat : 8669 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764594 10060525568 23803 33554432000 1073741824 1073778376 140737329468160 140260728925224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8670] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8670/stat : 8670 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764594 10060525568 23803 33554432000 1073741824 1073778376 140737329468160 140260727872168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8671] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8671/stat : 8671 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764594 10060525568 23805 33554432000 1073741824 1073778376 140737329468160 140260726819624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8665/tid=8672] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8672/stat : 8672 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764594 10060525568 23805 33554432000 1073741824 1073778376 140737329468160 140260725766568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8673] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8673/stat : 8673 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764594 10060525568 23805 33554432000 1073741824 1073778376 140737329468160 140260724714024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8665/tid=8674] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8674/stat : 8674 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764594 10060525568 23805 33554432000 1073741824 1073778376 140737329468160 140260723660968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8675] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8675/stat : 8675 (java) S 8662 8665 8258 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29764594 10060525568 23805 33554432000 1073741824 1073778376 140737329468160 140260722608424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8676] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8676/stat : 8676 (java) S 8662 8665 8258 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29764595 10060525568 23807 33554432000 1073741824 1073778376 140737329468160 140260710411112 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8665/tid=8677] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8677/stat : 8677 (java) S 8662 8665 8258 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 29764595 10060525568 23808 33554432000 1073741824 1073778376 140737329468160 140260709357432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8678] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8678/stat : 8678 (java) S 8662 8665 8258 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29764596 10060525568 23810 33554432000 1073741824 1073778376 140737329468160 140260708304264 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8679] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8679/stat : 8679 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764598 10060525568 23810 33554432000 1073741824 1073778376 140737329468160 140260707253008 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8680] ppid=8662 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/8665/task/8680/stat : 8680 (java) D 8662 8665 8258 0 -1 4202560 5900 0 0 0 43 1 0 0 20 0 22 0 29764598 10060525568 23810 33554432000 1073741824 1073778376 140737329468160 140260706186712 252263130087 0 4 0 16800975 18446744071581355491 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8681] ppid=8662 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/8665/task/8681/stat : 8681 (java) R 8662 8665 8258 0 -1 4202560 4593 0 0 0 42 0 0 0 20 0 22 0 29764598 10060525568 23810 33554432000 1073741824 1073778376 140737329468160 140260705124472 140260889732706 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8682] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8682/stat : 8682 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764598 10060525568 23810 33554432000 1073741824 1073778376 140737329468160 140260704094456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8683] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8683/stat : 8683 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764598 10060525568 23810 33554432000 1073741824 1073778376 140737329468160 140260703042120 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8687] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8687/stat : 8687 (java) S 8662 8665 8258 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29764619 10060525568 23810 33554432000 1073741824 1073778376 140737329468160 140260698781096 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9824732
[startup+3.10081 s]
/proc/loadavg: 4.33 4.18 3.42 1/213 8702
/proc/meminfo: memFree=29662412/32872528 swapFree=1200228/1314692
[pid=8665] ppid=8662 vsize=9824732 CPUtime=5.16 cores=1,3,5,7
/proc/8665/stat : 8665 (java) S 8662 8665 8258 0 -1 4202496 19905 0 1 0 500 16 0 0 20 0 22 0 29764593 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140737329459296 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8665/statm: 2456183 49966 2284 9 0 2446860 0
[pid=8665/tid=8666] ppid=8662 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/8665/task/8666/stat : 8666 (java) S 8662 8665 8258 0 -1 4202560 2473 0 1 0 24 0 0 0 20 0 22 0 29764593 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140260886156152 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8668] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8668/stat : 8668 (java) S 8662 8665 8258 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29764594 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140260729977768 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8669] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8669/stat : 8669 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764594 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140260728925224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8670] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8670/stat : 8670 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764594 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140260727872168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8671] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8671/stat : 8671 (java) S 8662 8665 8258 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 29764594 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140260726819624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8672] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8672/stat : 8672 (java) S 8662 8665 8258 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29764594 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140260725766568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8665/tid=8673] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8673/stat : 8673 (java) S 8662 8665 8258 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 29764594 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140260724714024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8674] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8674/stat : 8674 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764594 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140260723660968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8665/tid=8675] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8675/stat : 8675 (java) S 8662 8665 8258 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29764594 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140260722608424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8676] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8676/stat : 8676 (java) S 8662 8665 8258 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 29764595 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140260710411112 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8677] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8677/stat : 8677 (java) S 8662 8665 8258 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29764595 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140260709357432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8678] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8678/stat : 8678 (java) S 8662 8665 8258 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29764596 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140260708304264 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8679] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8679/stat : 8679 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764598 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140260707253008 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8680] ppid=8662 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/8665/task/8680/stat : 8680 (java) S 8662 8665 8258 0 -1 4202560 8132 0 0 0 125 2 0 0 20 0 22 0 29764598 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140260706199864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8681] ppid=8662 vsize=9824732 CPUtime=0.86 cores=1,3,5,7
/proc/8665/task/8681/stat : 8681 (java) S 8662 8665 8258 0 -1 4202560 7767 0 0 0 84 2 0 0 20 0 22 0 29764598 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140260705147320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8682] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8682/stat : 8682 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764598 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140260704094456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8683] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8683/stat : 8683 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764598 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140260703042120 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8696] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8696/stat : 8696 (java) S 8662 8665 8258 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29764719 10060525568 49966 33554432000 1073741824 1073778376 140737329468160 140260700886696 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.16
Current children cumulated vsize (KiB) 9824732
[startup+6.30086 s]
/proc/loadavg: 4.30 4.18 3.42 6/219 8714
/proc/meminfo: memFree=28972484/32872528 swapFree=1200228/1314692
[pid=8665] ppid=8662 vsize=9824732 CPUtime=11.53 cores=1,3,5,7
/proc/8665/stat : 8665 (java) S 8662 8665 8258 0 -1 4202496 20850 0 1 0 1122 31 0 0 20 0 22 0 29764593 10060525568 150208 33554432000 1073741824 1073778376 140737329468160 140737329459296 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8665/statm: 2456183 150208 2285 9 0 2446860 0
[pid=8665/tid=8666] ppid=8662 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/8665/task/8666/stat : 8666 (java) S 8662 8665 8258 0 -1 4202560 2473 0 1 0 24 0 0 0 20 0 22 0 29764593 10060525568 150208 33554432000 1073741824 1073778376 140737329468160 140260886156152 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8668] ppid=8662 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/8665/task/8668/stat : 8668 (java) S 8662 8665 8258 0 -1 4202560 36 0 0 0 4 2 0 0 20 0 22 0 29764594 10060525568 150208 33554432000 1073741824 1073778376 140737329468160 140260729977768 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8665/tid=8669] ppid=8662 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/8665/task/8669/stat : 8669 (java) S 8662 8665 8258 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 29764594 10060525568 150208 33554432000 1073741824 1073778376 140737329468160 140260728925224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8670] ppid=8662 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/8665/task/8670/stat : 8670 (java) S 8662 8665 8258 0 -1 4202560 109 0 0 0 1 2 0 0 20 0 22 0 29764594 10060525568 150208 33554432000 1073741824 1073778376 140737329468160 140260727872168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8671] ppid=8662 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/8665/task/8671/stat : 8671 (java) S 8662 8665 8258 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 29764594 10060525568 150208 33554432000 1073741824 1073778376 140737329468160 140260726819624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8672] ppid=8662 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/8665/task/8672/stat : 8672 (java) S 8662 8665 8258 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 22 0 29764594 10060525568 150208 33554432000 1073741824 1073778376 140737329468160 140260725766568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8673] ppid=8662 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/8665/task/8673/stat : 8673 (java) S 8662 8665 8258 0 -1 4202560 83 0 0 0 2 2 0 0 20 0 22 0 29764594 10060525568 150208 33554432000 1073741824 1073778376 140737329468160 140260724714024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8674] ppid=8662 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/8665/task/8674/stat : 8674 (java) S 8662 8665 8258 0 -1 4202560 73 0 0 0 2 2 0 0 20 0 22 0 29764594 10060525568 150208 33554432000 1073741824 1073778376 140737329468160 140260723660968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8665/tid=8675] ppid=8662 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/8665/task/8675/stat : 8675 (java) S 8662 8665 8258 0 -1 4202560 91 0 0 0 2 2 0 0 20 0 22 0 29764594 10060525568 150208 33554432000 1073741824 1073778376 140737329468160 140260722608424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8676] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8676/stat : 8676 (java) S 8662 8665 8258 0 -1 4202560 440 0 0 0 0 0 0 0 20 0 22 0 29764595 10060525568 150208 33554432000 1073741824 1073778376 140737329468160 140260710411112 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8677] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8677/stat : 8677 (java) S 8662 8665 8258 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29764595 10060525568 150208 33554432000 1073741824 1073778376 140737329468160 140260709357432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8678] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8678/stat : 8678 (java) S 8662 8665 8258 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29764596 10060525568 150208 33554432000 1073741824 1073778376 140737329468160 140260708304264 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8679] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8679/stat : 8679 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764598 10060525568 150208 33554432000 1073741824 1073778376 140737329468160 140260707253008 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8680] ppid=8662 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/8665/task/8680/stat : 8680 (java) S 8662 8665 8258 0 -1 4202560 8140 0 0 0 136 2 0 0 20 0 22 0 29764598 10060525568 150208 33554432000 1073741824 1073778376 140737329468160 140260706199864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8681] ppid=8662 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
################
# More data... #
################
/proc/8665/task/8670/stat : 8670 (java) S 8662 8665 8258 0 -1 4202560 525 0 0 0 252 9 0 0 20 0 22 0 29764594 10060525568 601882 33554432000 1073741824 1073778376 140737329468160 140260727872168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8665/tid=8671] ppid=8662 vsize=9824732 CPUtime=2.57 cores=1,3,5,7
/proc/8665/task/8671/stat : 8671 (java) S 8662 8665 8258 0 -1 4202560 350 0 0 0 251 6 0 0 20 0 22 0 29764594 10060525568 601882 33554432000 1073741824 1073778376 140737329468160 140260726819624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8672] ppid=8662 vsize=9824732 CPUtime=2.38 cores=1,3,5,7
/proc/8665/task/8672/stat : 8672 (java) S 8662 8665 8258 0 -1 4202560 341 0 0 0 233 5 0 0 20 0 22 0 29764594 10060525568 601882 33554432000 1073741824 1073778376 140737329468160 140260725766568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8665/tid=8673] ppid=8662 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/8665/task/8673/stat : 8673 (java) S 8662 8665 8258 0 -1 4202560 463 0 0 0 239 8 0 0 20 0 22 0 29764594 10060525568 601882 33554432000 1073741824 1073778376 140737329468160 140260724714024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8674] ppid=8662 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/8665/task/8674/stat : 8674 (java) S 8662 8665 8258 0 -1 4202560 460 0 0 0 241 7 0 0 20 0 22 0 29764594 10060525568 601882 33554432000 1073741824 1073778376 140737329468160 140260723660968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8675] ppid=8662 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/8665/task/8675/stat : 8675 (java) S 8662 8665 8258 0 -1 4202560 437 0 0 0 243 7 0 0 20 0 22 0 29764594 10060525568 601882 33554432000 1073741824 1073778376 140737329468160 140260722608424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8676] ppid=8662 vsize=9824732 CPUtime=1.52 cores=1,3,5,7
/proc/8665/task/8676/stat : 8676 (java) S 8662 8665 8258 0 -1 4202560 1364 0 0 0 120 32 0 0 20 0 22 0 29764595 10060525568 601882 33554432000 1073741824 1073778376 140737329468160 140260710411112 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8665/tid=8677] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8677/stat : 8677 (java) S 8662 8665 8258 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29764595 10060525568 601882 33554432000 1073741824 1073778376 140737329468160 140260709357432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8678] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8678/stat : 8678 (java) S 8662 8665 8258 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29764596 10060525568 601882 33554432000 1073741824 1073778376 140737329468160 140260708304264 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8679] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8679/stat : 8679 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764598 10060525568 601882 33554432000 1073741824 1073778376 140737329468160 140260707253008 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8680] ppid=8662 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/8665/task/8680/stat : 8680 (java) S 8662 8665 8258 0 -1 4202560 8222 0 0 0 170 2 0 0 20 0 22 0 29764598 10060525568 601882 33554432000 1073741824 1073778376 140737329468160 140260706199864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8681] ppid=8662 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/8665/task/8681/stat : 8681 (java) S 8662 8665 8258 0 -1 4202560 7781 0 0 0 94 2 0 0 20 0 22 0 29764598 10060525568 601882 33554432000 1073741824 1073778376 140737329468160 140260705147320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8682] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8682/stat : 8682 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764598 10060525568 601882 33554432000 1073741824 1073778376 140737329468160 140260704094456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8683] ppid=8662 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/8665/task/8683/stat : 8683 (java) S 8662 8665 8258 0 -1 4202560 47 0 0 0 17 18 0 0 20 0 22 0 29764598 10060525568 601882 33554432000 1073741824 1073778376 140737329468160 140260703042120 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8696] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8696/stat : 8696 (java) S 8662 8665 8258 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29764719 10060525568 601882 33554432000 1073741824 1073778376 140737329468160 140260700886696 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8718] ppid=8662 vsize=9824732 CPUtime=806.28 cores=1,3,5,7
/proc/8665/task/8718/stat : 8718 (java) R 8662 8665 8258 0 -1 4202560 91 0 0 0 80614 14 0 0 20 0 22 0 29765219 10060525568 601882 33554432000 1073741824 1073778376 140737329468160 140260701937688 140260758965147 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8719] ppid=8662 vsize=9824732 CPUtime=806.41 cores=1,3,5,7
/proc/8665/task/8719/stat : 8719 (java) R 8662 8665 8258 0 -1 4202560 1530 0 0 0 80595 46 0 0 20 0 22 0 29765219 10060525568 601882 33554432000 1073741824 1073778376 140737329468160 140260699833376 140260758965147 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8720] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8720/stat : 8720 (java) S 8662 8665 8258 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29765219 10060525568 601882 33554432000 1073741824 1073778376 140737329468160 140260698780968 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1650.23
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.65 4.36 3.93 6/219 8767
/proc/meminfo: memFree=24414144/32872528 swapFree=1200228/1314692
[pid=8665] ppid=8662 vsize=9824732 CPUtime=1770.23 cores=1,3,5,7
/proc/8665/stat : 8665 (java) S 8662 8665 8258 0 -1 4202496 26659 0 1 0 176857 166 0 0 20 0 22 0 29764593 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140737329459296 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8665/statm: 2456183 597421 2293 9 0 2446860 0
[pid=8665/tid=8666] ppid=8662 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/8665/task/8666/stat : 8666 (java) S 8662 8665 8258 0 -1 4202560 2478 0 1 0 26 3 0 0 20 0 22 0 29764593 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260886156152 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8665/tid=8668] ppid=8662 vsize=9824732 CPUtime=2.85 cores=1,3,5,7
/proc/8665/task/8668/stat : 8668 (java) S 8662 8665 8258 0 -1 4202560 485 0 0 0 275 10 0 0 20 0 22 0 29764594 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260729977768 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8669] ppid=8662 vsize=9824732 CPUtime=2.78 cores=1,3,5,7
/proc/8665/task/8669/stat : 8669 (java) S 8662 8665 8258 0 -1 4202560 391 0 0 0 272 6 0 0 20 0 22 0 29764594 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260728925224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8670] ppid=8662 vsize=9824732 CPUtime=2.78 cores=1,3,5,7
/proc/8665/task/8670/stat : 8670 (java) S 8662 8665 8258 0 -1 4202560 526 0 0 0 269 9 0 0 20 0 22 0 29764594 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260727872168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8671] ppid=8662 vsize=9824732 CPUtime=2.77 cores=1,3,5,7
/proc/8665/task/8671/stat : 8671 (java) S 8662 8665 8258 0 -1 4202560 351 0 0 0 271 6 0 0 20 0 22 0 29764594 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260726819624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8672] ppid=8662 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/8665/task/8672/stat : 8672 (java) S 8662 8665 8258 0 -1 4202560 344 0 0 0 256 5 0 0 20 0 22 0 29764594 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260725766568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8665/tid=8673] ppid=8662 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/8665/task/8673/stat : 8673 (java) S 8662 8665 8258 0 -1 4202560 467 0 0 0 259 8 0 0 20 0 22 0 29764594 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260724714024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8674] ppid=8662 vsize=9824732 CPUtime=2.72 cores=1,3,5,7
/proc/8665/task/8674/stat : 8674 (java) S 8662 8665 8258 0 -1 4202560 462 0 0 0 265 7 0 0 20 0 22 0 29764594 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260723660968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8675] ppid=8662 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/8665/task/8675/stat : 8675 (java) S 8662 8665 8258 0 -1 4202560 441 0 0 0 263 8 0 0 20 0 22 0 29764594 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260722608424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8676] ppid=8662 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/8665/task/8676/stat : 8676 (java) S 8662 8665 8258 0 -1 4202560 1422 0 0 0 183 36 0 0 20 0 22 0 29764595 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260710411112 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8677] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8677/stat : 8677 (java) S 8662 8665 8258 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29764595 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260709357432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8678] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8678/stat : 8678 (java) S 8662 8665 8258 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29764596 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260708304264 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8679] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8679/stat : 8679 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764598 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260707253008 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8680] ppid=8662 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/8665/task/8680/stat : 8680 (java) S 8662 8665 8258 0 -1 4202560 8222 0 0 0 170 2 0 0 20 0 22 0 29764598 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260706199864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8681] ppid=8662 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/8665/task/8681/stat : 8681 (java) S 8662 8665 8258 0 -1 4202560 7781 0 0 0 94 2 0 0 20 0 22 0 29764598 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260705147320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8682] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8682/stat : 8682 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764598 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260704094456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8683] ppid=8662 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/8665/task/8683/stat : 8683 (java) S 8662 8665 8258 0 -1 4202560 51 0 0 0 19 19 0 0 20 0 22 0 29764598 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260703042120 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8696] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8696/stat : 8696 (java) S 8662 8665 8258 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29764719 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260700886696 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8718] ppid=8662 vsize=9824732 CPUtime=864.98 cores=1,3,5,7
/proc/8665/task/8718/stat : 8718 (java) R 8662 8665 8258 0 -1 4202560 98 0 0 0 86483 15 0 0 20 0 22 0 29765219 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260701937584 140260758965147 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8719] ppid=8662 vsize=9824732 CPUtime=865.11 cores=1,3,5,7
/proc/8665/task/8719/stat : 8719 (java) R 8662 8665 8258 0 -1 4202560 1550 0 0 0 86464 47 0 0 20 0 22 0 29765219 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260699831528 140260758804236 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8720] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8720/stat : 8720 (java) S 8662 8665 8258 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29765219 10060525568 597421 33554432000 1073741824 1073778376 140737329468160 140260698780968 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1770.23
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+897.201 s]
/proc/loadavg: 4.49 4.34 3.93 7/219 8851
/proc/meminfo: memFree=28006556/32872528 swapFree=1200228/1314692
[pid=8665] ppid=8662 vsize=9824732 CPUtime=1800.16 cores=1,3,5,7
/proc/8665/stat : 8665 (java) S 8662 8665 8258 0 -1 4202496 26670 0 1 0 179849 167 0 0 20 0 22 0 29764593 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140737329459296 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8665/statm: 2456183 595530 2293 9 0 2446860 0
[pid=8665/tid=8666] ppid=8662 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/8665/task/8666/stat : 8666 (java) S 8662 8665 8258 0 -1 4202560 2479 0 1 0 26 3 0 0 20 0 22 0 29764593 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260886156152 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8668] ppid=8662 vsize=9824732 CPUtime=2.91 cores=1,3,5,7
/proc/8665/task/8668/stat : 8668 (java) S 8662 8665 8258 0 -1 4202560 485 0 0 0 281 10 0 0 20 0 22 0 29764594 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260729977768 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8669] ppid=8662 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/8665/task/8669/stat : 8669 (java) S 8662 8665 8258 0 -1 4202560 391 0 0 0 278 6 0 0 20 0 22 0 29764594 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260728925224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8670] ppid=8662 vsize=9824732 CPUtime=2.83 cores=1,3,5,7
/proc/8665/task/8670/stat : 8670 (java) S 8662 8665 8258 0 -1 4202560 526 0 0 0 273 10 0 0 20 0 22 0 29764594 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260727872168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8671] ppid=8662 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/8665/task/8671/stat : 8671 (java) S 8662 8665 8258 0 -1 4202560 351 0 0 0 276 6 0 0 20 0 22 0 29764594 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260726819624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8665/tid=8672] ppid=8662 vsize=9824732 CPUtime=2.66 cores=1,3,5,7
/proc/8665/task/8672/stat : 8672 (java) S 8662 8665 8258 0 -1 4202560 344 0 0 0 261 5 0 0 20 0 22 0 29764594 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260725766568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8673] ppid=8662 vsize=9824732 CPUtime=2.72 cores=1,3,5,7
/proc/8665/task/8673/stat : 8673 (java) S 8662 8665 8258 0 -1 4202560 467 0 0 0 264 8 0 0 20 0 22 0 29764594 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260724714024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8674] ppid=8662 vsize=9824732 CPUtime=2.79 cores=1,3,5,7
/proc/8665/task/8674/stat : 8674 (java) S 8662 8665 8258 0 -1 4202560 462 0 0 0 272 7 0 0 20 0 22 0 29764594 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260723660968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8665/tid=8675] ppid=8662 vsize=9824732 CPUtime=2.77 cores=1,3,5,7
/proc/8665/task/8675/stat : 8675 (java) S 8662 8665 8258 0 -1 4202560 441 0 0 0 269 8 0 0 20 0 22 0 29764594 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260722608424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8676] ppid=8662 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/8665/task/8676/stat : 8676 (java) S 8662 8665 8258 0 -1 4202560 1424 0 0 0 183 36 0 0 20 0 22 0 29764595 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260710411112 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8677] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8677/stat : 8677 (java) S 8662 8665 8258 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29764595 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260709357432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8678] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8678/stat : 8678 (java) S 8662 8665 8258 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29764596 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260708304264 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8679] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8679/stat : 8679 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764598 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260707253008 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8680] ppid=8662 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/8665/task/8680/stat : 8680 (java) S 8662 8665 8258 0 -1 4202560 8222 0 0 0 170 2 0 0 20 0 22 0 29764598 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260706199864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8681] ppid=8662 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/8665/task/8681/stat : 8681 (java) S 8662 8665 8258 0 -1 4202560 7781 0 0 0 94 2 0 0 20 0 22 0 29764598 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260705147320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8682] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8682/stat : 8682 (java) S 8662 8665 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29764598 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260704094456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8683] ppid=8662 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/8665/task/8683/stat : 8683 (java) S 8662 8665 8258 0 -1 4202560 53 0 0 0 19 19 0 0 20 0 22 0 29764598 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260703042120 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8665/tid=8696] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8696/stat : 8696 (java) S 8662 8665 8258 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29764719 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260700886696 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8718] ppid=8662 vsize=9824732 CPUtime=879.69 cores=1,3,5,7
/proc/8665/task/8718/stat : 8718 (java) R 8662 8665 8258 0 -1 4202560 99 0 0 0 87954 15 0 0 20 0 22 0 29765219 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260701937568 140260758949699 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8665/tid=8719] ppid=8662 vsize=9824732 CPUtime=879.83 cores=1,3,5,7
/proc/8665/task/8719/stat : 8719 (java) R 8662 8665 8258 0 -1 4202560 1555 0 0 0 87936 47 0 0 20 0 22 0 29765219 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260699833688 140260758859312 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8665/tid=8720] ppid=8662 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8720/stat : 8720 (java) S 8662 8665 8258 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29765219 10060525568 595530 33554432000 1073741824 1073778376 140737329468160 140260698780968 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
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 8665 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8665 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=108254
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=173669
# CPU time returned by wait4() is 1796.28
# while last known CPU time is 1800.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 897.262
CPU time (s): 1800.16
CPU user time (s): 1798.49
CPU system time (s): 1.67
CPU usage (%): 200.628
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.11
system time used= 2.17367
maximum resident set size= 2860600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26713
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= 31975
involuntary context switches= 49185
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.71413 second user time and 7.66284 second system time
The end