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-4080681-1465229483/watcher-4080681-1465229483 -o /tmp/evaluation-result-4080681-1465229483/solver-4080681-1465229483 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465220363-8290 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080681-1465229483.opb
pid=10971
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: 5.91 4.78 4.49 4/199 10974
/proc/meminfo: memFree=27414164/32872528 swapFree=15540/1663004
[pid=10974] ppid=10971 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/10974/stat : 10974 (java) D 10971 10974 8273 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 104881125 2560000 47 33554432000 1073741824 1073778376 140734717907104 140734717904232 273896533287 0 0 4096 0 18446744072100764964 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 625 47 37 9 0 29 0
[startup+0.10006 s]
/proc/loadavg: 5.91 4.78 4.49 4/199 10974
/proc/meminfo: memFree=27414164/32872528 swapFree=15540/1663004
[pid=10974] ppid=10971 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/10974/stat : 10974 (java) S 10971 10974 8273 0 -1 4202496 4405 0 1 0 7 2 0 0 20 0 18 0 104881125 9787879424 6030 33554432000 1073741824 1073778376 140734717907104 140734717898240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 2389619 6030 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200229 s]
/proc/loadavg: 5.91 4.78 4.49 4/199 10974
/proc/meminfo: memFree=27414164/32872528 swapFree=15540/1663004
[pid=10974] ppid=10971 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/10974/stat : 10974 (java) S 10971 10974 8273 0 -1 4202496 5069 0 1 0 27 2 0 0 20 0 18 0 104881125 9787879424 6948 33554432000 1073741824 1073778376 140734717907104 140734717898240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 2389619 6948 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476
[startup+0.300244 s]
/proc/loadavg: 5.91 4.78 4.49 4/199 10974
/proc/meminfo: memFree=27414164/32872528 swapFree=15540/1663004
[pid=10974] ppid=10971 vsize=9558476 CPUtime=0.51 cores=1,3,5,7
/proc/10974/stat : 10974 (java) S 10971 10974 8273 0 -1 4202496 6385 0 1 0 49 2 0 0 20 0 18 0 104881125 9787879424 10735 33554432000 1073741824 1073778376 140734717907104 140734717898240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 2389619 10737 2235 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476
[startup+0.700204 s]
/proc/loadavg: 5.91 4.78 4.49 4/199 10974
/proc/meminfo: memFree=27414164/32872528 swapFree=15540/1663004
[pid=10974] ppid=10971 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/10974/stat : 10974 (java) S 10971 10974 8273 0 -1 4202496 14281 0 1 0 165 5 0 0 20 0 22 0 104881125 10060525568 29853 33554432000 1073741824 1073778376 140734717907104 140734717898240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 2456183 29853 2260 9 0 2446860 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 9824732
[startup+1.50087 s]
/proc/loadavg: 5.91 4.78 4.49 6/221 10996
/proc/meminfo: memFree=27257996/32872528 swapFree=15540/1663004
[pid=10974] ppid=10971 vsize=9824732 CPUtime=4.32 cores=1,3,5,7
/proc/10974/stat : 10974 (java) S 10971 10974 8273 0 -1 4202496 16856 0 1 0 423 9 0 0 20 0 22 0 104881125 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140734717898240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 2456183 50733 2284 9 0 2446860 0
[pid=10974/tid=10976] ppid=10971 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (java) S 10971 10974 8273 0 -1 4202560 2469 0 1 0 51 3 0 0 20 0 22 0 104881126 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092392706936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (java) S 10971 10974 8273 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104881127 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092236622120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10974/tid=10978] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10978/stat : 10978 (java) S 10971 10974 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104881127 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092235569320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10979] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10979/stat : 10979 (java) S 10971 10974 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104881127 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092234517032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10980] ppid=10971 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/10974/task/10980/stat : 10980 (java) S 10971 10974 8273 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 104881127 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092233464232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10981] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10981/stat : 10981 (java) S 10971 10974 8273 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 104881127 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092232411944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10982] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10982/stat : 10982 (java) S 10971 10974 8273 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 104881127 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092231359144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10983] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10983/stat : 10983 (java) S 10971 10974 8273 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 104881127 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092230306856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10984] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10984/stat : 10984 (java) S 10971 10974 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104881127 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092229254056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10985] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10985/stat : 10985 (java) S 10971 10974 8273 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 104881128 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092216842472 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10986] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10986/stat : 10986 (java) S 10971 10974 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104881129 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092215788536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10987] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10987/stat : 10987 (java) S 10971 10974 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104881129 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092214736136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10988] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10988/stat : 10988 (java) S 10971 10974 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104881131 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092213684624 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10989] ppid=10971 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/10974/task/10989/stat : 10989 (java) R 10971 10974 8273 0 -1 4202560 7971 0 0 0 94 2 0 0 20 0 22 0 104881131 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092212623200 140092398732017 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10990] ppid=10971 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/10974/task/10990/stat : 10990 (java) R 10971 10974 8273 0 -1 4202560 4931 0 0 0 89 0 0 0 20 0 22 0 104881131 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092211566976 140092396793292 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10991] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10991/stat : 10991 (java) S 10971 10974 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104881131 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092210527352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10992] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10992/stat : 10992 (java) S 10971 10974 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104881131 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092209474760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10993] ppid=10971 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/10974/task/10993/stat : 10993 (java) R 10971 10974 8273 0 -1 4202560 26 0 0 0 87 0 0 0 20 0 22 0 104881183 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092208410400 140092254308679 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=10974/tid=10994] ppid=10971 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/10974/task/10994/stat : 10994 (java) R 10971 10974 8273 0 -1 4202560 58 0 0 0 86 1 0 0 20 0 22 0 104881183 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092207365952 140092253517666 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10995] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10995/stat : 10995 (java) S 10971 10974 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104881187 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092206314664 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10974/tid=10996] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10996/stat : 10996 (java) S 10971 10974 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104881187 10060525568 50733 33554432000 1073741824 1073778376 140734717907104 140092205261864 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 9824732
[startup+3.10087 s]
/proc/loadavg: 5.91 4.78 4.49 5/221 10996
/proc/meminfo: memFree=27197492/32872528 swapFree=15540/1663004
[pid=10974] ppid=10971 vsize=9824732 CPUtime=8.01 cores=1,3,5,7
/proc/10974/stat : 10974 (java) S 10971 10974 8273 0 -1 4202496 18119 0 1 0 785 16 0 0 20 0 22 0 104881125 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140734717898240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 2456183 89993 2284 9 0 2446860 0
[pid=10974/tid=10976] ppid=10971 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (java) S 10971 10974 8273 0 -1 4202560 2469 0 1 0 51 3 0 0 20 0 22 0 104881126 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092392706936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (java) S 10971 10974 8273 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 22 0 104881127 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092236622120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10978] ppid=10971 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/10974/task/10978/stat : 10978 (java) S 10971 10974 8273 0 -1 4202560 85 0 0 0 3 1 0 0 20 0 22 0 104881127 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092235569320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10979] ppid=10971 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/10974/task/10979/stat : 10979 (java) S 10971 10974 8273 0 -1 4202560 96 0 0 0 4 0 0 0 20 0 22 0 104881127 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092234517032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10974/tid=10980] ppid=10971 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/10974/task/10980/stat : 10980 (java) S 10971 10974 8273 0 -1 4202560 114 0 0 0 4 2 0 0 20 0 22 0 104881127 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092233464232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10981] ppid=10971 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/10974/task/10981/stat : 10981 (java) S 10971 10974 8273 0 -1 4202560 41 0 0 0 3 0 0 0 20 0 22 0 104881127 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092232411944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10982] ppid=10971 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/10974/task/10982/stat : 10982 (java) S 10971 10974 8273 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 104881127 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092231359144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10974/tid=10983] ppid=10971 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/10974/task/10983/stat : 10983 (java) S 10971 10974 8273 0 -1 4202560 46 0 0 0 3 1 0 0 20 0 22 0 104881127 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092230306856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10984] ppid=10971 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/10974/task/10984/stat : 10984 (java) S 10971 10974 8273 0 -1 4202560 85 0 0 0 1 0 0 0 20 0 22 0 104881127 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092229254056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10974/tid=10985] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10985/stat : 10985 (java) S 10971 10974 8273 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 104881128 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092216842472 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10986] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10986/stat : 10986 (java) S 10971 10974 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104881129 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092215788536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10987] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10987/stat : 10987 (java) S 10971 10974 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104881129 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092214736136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10988] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10988/stat : 10988 (java) S 10971 10974 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104881131 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092213684624 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10989] ppid=10971 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/10974/task/10989/stat : 10989 (java) R 10971 10974 8273 0 -1 4202560 8012 0 0 0 114 2 0 0 20 0 22 0 104881131 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092212632128 140092398668838 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10990] ppid=10971 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/10974/task/10990/stat : 10990 (java) S 10971 10974 8273 0 -1 4202560 5522 0 0 0 107 0 0 0 20 0 22 0 104881131 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092211579448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10974/tid=10991] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10991/stat : 10991 (java) S 10971 10974 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104881131 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092210527352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10992] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10992/stat : 10992 (java) S 10971 10974 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104881131 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092209474760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10993] ppid=10971 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/10974/task/10993/stat : 10993 (java) R 10971 10974 8273 0 -1 4202560 33 0 0 0 239 0 0 0 20 0 22 0 104881183 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092208418128 140092254242263 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=10974/tid=10994] ppid=10971 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/10974/task/10994/stat : 10994 (java) R 10971 10974 8273 0 -1 4202560 107 0 0 0 238 2 0 0 20 0 22 0 104881183 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092207364520 140092254214292 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10995] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10995/stat : 10995 (java) S 10971 10974 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104881187 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092206314664 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10974/tid=10996] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10996/stat : 10996 (java) S 10971 10974 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104881187 10060525568 89993 33554432000 1073741824 1073778376 140734717907104 140092205261864 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.01
Current children cumulated vsize (KiB) 9824732
[startup+6.30091 s]
/proc/loadavg: 5.76 4.77 4.49 5/221 10996
/proc/meminfo: memFree=26897168/32872528 swapFree=15540/1663004
[pid=10974] ppid=10971 vsize=9824732 CPUtime=15.49 cores=1,3,5,7
/proc/10974/stat : 10974 (java) S 10971 10974 8273 0 -1 4202496 23382 0 1 0 1523 26 0 0 20 0 22 0 104881125 10060525568 159204 33554432000 1073741824 1073778376 140734717907104 140734717898240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 2456183 159204 2284 9 0 2446860 0
[pid=10974/tid=10976] ppid=10971 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (java) S 10971 10974 8273 0 -1 4202560 2469 0 1 0 51 3 0 0 20 0 22 0 104881126 10060525568 159204 33554432000 1073741824 1073778376 140734717907104 140092392706936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (java) S 10971 10974 8273 0 -1 4202560 41 0 0 0 3 1 0 0 20 0 22 0 104881127 10060525568 159204 33554432000 1073741824 1073778376 140734717907104 140092236622120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10978] ppid=10971 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/10974/task/10978/stat : 10978 (java) S 10971 10974 8273 0 -1 4202560 100 0 0 0 5 1 0 0 20 0 22 0 104881127 10060525568 159204 33554432000 1073741824 1073778376 140734717907104 140092235569320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10979] ppid=10971 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/10974/task/10979/stat : 10979 (java) S 10971 10974 8273 0 -1 4202560 107 0 0 0 5 1 0 0 20 0 22 0 104881127 10060525568 159204 33554432000 1073741824 1073778376 140734717907104 140092234517032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10980] ppid=10971 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/10974/task/10980/stat : 10980 (java) S 10971 10974 8273 0 -1 4202560 129 0 0 0 7 2 0 0 20 0 22 0 104881127 10060525568 159204 33554432000 1073741824 1073778376 140734717907104 140092233464232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10981] ppid=10971 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/10974/task/10981/stat : 10981 (java) S 10971 10974 8273 0 -1 4202560 57 0 0 0 5 2 0 0 20 0 22 0 104881127 10060525568 159204 33554432000 1073741824 1073778376 140734717907104 140092232411944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10974/tid=10982] ppid=10971 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/10974/task/10982/stat : 10982 (java) S 10971 10974 8273 0 -1 4202560 36 0 0 0 4 2 0 0 20 0 22 0 104881127 10060525568 159204 33554432000 1073741824 1073778376 140734717907104 140092231359144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10983] ppid=10971 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/10974/task/10983/stat : 10983 (java) S 10971 10974 8273 0 -1 4202560 83 0 0 0 6 2 0 0 20 0 22 0 104881127 10060525568 159204 33554432000 1073741824 1073778376 140734717907104 140092230306856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10984] ppid=10971 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/10974/task/10984/stat : 10984 (java) S 10971 10974 8273 0 -1 4202560 114 0 0 0 5 2 0 0 20 0 22 0 104881127 10060525568 159204 33554432000 1073741824 1073778376 140734717907104 140092229254056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10985] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10985/stat : 10985 (java) S 10971 10974 8273 0 -1 4202560 456 0 0 0 0 0 0 0 20 0 22 0 104881128 10060525568 159204 33554432000 1073741824 1073778376 140734717907104 140092216842472 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10986] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10986/stat : 10986 (java) S 10971 10974 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104881129 10060525568 159204 33554432000 1073741824 1073778376 140734717907104 140092215788536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10987] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10987/stat : 10987 (java) S 10971 10974 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104881129 10060525568 159204 33554432000 1073741824 1073778376 140734717907104 140092214736136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10988] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10988/stat : 10988 (java) S 10971 10974 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104881131 10060525568 159204 33554432000 1073741824 1073778376 140734717907104 140092213684624 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10989] ppid=10971 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.12 4.24 4.31 5/221 11152
/proc/meminfo: memFree=28420020/32872528 swapFree=15540/1663004
[pid=10974] ppid=10971 vsize=9824732 CPUtime=1651.04 cores=1,3,5,7
/proc/10974/stat : 10974 (java) S 10971 10974 8273 0 -1 4202496 34255 0 1 0 164938 166 0 0 20 0 22 0 104881125 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140734717898240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 2456183 289495 2293 9 0 2446860 0
[pid=10974/tid=10976] ppid=10971 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (java) S 10971 10974 8273 0 -1 4202560 2481 0 1 0 54 4 0 0 20 0 22 0 104881126 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092392706936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=9824732 CPUtime=1.76 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (java) S 10971 10974 8273 0 -1 4202560 357 0 0 0 168 8 0 0 20 0 22 0 104881127 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092236622120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10974/tid=10978] ppid=10971 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/10974/task/10978/stat : 10978 (java) S 10971 10974 8273 0 -1 4202560 455 0 0 0 177 9 0 0 20 0 22 0 104881127 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092235569320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10979] ppid=10971 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/10974/task/10979/stat : 10979 (java) S 10971 10974 8273 0 -1 4202560 448 0 0 0 169 11 0 0 20 0 22 0 104881127 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092234517032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10980] ppid=10971 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/10974/task/10980/stat : 10980 (java) S 10971 10974 8273 0 -1 4202560 433 0 0 0 176 11 0 0 20 0 22 0 104881127 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092233464232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10981] ppid=10971 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/10974/task/10981/stat : 10981 (java) S 10971 10974 8273 0 -1 4202560 523 0 0 0 178 12 0 0 20 0 22 0 104881127 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092232411944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10982] ppid=10971 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/10974/task/10982/stat : 10982 (java) S 10971 10974 8273 0 -1 4202560 523 0 0 0 197 12 0 0 20 0 22 0 104881127 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092231359144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10983] ppid=10971 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/10974/task/10983/stat : 10983 (java) S 10971 10974 8273 0 -1 4202560 515 0 0 0 178 12 0 0 20 0 22 0 104881127 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092230306856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10984] ppid=10971 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/10974/task/10984/stat : 10984 (java) S 10971 10974 8273 0 -1 4202560 647 0 0 0 176 12 0 0 20 0 22 0 104881127 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092229254056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10974/tid=10985] ppid=10971 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/10974/task/10985/stat : 10985 (java) S 10971 10974 8273 0 -1 4202560 1487 0 0 0 260 21 0 0 20 0 22 0 104881128 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092216842472 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10986] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10986/stat : 10986 (java) S 10971 10974 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104881129 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092215788536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10987] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10987/stat : 10987 (java) S 10971 10974 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104881129 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092214736136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10988] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10988/stat : 10988 (java) S 10971 10974 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104881131 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092213684624 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10989] ppid=10971 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/10974/task/10989/stat : 10989 (java) S 10971 10974 8273 0 -1 4202560 12554 0 0 0 201 3 0 0 20 0 22 0 104881131 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092212632248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10990] ppid=10971 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/10974/task/10990/stat : 10990 (java) S 10971 10974 8273 0 -1 4202560 10027 0 0 0 183 2 0 0 20 0 22 0 104881131 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092211579448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10991] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10991/stat : 10991 (java) S 10971 10974 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104881131 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092210527352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10992] ppid=10971 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/10974/task/10992/stat : 10992 (java) S 10971 10974 8273 0 -1 4202560 47 0 0 0 12 22 0 0 20 0 22 0 104881131 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092209474760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=10974/tid=10993] ppid=10971 vsize=9824732 CPUtime=814.28 cores=1,3,5,7
/proc/10974/task/10993/stat : 10993 (java) R 10971 10974 8273 0 -1 4202560 439 0 0 0 81411 17 0 0 20 0 22 0 104881183 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092208417352 140092254308711 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10994] ppid=10971 vsize=9824732 CPUtime=814.31 cores=1,3,5,7
/proc/10974/task/10994/stat : 10994 (java) R 10971 10974 8273 0 -1 4202560 2054 0 0 0 81386 45 0 0 20 0 22 0 104881183 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092207365312 140092254805282 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10995] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10995/stat : 10995 (java) S 10971 10974 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104881187 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092206314664 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10974/tid=10996] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10996/stat : 10996 (java) S 10971 10974 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104881187 10060525568 289495 33554432000 1073741824 1073778376 140734717907104 140092205261864 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1651.04
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.15 4.22 4.30 5/221 11153
/proc/meminfo: memFree=28341204/32872528 swapFree=15540/1663004
[pid=10974] ppid=10971 vsize=9824732 CPUtime=1770.98 cores=1,3,5,7
/proc/10974/stat : 10974 (java) S 10971 10974 8273 0 -1 4202496 35454 0 1 0 176924 174 0 0 20 0 22 0 104881125 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140734717898240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 2456183 312436 2293 9 0 2446860 0
[pid=10974/tid=10976] ppid=10971 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (java) S 10971 10974 8273 0 -1 4202560 2482 0 1 0 55 4 0 0 20 0 22 0 104881126 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092392706936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (java) S 10971 10974 8273 0 -1 4202560 376 0 0 0 179 9 0 0 20 0 22 0 104881127 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092236622120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10978] ppid=10971 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/10974/task/10978/stat : 10978 (java) S 10971 10974 8273 0 -1 4202560 486 0 0 0 192 9 0 0 20 0 22 0 104881127 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092235569320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10974/tid=10979] ppid=10971 vsize=9824732 CPUtime=1.98 cores=1,3,5,7
/proc/10974/task/10979/stat : 10979 (java) S 10971 10974 8273 0 -1 4202560 489 0 0 0 187 11 0 0 20 0 22 0 104881127 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092234517032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10974/tid=10980] ppid=10971 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/10974/task/10980/stat : 10980 (java) S 10971 10974 8273 0 -1 4202560 506 0 0 0 191 12 0 0 20 0 22 0 104881127 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092233464232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10981] ppid=10971 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/10974/task/10981/stat : 10981 (java) S 10971 10974 8273 0 -1 4202560 555 0 0 0 190 13 0 0 20 0 22 0 104881127 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092232411944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10982] ppid=10971 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/10974/task/10982/stat : 10982 (java) S 10971 10974 8273 0 -1 4202560 565 0 0 0 210 13 0 0 20 0 22 0 104881127 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092231359144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10983] ppid=10971 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/10974/task/10983/stat : 10983 (java) S 10971 10974 8273 0 -1 4202560 546 0 0 0 196 12 0 0 20 0 22 0 104881127 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092230306856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10984] ppid=10971 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/10974/task/10984/stat : 10984 (java) S 10971 10974 8273 0 -1 4202560 704 0 0 0 187 13 0 0 20 0 22 0 104881127 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092229254056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10985] ppid=10971 vsize=9824732 CPUtime=3.36 cores=1,3,5,7
/proc/10974/task/10985/stat : 10985 (java) S 10971 10974 8273 0 -1 4202560 1621 0 0 0 312 24 0 0 20 0 22 0 104881128 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092216842472 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10986] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10986/stat : 10986 (java) S 10971 10974 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104881129 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092215788536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10987] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10987/stat : 10987 (java) S 10971 10974 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104881129 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092214736136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10988] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10988/stat : 10988 (java) S 10971 10974 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104881131 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092213684624 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10989] ppid=10971 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/10974/task/10989/stat : 10989 (java) S 10971 10974 8273 0 -1 4202560 12554 0 0 0 201 3 0 0 20 0 22 0 104881131 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092212632248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10990] ppid=10971 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/10974/task/10990/stat : 10990 (java) S 10971 10974 8273 0 -1 4202560 10027 0 0 0 183 2 0 0 20 0 22 0 104881131 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092211579448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10991] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10991/stat : 10991 (java) S 10971 10974 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104881131 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092210527352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10992] ppid=10971 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/10974/task/10992/stat : 10992 (java) S 10971 10974 8273 0 -1 4202560 51 0 0 0 13 24 0 0 20 0 22 0 104881131 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092209474760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=10974/tid=10993] ppid=10971 vsize=9824732 CPUtime=873.38 cores=1,3,5,7
/proc/10974/task/10993/stat : 10993 (java) R 10971 10974 8273 0 -1 4202560 454 0 0 0 87320 18 0 0 20 0 22 0 104881183 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092208417328 140092254308711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10994] ppid=10971 vsize=9824732 CPUtime=873.42 cores=1,3,5,7
/proc/10974/task/10994/stat : 10994 (java) R 10971 10974 8273 0 -1 4202560 2773 0 0 0 87295 47 0 0 20 0 22 0 104881183 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092207365432 140092254211192 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10995] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10995/stat : 10995 (java) S 10971 10974 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104881187 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092206314664 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10974/tid=10996] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10996/stat : 10996 (java) S 10971 10974 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104881187 10060525568 312436 33554432000 1073741824 1073778376 140734717907104 140092205261864 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1770.98
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+896.801 s]
/proc/loadavg: 4.12 4.21 4.29 5/221 11153
/proc/meminfo: memFree=28358752/32872528 swapFree=15540/1663004
[pid=10974] ppid=10971 vsize=9824732 CPUtime=1800.02 cores=1,3,5,7
/proc/10974/stat : 10974 (java) S 10971 10974 8273 0 -1 4202496 35465 0 1 0 179827 175 0 0 20 0 22 0 104881125 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140734717898240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 2456183 307825 2293 9 0 2446860 0
[pid=10974/tid=10976] ppid=10971 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (java) S 10971 10974 8273 0 -1 4202560 2482 0 1 0 55 4 0 0 20 0 22 0 104881126 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092392706936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (java) S 10971 10974 8273 0 -1 4202560 376 0 0 0 180 9 0 0 20 0 22 0 104881127 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092236622120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10978] ppid=10971 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/10974/task/10978/stat : 10978 (java) S 10971 10974 8273 0 -1 4202560 488 0 0 0 196 9 0 0 20 0 22 0 104881127 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092235569320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10979] ppid=10971 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/10974/task/10979/stat : 10979 (java) S 10971 10974 8273 0 -1 4202560 489 0 0 0 188 12 0 0 20 0 22 0 104881127 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092234517032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10980] ppid=10971 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/10974/task/10980/stat : 10980 (java) S 10971 10974 8273 0 -1 4202560 506 0 0 0 194 12 0 0 20 0 22 0 104881127 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092233464232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10981] ppid=10971 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/10974/task/10981/stat : 10981 (java) S 10971 10974 8273 0 -1 4202560 558 0 0 0 193 13 0 0 20 0 22 0 104881127 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092232411944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10982] ppid=10971 vsize=9824732 CPUtime=2.26 cores=1,3,5,7
/proc/10974/task/10982/stat : 10982 (java) S 10971 10974 8273 0 -1 4202560 567 0 0 0 213 13 0 0 20 0 22 0 104881127 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092231359144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10983] ppid=10971 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/10974/task/10983/stat : 10983 (java) S 10971 10974 8273 0 -1 4202560 546 0 0 0 200 12 0 0 20 0 22 0 104881127 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092230306856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10984] ppid=10971 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/10974/task/10984/stat : 10984 (java) S 10971 10974 8273 0 -1 4202560 704 0 0 0 189 13 0 0 20 0 22 0 104881127 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092229254056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10985] ppid=10971 vsize=9824732 CPUtime=3.36 cores=1,3,5,7
/proc/10974/task/10985/stat : 10985 (java) S 10971 10974 8273 0 -1 4202560 1621 0 0 0 312 24 0 0 20 0 22 0 104881128 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092216842472 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10986] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10986/stat : 10986 (java) S 10971 10974 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104881129 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092215788536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10987] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10987/stat : 10987 (java) S 10971 10974 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104881129 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092214736136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10988] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10988/stat : 10988 (java) S 10971 10974 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104881131 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092213684624 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10989] ppid=10971 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/10974/task/10989/stat : 10989 (java) S 10971 10974 8273 0 -1 4202560 12554 0 0 0 201 3 0 0 20 0 22 0 104881131 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092212632248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10990] ppid=10971 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/10974/task/10990/stat : 10990 (java) S 10971 10974 8273 0 -1 4202560 10027 0 0 0 183 2 0 0 20 0 22 0 104881131 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092211579448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10991] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10991/stat : 10991 (java) S 10971 10974 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104881131 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092210527352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10992] ppid=10971 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/10974/task/10992/stat : 10992 (java) S 10971 10974 8273 0 -1 4202560 51 0 0 0 13 24 0 0 20 0 22 0 104881131 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092209474760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=10974/tid=10993] ppid=10971 vsize=9824732 CPUtime=887.78 cores=1,3,5,7
/proc/10974/task/10993/stat : 10993 (java) R 10971 10974 8273 0 -1 4202560 455 0 0 0 88760 18 0 0 20 0 22 0 104881183 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092208418128 140092254308711 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10994] ppid=10971 vsize=9824732 CPUtime=887.84 cores=1,3,5,7
/proc/10974/task/10994/stat : 10994 (java) R 10971 10974 8273 0 -1 4202560 2776 0 0 0 88737 47 0 0 20 0 22 0 104881183 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092207364336 140092254213922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10974/tid=10995] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10995/stat : 10995 (java) S 10971 10974 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104881187 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092206314664 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10974/tid=10996] ppid=10971 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10996/stat : 10996 (java) S 10971 10974 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104881187 10060525568 307825 33554432000 1073741824 1073778376 140734717907104 140092205261864 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10974 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 896.856
CPU time (s): 1800.71
CPU user time (s): 1798.39
CPU system time (s): 2.32365
CPU usage (%): 200.78
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.39
system time used= 2.32365
maximum resident set size= 2951348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35506
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29654
involuntary context switches= 38966
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13007 second user time and 7.52785 second system time
The end