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-4088638-1466008617/watcher-4088638-1466008617 -o /tmp/evaluation-result-4088638-1466008617/solver-4088638-1466008617 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466008022-5562 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4088638-1466008617.opb
pid=5963
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.38 4.16 3.91 4/197 5966
/proc/meminfo: memFree=28077816/32872528 swapFree=1073728/1155488
[pid=5966] ppid=5963 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/5966/stat : 5966 (java) S 5963 5966 5545 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 2910922 98570240 977 33554432000 1073741824 1073778376 140736985007280 140736984998416 219517321277 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5966/statm: 24065 977 743 9 0 16771 0
[pid=5966/tid=5967] ppid=5963 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5967/stat : 5967 (java) R 5963 5966 5545 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 2910923 98570240 977 33554432000 1073741824 1073778376 140736985007280 140014586928680 219513963904 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100114 s]
/proc/loadavg: 4.38 4.16 3.91 4/197 5966
/proc/meminfo: memFree=28077816/32872528 swapFree=1073728/1155488
[pid=5966] ppid=5963 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/5966/stat : 5966 (java) S 5963 5966 5545 0 -1 4202496 4507 0 1 0 10 1 0 0 20 0 18 0 2910922 9787879424 6135 33554432000 1073741824 1073778376 140736985007280 140736984998416 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5966/statm: 2389619 6135 2156 9 0 2380296 0
[pid=5966/tid=5967] ppid=5963 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/5966/task/5967/stat : 5967 (java) R 5963 5966 5545 0 -1 4202560 2394 0 1 0 6 1 0 0 20 0 18 0 2910923 9787879424 6135 33554432000 1073741824 1073778376 140736985007280 140014586930440 140014589714741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200287 s]
/proc/loadavg: 4.38 4.16 3.91 4/197 5966
/proc/meminfo: memFree=28077816/32872528 swapFree=1073728/1155488
[pid=5966] ppid=5963 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/5966/stat : 5966 (java) S 5963 5966 5545 0 -1 4202496 5252 0 1 0 26 2 0 0 20 0 18 0 2910922 9787879424 9754 33554432000 1073741824 1073778376 140736985007280 140736984998416 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5966/statm: 2389619 9754 2224 9 0 2380296 0
[pid=5966/tid=5967] ppid=5963 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/5966/task/5967/stat : 5967 (java) R 5963 5966 5545 0 -1 4202560 2422 0 1 0 16 1 0 0 20 0 18 0 2910923 9787879424 9754 33554432000 1073741824 1073778376 140736985007280 140014586930440 219517347085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.300256 s]
/proc/loadavg: 4.38 4.16 3.91 4/197 5966
/proc/meminfo: memFree=28077816/32872528 swapFree=1073728/1155488
[pid=5966] ppid=5963 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/5966/stat : 5966 (java) S 5963 5966 5545 0 -1 4202496 7738 0 1 0 64 3 0 0 20 0 22 0 2910922 10060525568 12096 33554432000 1073741824 1073778376 140736985007280 140736984998416 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5966/statm: 2456183 12096 2249 9 0 2446860 0
[pid=5966/tid=5967] ppid=5963 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/5966/task/5967/stat : 5967 (java) S 5963 5966 5545 0 -1 4202560 2428 0 1 0 16 1 0 0 20 0 22 0 2910923 10060525568 12096 33554432000 1073741824 1073778376 140736985007280 140014586934136 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 9824732
[startup+0.700249 s]
/proc/loadavg: 4.38 4.16 3.91 4/197 5966
/proc/meminfo: memFree=28077816/32872528 swapFree=1073728/1155488
[pid=5966] ppid=5963 vsize=9824732 CPUtime=2.27 cores=1,3,5,7
/proc/5966/stat : 5966 (java) S 5963 5966 5545 0 -1 4202496 19983 0 1 0 221 6 0 0 20 0 22 0 2910922 10060525568 32400 33554432000 1073741824 1073778376 140736985007280 140736984998416 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5966/statm: 2456183 32400 2260 9 0 2446860 0
[pid=5966/tid=5967] ppid=5963 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/5966/task/5967/stat : 5967 (java) S 5963 5966 5545 0 -1 4202560 2428 0 1 0 16 1 0 0 20 0 22 0 2910923 10060525568 32400 33554432000 1073741824 1073778376 140736985007280 140014586934136 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 9824732
[startup+1.50087 s]
/proc/loadavg: 4.38 4.16 3.91 7/219 5988
/proc/meminfo: memFree=27892232/32872528 swapFree=1073728/1155488
[pid=5966] ppid=5963 vsize=9824732 CPUtime=5.06 cores=1,3,5,7
/proc/5966/stat : 5966 (java) S 5963 5966 5545 0 -1 4202496 22309 0 1 0 498 8 0 0 20 0 22 0 2910922 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140736984998416 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5966/statm: 2456183 50153 2278 9 0 2446860 0
[pid=5966/tid=5967] ppid=5963 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/5966/task/5967/stat : 5967 (java) S 5963 5966 5545 0 -1 4202560 2428 0 1 0 16 1 0 0 20 0 22 0 2910923 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014586934136 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5969] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5969/stat : 5969 (java) S 5963 5966 5545 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 2910923 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014525663528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5966/tid=5970] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5970/stat : 5970 (java) S 5963 5966 5545 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 2910923 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014429878440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5971] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5971/stat : 5971 (java) S 5963 5966 5545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2910923 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014428826152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5966/tid=5972] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5972/stat : 5972 (java) S 5963 5966 5545 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 2910923 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014427773352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5973] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5973/stat : 5973 (java) S 5963 5966 5545 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 2910923 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014426721064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5974] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5974/stat : 5974 (java) S 5963 5966 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2910923 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014425668264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5975] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5975/stat : 5975 (java) S 5963 5966 5545 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 2910923 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014424615976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5976] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5976/stat : 5976 (java) S 5963 5966 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2910923 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014423563176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5977] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5977/stat : 5977 (java) S 5963 5966 5545 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 2910924 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014411151592 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5978] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5978/stat : 5978 (java) S 5963 5966 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2910925 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014410097656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5979] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5979/stat : 5979 (java) S 5963 5966 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2910925 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014409045256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5980] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5980/stat : 5980 (java) S 5963 5966 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2910927 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014407993744 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5981] ppid=5963 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/5966/task/5981/stat : 5981 (java) S 5963 5966 5545 0 -1 4202560 11399 0 0 0 112 1 0 0 20 0 22 0 2910927 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014406941368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5982] ppid=5963 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/5966/task/5982/stat : 5982 (java) S 5963 5966 5545 0 -1 4202560 6984 0 0 0 109 2 0 0 20 0 22 0 2910927 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014405888568 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5983] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5983/stat : 5983 (java) S 5963 5966 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2910927 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014404836472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5984] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5984/stat : 5984 (java) S 5963 5966 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2910927 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014403783880 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5985] ppid=5963 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/5966/task/5985/stat : 5985 (java) R 5963 5966 5545 0 -1 4202560 26 0 0 0 126 0 0 0 20 0 22 0 2910942 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014402719520 140014527103790 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5986] ppid=5963 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/5966/task/5986/stat : 5986 (java) R 5963 5966 5545 0 -1 4202560 90 0 0 0 123 2 0 0 20 0 22 0 2910942 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014401674336 140014527178187 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=5966/tid=5987] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5987/stat : 5987 (java) S 5963 5966 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2910942 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014400623784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5988] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5988/stat : 5988 (java) S 5963 5966 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2910942 10060525568 50153 33554432000 1073741824 1073778376 140736985007280 140014399570984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.06
Current children cumulated vsize (KiB) 9824732
[startup+3.10095 s]
/proc/loadavg: 4.19 4.13 3.90 6/219 5988
/proc/meminfo: memFree=27751788/32872528 swapFree=1073728/1155488
[pid=5966] ppid=5963 vsize=9824732 CPUtime=8.79 cores=1,3,5,7
/proc/5966/stat : 5966 (java) S 5963 5966 5545 0 -1 4202496 22785 0 1 0 865 14 0 0 20 0 22 0 2910922 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140736984998416 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5966/statm: 2456183 130315 2278 9 0 2446860 0
[pid=5966/tid=5967] ppid=5963 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/5966/task/5967/stat : 5967 (java) S 5963 5966 5545 0 -1 4202560 2428 0 1 0 16 2 0 0 20 0 22 0 2910923 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014586934136 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5969] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5969/stat : 5969 (java) S 5963 5966 5545 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 22 0 2910923 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014525663528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5966/tid=5970] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5970/stat : 5970 (java) S 5963 5966 5545 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 2910923 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014429878440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5971] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5971/stat : 5971 (java) S 5963 5966 5545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2910923 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014428826152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5966/tid=5972] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5972/stat : 5972 (java) S 5963 5966 5545 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 22 0 2910923 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014427773352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5973] ppid=5963 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/5966/task/5973/stat : 5973 (java) S 5963 5966 5545 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 2910923 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014426721064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5974] ppid=5963 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/5966/task/5974/stat : 5974 (java) S 5963 5966 5545 0 -1 4202560 61 0 0 0 1 0 0 0 20 0 22 0 2910923 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014425668264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5975] ppid=5963 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/5966/task/5975/stat : 5975 (java) S 5963 5966 5545 0 -1 4202560 59 0 0 0 2 0 0 0 20 0 22 0 2910923 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014424615976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5976] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5976/stat : 5976 (java) S 5963 5966 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2910923 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014423563176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5966/tid=5977] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5977/stat : 5977 (java) S 5963 5966 5545 0 -1 4202560 187 0 0 0 0 0 0 0 20 0 22 0 2910924 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014411151592 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5978] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5978/stat : 5978 (java) S 5963 5966 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2910925 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014410097656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5979] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5979/stat : 5979 (java) S 5963 5966 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2910925 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014409045256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5980] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5980/stat : 5980 (java) S 5963 5966 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2910927 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014407993744 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5981] ppid=5963 vsize=9824732 CPUtime=1.61 cores=1,3,5,7
/proc/5966/task/5981/stat : 5981 (java) S 5963 5966 5545 0 -1 4202560 11399 0 0 0 159 2 0 0 20 0 22 0 2910927 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014406941368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5982] ppid=5963 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/5966/task/5982/stat : 5982 (java) S 5963 5966 5545 0 -1 4202560 6984 0 0 0 115 2 0 0 20 0 22 0 2910927 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014405888568 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5983] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5983/stat : 5983 (java) S 5963 5966 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2910927 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014404836472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5984] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5984/stat : 5984 (java) S 5963 5966 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2910927 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014403783880 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5985] ppid=5963 vsize=9824732 CPUtime=2.83 cores=1,3,5,7
/proc/5966/task/5985/stat : 5985 (java) R 5963 5966 5545 0 -1 4202560 30 0 0 0 283 0 0 0 20 0 22 0 2910942 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014402719504 140014527127839 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5986] ppid=5963 vsize=9824732 CPUtime=2.79 cores=1,3,5,7
/proc/5966/task/5986/stat : 5986 (java) R 5963 5966 5545 0 -1 4202560 231 0 0 0 273 6 0 0 20 0 22 0 2910942 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014401674384 140014527236767 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5987] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5987/stat : 5987 (java) S 5963 5966 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2910942 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014400623784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5988] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5988/stat : 5988 (java) S 5963 5966 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2910942 10060525568 130315 33554432000 1073741824 1073778376 140736985007280 140014399570984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.79
Current children cumulated vsize (KiB) 9824732
[startup+6.30097 s]
/proc/loadavg: 4.19 4.13 3.90 5/219 5988
/proc/meminfo: memFree=26985360/32872528 swapFree=1073728/1155488
[pid=5966] ppid=5963 vsize=9824732 CPUtime=15.3 cores=1,3,5,7
/proc/5966/stat : 5966 (java) S 5963 5966 5545 0 -1 4202496 24036 0 1 0 1505 25 0 0 20 0 22 0 2910922 10060525568 278608 33554432000 1073741824 1073778376 140736985007280 140736984998416 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5966/statm: 2456183 278608 2278 9 0 2446860 0
[pid=5966/tid=5967] ppid=5963 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/5966/task/5967/stat : 5967 (java) S 5963 5966 5545 0 -1 4202560 2428 0 1 0 16 2 0 0 20 0 22 0 2910923 10060525568 278608 33554432000 1073741824 1073778376 140736985007280 140014586934136 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5969] ppid=5963 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/5966/task/5969/stat : 5969 (java) S 5963 5966 5545 0 -1 4202560 73 0 0 0 3 0 0 0 20 0 22 0 2910923 10060525568 278608 33554432000 1073741824 1073778376 140736985007280 140014525663528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5966/tid=5970] ppid=5963 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/5966/task/5970/stat : 5970 (java) S 5963 5966 5545 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 2910923 10060525568 278608 33554432000 1073741824 1073778376 140736985007280 140014429878440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5971] ppid=5963 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/5966/task/5971/stat : 5971 (java) S 5963 5966 5545 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 2910923 10060525568 278608 33554432000 1073741824 1073778376 140736985007280 140014428826152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5972] ppid=5963 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/5966/task/5972/stat : 5972 (java) S 5963 5966 5545 0 -1 4202560 70 0 0 0 4 0 0 0 20 0 22 0 2910923 10060525568 278608 33554432000 1073741824 1073778376 140736985007280 140014427773352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5973] ppid=5963 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/5966/task/5973/stat : 5973 (java) S 5963 5966 5545 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 22 0 2910923 10060525568 278608 33554432000 1073741824 1073778376 140736985007280 140014426721064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5974] ppid=5963 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/5966/task/5974/stat : 5974 (java) S 5963 5966 5545 0 -1 4202560 68 0 0 0 3 0 0 0 20 0 22 0 2910923 10060525568 278608 33554432000 1073741824 1073778376 140736985007280 140014425668264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5975] ppid=5963 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/5966/task/5975/stat : 5975 (java) S 5963 5966 5545 0 -1 4202560 64 0 0 0 4 0 0 0 20 0 22 0 2910923 10060525568 278608 33554432000 1073741824 1073778376 140736985007280 140014424615976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5976] ppid=5963 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
################
# More data... #
################
[pid=5966/tid=5984] ppid=5963 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/5966/task/5984/stat : 5984 (java) S 5963 5966 5545 0 -1 4202560 47 0 0 0 17 18 0 0 20 0 20 0 2910927 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014403783880 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5986] ppid=5963 vsize=9824732 CPUtime=811.42 cores=1,3,5,7
/proc/5966/task/5986/stat : 5986 (java) R 5963 5966 5545 0 -1 4202560 1848 0 0 0 81088 54 0 0 20 0 20 0 2910942 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014401673616 140014527193788 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5988] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5988/stat : 5988 (java) S 5963 5966 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 2910942 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014399570984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1654.55
Current children cumulated vsize (KiB) 9824732
############
# WARNING:
# current cumulated CPU time (1652.56 s) is less than in the last sample (1654.55 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1.99011 s) to the 'lost time'.
[startup+822.301 s]
/proc/loadavg: 4.38 4.28 4.09 5/220 6417
/proc/meminfo: memFree=25474176/32872528 swapFree=1073728/1155488
[pid=5966] ppid=5963 vsize=9824732 CPUtime=1654.55 cores=1,3,5,7
/proc/5966/stat : 5966 (java) S 5963 5966 5545 0 -1 4202496 30690 0 1 0 165280 175 0 0 20 0 20 0 2910922 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140736984998416 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5966/statm: 2456183 643841 2289 9 0 2446860 0
[pid=5966/tid=5967] ppid=5963 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/5966/task/5967/stat : 5967 (java) S 5963 5966 5545 0 -1 4202560 2444 0 1 0 18 4 0 0 20 0 20 0 2910923 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014586934136 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5969] ppid=5963 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/5966/task/5969/stat : 5969 (java) S 5963 5966 5545 0 -1 4202560 681 0 0 0 279 8 0 0 20 0 20 0 2910923 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014525663528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5970] ppid=5963 vsize=9824732 CPUtime=3.06 cores=1,3,5,7
/proc/5966/task/5970/stat : 5970 (java) S 5963 5966 5545 0 -1 4202560 578 0 0 0 296 10 0 0 20 0 20 0 2910923 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014429878440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5971] ppid=5963 vsize=9824732 CPUtime=3.13 cores=1,3,5,7
/proc/5966/task/5971/stat : 5971 (java) S 5963 5966 5545 0 -1 4202560 555 0 0 0 303 10 0 0 20 0 20 0 2910923 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014428826152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5972] ppid=5963 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/5966/task/5972/stat : 5972 (java) S 5963 5966 5545 0 -1 4202560 700 0 0 0 300 10 0 0 20 0 20 0 2910923 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014427773352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5973] ppid=5963 vsize=9824732 CPUtime=3.26 cores=1,3,5,7
/proc/5966/task/5973/stat : 5973 (java) S 5963 5966 5545 0 -1 4202560 520 0 0 0 316 10 0 0 20 0 20 0 2910923 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014426721064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5966/tid=5974] ppid=5963 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/5966/task/5974/stat : 5974 (java) S 5963 5966 5545 0 -1 4202560 506 0 0 0 300 9 0 0 20 0 20 0 2910923 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014425668264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5975] ppid=5963 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/5966/task/5975/stat : 5975 (java) S 5963 5966 5545 0 -1 4202560 523 0 0 0 298 12 0 0 20 0 20 0 2910923 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014424615976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5976] ppid=5963 vsize=9824732 CPUtime=3.08 cores=1,3,5,7
/proc/5966/task/5976/stat : 5976 (java) S 5963 5966 5545 0 -1 4202560 559 0 0 0 298 10 0 0 20 0 20 0 2910923 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014423563176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5966/tid=5977] ppid=5963 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/5966/task/5977/stat : 5977 (java) S 5963 5966 5545 0 -1 4202560 1883 0 0 0 126 20 0 0 20 0 20 0 2910924 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014411151592 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5978] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5978/stat : 5978 (java) S 5963 5966 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 2910925 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014410097656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5979] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5979/stat : 5979 (java) S 5963 5966 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 2910925 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014409045256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5980] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5980/stat : 5980 (java) S 5963 5966 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2910927 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014407993744 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5981] ppid=5963 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/5966/task/5981/stat : 5981 (java) S 5963 5966 5545 0 -1 4202560 11399 0 0 0 160 2 0 0 20 0 20 0 2910927 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014406941368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5982] ppid=5963 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/5966/task/5982/stat : 5982 (java) S 5963 5966 5545 0 -1 4202560 6995 0 0 0 138 2 0 0 20 0 20 0 2910927 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014405888568 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5983] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5983/stat : 5983 (java) S 5963 5966 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2910927 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014404836472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5984] ppid=5963 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/5966/task/5984/stat : 5984 (java) S 5963 5966 5545 0 -1 4202560 47 0 0 0 17 18 0 0 20 0 20 0 2910927 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014403783880 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5986] ppid=5963 vsize=9824732 CPUtime=811.42 cores=1,3,5,7
/proc/5966/task/5986/stat : 5986 (java) R 5963 5966 5545 0 -1 4202560 1848 0 0 0 81088 54 0 0 20 0 20 0 2910942 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014401673616 140014527193788 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5988] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5988/stat : 5988 (java) S 5963 5966 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 2910942 10060525568 643841 33554432000 1073741824 1073778376 140736985007280 140014399570984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1654.55
Current children cumulated vsize (KiB) 9824732
[startup+822.404 s]
/proc/loadavg: 4.38 4.28 4.09 5/220 6417
/proc/meminfo: memFree=25474176/32872528 swapFree=1073728/1155488
[pid=5966] ppid=5963 vsize=9824732 CPUtime=1652.56 cores=1,3,5,7
/proc/5966/stat : 5966 (java) S 5963 5966 5545 0 -1 4202496 30704 0 1 0 165069 187 0 0 20 0 19 0 2910922 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140736984998416 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5966/statm: 2456183 643844 2299 9 0 2446860 0
[pid=5966/tid=5967] ppid=5963 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/5966/task/5967/stat : 5967 (java) S 5963 5966 5545 0 -1 4202560 2444 0 1 0 18 4 0 0 20 0 19 0 2910923 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014586933976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5969] ppid=5963 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/5966/task/5969/stat : 5969 (java) S 5963 5966 5545 0 -1 4202560 681 0 0 0 279 8 0 0 20 0 19 0 2910923 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014525663528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5970] ppid=5963 vsize=9824732 CPUtime=3.06 cores=1,3,5,7
/proc/5966/task/5970/stat : 5970 (java) S 5963 5966 5545 0 -1 4202560 578 0 0 0 296 10 0 0 20 0 19 0 2910923 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014429878440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5971] ppid=5963 vsize=9824732 CPUtime=3.13 cores=1,3,5,7
/proc/5966/task/5971/stat : 5971 (java) S 5963 5966 5545 0 -1 4202560 555 0 0 0 303 10 0 0 20 0 19 0 2910923 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014428826152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5972] ppid=5963 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/5966/task/5972/stat : 5972 (java) S 5963 5966 5545 0 -1 4202560 700 0 0 0 300 10 0 0 20 0 19 0 2910923 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014427773352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5973] ppid=5963 vsize=9824732 CPUtime=3.26 cores=1,3,5,7
/proc/5966/task/5973/stat : 5973 (java) S 5963 5966 5545 0 -1 4202560 520 0 0 0 316 10 0 0 20 0 19 0 2910923 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014426721064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5966/tid=5974] ppid=5963 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/5966/task/5974/stat : 5974 (java) S 5963 5966 5545 0 -1 4202560 506 0 0 0 300 9 0 0 20 0 19 0 2910923 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014425668264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5975] ppid=5963 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/5966/task/5975/stat : 5975 (java) S 5963 5966 5545 0 -1 4202560 523 0 0 0 298 12 0 0 20 0 19 0 2910923 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014424615976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5976] ppid=5963 vsize=9824732 CPUtime=3.08 cores=1,3,5,7
/proc/5966/task/5976/stat : 5976 (java) S 5963 5966 5545 0 -1 4202560 559 0 0 0 298 10 0 0 20 0 19 0 2910923 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014423563176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5966/tid=5977] ppid=5963 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/5966/task/5977/stat : 5977 (java) S 5963 5966 5545 0 -1 4202560 1883 0 0 0 126 20 0 0 20 0 19 0 2910924 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014411151592 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5978] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5978/stat : 5978 (java) S 5963 5966 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2910925 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014410097656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5979] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5979/stat : 5979 (java) S 5963 5966 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2910925 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014409045256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5980] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5980/stat : 5980 (java) S 5963 5966 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2910927 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014407993744 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5981] ppid=5963 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/5966/task/5981/stat : 5981 (java) S 5963 5966 5545 0 -1 4202560 11399 0 0 0 161 2 0 0 20 0 19 0 2910927 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014406941368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5982] ppid=5963 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
/proc/5966/task/5982/stat : 5982 (java) R 5963 5966 5545 0 -1 4202560 7005 0 0 0 140 2 0 0 20 0 19 0 2910927 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014405888568 219513628926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5983] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5983/stat : 5983 (java) S 5963 5966 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2910927 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014404836472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5984] ppid=5963 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/5966/task/5984/stat : 5984 (java) S 5963 5966 5545 0 -1 4202560 47 0 0 0 17 18 0 0 20 0 19 0 2910927 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014403783880 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1652.56
Current children cumulated vsize (KiB) 9824732
#
############
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5966 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+822.404 s]
/proc/loadavg: 4.38 4.28 4.09 5/220 6417
/proc/meminfo: memFree=25474176/32872528 swapFree=1073728/1155488
[pid=5966] ppid=5963 vsize=9824732 CPUtime=1652.56 cores=1,3,5,7
/proc/5966/stat : 5966 (java) S 5963 5966 5545 0 -1 4202496 30704 0 1 0 165069 187 0 0 20 0 19 0 2910922 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140736984998416 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5966/statm: 2456183 643844 2299 9 0 2446860 0
[pid=5966/tid=5967] ppid=5963 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/5966/task/5967/stat : 5967 (java) S 5963 5966 5545 0 -1 4202560 2444 0 1 0 18 4 0 0 20 0 19 0 2910923 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014586933976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5969] ppid=5963 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/5966/task/5969/stat : 5969 (java) S 5963 5966 5545 0 -1 4202560 681 0 0 0 279 8 0 0 20 0 19 0 2910923 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014525663528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5970] ppid=5963 vsize=9824732 CPUtime=3.06 cores=1,3,5,7
/proc/5966/task/5970/stat : 5970 (java) S 5963 5966 5545 0 -1 4202560 578 0 0 0 296 10 0 0 20 0 19 0 2910923 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014429878440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5971] ppid=5963 vsize=9824732 CPUtime=3.13 cores=1,3,5,7
/proc/5966/task/5971/stat : 5971 (java) S 5963 5966 5545 0 -1 4202560 555 0 0 0 303 10 0 0 20 0 19 0 2910923 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014428826152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5972] ppid=5963 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/5966/task/5972/stat : 5972 (java) S 5963 5966 5545 0 -1 4202560 700 0 0 0 300 10 0 0 20 0 19 0 2910923 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014427773352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5973] ppid=5963 vsize=9824732 CPUtime=3.26 cores=1,3,5,7
/proc/5966/task/5973/stat : 5973 (java) S 5963 5966 5545 0 -1 4202560 520 0 0 0 316 10 0 0 20 0 19 0 2910923 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014426721064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5966/tid=5974] ppid=5963 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/5966/task/5974/stat : 5974 (java) S 5963 5966 5545 0 -1 4202560 506 0 0 0 300 9 0 0 20 0 19 0 2910923 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014425668264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5975] ppid=5963 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/5966/task/5975/stat : 5975 (java) S 5963 5966 5545 0 -1 4202560 523 0 0 0 298 12 0 0 20 0 19 0 2910923 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014424615976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5976] ppid=5963 vsize=9824732 CPUtime=3.08 cores=1,3,5,7
/proc/5966/task/5976/stat : 5976 (java) S 5963 5966 5545 0 -1 4202560 559 0 0 0 298 10 0 0 20 0 19 0 2910923 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014423563176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5966/tid=5977] ppid=5963 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/5966/task/5977/stat : 5977 (java) S 5963 5966 5545 0 -1 4202560 1883 0 0 0 126 20 0 0 20 0 19 0 2910924 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014411151592 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5978] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5978/stat : 5978 (java) S 5963 5966 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2910925 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014410097656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5979] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5979/stat : 5979 (java) S 5963 5966 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2910925 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014409045256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5980] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5980/stat : 5980 (java) S 5963 5966 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2910927 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014407993744 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5966/tid=5981] ppid=5963 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/5966/task/5981/stat : 5981 (java) S 5963 5966 5545 0 -1 4202560 11399 0 0 0 161 2 0 0 20 0 19 0 2910927 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014406941368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5966/tid=5982] ppid=5963 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
/proc/5966/task/5982/stat : 5982 (java) R 5963 5966 5545 0 -1 4202560 7005 0 0 0 140 2 0 0 20 0 19 0 2910927 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014405888568 219513628926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5983] ppid=5963 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5966/task/5983/stat : 5983 (java) S 5963 5966 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2910927 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014404836472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5966/tid=5984] ppid=5963 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/5966/task/5984/stat : 5984 (java) S 5963 5966 5545 0 -1 4202560 47 0 0 0 17 18 0 0 20 0 19 0 2910927 10060525568 643844 33554432000 1073741824 1073778376 140736985007280 140014403783880 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1652.56
Current children cumulated vsize (KiB) 9824732
Child status: 20
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 3.87012
# lost CPU user time (s): 4.12012
# lost CPU system time (s): -0.25
Real time (s): 822.438
CPU time (s): 1656.82
CPU user time (s): 1654.94
CPU system time (s): 1.88368
CPU usage (%): 201.453
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1650.82
system time used= 2.13368
maximum resident set size= 2926580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30705
page faults= 1
swaps= 0
block input operations= 0
block output operations= 848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26293
involuntary context switches= 45332
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00609 second user time and 7.37988 second system time
The end