runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3688523-1337884626/watcher-3688523-1337884626 -o /tmp/evaluation-result-3688523-1337884626/solver-3688523-1337884626 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688523-1337884626.opb
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: 1.92 1.98 1.99 3/192 22990
/proc/meminfo: memFree=28520596/32873844 swapFree=6080/6080
[pid=22990] ppid=22988 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22990/stat : 22990 (java) D 22988 22990 21473 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254591021 9515008 183 33554432000 1073741824 1073778376 140733753509296 140733753500328 226329706165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/22990/statm: 2323 183 140 9 0 71 0
[startup+0.028988 s]
/proc/loadavg: 1.92 1.98 1.99 3/192 22990
/proc/meminfo: memFree=28520596/32873844 swapFree=6080/6080
[pid=22990] ppid=22988 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/22990/stat : 22990 (java) S 22988 22990 21473 0 -1 4202496 2593 0 1 0 0 0 0 0 20 0 10 0 254591021 9233014784 3292 33554432000 1073741824 1073778376 140736437354384 140736437345520 226333065277 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22990/statm: 2254154 3301 1402 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616
[startup+0.100333 s]
/proc/loadavg: 1.92 1.98 1.99 3/192 22990
/proc/meminfo: memFree=28520596/32873844 swapFree=6080/6080
[pid=22990] ppid=22988 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/22990/stat : 22990 (java) S 22988 22990 21473 0 -1 4202496 4155 0 1 0 7 1 0 0 20 0 18 0 254591021 9787813888 5346 33554432000 1073741824 1073778376 140736437354384 140736437345520 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22990/statm: 2389603 5346 2079 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300278 s]
/proc/loadavg: 1.92 1.98 1.99 3/192 22990
/proc/meminfo: memFree=28520596/32873844 swapFree=6080/6080
[pid=22990] ppid=22988 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/22990/stat : 22990 (java) S 22988 22990 21473 0 -1 4202496 5337 0 1 0 42 2 0 0 20 0 19 0 254591021 9855975424 7789 33554432000 1073741824 1073778376 140736437354384 140736437345520 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22990/statm: 2406244 7789 2224 9 0 2396937 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9624976
[startup+0.700232 s]
/proc/loadavg: 1.92 1.98 1.99 3/192 22990
/proc/meminfo: memFree=28520596/32873844 swapFree=6080/6080
[pid=22990] ppid=22988 vsize=9624976 CPUtime=1.12 cores=1,3,5,7
/proc/22990/stat : 22990 (java) S 22988 22990 21473 0 -1 4202496 7856 0 1 0 110 2 0 0 20 0 19 0 254591021 9855975424 8916 33554432000 1073741824 1073778376 140736437354384 140736437345520 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22990/statm: 2406244 8916 2240 9 0 2396937 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 9624976
[startup+1.5006 s]
/proc/loadavg: 1.92 1.98 1.99 3/211 23009
/proc/meminfo: memFree=28493640/32873844 swapFree=6080/6080
[pid=22990] ppid=22988 vsize=9624976 CPUtime=1.96 cores=1,3,5,7
/proc/22990/stat : 22990 (java) S 22988 22990 21473 0 -1 4202496 7954 0 1 0 194 2 0 0 20 0 19 0 254591021 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 140736437345520 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22990/statm: 2406244 11010 2268 9 0 2396937 0
[pid=22990/tid=22992] ppid=22988 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/22990/task/22992/stat : 22992 (java) R 22988 22990 21473 0 -1 4202560 2492 0 1 0 143 1 0 0 20 0 19 0 254591022 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 139873010819400 139872875057585 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=22993] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22993/stat : 22993 (java) S 22988 22990 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 139872999881000 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=22994] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22994/stat : 22994 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 139872998828200 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=22995] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22995/stat : 22995 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 139872997775912 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22990/tid=22996] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22996/stat : 22996 (java) S 22988 22990 21473 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 139872996723112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=22997] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22997/stat : 22997 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 139872995670824 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=22998] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22998/stat : 22998 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 139872994618024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=22999] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22999/stat : 22999 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 139872993565736 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23000] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23000/stat : 23000 (java) S 22988 22990 21473 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 139872846953384 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=23001] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23001/stat : 23001 (java) S 22988 22990 21473 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 254591025 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 139872834754792 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=23002] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23002/stat : 23002 (java) S 22988 22990 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254591025 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 139872833700856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23003] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23003/stat : 23003 (java) S 22988 22990 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254591025 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 139872832648456 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23004] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23004/stat : 23004 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591028 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 139872831596944 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23005] ppid=22988 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22990/task/23005/stat : 23005 (java) R 22988 22990 21473 0 -1 4202560 2288 0 0 0 27 0 0 0 20 0 19 0 254591028 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 139872830544568 226333090229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23006] ppid=22988 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/22990/task/23006/stat : 23006 (java) S 22988 22990 21473 0 -1 4202560 1934 0 0 0 18 0 0 0 20 0 19 0 254591028 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 139872829491768 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=23007] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23007/stat : 23007 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591028 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 139872828439672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=23008] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23008/stat : 23008 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591028 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 139872827387080 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23009] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23009/stat : 23009 (java) S 22988 22990 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254591048 9855975424 11010 33554432000 1073741824 1073778376 140736437354384 139872826332072 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 9624976
[startup+3.10065 s]
/proc/loadavg: 1.92 1.98 1.99 3/211 23009
/proc/meminfo: memFree=28482780/32873844 swapFree=6080/6080
[pid=22990] ppid=22988 vsize=9624976 CPUtime=3.61 cores=1,3,5,7
/proc/22990/stat : 22990 (java) S 22988 22990 21473 0 -1 4202496 7974 0 1 0 359 2 0 0 20 0 19 0 254591021 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 140736437345520 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22990/statm: 2406244 12049 2271 9 0 2396937 0
[pid=22990/tid=22992] ppid=22988 vsize=9624976 CPUtime=3.02 cores=1,3,5,7
/proc/22990/task/22992/stat : 22992 (java) R 22988 22990 21473 0 -1 4202560 2493 0 1 0 301 1 0 0 20 0 19 0 254591022 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 139873010819360 139872875057259 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=22993] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22993/stat : 22993 (java) S 22988 22990 21473 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 139872999881000 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=22994] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22994/stat : 22994 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 139872998828200 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=22995] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22995/stat : 22995 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 139872997775912 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22990/tid=22996] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22996/stat : 22996 (java) S 22988 22990 21473 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 139872996723112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=22997] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22997/stat : 22997 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 139872995670824 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=22998] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22998/stat : 22998 (java) S 22988 22990 21473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 139872994618024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22990/tid=22999] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22999/stat : 22999 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 139872993565736 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=23000] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23000/stat : 23000 (java) S 22988 22990 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 139872846953384 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=23001] ppid=22988 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/22990/task/23001/stat : 23001 (java) S 22988 22990 21473 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 254591025 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 139872834754792 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23002] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23002/stat : 23002 (java) S 22988 22990 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254591025 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 139872833700856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23003] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23003/stat : 23003 (java) S 22988 22990 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254591025 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 139872832648456 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23004] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23004/stat : 23004 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591028 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 139872831596944 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23005] ppid=22988 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/22990/task/23005/stat : 23005 (java) S 22988 22990 21473 0 -1 4202560 2292 0 0 0 30 0 0 0 20 0 19 0 254591028 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 139872830544568 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23006] ppid=22988 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/22990/task/23006/stat : 23006 (java) S 22988 22990 21473 0 -1 4202560 1938 0 0 0 20 0 0 0 20 0 19 0 254591028 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 139872829491768 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=23007] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23007/stat : 23007 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591028 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 139872828439672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=23008] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23008/stat : 23008 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591028 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 139872827387080 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=23009] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23009/stat : 23009 (java) S 22988 22990 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254591048 9855975424 12049 33554432000 1073741824 1073778376 140736437354384 139872826332072 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 9624976
[startup+6.30078 s]
/proc/loadavg: 1.93 1.98 1.99 3/211 23009
/proc/meminfo: memFree=28483228/32873844 swapFree=6080/6080
[pid=22990] ppid=22988 vsize=9624976 CPUtime=6.86 cores=1,3,5,7
/proc/22990/stat : 22990 (java) S 22988 22990 21473 0 -1 4202496 8718 0 1 0 684 2 0 0 20 0 19 0 254591021 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 140736437345520 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22990/statm: 2406244 11201 2271 9 0 2396937 0
[pid=22990/tid=22992] ppid=22988 vsize=9624976 CPUtime=6.17 cores=1,3,5,7
/proc/22990/task/22992/stat : 22992 (java) R 22988 22990 21473 0 -1 4202560 2496 0 1 0 616 1 0 0 20 0 19 0 254591022 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 139873010819360 139872874797031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=22993] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22993/stat : 22993 (java) S 22988 22990 21473 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 139872999881000 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=22994] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22994/stat : 22994 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 139872998828200 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=22995] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22995/stat : 22995 (java) S 22988 22990 21473 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 139872997775912 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=22996] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22996/stat : 22996 (java) S 22988 22990 21473 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 139872996723112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=22997] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22997/stat : 22997 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 139872995670824 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=22998] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22998/stat : 22998 (java) S 22988 22990 21473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 139872994618024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=22999] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/22999/stat : 22999 (java) S 22988 22990 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 139872993565736 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=23000] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23000/stat : 23000 (java) S 22988 22990 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254591023 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 139872846953384 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22990/tid=23001] ppid=22988 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/22990/task/23001/stat : 23001 (java) S 22988 22990 21473 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 19 0 254591025 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 139872834754792 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23002] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23002/stat : 23002 (java) S 22988 22990 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254591025 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 139872833700856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23003] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23003/stat : 23003 (java) S 22988 22990 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254591025 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 139872832648456 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23004] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23004/stat : 23004 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591028 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 139872831596944 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23005] ppid=22988 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/22990/task/23005/stat : 23005 (java) S 22988 22990 21473 0 -1 4202560 3020 0 0 0 34 0 0 0 20 0 19 0 254591028 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 139872830544568 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23006] ppid=22988 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/22990/task/23006/stat : 23006 (java) S 22988 22990 21473 0 -1 4202560 1938 0 0 0 20 0 0 0 20 0 19 0 254591028 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 139872829491768 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=23007] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23007/stat : 23007 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591028 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 139872828439672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=23008] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23008/stat : 23008 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591028 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 139872827387080 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=23009] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23009/stat : 23009 (java) S 22988 22990 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254591048 9855975424 11201 33554432000 1073741824 1073778376 140736437354384 139872826332072 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.86
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=22990/tid=23005] ppid=22988 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/22990/task/23005/stat : 23005 (java) S 22988 22990 21473 0 -1 4202560 3189 0 0 0 37 0 0 0 20 0 19 0 254591028 9855975424 44490 33554432000 1073741824 1073778376 140736437354384 139872830544568 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23006] ppid=22988 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/22990/task/23006/stat : 23006 (java) S 22988 22990 21473 0 -1 4202560 1938 0 0 0 20 0 0 0 20 0 19 0 254591028 9855975424 44490 33554432000 1073741824 1073778376 140736437354384 139872829491768 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=23007] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23007/stat : 23007 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591028 9855975424 44490 33554432000 1073741824 1073778376 140736437354384 139872828439672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=23008] ppid=22988 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/22990/task/23008/stat : 23008 (java) S 22988 22990 21473 0 -1 4202560 100 0 0 0 28 17 0 0 20 0 19 0 254591028 9855975424 44490 33554432000 1073741824 1073778376 140736437354384 139872827387080 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=23009] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23009/stat : 23009 (java) S 22988 22990 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254591048 9855975424 44490 33554432000 1073741824 1073778376 140736437354384 139872826332072 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/211 23106
/proc/meminfo: memFree=28411804/32873844 swapFree=6080/6080
[pid=22990] ppid=22988 vsize=9624976 CPUtime=1786.2 cores=1,3,5,7
/proc/22990/stat : 22990 (java) S 22988 22990 21473 0 -1 4202496 11241 0 1 0 178586 34 0 0 20 0 19 0 254591021 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 140736437345520 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22990/statm: 2406244 45553 2272 9 0 2396937 0
[pid=22990/tid=22992] ppid=22988 vsize=9624976 CPUtime=1769.24 cores=1,3,5,7
/proc/22990/task/22992/stat : 22992 (java) R 22988 22990 21473 0 -1 4202560 2655 0 1 0 176895 29 0 0 20 0 19 0 254591022 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139873010819360 139872875036179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=22993] ppid=22988 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/22990/task/22993/stat : 22993 (java) S 22988 22990 21473 0 -1 4202560 370 0 0 0 62 0 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872999881000 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22990/tid=22994] ppid=22988 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/22990/task/22994/stat : 22994 (java) S 22988 22990 21473 0 -1 4202560 129 0 0 0 55 2 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872998828200 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=22995] ppid=22988 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/22990/task/22995/stat : 22995 (java) S 22988 22990 21473 0 -1 4202560 193 0 0 0 59 0 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872997775912 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=22996] ppid=22988 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/22990/task/22996/stat : 22996 (java) S 22988 22990 21473 0 -1 4202560 438 0 0 0 60 1 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872996723112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22990/tid=22997] ppid=22988 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/22990/task/22997/stat : 22997 (java) S 22988 22990 21473 0 -1 4202560 267 0 0 0 56 0 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872995670824 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=22998] ppid=22988 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/22990/task/22998/stat : 22998 (java) S 22988 22990 21473 0 -1 4202560 245 0 0 0 58 0 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872994618024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=22999] ppid=22988 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/22990/task/22999/stat : 22999 (java) S 22988 22990 21473 0 -1 4202560 266 0 0 0 60 1 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872993565736 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=23000] ppid=22988 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/22990/task/23000/stat : 23000 (java) S 22988 22990 21473 0 -1 4202560 106 0 0 0 55 0 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872846953384 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=23001] ppid=22988 vsize=9624976 CPUtime=6.68 cores=1,3,5,7
/proc/22990/task/23001/stat : 23001 (java) S 22988 22990 21473 0 -1 4202560 157 0 0 0 666 2 0 0 20 0 19 0 254591025 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872834754792 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=23002] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23002/stat : 23002 (java) S 22988 22990 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254591025 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872833700856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23003] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23003/stat : 23003 (java) S 22988 22990 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254591025 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872832648456 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23004] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23004/stat : 23004 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591028 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872831596944 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23005] ppid=22988 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/22990/task/23005/stat : 23005 (java) S 22988 22990 21473 0 -1 4202560 3189 0 0 0 37 0 0 0 20 0 19 0 254591028 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872830544568 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23006] ppid=22988 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/22990/task/23006/stat : 23006 (java) S 22988 22990 21473 0 -1 4202560 1938 0 0 0 20 0 0 0 20 0 19 0 254591028 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872829491768 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=23007] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23007/stat : 23007 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591028 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872828439672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=23008] ppid=22988 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/22990/task/23008/stat : 23008 (java) S 22988 22990 21473 0 -1 4202560 102 0 0 0 29 18 0 0 20 0 19 0 254591028 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872827387080 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23009] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23009/stat : 23009 (java) S 22988 22990 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254591048 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872826332072 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.2
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.1 s]
/proc/loadavg: 1.96 1.98 1.99 3/211 23106
/proc/meminfo: memFree=28411680/32873844 swapFree=6080/6080
[pid=22990] ppid=22988 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7
/proc/22990/stat : 22990 (java) S 22988 22990 21473 0 -1 4202496 11243 0 1 0 179966 35 0 0 20 0 19 0 254591021 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 140736437345520 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22990/statm: 2406244 45553 2272 9 0 2396937 0
[pid=22990/tid=22992] ppid=22988 vsize=9624976 CPUtime=1783.01 cores=1,3,5,7
/proc/22990/task/22992/stat : 22992 (java) R 22988 22990 21473 0 -1 4202560 2655 0 1 0 178271 30 0 0 20 0 19 0 254591022 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139873010819360 139872875146612 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=22993] ppid=22988 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/22990/task/22993/stat : 22993 (java) S 22988 22990 21473 0 -1 4202560 370 0 0 0 62 0 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872999881000 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22990/tid=22994] ppid=22988 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/22990/task/22994/stat : 22994 (java) S 22988 22990 21473 0 -1 4202560 129 0 0 0 55 2 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872998828200 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=22995] ppid=22988 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/22990/task/22995/stat : 22995 (java) S 22988 22990 21473 0 -1 4202560 193 0 0 0 59 0 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872997775912 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=22996] ppid=22988 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/22990/task/22996/stat : 22996 (java) S 22988 22990 21473 0 -1 4202560 438 0 0 0 60 1 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872996723112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22990/tid=22997] ppid=22988 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/22990/task/22997/stat : 22997 (java) S 22988 22990 21473 0 -1 4202560 267 0 0 0 56 0 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872995670824 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=22998] ppid=22988 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/22990/task/22998/stat : 22998 (java) S 22988 22990 21473 0 -1 4202560 245 0 0 0 58 0 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872994618024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=22999] ppid=22988 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/22990/task/22999/stat : 22999 (java) S 22988 22990 21473 0 -1 4202560 266 0 0 0 60 1 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872993565736 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=23000] ppid=22988 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/22990/task/23000/stat : 23000 (java) S 22988 22990 21473 0 -1 4202560 106 0 0 0 55 0 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872846953384 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=23001] ppid=22988 vsize=9624976 CPUtime=6.68 cores=1,3,5,7
/proc/22990/task/23001/stat : 23001 (java) S 22988 22990 21473 0 -1 4202560 157 0 0 0 666 2 0 0 20 0 19 0 254591025 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872834754792 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=23002] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23002/stat : 23002 (java) S 22988 22990 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254591025 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872833700856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23003] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23003/stat : 23003 (java) S 22988 22990 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254591025 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872832648456 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23004] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23004/stat : 23004 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591028 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872831596944 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23005] ppid=22988 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/22990/task/23005/stat : 23005 (java) S 22988 22990 21473 0 -1 4202560 3189 0 0 0 37 0 0 0 20 0 19 0 254591028 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872830544568 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23006] ppid=22988 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/22990/task/23006/stat : 23006 (java) S 22988 22990 21473 0 -1 4202560 1938 0 0 0 20 0 0 0 20 0 19 0 254591028 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872829491768 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=23007] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23007/stat : 23007 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591028 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872828439672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=23008] ppid=22988 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/22990/task/23008/stat : 23008 (java) S 22988 22990 21473 0 -1 4202560 104 0 0 0 29 18 0 0 20 0 19 0 254591028 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872827387080 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=23009] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23009/stat : 23009 (java) S 22988 22990 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254591048 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872826332072 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.1 s]
/proc/loadavg: 1.96 1.98 1.99 3/211 23106
/proc/meminfo: memFree=28411680/32873844 swapFree=6080/6080
[pid=22990] ppid=22988 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7
/proc/22990/stat : 22990 (java) S 22988 22990 21473 0 -1 4202496 11243 0 1 0 179966 35 0 0 20 0 19 0 254591021 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 140736437345520 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22990/statm: 2406244 45553 2272 9 0 2396937 0
[pid=22990/tid=22992] ppid=22988 vsize=9624976 CPUtime=1783.01 cores=1,3,5,7
/proc/22990/task/22992/stat : 22992 (java) R 22988 22990 21473 0 -1 4202560 2655 0 1 0 178271 30 0 0 20 0 19 0 254591022 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139873010819360 139872875146612 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=22993] ppid=22988 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/22990/task/22993/stat : 22993 (java) S 22988 22990 21473 0 -1 4202560 370 0 0 0 62 0 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872999881000 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22990/tid=22994] ppid=22988 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/22990/task/22994/stat : 22994 (java) S 22988 22990 21473 0 -1 4202560 129 0 0 0 55 2 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872998828200 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=22995] ppid=22988 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/22990/task/22995/stat : 22995 (java) S 22988 22990 21473 0 -1 4202560 193 0 0 0 59 0 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872997775912 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=22996] ppid=22988 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/22990/task/22996/stat : 22996 (java) S 22988 22990 21473 0 -1 4202560 438 0 0 0 60 1 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872996723112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22990/tid=22997] ppid=22988 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/22990/task/22997/stat : 22997 (java) S 22988 22990 21473 0 -1 4202560 267 0 0 0 56 0 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872995670824 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=22998] ppid=22988 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/22990/task/22998/stat : 22998 (java) S 22988 22990 21473 0 -1 4202560 245 0 0 0 58 0 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872994618024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=22999] ppid=22988 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/22990/task/22999/stat : 22999 (java) S 22988 22990 21473 0 -1 4202560 266 0 0 0 60 1 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872993565736 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=23000] ppid=22988 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/22990/task/23000/stat : 23000 (java) S 22988 22990 21473 0 -1 4202560 106 0 0 0 55 0 0 0 20 0 19 0 254591023 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872846953384 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=23001] ppid=22988 vsize=9624976 CPUtime=6.68 cores=1,3,5,7
/proc/22990/task/23001/stat : 23001 (java) S 22988 22990 21473 0 -1 4202560 157 0 0 0 666 2 0 0 20 0 19 0 254591025 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872834754792 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=23002] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23002/stat : 23002 (java) S 22988 22990 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254591025 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872833700856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23003] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23003/stat : 23003 (java) S 22988 22990 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254591025 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872832648456 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23004] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23004/stat : 23004 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591028 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872831596944 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23005] ppid=22988 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/22990/task/23005/stat : 23005 (java) S 22988 22990 21473 0 -1 4202560 3189 0 0 0 37 0 0 0 20 0 19 0 254591028 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872830544568 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22990/tid=23006] ppid=22988 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/22990/task/23006/stat : 23006 (java) S 22988 22990 21473 0 -1 4202560 1938 0 0 0 20 0 0 0 20 0 19 0 254591028 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872829491768 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=23007] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23007/stat : 23007 (java) S 22988 22990 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254591028 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872828439672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22990/tid=23008] ppid=22988 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/22990/task/23008/stat : 23008 (java) S 22988 22990 21473 0 -1 4202560 104 0 0 0 29 18 0 0 20 0 19 0 254591028 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872827387080 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22990/tid=23009] ppid=22988 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22990/task/23009/stat : 23009 (java) S 22988 22990 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254591048 9855975424 45553 33554432000 1073741824 1073778376 140736437354384 139872826332072 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22990 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=109101
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=682896
# CPU time returned by wait4() is 1795.79
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1796.16
CPU time (s): 1800.01
CPU user time (s): 1799.66
CPU system time (s): 0.35
CPU usage (%): 100.215
Max. virtual memory (cumulated for all children) (KiB): 9625292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.11
system time used= 0.682896
maximum resident set size= 182632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11356
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41997
involuntary context switches= 37157
runsolver used 6.34004 second user time and 14.6628 second system time
The end