runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3478936-1307443979/watcher-3478936-1307443979 -o /tmp/evaluation-result-3478936-1307443979/solver-3478936-1307443979 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3478936-1307443979.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: 2.24 2.10 2.03 2/442 24980
/proc/meminfo: memFree=22401424/32951124 swapFree=44043516/67111528
[pid=24980] ppid=24978 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/24980/stat : 24980 (java) S 24978 24980 24324 0 -1 4202496 3553 0 1 0 0 0 0 0 25 0 2 0 855996925 10694979584 3255 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/24980/statm: 2611079 3268 917 9 0 2602235 0
[pid=24980/tid=24981] ppid=24978 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24981/stat : 24981 (java) R 24978 24980 24324 0 -1 4202560 5158 0 1 0 0 0 0 0 25 0 2 0 855996925 10694979584 5974 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0576799 s]
/proc/loadavg: 2.24 2.10 2.03 2/442 24980
/proc/meminfo: memFree=22401424/32951124 swapFree=44043516/67111528
[pid=24980] ppid=24978 vsize=10472756 CPUtime=0.05 cores=1,3,5,7
/proc/24980/stat : 24980 (java) S 24978 24980 24324 0 -1 4202496 11603 0 1 0 4 1 0 0 25 0 18 0 855996925 10724102144 11300 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24980/statm: 2618189 11302 1721 9 0 2608937 0
[pid=24980/tid=24981] ppid=24978 vsize=10472756 CPUtime=0.04 cores=1,3,5,7
/proc/24980/task/24981/stat : 24981 (java) R 24978 24980 24324 0 -1 4202560 10431 0 1 0 3 1 0 0 25 0 18 0 855996925 10724102144 11302 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 47536245054526 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472756
[startup+0.100662 s]
/proc/loadavg: 2.24 2.10 2.03 2/442 24980
/proc/meminfo: memFree=22401424/32951124 swapFree=44043516/67111528
[pid=24980] ppid=24978 vsize=10540236 CPUtime=0.1 cores=1,3,5,7
/proc/24980/stat : 24980 (java) S 24978 24980 24324 0 -1 4202496 13145 0 1 0 9 1 0 0 25 0 18 0 855996925 10793201664 12800 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24980/statm: 2635059 12801 2092 9 0 2625793 0
[pid=24980/tid=24981] ppid=24978 vsize=10540236 CPUtime=0.09 cores=1,3,5,7
/proc/24980/task/24981/stat : 24981 (java) R 24978 24980 24324 0 -1 4202560 11200 0 1 0 8 1 0 0 18 0 18 0 855996925 10793201664 12801 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 47536245394228 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540236
[startup+0.327643 s]
/proc/loadavg: 2.24 2.10 2.03 2/442 24980
/proc/meminfo: memFree=22401424/32951124 swapFree=44043516/67111528
[pid=24980] ppid=24978 vsize=10542684 CPUtime=0.57 cores=1,3,5,7
/proc/24980/stat : 24980 (java) S 24978 24980 24324 0 -1 4202496 19348 0 1 0 54 3 0 0 25 0 18 0 855996925 10795708416 18443 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24980/statm: 2635671 18445 2204 9 0 2626405 0
[pid=24980/tid=24981] ppid=24978 vsize=10542684 CPUtime=0.31 cores=1,3,5,7
/proc/24980/task/24981/stat : 24981 (java) R 24978 24980 24324 0 -1 4202560 15957 0 1 0 29 2 0 0 18 0 18 0 855996925 10795708416 18446 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 46912505547062 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10542684
[startup+0.700552 s]
/proc/loadavg: 2.24 2.10 2.03 2/442 24980
/proc/meminfo: memFree=22401424/32951124 swapFree=44043516/67111528
[pid=24980] ppid=24978 vsize=10544468 CPUtime=1.13 cores=1,3,5,7
/proc/24980/stat : 24980 (java) S 24978 24980 24324 0 -1 4202496 54228 0 1 0 106 7 0 0 25 0 18 0 855996925 10797535232 52863 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24980/statm: 2636117 52865 2212 9 0 2626851 0
[pid=24980/tid=24981] ppid=24978 vsize=10544468 CPUtime=0.68 cores=1,3,5,7
/proc/24980/task/24981/stat : 24981 (java) R 24978 24980 24324 0 -1 4202560 49289 0 1 0 62 6 0 0 18 0 18 0 855996925 10797535232 52867 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 46912505589562 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 10544468
[startup+1.50142 s]
/proc/loadavg: 2.24 2.10 2.03 5/460 24998
/proc/meminfo: memFree=22062520/32951124 swapFree=44043516/67111528
[pid=24980] ppid=24978 vsize=10544468 CPUtime=1.97 cores=1,3,5,7
/proc/24980/stat : 24980 (java) S 24978 24980 24324 0 -1 4202496 141501 0 1 0 181 16 0 0 25 0 18 0 855996925 10797535232 140134 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24980/statm: 2636117 140138 2213 9 0 2626851 0
[pid=24980/tid=24981] ppid=24978 vsize=10544468 CPUtime=1.48 cores=1,3,5,7
/proc/24980/task/24981/stat : 24981 (java) R 24978 24980 24324 0 -1 4202560 136547 0 1 0 133 15 0 0 19 0 18 0 855996925 10797535232 140140 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 46912505547062 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24980/tid=24983] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996927 10797535232 140143 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24984] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996927 10797535232 140146 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24985] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996927 10797535232 140149 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24986] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996927 10797535232 140151 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24987] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996927 10797535232 140154 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24988] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996927 10797535232 140157 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24989] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24989/stat : 24989 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996927 10797535232 140159 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24990] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24990/stat : 24990 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996927 10797535232 140162 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24991] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24991/stat : 24991 (java) S 24978 24980 24324 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 855996928 10797535232 140165 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650752 0 0 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24992] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24992/stat : 24992 (java) S 24978 24980 24324 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855996929 10797535232 140165 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24993] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24993/stat : 24993 (java) S 24978 24980 24324 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855996929 10797535232 140167 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24994] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24994/stat : 24994 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996931 10797535232 140170 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528657841 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24995] ppid=24978 vsize=10544468 CPUtime=0.21 cores=1,3,5,7
/proc/24980/task/24995/stat : 24995 (java) S 24978 24980 24324 0 -1 4202560 1731 0 0 0 21 0 0 0 15 0 18 0 855996931 10797535232 140173 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24996] ppid=24978 vsize=10544468 CPUtime=0.26 cores=1,3,5,7
/proc/24980/task/24996/stat : 24996 (java) S 24978 24980 24324 0 -1 4202560 2079 0 0 0 26 0 0 0 15 0 18 0 855996931 10797535232 140175 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24997] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24997/stat : 24997 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996931 10797535232 140178 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24998] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24998/stat : 24998 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855996931 10797535232 140181 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650752 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 10544468
[startup+3.10113 s]
/proc/loadavg: 2.24 2.10 2.03 3/460 24998
/proc/meminfo: memFree=21586856/32951124 swapFree=44043516/67111528
[pid=24980] ppid=24978 vsize=10544468 CPUtime=3.6 cores=1,3,5,7
/proc/24980/stat : 24980 (java) S 24978 24980 24324 0 -1 4202496 312785 0 1 0 323 37 0 0 25 0 18 0 855996925 10797535232 311417 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24980/statm: 2636117 311422 2213 9 0 2626851 0
[pid=24980/tid=24981] ppid=24978 vsize=10544468 CPUtime=3.08 cores=1,3,5,7
/proc/24980/task/24981/stat : 24981 (java) R 24978 24980 24324 0 -1 4202560 307828 0 1 0 273 35 0 0 25 0 18 0 855996925 10797535232 311424 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 46912505546921 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24980/tid=24983] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996927 10797535232 311427 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24984] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996927 10797535232 311429 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24985] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996927 10797535232 311432 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24986] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996927 10797535232 311435 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24987] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996927 10797535232 311438 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24988] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996927 10797535232 311440 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24989] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24989/stat : 24989 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996927 10797535232 311443 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24990] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24990/stat : 24990 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996927 10797535232 311445 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24991] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24991/stat : 24991 (java) S 24978 24980 24324 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 855996928 10797535232 311448 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650752 0 0 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24992] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24992/stat : 24992 (java) S 24978 24980 24324 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855996929 10797535232 311450 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24993] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24993/stat : 24993 (java) S 24978 24980 24324 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855996929 10797535232 311453 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24994] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24994/stat : 24994 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996931 10797535232 311455 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528657841 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24995] ppid=24978 vsize=10544468 CPUtime=0.21 cores=1,3,5,7
/proc/24980/task/24995/stat : 24995 (java) S 24978 24980 24324 0 -1 4202560 1731 0 0 0 21 0 0 0 15 0 18 0 855996931 10797535232 311458 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24996] ppid=24978 vsize=10544468 CPUtime=0.28 cores=1,3,5,7
/proc/24980/task/24996/stat : 24996 (java) S 24978 24980 24324 0 -1 4202560 2082 0 0 0 28 0 0 0 15 0 18 0 855996931 10797535232 311461 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24997] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24997/stat : 24997 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996931 10797535232 311463 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24998] ppid=24978 vsize=10544468 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24998/stat : 24998 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855996931 10797535232 311466 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650752 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 10544468
[startup+6.30154 s]
/proc/loadavg: 2.30 2.11 2.03 3/460 24998
/proc/meminfo: memFree=20097076/32951124 swapFree=44043516/67111528
[pid=24980] ppid=24978 vsize=10542576 CPUtime=7.23 cores=1,3,5,7
/proc/24980/stat : 24980 (java) S 24978 24980 24324 0 -1 4202496 688733 0 1 0 646 77 0 0 25 0 18 0 855996925 10795597824 686760 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24980/statm: 2635644 686760 2228 9 0 2626378 0
[pid=24980/tid=24981] ppid=24978 vsize=10542576 CPUtime=6.13 cores=1,3,5,7
/proc/24980/task/24981/stat : 24981 (java) R 24978 24980 24324 0 -1 4202560 651005 0 1 0 540 73 0 0 17 0 18 0 855996925 10795597824 686760 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 46912505512359 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24980/tid=24983] ppid=24978 vsize=10542576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 855996927 10795597824 686760 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24984] ppid=24978 vsize=10542576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 855996927 10795597824 686760 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24985] ppid=24978 vsize=10542576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 855996927 10795597824 686760 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24986] ppid=24978 vsize=10542576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24324 0 -1 4202560 124 0 0 0 0 0 0 0 18 0 18 0 855996927 10795597824 686760 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 5 0 0 0
[pid=24980/tid=24987] ppid=24978 vsize=10542576 CPUtime=0.1 cores=1,3,5,7
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24324 0 -1 4202560 6374 0 0 0 10 0 0 0 18 0 18 0 855996927 10795597824 686760 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 5 0 0 0
[pid=24980/tid=24988] ppid=24978 vsize=10542576 CPUtime=0.14 cores=1,3,5,7
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24324 0 -1 4202560 8416 0 0 0 14 0 0 0 18 0 18 0 855996927 10795597824 686760 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24989] ppid=24978 vsize=10542576 CPUtime=0.14 cores=1,3,5,7
/proc/24980/task/24989/stat : 24989 (java) S 24978 24980 24324 0 -1 4202560 9010 0 0 0 14 0 0 0 18 0 18 0 855996927 10795597824 686760 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24990] ppid=24978 vsize=10542576 CPUtime=0.14 cores=1,3,5,7
/proc/24980/task/24990/stat : 24990 (java) S 24978 24980 24324 0 -1 4202560 8831 0 0 0 13 1 0 0 18 0 18 0 855996927 10795597824 686760 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24991] ppid=24978 vsize=10542576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24991/stat : 24991 (java) S 24978 24980 24324 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 18 0 855996928 10795597824 686760 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650752 0 0 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24992] ppid=24978 vsize=10542576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24992/stat : 24992 (java) S 24978 24980 24324 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 855996929 10795597824 686760 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24993] ppid=24978 vsize=10542576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24993/stat : 24993 (java) S 24978 24980 24324 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 855996929 10795597824 686760 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24994] ppid=24978 vsize=10542576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24994/stat : 24994 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996931 10795597824 686760 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528657841 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24995] ppid=24978 vsize=10542576 CPUtime=0.21 cores=1,3,5,7
/proc/24980/task/24995/stat : 24995 (java) S 24978 24980 24324 0 -1 4202560 1731 0 0 0 21 0 0 0 16 0 18 0 855996931 10795597824 686760 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24996] ppid=24978 vsize=10542576 CPUtime=0.3 cores=1,3,5,7
/proc/24980/task/24996/stat : 24996 (java) S 24978 24980 24324 0 -1 4202560 2086 0 0 0 30 0 0 0 15 0 18 0 855996931 10795597824 686760 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24997] ppid=24978 vsize=10542576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24997/stat : 24997 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855996931 10795597824 686760 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24998] ppid=24978 vsize=10542576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24998/stat : 24998 (java) S 24978 24980 24324 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 855996931 10795597824 686760 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650752 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/24980/task/24993/stat : 24993 (java) S 24978 24980 24324 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 855996929 10797645824 1274405 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24994] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24994/stat : 24994 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855996931 10797645824 1274405 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528657841 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24995] ppid=24978 vsize=10544576 CPUtime=0.64 cores=1,3,5,7
/proc/24980/task/24995/stat : 24995 (java) S 24978 24980 24324 0 -1 4202560 3536 0 0 0 64 0 0 0 16 0 19 0 855996931 10797645824 1274405 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24996] ppid=24978 vsize=10544576 CPUtime=0.79 cores=1,3,5,7
/proc/24980/task/24996/stat : 24996 (java) S 24978 24980 24324 0 -1 4202560 2845 0 0 0 79 0 0 0 15 0 19 0 855996931 10797645824 1274405 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24997] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24997/stat : 24997 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855996931 10797645824 1274405 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24998] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24998/stat : 24998 (java) S 24978 24980 24324 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 855996931 10797645824 1274405 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650752 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=25000] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/25000/stat : 25000 (java) S 24978 24980 24324 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 856001025 10797645824 1274405 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650752 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1620.99
Current children cumulated vsize (KiB) 10544576
[startup+1662.3 s]
/proc/loadavg: 2.02 2.07 2.04 3/461 25056
/proc/meminfo: memFree=16386624/32951124 swapFree=44043516/67111528
[pid=24980] ppid=24978 vsize=10544576 CPUtime=1681.11 cores=1,3,5,7
/proc/24980/stat : 24980 (java) S 24978 24980 24324 0 -1 4202496 1318770 0 1 0 167931 180 0 0 25 0 19 0 855996925 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24980/statm: 2636144 1276317 2265 9 0 2626878 0
[pid=24980/tid=24981] ppid=24978 vsize=10544576 CPUtime=1599.41 cores=1,3,5,7
/proc/24980/task/24981/stat : 24981 (java) R 24978 24980 24324 0 -1 4202560 651381 0 1 0 159852 89 0 0 25 0 19 0 855996925 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 46912505761090 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24980/tid=24983] ppid=24978 vsize=10544576 CPUtime=3.51 cores=1,3,5,7
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24324 0 -1 4202560 87863 0 0 0 340 11 0 0 16 0 19 0 855996927 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24984] ppid=24978 vsize=10544576 CPUtime=2.61 cores=1,3,5,7
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24324 0 -1 4202560 69246 0 0 0 253 8 0 0 15 0 19 0 855996927 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24985] ppid=24978 vsize=10544576 CPUtime=2.84 cores=1,3,5,7
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24324 0 -1 4202560 70477 0 0 0 275 9 0 0 15 0 19 0 855996927 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24986] ppid=24978 vsize=10544576 CPUtime=3.7 cores=1,3,5,7
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24324 0 -1 4202560 109976 0 0 0 357 13 0 0 15 0 19 0 855996927 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24987] ppid=24978 vsize=10544576 CPUtime=2.99 cores=1,3,5,7
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24324 0 -1 4202560 80280 0 0 0 287 12 0 0 16 0 19 0 855996927 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24988] ppid=24978 vsize=10544576 CPUtime=2.7 cores=1,3,5,7
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24324 0 -1 4202560 65980 0 0 0 262 8 0 0 16 0 19 0 855996927 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24989] ppid=24978 vsize=10544576 CPUtime=2.79 cores=1,3,5,7
/proc/24980/task/24989/stat : 24989 (java) S 24978 24980 24324 0 -1 4202560 81407 0 0 0 269 10 0 0 16 0 19 0 855996927 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24990] ppid=24978 vsize=10544576 CPUtime=2.96 cores=1,3,5,7
/proc/24980/task/24990/stat : 24990 (java) S 24978 24980 24324 0 -1 4202560 60963 0 0 0 289 7 0 0 15 0 19 0 855996927 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24991] ppid=24978 vsize=10544576 CPUtime=56.05 cores=1,3,5,7
/proc/24980/task/24991/stat : 24991 (java) S 24978 24980 24324 0 -1 4202560 33568 0 0 0 5598 7 0 0 15 0 19 0 855996928 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650752 0 0 0 16800975 18446604459186651584 0 0 -1 5 0 0 0
[pid=24980/tid=24992] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24992/stat : 24992 (java) S 24978 24980 24324 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855996929 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24993] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24993/stat : 24993 (java) S 24978 24980 24324 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 855996929 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24994] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24994/stat : 24994 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855996931 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528657841 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24995] ppid=24978 vsize=10544576 CPUtime=0.64 cores=1,3,5,7
/proc/24980/task/24995/stat : 24995 (java) S 24978 24980 24324 0 -1 4202560 3536 0 0 0 64 0 0 0 16 0 19 0 855996931 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24996] ppid=24978 vsize=10544576 CPUtime=0.79 cores=1,3,5,7
/proc/24980/task/24996/stat : 24996 (java) S 24978 24980 24324 0 -1 4202560 2845 0 0 0 79 0 0 0 15 0 19 0 855996931 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24997] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24997/stat : 24997 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855996931 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24998] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24998/stat : 24998 (java) S 24978 24980 24324 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 855996931 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650752 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=25000] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/25000/stat : 25000 (java) S 24978 24980 24324 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 856001025 10797645824 1276317 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650752 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1681.11
Current children cumulated vsize (KiB) 10544576
[startup+1722.3 s]
/proc/loadavg: 2.00 2.06 2.03 3/461 25057
/proc/meminfo: memFree=16366920/32951124 swapFree=44043516/67111528
[pid=24980] ppid=24978 vsize=10544576 CPUtime=1741.27 cores=1,3,5,7
/proc/24980/stat : 24980 (java) S 24978 24980 24324 0 -1 4202496 1322885 0 1 0 173945 182 0 0 25 0 19 0 855996925 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24980/statm: 2636144 1280357 2265 9 0 2626878 0
[pid=24980/tid=24981] ppid=24978 vsize=10544576 CPUtime=1659.3 cores=1,3,5,7
/proc/24980/task/24981/stat : 24981 (java) R 24978 24980 24324 0 -1 4202560 651388 0 1 0 165841 89 0 0 25 0 19 0 855996925 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 46912505974787 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24980/tid=24983] ppid=24978 vsize=10544576 CPUtime=3.54 cores=1,3,5,7
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24324 0 -1 4202560 88376 0 0 0 343 11 0 0 16 0 19 0 855996927 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24984] ppid=24978 vsize=10544576 CPUtime=2.65 cores=1,3,5,7
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24324 0 -1 4202560 69996 0 0 0 257 8 0 0 16 0 19 0 855996927 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24985] ppid=24978 vsize=10544576 CPUtime=2.84 cores=1,3,5,7
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24324 0 -1 4202560 70477 0 0 0 275 9 0 0 15 0 19 0 855996927 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24986] ppid=24978 vsize=10544576 CPUtime=3.74 cores=1,3,5,7
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24324 0 -1 4202560 110562 0 0 0 361 13 0 0 16 0 19 0 855996927 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24987] ppid=24978 vsize=10544576 CPUtime=3.01 cores=1,3,5,7
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24324 0 -1 4202560 80432 0 0 0 289 12 0 0 15 0 19 0 855996927 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24988] ppid=24978 vsize=10544576 CPUtime=2.74 cores=1,3,5,7
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24324 0 -1 4202560 66424 0 0 0 266 8 0 0 15 0 19 0 855996927 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24989] ppid=24978 vsize=10544576 CPUtime=2.82 cores=1,3,5,7
/proc/24980/task/24989/stat : 24989 (java) S 24978 24980 24324 0 -1 4202560 81962 0 0 0 272 10 0 0 16 0 19 0 855996927 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24990] ppid=24978 vsize=10544576 CPUtime=3.03 cores=1,3,5,7
/proc/24980/task/24990/stat : 24990 (java) S 24978 24980 24324 0 -1 4202560 62063 0 0 0 295 8 0 0 16 0 19 0 855996927 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24991] ppid=24978 vsize=10544576 CPUtime=56.06 cores=1,3,5,7
/proc/24980/task/24991/stat : 24991 (java) S 24978 24980 24324 0 -1 4202560 33572 0 0 0 5599 7 0 0 15 0 19 0 855996928 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650752 0 0 0 16800975 18446604459186651584 0 0 -1 5 0 0 0
[pid=24980/tid=24992] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24992/stat : 24992 (java) S 24978 24980 24324 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855996929 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24993] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24993/stat : 24993 (java) S 24978 24980 24324 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 855996929 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24994] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24994/stat : 24994 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855996931 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528657841 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24995] ppid=24978 vsize=10544576 CPUtime=0.64 cores=1,3,5,7
/proc/24980/task/24995/stat : 24995 (java) S 24978 24980 24324 0 -1 4202560 3536 0 0 0 64 0 0 0 16 0 19 0 855996931 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24996] ppid=24978 vsize=10544576 CPUtime=0.79 cores=1,3,5,7
/proc/24980/task/24996/stat : 24996 (java) S 24978 24980 24324 0 -1 4202560 2845 0 0 0 79 0 0 0 15 0 19 0 855996931 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24997] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24997/stat : 24997 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855996931 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24998] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24998/stat : 24998 (java) S 24978 24980 24324 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 855996931 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650752 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=25000] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/25000/stat : 25000 (java) S 24978 24980 24324 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 856001025 10797645824 1280357 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650752 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1741.27
Current children cumulated vsize (KiB) 10544576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1780.9 s]
/proc/loadavg: 2.16 2.08 2.04 3/461 25107
/proc/meminfo: memFree=18907120/32951124 swapFree=44043516/67111528
[pid=24980] ppid=24978 vsize=10544576 CPUtime=1800.02 cores=1,3,5,7
/proc/24980/stat : 24980 (java) S 24978 24980 24324 0 -1 4202496 1326655 0 1 0 179820 182 0 0 25 0 19 0 855996925 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24980/statm: 2636144 1284020 2265 9 0 2626878 0
[pid=24980/tid=24981] ppid=24978 vsize=10544576 CPUtime=1717.85 cores=1,3,5,7
/proc/24980/task/24981/stat : 24981 (java) R 24978 24980 24324 0 -1 4202560 651394 0 1 0 171696 89 0 0 25 0 19 0 855996925 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 46912506123676 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24980/tid=24983] ppid=24978 vsize=10544576 CPUtime=3.58 cores=1,3,5,7
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24324 0 -1 4202560 89260 0 0 0 347 11 0 0 15 0 19 0 855996927 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24984] ppid=24978 vsize=10544576 CPUtime=2.67 cores=1,3,5,7
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24324 0 -1 4202560 70322 0 0 0 259 8 0 0 16 0 19 0 855996927 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24985] ppid=24978 vsize=10544576 CPUtime=2.87 cores=1,3,5,7
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24324 0 -1 4202560 71074 0 0 0 278 9 0 0 16 0 19 0 855996927 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24986] ppid=24978 vsize=10544576 CPUtime=3.75 cores=1,3,5,7
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24324 0 -1 4202560 110847 0 0 0 362 13 0 0 15 0 19 0 855996927 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24987] ppid=24978 vsize=10544576 CPUtime=3.05 cores=1,3,5,7
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24324 0 -1 4202560 81241 0 0 0 293 12 0 0 16 0 19 0 855996927 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24988] ppid=24978 vsize=10544576 CPUtime=2.77 cores=1,3,5,7
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24324 0 -1 4202560 66779 0 0 0 268 9 0 0 15 0 19 0 855996927 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24989] ppid=24978 vsize=10544576 CPUtime=2.84 cores=1,3,5,7
/proc/24980/task/24989/stat : 24989 (java) S 24978 24980 24324 0 -1 4202560 82296 0 0 0 274 10 0 0 15 0 19 0 855996927 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24990] ppid=24978 vsize=10544576 CPUtime=3.04 cores=1,3,5,7
/proc/24980/task/24990/stat : 24990 (java) S 24978 24980 24324 0 -1 4202560 62233 0 0 0 296 8 0 0 16 0 19 0 855996927 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24991] ppid=24978 vsize=10544576 CPUtime=56.06 cores=1,3,5,7
/proc/24980/task/24991/stat : 24991 (java) S 24978 24980 24324 0 -1 4202560 33574 0 0 0 5599 7 0 0 15 0 19 0 855996928 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650752 0 0 0 16800975 18446604459186651584 0 0 -1 5 0 0 0
[pid=24980/tid=24992] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24992/stat : 24992 (java) S 24978 24980 24324 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855996929 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24993] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24993/stat : 24993 (java) S 24978 24980 24324 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 855996929 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24994] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24994/stat : 24994 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855996931 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528657841 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24995] ppid=24978 vsize=10544576 CPUtime=0.64 cores=1,3,5,7
/proc/24980/task/24995/stat : 24995 (java) S 24978 24980 24324 0 -1 4202560 3536 0 0 0 64 0 0 0 16 0 19 0 855996931 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 3 0 0 0
[pid=24980/tid=24996] ppid=24978 vsize=10544576 CPUtime=0.79 cores=1,3,5,7
/proc/24980/task/24996/stat : 24996 (java) S 24978 24980 24324 0 -1 4202560 2845 0 0 0 79 0 0 0 15 0 19 0 855996931 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
[pid=24980/tid=24997] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24997/stat : 24997 (java) S 24978 24980 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855996931 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650137 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=24998] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/24998/stat : 24998 (java) S 24978 24980 24324 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 855996931 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650752 0 4 0 16800975 18446604459186651584 0 0 -1 1 0 0 0
[pid=24980/tid=25000] ppid=24978 vsize=10544576 CPUtime=0 cores=1,3,5,7
/proc/24980/task/25000/stat : 25000 (java) S 24978 24980 24324 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 856001025 10797645824 1284020 33554432000 1073741824 1073778376 140737384610496 18446744073709551615 246528650752 0 4 0 16800975 18446604459186651584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10544576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1781.1 s]
/proc/loadavg: 2.16 2.08 2.04 3/461 25107
/proc/meminfo: memFree=18907120/32951124 swapFree=44043516/67111528
[pid=24980] ppid=24978 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/24980/stat : 24980 (java) Z 24978 24980 24324 0 -1 4203548 1326686 0 1 0 179830 196 0 0 17 0 2 0 855996925 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24980/statm: 0 0 0 0 0 0 0
[pid=24980/tid=24990] ppid=24978 vsize=0 CPUtime=3.18 cores=1,3,5,7
/proc/24980/task/24990/stat : 24990 (java) R 24978 24980 24324 0 -1 4203588 62233 0 0 0 296 22 0 0 15 0 2 0 855996927 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1781.15
CPU time (s): 1800.33
CPU user time (s): 1798.31
CPU system time (s): 2.01869
CPU usage (%): 101.076
Max. virtual memory (cumulated for all children) (KiB): 10554476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.31
system time used= 2.01869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1326686
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45110
involuntary context switches= 17170
runsolver used 7.38588 second user time and 17.2954 second system time
The end