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-3689402-1337881820/watcher-3689402-1337881820 -o /tmp/evaluation-result-3689402-1337881820/solver-3689402-1337881820 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689402-1337881820.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.45 3.68 3.75 4/198 23981
/proc/meminfo: memFree=28184096/32873844 swapFree=6868/6868
[pid=23981] ppid=23979 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/23981/stat : 23981 (java) D 23979 23981 20082 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 254249117 9515008 182 33554432000 1073741824 1073778376 140736197740512 140736197731544 209097408181 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/23981/statm: 2323 182 140 9 0 71 0
[startup+0.0629059 s]
/proc/loadavg: 3.45 3.68 3.75 4/198 23981
/proc/meminfo: memFree=28184096/32873844 swapFree=6868/6868
[pid=23981] ppid=23979 vsize=9225560 CPUtime=0.04 cores=0,2,4,6
/proc/23981/stat : 23981 (java) S 23979 23981 20082 0 -1 4202496 3074 0 1 0 3 1 0 0 20 0 13 0 254249117 9446973440 3773 33554432000 1073741824 1073778376 140733288260992 140733288252128 209100767293 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23981/statm: 2306390 3773 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560
[startup+0.100258 s]
/proc/loadavg: 3.45 3.68 3.75 4/198 23981
/proc/meminfo: memFree=28184096/32873844 swapFree=6868/6868
[pid=23981] ppid=23979 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/23981/stat : 23981 (java) S 23979 23981 20082 0 -1 4202496 3894 0 1 0 7 1 0 0 20 0 18 0 254249117 9787813888 5102 33554432000 1073741824 1073778376 140733288260992 140733288252128 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23981/statm: 2389603 5110 2035 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300231 s]
/proc/loadavg: 3.45 3.68 3.75 4/198 23981
/proc/meminfo: memFree=28184096/32873844 swapFree=6868/6868
[pid=23981] ppid=23979 vsize=9558412 CPUtime=0.43 cores=0,2,4,6
/proc/23981/stat : 23981 (java) S 23979 23981 20082 0 -1 4202496 5139 0 1 0 41 2 0 0 20 0 18 0 254249117 9787813888 9702 33554432000 1073741824 1073778376 140733288260992 140733288252128 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23981/statm: 2389603 9702 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558412
[startup+0.700239 s]
/proc/loadavg: 3.45 3.68 3.75 4/198 23981
/proc/meminfo: memFree=28184096/32873844 swapFree=6868/6868
[pid=23981] ppid=23979 vsize=9558412 CPUtime=1.34 cores=0,2,4,6
/proc/23981/stat : 23981 (java) S 23979 23981 20082 0 -1 4202496 12097 0 1 0 127 7 0 0 20 0 18 0 254249117 9787813888 44210 33554432000 1073741824 1073778376 140733288260992 140733288252128 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23981/statm: 2389603 44210 2250 9 0 2380296 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9558412
[startup+1.50063 s]
/proc/loadavg: 3.45 3.68 3.75 4/216 23999
/proc/meminfo: memFree=27979340/32873844 swapFree=6868/6868
[pid=23981] ppid=23979 vsize=9558412 CPUtime=2.52 cores=0,2,4,6
/proc/23981/stat : 23981 (java) S 23979 23981 20082 0 -1 4202496 12752 0 1 0 235 17 0 0 20 0 18 0 254249117 9787813888 92079 33554432000 1073741824 1073778376 140733288260992 140733288252128 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23981/statm: 2389603 92079 2250 9 0 2380296 0
[pid=23981/tid=23983] ppid=23979 vsize=9558412 CPUtime=1.36 cores=0,2,4,6
/proc/23981/task/23983/stat : 23983 (java) S 23979 23981 20082 0 -1 4202560 2569 0 1 0 130 6 0 0 20 0 18 0 254249119 9787813888 92079 33554432000 1073741824 1073778376 140733288260992 140685201894424 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23984] ppid=23979 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/23981/task/23984/stat : 23984 (java) R 23979 23981 20082 0 -1 4202560 47 0 0 0 3 1 0 0 20 0 18 0 254249120 9787813888 92079 33554432000 1073741824 1073778376 140733288260992 140685163387304 209097362567 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23985] ppid=23979 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/23981/task/23985/stat : 23985 (java) R 23979 23981 20082 0 -1 4202560 46 0 0 0 4 2 0 0 20 0 18 0 254249120 9787813888 92079 33554432000 1073741824 1073778376 140733288260992 140685162334760 209097362567 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23986] ppid=23979 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/23981/task/23986/stat : 23986 (java) R 23979 23981 20082 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 18 0 254249120 9787813888 92079 33554432000 1073741824 1073778376 140733288260992 140685161281832 209097362567 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23987] ppid=23979 vsize=9558412 CPUtime=0.03 cores=0,2,4,6
/proc/23981/task/23987/stat : 23987 (java) R 23979 23981 20082 0 -1 4202560 27 0 0 0 2 1 0 0 20 0 18 0 254249120 9787813888 92079 33554432000 1073741824 1073778376 140733288260992 140685160229336 140685204367033 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=23981/tid=23988] ppid=23979 vsize=9558412 CPUtime=0.01 cores=0,2,4,6
/proc/23981/task/23988/stat : 23988 (java) R 23979 23981 20082 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 254249120 9787813888 92079 33554432000 1073741824 1073778376 140733288260992 140685159177256 209097362567 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=23981/tid=23989] ppid=23979 vsize=9558412 CPUtime=0.03 cores=0,2,4,6
/proc/23981/task/23989/stat : 23989 (java) R 23979 23981 20082 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 18 0 254249120 9787813888 92079 33554432000 1073741824 1073778376 140733288260992 140685158124760 140685206071471 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=23981/tid=23990] ppid=23979 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/23981/task/23990/stat : 23990 (java) R 23979 23981 20082 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 18 0 254249120 9787813888 92079 33554432000 1073741824 1073778376 140733288260992 140685157071704 140685209941152 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=23981/tid=23991] ppid=23979 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/23981/task/23991/stat : 23991 (java) R 23979 23981 20082 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 18 0 254249120 9787813888 92079 33554432000 1073741824 1073778376 140733288260992 140685156019160 209097362567 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23992] ppid=23979 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23992/stat : 23992 (java) S 23979 23981 20082 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 254249121 9787813888 92079 33554432000 1073741824 1073778376 140733288260992 140685025993992 209100780604 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23993] ppid=23979 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23993/stat : 23993 (java) S 23979 23981 20082 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 254249122 9787813888 92079 33554432000 1073741824 1073778376 140733288260992 140685024941432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23994] ppid=23979 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23994/stat : 23994 (java) S 23979 23981 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 254249122 9787813888 92079 33554432000 1073741824 1073778376 140733288260992 140685023888264 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23995] ppid=23979 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23995/stat : 23995 (java) S 23979 23981 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254249124 9787813888 92079 33554432000 1073741824 1073778376 140733288260992 140685022837008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23996] ppid=23979 vsize=9558412 CPUtime=0.37 cores=0,2,4,6
/proc/23981/task/23996/stat : 23996 (java) S 23979 23981 20082 0 -1 4202560 3231 0 0 0 37 0 0 0 20 0 18 0 254249124 9787813888 92079 33554432000 1073741824 1073778376 140733288260992 140685021784888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23981/tid=23997] ppid=23979 vsize=9558412 CPUtime=0.4 cores=0,2,4,6
/proc/23981/task/23997/stat : 23997 (java) S 23979 23981 20082 0 -1 4202560 5353 0 0 0 38 2 0 0 20 0 18 0 254249124 9787813888 92079 33554432000 1073741824 1073778376 140733288260992 140685020732344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23998] ppid=23979 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23998/stat : 23998 (java) S 23979 23981 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254249124 9787813888 92079 33554432000 1073741824 1073778376 140733288260992 140685019679480 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23999] ppid=23979 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23999/stat : 23999 (java) S 23979 23981 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254249125 9787813888 92079 33554432000 1073741824 1073778376 140733288260992 140685018627144 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 9558412
[startup+3.10069 s]
/proc/loadavg: 3.45 3.68 3.75 4/216 23999
/proc/meminfo: memFree=27615232/32873844 swapFree=6868/6868
[pid=23981] ppid=23979 vsize=9558412 CPUtime=4.53 cores=0,2,4,6
/proc/23981/stat : 23981 (java) S 23979 23981 20082 0 -1 4202496 13363 0 1 0 421 32 0 0 20 0 18 0 254249117 9787813888 169217 33554432000 1073741824 1073778376 140733288260992 140733288252128 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23981/statm: 2389603 169217 2250 9 0 2380296 0
[pid=23981/tid=23983] ppid=23979 vsize=9558412 CPUtime=2.82 cores=0,2,4,6
/proc/23981/task/23983/stat : 23983 (java) R 23979 23981 20082 0 -1 4202560 2680 0 1 0 272 10 0 0 20 0 18 0 254249119 9787813888 169217 33554432000 1073741824 1073778376 140733288260992 140685201887280 140685026414567 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23984] ppid=23979 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/23981/task/23984/stat : 23984 (java) S 23979 23981 20082 0 -1 4202560 56 0 0 0 7 2 0 0 20 0 18 0 254249120 9787813888 169217 33554432000 1073741824 1073778376 140733288260992 140685163387304 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23985] ppid=23979 vsize=9558412 CPUtime=0.15 cores=0,2,4,6
/proc/23981/task/23985/stat : 23985 (java) S 23979 23981 20082 0 -1 4202560 79 0 0 0 11 4 0 0 20 0 18 0 254249120 9787813888 169217 33554432000 1073741824 1073778376 140733288260992 140685162334760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23986] ppid=23979 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/23981/task/23986/stat : 23986 (java) S 23979 23981 20082 0 -1 4202560 55 0 0 0 6 2 0 0 20 0 18 0 254249120 9787813888 169217 33554432000 1073741824 1073778376 140733288260992 140685161281704 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23987] ppid=23979 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/23981/task/23987/stat : 23987 (java) S 23979 23981 20082 0 -1 4202560 49 0 0 0 5 2 0 0 20 0 18 0 254249120 9787813888 169217 33554432000 1073741824 1073778376 140733288260992 140685160229160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23988] ppid=23979 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/23981/task/23988/stat : 23988 (java) S 23979 23981 20082 0 -1 4202560 48 0 0 0 8 3 0 0 20 0 18 0 254249120 9787813888 169217 33554432000 1073741824 1073778376 140733288260992 140685159177128 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23989] ppid=23979 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/23981/task/23989/stat : 23989 (java) S 23979 23981 20082 0 -1 4202560 52 0 0 0 5 2 0 0 20 0 18 0 254249120 9787813888 169217 33554432000 1073741824 1073778376 140733288260992 140685158124584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23990] ppid=23979 vsize=9558412 CPUtime=0.12 cores=0,2,4,6
/proc/23981/task/23990/stat : 23990 (java) S 23979 23981 20082 0 -1 4202560 58 0 0 0 9 3 0 0 20 0 18 0 254249120 9787813888 169217 33554432000 1073741824 1073778376 140733288260992 140685157071528 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23991] ppid=23979 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/23981/task/23991/stat : 23991 (java) S 23979 23981 20082 0 -1 4202560 47 0 0 0 7 2 0 0 20 0 18 0 254249120 9787813888 169217 33554432000 1073741824 1073778376 140733288260992 140685156018984 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23992] ppid=23979 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23992/stat : 23992 (java) S 23979 23981 20082 0 -1 4202560 480 0 0 0 0 0 0 0 20 0 18 0 254249121 9787813888 169217 33554432000 1073741824 1073778376 140733288260992 140685025995112 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23981/tid=23993] ppid=23979 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23993/stat : 23993 (java) S 23979 23981 20082 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 254249122 9787813888 169217 33554432000 1073741824 1073778376 140733288260992 140685024941432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23994] ppid=23979 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23994/stat : 23994 (java) S 23979 23981 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 254249122 9787813888 169217 33554432000 1073741824 1073778376 140733288260992 140685023888264 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23995] ppid=23979 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23995/stat : 23995 (java) S 23979 23981 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254249124 9787813888 169217 33554432000 1073741824 1073778376 140733288260992 140685022837008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23996] ppid=23979 vsize=9558412 CPUtime=0.37 cores=0,2,4,6
/proc/23981/task/23996/stat : 23996 (java) S 23979 23981 20082 0 -1 4202560 3231 0 0 0 37 0 0 0 20 0 18 0 254249124 9787813888 169217 33554432000 1073741824 1073778376 140733288260992 140685021784888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23981/tid=23997] ppid=23979 vsize=9558412 CPUtime=0.41 cores=0,2,4,6
/proc/23981/task/23997/stat : 23997 (java) S 23979 23981 20082 0 -1 4202560 5353 0 0 0 39 2 0 0 20 0 18 0 254249124 9787813888 169217 33554432000 1073741824 1073778376 140733288260992 140685020732344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23998] ppid=23979 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23998/stat : 23998 (java) S 23979 23981 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254249124 9787813888 169217 33554432000 1073741824 1073778376 140733288260992 140685019679480 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23999] ppid=23979 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23999/stat : 23999 (java) S 23979 23981 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254249125 9787813888 169217 33554432000 1073741824 1073778376 140733288260992 140685018627144 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 9558412
[startup+6.30077 s]
/proc/loadavg: 3.41 3.67 3.75 4/216 23999
/proc/meminfo: memFree=26870820/32873844 swapFree=6868/6868
[pid=23981] ppid=23979 vsize=9558412 CPUtime=8.43 cores=0,2,4,6
/proc/23981/stat : 23981 (java) S 23979 23981 20082 0 -1 4202496 15527 0 1 0 782 61 0 0 20 0 18 0 254249117 9787813888 330857 33554432000 1073741824 1073778376 140733288260992 140733288252128 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23981/statm: 2389603 330857 2250 9 0 2380296 0
[pid=23981/tid=23983] ppid=23979 vsize=9558412 CPUtime=5.76 cores=0,2,4,6
/proc/23981/task/23983/stat : 23983 (java) R 23979 23981 20082 0 -1 4202560 3375 0 1 0 557 19 0 0 20 0 18 0 254249119 9787813888 330857 33554432000 1073741824 1073778376 140733288260992 140685201887056 209100793101 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23984] ppid=23979 vsize=9558412 CPUtime=0.23 cores=0,2,4,6
/proc/23981/task/23984/stat : 23984 (java) S 23979 23981 20082 0 -1 4202560 238 0 0 0 18 5 0 0 20 0 18 0 254249120 9787813888 330857 33554432000 1073741824 1073778376 140733288260992 140685163387304 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23981/tid=23985] ppid=23979 vsize=9558412 CPUtime=0.27 cores=0,2,4,6
/proc/23981/task/23985/stat : 23985 (java) S 23979 23981 20082 0 -1 4202560 258 0 0 0 19 8 0 0 20 0 18 0 254249120 9787813888 330857 33554432000 1073741824 1073778376 140733288260992 140685162334760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23986] ppid=23979 vsize=9558412 CPUtime=0.2 cores=0,2,4,6
/proc/23981/task/23986/stat : 23986 (java) S 23979 23981 20082 0 -1 4202560 102 0 0 0 15 5 0 0 20 0 18 0 254249120 9787813888 330857 33554432000 1073741824 1073778376 140733288260992 140685161281704 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23987] ppid=23979 vsize=9558412 CPUtime=0.19 cores=0,2,4,6
/proc/23981/task/23987/stat : 23987 (java) S 23979 23981 20082 0 -1 4202560 210 0 0 0 14 5 0 0 20 0 18 0 254249120 9787813888 330857 33554432000 1073741824 1073778376 140733288260992 140685160229160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23988] ppid=23979 vsize=9558412 CPUtime=0.21 cores=0,2,4,6
/proc/23981/task/23988/stat : 23988 (java) S 23979 23981 20082 0 -1 4202560 118 0 0 0 16 5 0 0 20 0 18 0 254249120 9787813888 330857 33554432000 1073741824 1073778376 140733288260992 140685159177128 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23989] ppid=23979 vsize=9558412 CPUtime=0.18 cores=0,2,4,6
/proc/23981/task/23989/stat : 23989 (java) S 23979 23981 20082 0 -1 4202560 135 0 0 0 15 3 0 0 20 0 18 0 254249120 9787813888 330857 33554432000 1073741824 1073778376 140733288260992 140685158124584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23990] ppid=23979 vsize=9558412 CPUtime=0.25 cores=0,2,4,6
/proc/23981/task/23990/stat : 23990 (java) S 23979 23981 20082 0 -1 4202560 203 0 0 0 19 6 0 0 20 0 18 0 254249120 9787813888 330857 33554432000 1073741824 1073778376 140733288260992 140685157071528 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23991] ppid=23979 vsize=9558412 CPUtime=0.19 cores=0,2,4,6
/proc/23981/task/23991/stat : 23991 (java) S 23979 23981 20082 0 -1 4202560 108 0 0 0 15 4 0 0 20 0 18 0 254249120 9787813888 330857 33554432000 1073741824 1073778376 140733288260992 140685156018984 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23981/tid=23992] ppid=23979 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23992/stat : 23992 (java) S 23979 23981 20082 0 -1 4202560 1021 0 0 0 0 0 0 0 20 0 18 0 254249121 9787813888 330857 33554432000 1073741824 1073778376 140733288260992 140685025995112 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23993] ppid=23979 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23993/stat : 23993 (java) S 23979 23981 20082 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 254249122 9787813888 330857 33554432000 1073741824 1073778376 140733288260992 140685024941432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23994] ppid=23979 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23994/stat : 23994 (java) S 23979 23981 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 254249122 9787813888 330857 33554432000 1073741824 1073778376 140733288260992 140685023888264 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23995] ppid=23979 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23995/stat : 23995 (java) S 23979 23981 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254249124 9787813888 330857 33554432000 1073741824 1073778376 140733288260992 140685022837008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23996] ppid=23979 vsize=9558412 CPUtime=0.37 cores=0,2,4,6
/proc/23981/task/23996/stat : 23996 (java) S 23979 23981 20082 0 -1 4202560 3231 0 0 0 37 0 0 0 20 0 18 0 254249124 9787813888 330857 33554432000 1073741824 1073778376 140733288260992 140685021784888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23981/tid=23997] ppid=23979 vsize=9558412 CPUtime=0.42 cores=0,2,4,6
/proc/23981/task/23997/stat : 23997 (java) S 23979 23981 20082 0 -1 4202560 5353 0 0 0 40 2 0 0 20 0 18 0 254249124 9787813888 330857 33554432000 1073741824 1073778376 140733288260992 140685020732344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23998] ppid=23979 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23998/stat : 23998 (java) S 23979 23981 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254249124 9787813888 330857 33554432000 1073741824 1073778376 140733288260992 140685019679480 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23999] ppid=23979 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23999/stat : 23999 (java) S 23979 23981 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254249125 9787813888 330857 33554432000 1073741824 1073778376 140733288260992 140685018627144 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.43
Current children cumulated vsize (KiB) 9558412
[startup+12.7009 s]
/proc/loadavg: 3.30 3.64 3.74 4/220 24003
/proc/meminfo: memFree=25692816/32873844 swapFree=6868/6868
[pid=23981] ppid=23979 vsize=9824668 CPUtime=22.11 cores=0,2,4,6
/proc/23981/stat : 23981 (java) S 23979 23981 20082 0 -1 4202496 19695 0 1 0 2109 102 0 0 20 0 22 0 254249117 10060460032 628756 33554432000 1073741824 1073778376 140733288260992 140733288252128 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23981/statm: 2456167 628756 2270 9 0 2446860 0
[pid=23981/tid=23983] ppid=23979 vsize=9824668 CPUtime=6.74 cores=0,2,4,6
################
# More data... #
################
/proc/23981/statm: 2456167 823190 2285 9 0 2446860 0
[pid=23981/tid=23983] ppid=23979 vsize=9824668 CPUtime=6.78 cores=0,2,4,6
/proc/23981/task/23983/stat : 23983 (java) S 23979 23981 20082 0 -1 4202560 3868 0 1 0 644 34 0 0 20 0 22 0 254249119 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685201896440 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23984] ppid=23979 vsize=9824668 CPUtime=1.1 cores=0,2,4,6
/proc/23981/task/23984/stat : 23984 (java) S 23979 23981 20082 0 -1 4202560 360 0 0 0 99 11 0 0 20 0 22 0 254249120 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685163387304 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23985] ppid=23979 vsize=9824668 CPUtime=1.29 cores=0,2,4,6
/proc/23981/task/23985/stat : 23985 (java) S 23979 23981 20082 0 -1 4202560 430 0 0 0 113 16 0 0 20 0 22 0 254249120 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685162334760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23986] ppid=23979 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/23981/task/23986/stat : 23986 (java) S 23979 23981 20082 0 -1 4202560 219 0 0 0 92 9 0 0 20 0 22 0 254249120 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685161281704 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23987] ppid=23979 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/23981/task/23987/stat : 23987 (java) S 23979 23981 20082 0 -1 4202560 376 0 0 0 90 8 0 0 20 0 22 0 254249120 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685160229160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23981/tid=23988] ppid=23979 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/23981/task/23988/stat : 23988 (java) S 23979 23981 20082 0 -1 4202560 222 0 0 0 100 8 0 0 20 0 22 0 254249120 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685159177128 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23989] ppid=23979 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/23981/task/23989/stat : 23989 (java) S 23979 23981 20082 0 -1 4202560 241 0 0 0 88 9 0 0 20 0 22 0 254249120 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685158124584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23990] ppid=23979 vsize=9824668 CPUtime=1.16 cores=0,2,4,6
/proc/23981/task/23990/stat : 23990 (java) S 23979 23981 20082 0 -1 4202560 330 0 0 0 106 10 0 0 20 0 22 0 254249120 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685157071528 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23981/tid=23991] ppid=23979 vsize=9824668 CPUtime=1.07 cores=0,2,4,6
/proc/23981/task/23991/stat : 23991 (java) S 23979 23981 20082 0 -1 4202560 184 0 0 0 99 8 0 0 20 0 22 0 254249120 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685156018984 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23992] ppid=23979 vsize=9824668 CPUtime=43.87 cores=0,2,4,6
/proc/23981/task/23992/stat : 23992 (java) S 23979 23981 20082 0 -1 4202560 2162 0 0 0 4373 14 0 0 20 0 22 0 254249121 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685025995112 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23993] ppid=23979 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23993/stat : 23993 (java) S 23979 23981 20082 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254249122 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685024941432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23994] ppid=23979 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23994/stat : 23994 (java) S 23979 23981 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254249122 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685023888264 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23995] ppid=23979 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23995/stat : 23995 (java) S 23979 23981 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254249124 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685022837008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23996] ppid=23979 vsize=9824668 CPUtime=1.26 cores=0,2,4,6
/proc/23981/task/23996/stat : 23996 (java) S 23979 23981 20082 0 -1 4202560 5626 0 0 0 124 2 0 0 20 0 22 0 254249124 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685021784888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23997] ppid=23979 vsize=9824668 CPUtime=1.13 cores=0,2,4,6
/proc/23981/task/23997/stat : 23997 (java) S 23979 23981 20082 0 -1 4202560 5561 0 0 0 110 3 0 0 20 0 22 0 254249124 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685020732344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23998] ppid=23979 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23998/stat : 23998 (java) S 23979 23981 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254249124 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685019679480 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23999] ppid=23979 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/23981/task/23999/stat : 23999 (java) S 23979 23981 20082 0 -1 4202560 47 0 0 0 19 13 0 0 20 0 22 0 254249125 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685018627144 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=24000] ppid=23979 vsize=9824668 CPUtime=767 cores=0,2,4,6
/proc/23981/task/24000/stat : 24000 (java) R 23979 23981 20082 0 -1 4202560 60 0 0 0 76688 12 0 0 20 0 22 0 254249846 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685017570704 140685026996944 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=24001] ppid=23979 vsize=9824668 CPUtime=766.84 cores=0,2,4,6
/proc/23981/task/24001/stat : 24001 (java) R 23979 23981 20082 0 -1 4202560 339 0 0 0 76667 17 0 0 20 0 22 0 254249846 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685016517344 140685026902076 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=24002] ppid=23979 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23981/task/24002/stat : 24002 (java) S 23979 23981 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254249870 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685015466792 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=24003] ppid=23979 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23981/task/24003/stat : 24003 (java) S 23979 23981 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254249870 10060460032 823190 33554432000 1073741824 1073778376 140733288260992 140685014414248 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1600.11
Current children cumulated vsize (KiB) 9824668
[startup+882.307 s]
/proc/loadavg: 3.89 3.90 3.81 5/219 24229
/proc/meminfo: memFree=24186624/32873844 swapFree=6868/6868
[pid=23981] ppid=23979 vsize=9824668 CPUtime=1717.61 cores=0,2,4,6
/proc/23981/stat : 23981 (java) S 23979 23981 20082 0 -1 4202496 21236 0 1 0 171602 159 0 0 20 0 22 0 254249117 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140733288252128 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23981/statm: 2456167 826265 2285 9 0 2446860 0
[pid=23981/tid=23983] ppid=23979 vsize=9824668 CPUtime=6.78 cores=0,2,4,6
/proc/23981/task/23983/stat : 23983 (java) S 23979 23981 20082 0 -1 4202560 3871 0 1 0 644 34 0 0 20 0 22 0 254249119 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685201896440 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23984] ppid=23979 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/23981/task/23984/stat : 23984 (java) S 23979 23981 20082 0 -1 4202560 360 0 0 0 103 11 0 0 20 0 22 0 254249120 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685163387304 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23985] ppid=23979 vsize=9824668 CPUtime=1.33 cores=0,2,4,6
/proc/23981/task/23985/stat : 23985 (java) S 23979 23981 20082 0 -1 4202560 430 0 0 0 117 16 0 0 20 0 22 0 254249120 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685162334760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23981/tid=23986] ppid=23979 vsize=9824668 CPUtime=1.07 cores=0,2,4,6
/proc/23981/task/23986/stat : 23986 (java) S 23979 23981 20082 0 -1 4202560 219 0 0 0 98 9 0 0 20 0 22 0 254249120 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685161281704 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23987] ppid=23979 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/23981/task/23987/stat : 23987 (java) S 23979 23981 20082 0 -1 4202560 376 0 0 0 95 8 0 0 20 0 22 0 254249120 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685160229160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23988] ppid=23979 vsize=9824668 CPUtime=1.12 cores=0,2,4,6
/proc/23981/task/23988/stat : 23988 (java) S 23979 23981 20082 0 -1 4202560 222 0 0 0 104 8 0 0 20 0 22 0 254249120 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685159177128 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23989] ppid=23979 vsize=9824668 CPUtime=1.04 cores=0,2,4,6
/proc/23981/task/23989/stat : 23989 (java) S 23979 23981 20082 0 -1 4202560 241 0 0 0 95 9 0 0 20 0 22 0 254249120 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685158124584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23981/tid=23990] ppid=23979 vsize=9824668 CPUtime=1.23 cores=0,2,4,6
/proc/23981/task/23990/stat : 23990 (java) S 23979 23981 20082 0 -1 4202560 330 0 0 0 113 10 0 0 20 0 22 0 254249120 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685157071528 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23991] ppid=23979 vsize=9824668 CPUtime=1.12 cores=0,2,4,6
/proc/23981/task/23991/stat : 23991 (java) S 23979 23981 20082 0 -1 4202560 186 0 0 0 104 8 0 0 20 0 22 0 254249120 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685156018984 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23992] ppid=23979 vsize=9824668 CPUtime=46.55 cores=0,2,4,6
/proc/23981/task/23992/stat : 23992 (java) S 23979 23981 20082 0 -1 4202560 2173 0 0 0 4640 15 0 0 20 0 22 0 254249121 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685025995112 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23993] ppid=23979 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23993/stat : 23993 (java) S 23979 23981 20082 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254249122 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685024941432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23994] ppid=23979 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23994/stat : 23994 (java) S 23979 23981 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254249122 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685023888264 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23995] ppid=23979 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23995/stat : 23995 (java) S 23979 23981 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254249124 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685022837008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23996] ppid=23979 vsize=9824668 CPUtime=1.26 cores=0,2,4,6
/proc/23981/task/23996/stat : 23996 (java) S 23979 23981 20082 0 -1 4202560 5626 0 0 0 124 2 0 0 20 0 22 0 254249124 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685021784888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23997] ppid=23979 vsize=9824668 CPUtime=1.13 cores=0,2,4,6
/proc/23981/task/23997/stat : 23997 (java) S 23979 23981 20082 0 -1 4202560 5561 0 0 0 110 3 0 0 20 0 22 0 254249124 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685020732344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23998] ppid=23979 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23998/stat : 23998 (java) S 23979 23981 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254249124 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685019679480 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23999] ppid=23979 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/23981/task/23999/stat : 23999 (java) S 23979 23981 20082 0 -1 4202560 51 0 0 0 20 15 0 0 20 0 22 0 254249125 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685018627144 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=24000] ppid=23979 vsize=9824668 CPUtime=824.06 cores=0,2,4,6
/proc/23981/task/24000/stat : 24000 (java) R 23979 23981 20082 0 -1 4202560 60 0 0 0 82393 13 0 0 20 0 22 0 254249846 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685017569888 140685026962474 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=24001] ppid=23979 vsize=9824668 CPUtime=823.87 cores=0,2,4,6
/proc/23981/task/24001/stat : 24001 (java) R 23979 23981 20082 0 -1 4202560 341 0 0 0 82369 18 0 0 20 0 22 0 254249846 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685016519136 140685026977395 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=24002] ppid=23979 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23981/task/24002/stat : 24002 (java) S 23979 23981 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254249870 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685015466792 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=24003] ppid=23979 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23981/task/24003/stat : 24003 (java) S 23979 23981 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254249870 10060460032 826265 33554432000 1073741824 1073778376 140733288260992 140685014414248 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1717.61
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+923.901 s]
/proc/loadavg: 3.87 3.89 3.82 5/219 24229
/proc/meminfo: memFree=24036252/32873844 swapFree=6868/6868
[pid=23981] ppid=23979 vsize=9824668 CPUtime=1800.12 cores=0,2,4,6
/proc/23981/stat : 23981 (java) S 23979 23981 20082 0 -1 4202496 21245 0 1 0 179851 161 0 0 20 0 22 0 254249117 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140733288252128 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23981/statm: 2456167 827801 2285 9 0 2446860 0
[pid=23981/tid=23983] ppid=23979 vsize=9824668 CPUtime=6.78 cores=0,2,4,6
/proc/23981/task/23983/stat : 23983 (java) S 23979 23981 20082 0 -1 4202560 3872 0 1 0 644 34 0 0 20 0 22 0 254249119 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685201896440 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23984] ppid=23979 vsize=9824668 CPUtime=1.17 cores=0,2,4,6
/proc/23981/task/23984/stat : 23984 (java) S 23979 23981 20082 0 -1 4202560 360 0 0 0 106 11 0 0 20 0 22 0 254249120 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685163387304 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23985] ppid=23979 vsize=9824668 CPUtime=1.35 cores=0,2,4,6
/proc/23981/task/23985/stat : 23985 (java) S 23979 23981 20082 0 -1 4202560 430 0 0 0 119 16 0 0 20 0 22 0 254249120 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685162334760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23986] ppid=23979 vsize=9824668 CPUtime=1.09 cores=0,2,4,6
/proc/23981/task/23986/stat : 23986 (java) S 23979 23981 20082 0 -1 4202560 219 0 0 0 100 9 0 0 20 0 22 0 254249120 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685161281704 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23981/tid=23987] ppid=23979 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/23981/task/23987/stat : 23987 (java) S 23979 23981 20082 0 -1 4202560 376 0 0 0 100 8 0 0 20 0 22 0 254249120 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685160229160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23988] ppid=23979 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/23981/task/23988/stat : 23988 (java) S 23979 23981 20082 0 -1 4202560 222 0 0 0 106 8 0 0 20 0 22 0 254249120 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685159177128 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23989] ppid=23979 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/23981/task/23989/stat : 23989 (java) S 23979 23981 20082 0 -1 4202560 241 0 0 0 97 9 0 0 20 0 22 0 254249120 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685158124584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23981/tid=23990] ppid=23979 vsize=9824668 CPUtime=1.26 cores=0,2,4,6
/proc/23981/task/23990/stat : 23990 (java) S 23979 23981 20082 0 -1 4202560 330 0 0 0 116 10 0 0 20 0 22 0 254249120 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685157071528 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23991] ppid=23979 vsize=9824668 CPUtime=1.16 cores=0,2,4,6
/proc/23981/task/23991/stat : 23991 (java) S 23979 23981 20082 0 -1 4202560 186 0 0 0 108 8 0 0 20 0 22 0 254249120 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685156018984 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23981/tid=23992] ppid=23979 vsize=9824668 CPUtime=47.32 cores=0,2,4,6
/proc/23981/task/23992/stat : 23992 (java) S 23979 23981 20082 0 -1 4202560 2178 0 0 0 4716 16 0 0 20 0 22 0 254249121 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685025995112 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23993] ppid=23979 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23993/stat : 23993 (java) S 23979 23981 20082 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254249122 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685024941432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23994] ppid=23979 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23994/stat : 23994 (java) S 23979 23981 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254249122 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685023888264 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23995] ppid=23979 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23995/stat : 23995 (java) S 23979 23981 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254249124 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685022837008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23981/tid=23996] ppid=23979 vsize=9824668 CPUtime=1.26 cores=0,2,4,6
/proc/23981/task/23996/stat : 23996 (java) S 23979 23981 20082 0 -1 4202560 5626 0 0 0 124 2 0 0 20 0 22 0 254249124 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685021784888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23997] ppid=23979 vsize=9824668 CPUtime=1.13 cores=0,2,4,6
/proc/23981/task/23997/stat : 23997 (java) S 23979 23981 20082 0 -1 4202560 5561 0 0 0 110 3 0 0 20 0 22 0 254249124 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685020732344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=23998] ppid=23979 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23981/task/23998/stat : 23998 (java) S 23979 23981 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254249124 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685019679480 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=23999] ppid=23979 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/23981/task/23999/stat : 23999 (java) S 23979 23981 20082 0 -1 4202560 53 0 0 0 20 16 0 0 20 0 22 0 254249125 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685018627144 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=24000] ppid=23979 vsize=9824668 CPUtime=864.71 cores=0,2,4,6
/proc/23981/task/24000/stat : 24000 (java) R 23979 23981 20082 0 -1 4202560 61 0 0 0 86457 14 0 0 20 0 22 0 254249846 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685017571680 140685026902663 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=24001] ppid=23979 vsize=9824668 CPUtime=864.5 cores=0,2,4,6
/proc/23981/task/24001/stat : 24001 (java) R 23979 23981 20082 0 -1 4202560 341 0 0 0 86430 20 0 0 20 0 22 0 254249846 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685016517344 140685026978007 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23981/tid=24002] ppid=23979 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23981/task/24002/stat : 24002 (java) S 23979 23981 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254249870 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685015466792 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23981/tid=24003] ppid=23979 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23981/task/24003/stat : 24003 (java) S 23979 23981 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254249870 10060460032 827801 33554432000 1073741824 1073778376 140733288260992 140685014414248 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23981 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=768305
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=13693
# CPU time returned by wait4() is 1795.78
# while last known CPU time is 1800.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 923.952
CPU time (s): 1800.12
CPU user time (s): 1798.51
CPU system time (s): 1.61
CPU usage (%): 194.828
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.77
system time used= 2.01369
maximum resident set size= 3311324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21276
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24894
involuntary context switches= 26751
runsolver used 3.55146 second user time and 8.42372 second system time
The end