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-3744236-1338796177/watcher-3744236-1338796177 -o /tmp/evaluation-result-3744236-1338796177/solver-3744236-1338796177 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744236-1338796177.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 2.02 1.99 3/194 20806
/proc/meminfo: memFree=24745396/32873844 swapFree=7628/7628
[pid=20806] ppid=20804 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/20806/stat : 20806 (java) D 20804 20806 17886 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 345742639 9515008 183 33554432000 1073741824 1073778376 140733862999168 140733862990200 223651643061 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/20806/statm: 2323 183 140 9 0 71 0
[startup+0.0517509 s]
/proc/loadavg: 1.94 2.02 1.99 3/194 20806
/proc/meminfo: memFree=24745396/32873844 swapFree=7628/7628
[pid=20806] ppid=20804 vsize=2623916 CPUtime=0.02 cores=1,3,5,7
/proc/20806/stat : 20806 (java) S 20804 20806 17886 0 -1 4202496 3928 0 1 0 2 0 0 0 20 0 13 0 345742639 2686889984 5136 33554432000 1073741824 1073778376 140735943671792 140735943662928 223655002173 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20806/statm: 655979 5136 1697 9 0 646680 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2623916
[startup+0.100292 s]
/proc/loadavg: 1.94 2.02 1.99 3/194 20806
/proc/meminfo: memFree=24745396/32873844 swapFree=7628/7628
[pid=20806] ppid=20804 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/20806/stat : 20806 (java) S 20804 20806 17886 0 -1 4202496 4372 0 1 0 7 1 0 0 20 0 18 0 345742639 3028844544 6090 33554432000 1073741824 1073778376 140735943671792 140735943662928 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20806/statm: 739464 6092 1950 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856
[startup+0.300271 s]
/proc/loadavg: 1.94 2.02 1.99 3/194 20806
/proc/meminfo: memFree=24745396/32873844 swapFree=7628/7628
[pid=20806] ppid=20804 vsize=2957856 CPUtime=0.44 cores=1,3,5,7
/proc/20806/stat : 20806 (java) S 20804 20806 17886 0 -1 4202496 6013 0 1 0 42 2 0 0 20 0 18 0 345742639 3028844544 16347 33554432000 1073741824 1073778376 140735943671792 140735943662928 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20806/statm: 739464 16347 2233 9 0 729885 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2957856
[startup+0.700289 s]
/proc/loadavg: 1.94 2.02 1.99 3/194 20806
/proc/meminfo: memFree=24745396/32873844 swapFree=7628/7628
[pid=20806] ppid=20804 vsize=2957856 CPUtime=0.99 cores=1,3,5,7
/proc/20806/stat : 20806 (java) S 20804 20806 17886 0 -1 4202496 6555 0 1 0 94 5 0 0 20 0 18 0 345742639 3028844544 56496 33554432000 1073741824 1073778376 140735943671792 140735943662928 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20806/statm: 739464 56496 2243 9 0 729885 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 2957856
[startup+1.50078 s]
/proc/loadavg: 1.94 2.02 1.99 3/212 20824
/proc/meminfo: memFree=24428804/32873844 swapFree=7628/7628
[pid=20806] ppid=20804 vsize=2957856 CPUtime=2.46 cores=1,3,5,7
/proc/20806/stat : 20806 (java) S 20804 20806 17886 0 -1 4202496 10783 0 1 0 227 19 0 0 20 0 18 0 345742639 3028844544 128938 33554432000 1073741824 1073778376 140735943671792 140735943662928 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20806/statm: 739464 128938 2274 9 0 729885 0
[pid=20806/tid=20808] ppid=20804 vsize=2957856 CPUtime=1.37 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (java) R 20804 20806 17886 0 -1 4202560 3241 0 1 0 127 10 0 0 20 0 18 0 345742640 3028844544 128938 33554432000 1073741824 1073778376 140735943671792 140415860481672 140415718533049 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20809] ppid=20804 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (java) S 20804 20806 17886 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 18 0 345742642 3028844544 128938 33554432000 1073741824 1073778376 140735943671792 140415843907880 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20810] ppid=20804 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/20806/task/20810/stat : 20810 (java) S 20804 20806 17886 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 18 0 345742642 3028844544 128938 33554432000 1073741824 1073778376 140735943671792 140415842855080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20811] ppid=20804 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/20806/task/20811/stat : 20811 (java) S 20804 20806 17886 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 18 0 345742642 3028844544 128938 33554432000 1073741824 1073778376 140735943671792 140415841802792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20806/tid=20812] ppid=20804 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/20806/task/20812/stat : 20812 (java) S 20804 20806 17886 0 -1 4202560 49 0 0 0 6 2 0 0 20 0 18 0 345742642 3028844544 128938 33554432000 1073741824 1073778376 140735943671792 140415840749992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20806/tid=20813] ppid=20804 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/20806/task/20813/stat : 20813 (java) S 20804 20806 17886 0 -1 4202560 18 0 0 0 2 1 0 0 20 0 18 0 345742642 3028844544 128938 33554432000 1073741824 1073778376 140735943671792 140415839697704 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20814] ppid=20804 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/20806/task/20814/stat : 20814 (java) S 20804 20806 17886 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 18 0 345742642 3028844544 128938 33554432000 1073741824 1073778376 140735943671792 140415838644904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20806/tid=20815] ppid=20804 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/20806/task/20815/stat : 20815 (java) S 20804 20806 17886 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 18 0 345742642 3028844544 128938 33554432000 1073741824 1073778376 140735943671792 140415837592616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20816] ppid=20804 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/20806/task/20816/stat : 20816 (java) S 20804 20806 17886 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 345742642 3028844544 128938 33554432000 1073741824 1073778376 140735943671792 140415718124456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20817] ppid=20804 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20817/stat : 20817 (java) S 20804 20806 17886 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345742643 3028844544 128938 33554432000 1073741824 1073778376 140735943671792 140415705925864 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20818] ppid=20804 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20818/stat : 20818 (java) S 20804 20806 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345742644 3028844544 128938 33554432000 1073741824 1073778376 140735943671792 140415704871928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20819] ppid=20804 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20819/stat : 20819 (java) S 20804 20806 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345742644 3028844544 128938 33554432000 1073741824 1073778376 140735943671792 140415703819528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20820] ppid=20804 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20820/stat : 20820 (java) S 20804 20806 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345742646 3028844544 128938 33554432000 1073741824 1073778376 140735943671792 140415702768016 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20821] ppid=20804 vsize=2957856 CPUtime=0.35 cores=1,3,5,7
/proc/20806/task/20821/stat : 20821 (java) S 20804 20806 17886 0 -1 4202560 2886 0 0 0 35 0 0 0 20 0 18 0 345742646 3028844544 128938 33554432000 1073741824 1073778376 140735943671792 140414963149496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20822] ppid=20804 vsize=2957856 CPUtime=0.34 cores=1,3,5,7
/proc/20806/task/20822/stat : 20822 (java) S 20804 20806 17886 0 -1 4202560 3291 0 0 0 34 0 0 0 20 0 18 0 345742646 3028844544 128938 33554432000 1073741824 1073778376 140735943671792 140414962096696 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20823] ppid=20804 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20823/stat : 20823 (java) S 20804 20806 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345742646 3028844544 128938 33554432000 1073741824 1073778376 140735943671792 140414961044600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20824] ppid=20804 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20824/stat : 20824 (java) S 20804 20806 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345742646 3028844544 128938 33554432000 1073741824 1073778376 140735943671792 140414959992008 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 2957856
[startup+3.10071 s]
/proc/loadavg: 1.94 2.02 1.99 10/212 20824
/proc/meminfo: memFree=24208428/32873844 swapFree=7628/7628
[pid=20806] ppid=20804 vsize=2957856 CPUtime=4.88 cores=1,3,5,7
/proc/20806/stat : 20806 (java) S 20804 20806 17886 0 -1 4202496 14621 0 1 0 454 34 0 0 20 0 18 0 345742639 3028844544 153902 33554432000 1073741824 1073778376 140735943671792 140735943662928 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20806/statm: 739464 153902 2284 9 0 729885 0
[pid=20806/tid=20808] ppid=20804 vsize=2957856 CPUtime=2.77 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (java) S 20804 20806 17886 0 -1 4202560 3242 0 1 0 267 10 0 0 20 0 18 0 345742640 3028844544 154414 33554432000 1073741824 1073778376 140735943671792 140415860481336 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20809] ppid=20804 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (java) R 20804 20806 17886 0 -1 4202560 54 0 0 0 8 2 0 0 20 0 18 0 345742642 3028844544 154414 33554432000 1073741824 1073778376 140735943671792 140415843908056 140415862953657 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20810] ppid=20804 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/20806/task/20810/stat : 20810 (java) R 20804 20806 17886 0 -1 4202560 41 0 0 0 5 2 0 0 20 0 18 0 345742642 3028844544 154414 33554432000 1073741824 1073778376 140735943671792 140415842855256 140415863760802 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20811] ppid=20804 vsize=2957856 CPUtime=0.13 cores=1,3,5,7
/proc/20806/task/20811/stat : 20811 (java) R 20804 20806 17886 0 -1 4202560 41 0 0 0 11 2 0 0 20 0 18 0 345742642 3028844544 154414 33554432000 1073741824 1073778376 140735943671792 140415841802792 140415862953673 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20812] ppid=20804 vsize=2957856 CPUtime=0.13 cores=1,3,5,7
/proc/20806/task/20812/stat : 20812 (java) R 20804 20806 17886 0 -1 4202560 63 0 0 0 10 3 0 0 20 0 18 0 345742642 3028844544 154414 33554432000 1073741824 1073778376 140735943671792 140415840750168 140415862953657 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=20806/tid=20813] ppid=20804 vsize=2957856 CPUtime=0.19 cores=1,3,5,7
/proc/20806/task/20813/stat : 20813 (java) R 20804 20806 17886 0 -1 4202560 83 0 0 0 14 5 0 0 20 0 18 0 345742642 3028844544 154414 33554432000 1073741824 1073778376 140735943671792 140415839697880 140415864658095 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=20806/tid=20814] ppid=20804 vsize=2957856 CPUtime=0.13 cores=1,3,5,7
/proc/20806/task/20814/stat : 20814 (java) R 20804 20806 17886 0 -1 4202560 62 0 0 0 10 3 0 0 20 0 18 0 345742642 3028844544 154414 33554432000 1073741824 1073778376 140735943671792 140415838645080 140415867379163 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20815] ppid=20804 vsize=2957856 CPUtime=0.11 cores=1,3,5,7
/proc/20806/task/20815/stat : 20815 (java) R 20804 20806 17886 0 -1 4202560 56 0 0 0 8 3 0 0 20 0 18 0 345742642 3028844544 154414 33554432000 1073741824 1073778376 140735943671792 140415837592792 140415862953657 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20816] ppid=20804 vsize=2957856 CPUtime=0.11 cores=1,3,5,7
/proc/20806/task/20816/stat : 20816 (java) R 20804 20806 17886 0 -1 4202560 51 0 0 0 8 3 0 0 20 0 18 0 345742642 3028844544 154414 33554432000 1073741824 1073778376 140735943671792 140415718124336 140415867380156 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20817] ppid=20804 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20817/stat : 20817 (java) S 20804 20806 17886 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345742643 3028844544 154414 33554432000 1073741824 1073778376 140735943671792 140415705924744 223655015484 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20818] ppid=20804 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20818/stat : 20818 (java) S 20804 20806 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345742644 3028844544 154414 33554432000 1073741824 1073778376 140735943671792 140415704871928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20819] ppid=20804 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20819/stat : 20819 (java) S 20804 20806 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345742644 3028844544 154414 33554432000 1073741824 1073778376 140735943671792 140415703819528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20820] ppid=20804 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20820/stat : 20820 (java) S 20804 20806 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345742646 3028844544 154414 33554432000 1073741824 1073778376 140735943671792 140415702768016 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20821] ppid=20804 vsize=2957856 CPUtime=0.4 cores=1,3,5,7
/proc/20806/task/20821/stat : 20821 (java) S 20804 20806 17886 0 -1 4202560 2886 0 0 0 40 0 0 0 20 0 18 0 345742646 3028844544 154414 33554432000 1073741824 1073778376 140735943671792 140414963149496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20822] ppid=20804 vsize=2957856 CPUtime=0.58 cores=1,3,5,7
/proc/20806/task/20822/stat : 20822 (java) S 20804 20806 17886 0 -1 4202560 6861 0 0 0 56 2 0 0 20 0 18 0 345742646 3028844544 154414 33554432000 1073741824 1073778376 140735943671792 140414962096696 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20806/tid=20823] ppid=20804 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20823/stat : 20823 (java) S 20804 20806 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345742646 3028844544 154414 33554432000 1073741824 1073778376 140735943671792 140414961044600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20824] ppid=20804 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20824/stat : 20824 (java) S 20804 20806 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345742646 3028844544 154414 33554432000 1073741824 1073778376 140735943671792 140414959992008 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 2957856
[startup+6.30086 s]
/proc/loadavg: 1.94 2.02 1.99 4/213 20825
/proc/meminfo: memFree=24073388/32873844 swapFree=7628/7628
[pid=20806] ppid=20804 vsize=3024420 CPUtime=9.44 cores=1,3,5,7
/proc/20806/stat : 20806 (java) S 20804 20806 17886 0 -1 4202496 15138 0 1 0 899 45 0 0 20 0 19 0 345742639 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140735943662928 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20806/statm: 756105 173860 2299 9 0 746526 0
[pid=20806/tid=20808] ppid=20804 vsize=3024420 CPUtime=5.67 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (java) R 20804 20806 17886 0 -1 4202560 3252 0 1 0 556 11 0 0 20 0 19 0 345742640 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140415860482440 140415719266021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20809] ppid=20804 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (java) S 20804 20806 17886 0 -1 4202560 86 0 0 0 23 4 0 0 20 0 19 0 345742642 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140415843907880 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20810] ppid=20804 vsize=3024420 CPUtime=0.2 cores=1,3,5,7
/proc/20806/task/20810/stat : 20810 (java) S 20804 20806 17886 0 -1 4202560 65 0 0 0 16 4 0 0 20 0 19 0 345742642 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140415842855080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20811] ppid=20804 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/20806/task/20811/stat : 20811 (java) S 20804 20806 17886 0 -1 4202560 73 0 0 0 21 3 0 0 20 0 19 0 345742642 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140415841802792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20806/tid=20812] ppid=20804 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/20806/task/20812/stat : 20812 (java) S 20804 20806 17886 0 -1 4202560 97 0 0 0 24 5 0 0 20 0 19 0 345742642 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140415840749992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20806/tid=20813] ppid=20804 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/20806/task/20813/stat : 20813 (java) S 20804 20806 17886 0 -1 4202560 104 0 0 0 23 6 0 0 20 0 19 0 345742642 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140415839697704 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20814] ppid=20804 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/20806/task/20814/stat : 20814 (java) S 20804 20806 17886 0 -1 4202560 96 0 0 0 31 5 0 0 20 0 19 0 345742642 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140415838644904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20815] ppid=20804 vsize=3024420 CPUtime=0.23 cores=1,3,5,7
/proc/20806/task/20815/stat : 20815 (java) S 20804 20806 17886 0 -1 4202560 70 0 0 0 19 4 0 0 20 0 19 0 345742642 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140415837592616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20806/tid=20816] ppid=20804 vsize=3024420 CPUtime=0.23 cores=1,3,5,7
/proc/20806/task/20816/stat : 20816 (java) S 20804 20806 17886 0 -1 4202560 71 0 0 0 19 4 0 0 20 0 19 0 345742642 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140415718124456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20817] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20817/stat : 20817 (java) S 20804 20806 17886 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345742643 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140415705925864 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20818] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20818/stat : 20818 (java) S 20804 20806 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345742644 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140415704871928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20819] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20819/stat : 20819 (java) S 20804 20806 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345742644 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140415703819528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20820] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20820/stat : 20820 (java) S 20804 20806 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345742646 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140415702768016 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20821] ppid=20804 vsize=3024420 CPUtime=0.74 cores=1,3,5,7
/proc/20806/task/20821/stat : 20821 (java) S 20804 20806 17886 0 -1 4202560 3164 0 0 0 74 0 0 0 20 0 19 0 345742646 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140414963149496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20822] ppid=20804 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/20806/task/20822/stat : 20822 (java) S 20804 20806 17886 0 -1 4202560 6868 0 0 0 76 2 0 0 20 0 19 0 345742646 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140414962096696 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20823] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20823/stat : 20823 (java) S 20804 20806 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345742646 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140414961044600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20824] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20824/stat : 20824 (java) S 20804 20806 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345742646 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140414959992008 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20825] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20825/stat : 20825 (java) S 20804 20806 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345743101 3097006080 173860 33554432000 1073741824 1073778376 140735943671792 140414957859752 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 9.44
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
/proc/loadavg: 1.94 2.02 1.99 3/213 20825
/proc/meminfo: memFree=23997016/32873844 swapFree=7628/7628
[pid=20806] ppid=20804 vsize=3024420 CPUtime=16.85 cores=1,3,5,7
/proc/20806/stat : 20806 (java) S 20804 20806 17886 0 -1 4202496 15470 0 1 0 1630 55 0 0 20 0 19 0 345742639 3097006080 190462 33554432000 1073741824 1073778376 140735943671792 140735943662928 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
################
# More data... #
################
[pid=20806/tid=20814] ppid=20804 vsize=3024420 CPUtime=9.22 cores=1,3,5,7
/proc/20806/task/20814/stat : 20814 (java) S 20804 20806 17886 0 -1 4202560 424 0 0 0 908 14 0 0 20 0 19 0 345742642 3097006080 330444 33554432000 1073741824 1073778376 140735943671792 140415838644904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20815] ppid=20804 vsize=3024420 CPUtime=9.04 cores=1,3,5,7
/proc/20806/task/20815/stat : 20815 (java) S 20804 20806 17886 0 -1 4202560 419 0 0 0 889 15 0 0 20 0 19 0 345742642 3097006080 330444 33554432000 1073741824 1073778376 140735943671792 140415837592616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20816] ppid=20804 vsize=3024420 CPUtime=8.74 cores=1,3,5,7
/proc/20806/task/20816/stat : 20816 (java) S 20804 20806 17886 0 -1 4202560 411 0 0 0 860 14 0 0 20 0 19 0 345742642 3097006080 330444 33554432000 1073741824 1073778376 140735943671792 140415718124456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20817] ppid=20804 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/20806/task/20817/stat : 20817 (java) S 20804 20806 17886 0 -1 4202560 104 0 0 0 12 4 0 0 20 0 19 0 345742643 3097006080 330444 33554432000 1073741824 1073778376 140735943671792 140415705925864 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20818] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20818/stat : 20818 (java) S 20804 20806 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345742644 3097006080 330444 33554432000 1073741824 1073778376 140735943671792 140415704871928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20819] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20819/stat : 20819 (java) S 20804 20806 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345742644 3097006080 330444 33554432000 1073741824 1073778376 140735943671792 140415703819528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20820] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20820/stat : 20820 (java) S 20804 20806 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345742646 3097006080 330444 33554432000 1073741824 1073778376 140735943671792 140415702768016 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20821] ppid=20804 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/20806/task/20821/stat : 20821 (java) S 20804 20806 17886 0 -1 4202560 3171 0 0 0 78 0 0 0 20 0 19 0 345742646 3097006080 330444 33554432000 1073741824 1073778376 140735943671792 140414963149496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20822] ppid=20804 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/20806/task/20822/stat : 20822 (java) S 20804 20806 17886 0 -1 4202560 6869 0 0 0 77 2 0 0 20 0 19 0 345742646 3097006080 330444 33554432000 1073741824 1073778376 140735943671792 140414962096696 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20823] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20823/stat : 20823 (java) S 20804 20806 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345742646 3097006080 330444 33554432000 1073741824 1073778376 140735943671792 140414961044600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20824] ppid=20804 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/20806/task/20824/stat : 20824 (java) S 20804 20806 17886 0 -1 4202560 95 0 0 0 49 43 0 0 20 0 19 0 345742646 3097006080 330444 33554432000 1073741824 1073778376 140735943671792 140414959992008 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20825] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20825/stat : 20825 (java) S 20804 20806 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345743101 3097006080 330444 33554432000 1073741824 1073778376 140735943671792 140414957859752 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1716.25
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/213 20923
/proc/meminfo: memFree=23421324/32873844 swapFree=7628/7628
[pid=20806] ppid=20804 vsize=3024420 CPUtime=1778.21 cores=1,3,5,7
/proc/20806/stat : 20806 (java) S 20804 20806 17886 0 -1 4202496 18709 0 1 0 177639 182 0 0 20 0 19 0 345742639 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140735943662928 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20806/statm: 756105 331468 2299 9 0 746526 0
[pid=20806/tid=20808] ppid=20804 vsize=3024420 CPUtime=1701.67 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (java) R 20804 20806 17886 0 -1 4202560 3918 0 1 0 170126 41 0 0 20 0 19 0 345742640 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140415860481248 140415719153310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20809] ppid=20804 vsize=3024420 CPUtime=9.23 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (java) S 20804 20806 17886 0 -1 4202560 441 0 0 0 908 15 0 0 20 0 19 0 345742642 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140415843907880 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20810] ppid=20804 vsize=3024420 CPUtime=9.14 cores=1,3,5,7
/proc/20806/task/20810/stat : 20810 (java) S 20804 20806 17886 0 -1 4202560 408 0 0 0 900 14 0 0 20 0 19 0 345742642 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140415842855080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20811] ppid=20804 vsize=3024420 CPUtime=9.31 cores=1,3,5,7
/proc/20806/task/20811/stat : 20811 (java) S 20804 20806 17886 0 -1 4202560 424 0 0 0 917 14 0 0 20 0 19 0 345742642 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140415841802792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20812] ppid=20804 vsize=3024420 CPUtime=9.42 cores=1,3,5,7
/proc/20806/task/20812/stat : 20812 (java) S 20804 20806 17886 0 -1 4202560 420 0 0 0 927 15 0 0 20 0 19 0 345742642 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140415840749992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20806/tid=20813] ppid=20804 vsize=3024420 CPUtime=9.22 cores=1,3,5,7
/proc/20806/task/20813/stat : 20813 (java) S 20804 20806 17886 0 -1 4202560 413 0 0 0 908 14 0 0 20 0 19 0 345742642 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140415839697704 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20814] ppid=20804 vsize=3024420 CPUtime=9.49 cores=1,3,5,7
/proc/20806/task/20814/stat : 20814 (java) S 20804 20806 17886 0 -1 4202560 424 0 0 0 934 15 0 0 20 0 19 0 345742642 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140415838644904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20806/tid=20815] ppid=20804 vsize=3024420 CPUtime=9.44 cores=1,3,5,7
/proc/20806/task/20815/stat : 20815 (java) S 20804 20806 17886 0 -1 4202560 420 0 0 0 929 15 0 0 20 0 19 0 345742642 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140415837592616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20816] ppid=20804 vsize=3024420 CPUtime=9.1 cores=1,3,5,7
/proc/20806/task/20816/stat : 20816 (java) S 20804 20806 17886 0 -1 4202560 413 0 0 0 896 14 0 0 20 0 19 0 345742642 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140415718124456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20806/tid=20817] ppid=20804 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/20806/task/20817/stat : 20817 (java) S 20804 20806 17886 0 -1 4202560 108 0 0 0 12 4 0 0 20 0 19 0 345742643 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140415705925864 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20818] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20818/stat : 20818 (java) S 20804 20806 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345742644 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140415704871928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20819] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20819/stat : 20819 (java) S 20804 20806 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345742644 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140415703819528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20820] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20820/stat : 20820 (java) S 20804 20806 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345742646 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140415702768016 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20821] ppid=20804 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/20806/task/20821/stat : 20821 (java) S 20804 20806 17886 0 -1 4202560 3171 0 0 0 78 0 0 0 20 0 19 0 345742646 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140414963149496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20822] ppid=20804 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/20806/task/20822/stat : 20822 (java) S 20804 20806 17886 0 -1 4202560 6869 0 0 0 77 2 0 0 20 0 19 0 345742646 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140414962096696 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20823] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20823/stat : 20823 (java) S 20804 20806 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345742646 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140414961044600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20824] ppid=20804 vsize=3024420 CPUtime=0.95 cores=1,3,5,7
/proc/20806/task/20824/stat : 20824 (java) S 20804 20806 17886 0 -1 4202560 99 0 0 0 50 45 0 0 20 0 19 0 345742646 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140414959992008 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20825] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20825/stat : 20825 (java) S 20804 20806 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345743101 3097006080 331468 33554432000 1073741824 1073778376 140735943671792 140414957859752 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1778.21
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1743.51 s]
/proc/loadavg: 2.13 2.03 2.01 3/213 20923
/proc/meminfo: memFree=23419400/32873844 swapFree=7628/7628
[pid=20806] ppid=20804 vsize=3024420 CPUtime=1800.07 cores=1,3,5,7
/proc/20806/stat : 20806 (java) S 20804 20806 17886 0 -1 4202496 18718 0 1 0 179824 183 0 0 20 0 19 0 345742639 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140735943662928 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20806/statm: 756105 331980 2299 9 0 746526 0
[pid=20806/tid=20808] ppid=20804 vsize=3024420 CPUtime=1722.63 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (java) R 20804 20806 17886 0 -1 4202560 3926 0 1 0 172221 42 0 0 20 0 19 0 345742640 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415860481264 140415718918256 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20809] ppid=20804 vsize=3024420 CPUtime=9.33 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (java) S 20804 20806 17886 0 -1 4202560 441 0 0 0 918 15 0 0 20 0 19 0 345742642 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415843907880 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20810] ppid=20804 vsize=3024420 CPUtime=9.28 cores=1,3,5,7
/proc/20806/task/20810/stat : 20810 (java) S 20804 20806 17886 0 -1 4202560 408 0 0 0 914 14 0 0 20 0 19 0 345742642 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415842855080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20811] ppid=20804 vsize=3024420 CPUtime=9.43 cores=1,3,5,7
/proc/20806/task/20811/stat : 20811 (java) S 20804 20806 17886 0 -1 4202560 424 0 0 0 929 14 0 0 20 0 19 0 345742642 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415841802792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20806/tid=20812] ppid=20804 vsize=3024420 CPUtime=9.5 cores=1,3,5,7
/proc/20806/task/20812/stat : 20812 (java) S 20804 20806 17886 0 -1 4202560 421 0 0 0 935 15 0 0 20 0 19 0 345742642 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415840749992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20813] ppid=20804 vsize=3024420 CPUtime=9.33 cores=1,3,5,7
/proc/20806/task/20813/stat : 20813 (java) S 20804 20806 17886 0 -1 4202560 413 0 0 0 919 14 0 0 20 0 19 0 345742642 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415839697704 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20814] ppid=20804 vsize=3024420 CPUtime=9.61 cores=1,3,5,7
/proc/20806/task/20814/stat : 20814 (java) S 20804 20806 17886 0 -1 4202560 424 0 0 0 946 15 0 0 20 0 19 0 345742642 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415838644904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20806/tid=20815] ppid=20804 vsize=3024420 CPUtime=9.56 cores=1,3,5,7
/proc/20806/task/20815/stat : 20815 (java) S 20804 20806 17886 0 -1 4202560 420 0 0 0 941 15 0 0 20 0 19 0 345742642 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415837592616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20816] ppid=20804 vsize=3024420 CPUtime=9.19 cores=1,3,5,7
/proc/20806/task/20816/stat : 20816 (java) S 20804 20806 17886 0 -1 4202560 413 0 0 0 905 14 0 0 20 0 19 0 345742642 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415718124456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20817] ppid=20804 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/20806/task/20817/stat : 20817 (java) S 20804 20806 17886 0 -1 4202560 108 0 0 0 12 4 0 0 20 0 19 0 345742643 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415705925864 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20818] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20818/stat : 20818 (java) S 20804 20806 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345742644 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415704871928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20819] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20819/stat : 20819 (java) S 20804 20806 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345742644 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415703819528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20820] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20820/stat : 20820 (java) S 20804 20806 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345742646 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415702768016 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20821] ppid=20804 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/20806/task/20821/stat : 20821 (java) S 20804 20806 17886 0 -1 4202560 3171 0 0 0 78 0 0 0 20 0 19 0 345742646 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140414963149496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20822] ppid=20804 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/20806/task/20822/stat : 20822 (java) S 20804 20806 17886 0 -1 4202560 6869 0 0 0 77 2 0 0 20 0 19 0 345742646 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140414962096696 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20823] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20823/stat : 20823 (java) S 20804 20806 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345742646 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140414961044600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20824] ppid=20804 vsize=3024420 CPUtime=0.97 cores=1,3,5,7
/proc/20806/task/20824/stat : 20824 (java) S 20804 20806 17886 0 -1 4202560 99 0 0 0 51 46 0 0 20 0 19 0 345742646 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140414959992008 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20825] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20825/stat : 20825 (java) S 20804 20806 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345743101 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140414957859752 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1743.51 s]
/proc/loadavg: 2.13 2.03 2.01 3/213 20923
/proc/meminfo: memFree=23419400/32873844 swapFree=7628/7628
[pid=20806] ppid=20804 vsize=3024420 CPUtime=1800.07 cores=1,3,5,7
/proc/20806/stat : 20806 (java) S 20804 20806 17886 0 -1 4202496 18718 0 1 0 179824 183 0 0 20 0 19 0 345742639 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140735943662928 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20806/statm: 756105 331980 2299 9 0 746526 0
[pid=20806/tid=20808] ppid=20804 vsize=3024420 CPUtime=1722.63 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (java) R 20804 20806 17886 0 -1 4202560 3926 0 1 0 172221 42 0 0 20 0 19 0 345742640 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415860481264 140415718918256 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20809] ppid=20804 vsize=3024420 CPUtime=9.33 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (java) S 20804 20806 17886 0 -1 4202560 441 0 0 0 918 15 0 0 20 0 19 0 345742642 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415843907880 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20810] ppid=20804 vsize=3024420 CPUtime=9.28 cores=1,3,5,7
/proc/20806/task/20810/stat : 20810 (java) S 20804 20806 17886 0 -1 4202560 408 0 0 0 914 14 0 0 20 0 19 0 345742642 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415842855080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20811] ppid=20804 vsize=3024420 CPUtime=9.43 cores=1,3,5,7
/proc/20806/task/20811/stat : 20811 (java) S 20804 20806 17886 0 -1 4202560 424 0 0 0 929 14 0 0 20 0 19 0 345742642 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415841802792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20806/tid=20812] ppid=20804 vsize=3024420 CPUtime=9.5 cores=1,3,5,7
/proc/20806/task/20812/stat : 20812 (java) S 20804 20806 17886 0 -1 4202560 421 0 0 0 935 15 0 0 20 0 19 0 345742642 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415840749992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20813] ppid=20804 vsize=3024420 CPUtime=9.33 cores=1,3,5,7
/proc/20806/task/20813/stat : 20813 (java) S 20804 20806 17886 0 -1 4202560 413 0 0 0 919 14 0 0 20 0 19 0 345742642 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415839697704 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20814] ppid=20804 vsize=3024420 CPUtime=9.61 cores=1,3,5,7
/proc/20806/task/20814/stat : 20814 (java) S 20804 20806 17886 0 -1 4202560 424 0 0 0 946 15 0 0 20 0 19 0 345742642 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415838644904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20806/tid=20815] ppid=20804 vsize=3024420 CPUtime=9.56 cores=1,3,5,7
/proc/20806/task/20815/stat : 20815 (java) S 20804 20806 17886 0 -1 4202560 420 0 0 0 941 15 0 0 20 0 19 0 345742642 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415837592616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20816] ppid=20804 vsize=3024420 CPUtime=9.19 cores=1,3,5,7
/proc/20806/task/20816/stat : 20816 (java) S 20804 20806 17886 0 -1 4202560 413 0 0 0 905 14 0 0 20 0 19 0 345742642 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415718124456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20817] ppid=20804 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/20806/task/20817/stat : 20817 (java) S 20804 20806 17886 0 -1 4202560 108 0 0 0 12 4 0 0 20 0 19 0 345742643 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415705925864 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20818] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20818/stat : 20818 (java) S 20804 20806 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345742644 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415704871928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20819] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20819/stat : 20819 (java) S 20804 20806 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345742644 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415703819528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20820] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20820/stat : 20820 (java) S 20804 20806 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345742646 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140415702768016 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20821] ppid=20804 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/20806/task/20821/stat : 20821 (java) S 20804 20806 17886 0 -1 4202560 3171 0 0 0 78 0 0 0 20 0 19 0 345742646 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140414963149496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20822] ppid=20804 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/20806/task/20822/stat : 20822 (java) S 20804 20806 17886 0 -1 4202560 6869 0 0 0 77 2 0 0 20 0 19 0 345742646 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140414962096696 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20823] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20823/stat : 20823 (java) S 20804 20806 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345742646 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140414961044600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20806/tid=20824] ppid=20804 vsize=3024420 CPUtime=0.97 cores=1,3,5,7
/proc/20806/task/20824/stat : 20824 (java) S 20804 20806 17886 0 -1 4202560 99 0 0 0 51 46 0 0 20 0 19 0 345742646 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140414959992008 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20825] ppid=20804 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20825/stat : 20825 (java) S 20804 20806 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345743101 3097006080 331980 33554432000 1073741824 1073778376 140735943671792 140414957859752 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3024420
Child status: 143
Real time (s): 1743.53
CPU time (s): 1800.82
CPU user time (s): 1798.59
CPU system time (s): 2.23166
CPU usage (%): 103.286
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.59
system time used= 2.23166
maximum resident set size= 1328036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18748
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57550
involuntary context switches= 99299
runsolver used 6.09907 second user time and 17.0264 second system time
The end