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-3733436-1338689509/watcher-3733436-1338689509 -o /tmp/evaluation-result-3733436-1338689509/solver-3733436-1338689509 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3733436-1338689509.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: 3.60 3.79 3.85 4/197 26808
/proc/meminfo: memFree=27052484/32873844 swapFree=7628/7628
[pid=26808] ppid=26806 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/26808/stat : 26808 (java) R 26806 26808 23082 0 -1 4202496 1054 0 0 0 0 0 0 0 20 0 1 0 335075928 23793664 781 33554432000 1073741824 1073778376 140735948970256 140735948959320 139920074290592 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26808/statm: 5809 799 593 9 0 128 0
[startup+0.0898251 s]
/proc/loadavg: 3.60 3.79 3.85 4/197 26808
/proc/meminfo: memFree=27052484/32873844 swapFree=7628/7628
[pid=26808] ppid=26806 vsize=11586392 CPUtime=0.08 cores=1,3,5,7
/proc/26808/stat : 26808 (java) S 26806 26808 23082 0 -1 4202496 4536 0 1 0 7 1 0 0 20 0 18 0 335075928 11864465408 13393 33554432000 1073741824 1073778376 140735948970256 140735948961392 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26808/statm: 2896598 13393 2043 9 0 2887285 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11586392
[startup+0.100295 s]
/proc/loadavg: 3.60 3.79 3.85 4/197 26808
/proc/meminfo: memFree=27052484/32873844 swapFree=7628/7628
[pid=26808] ppid=26806 vsize=11586392 CPUtime=0.1 cores=1,3,5,7
/proc/26808/stat : 26808 (java) S 26806 26808 23082 0 -1 4202496 4767 0 1 0 9 1 0 0 20 0 18 0 335075928 11864465408 13623 33554432000 1073741824 1073778376 140735948970256 140735948961392 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26808/statm: 2896598 13623 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.300212 s]
/proc/loadavg: 3.60 3.79 3.85 4/197 26808
/proc/meminfo: memFree=27052484/32873844 swapFree=7628/7628
[pid=26808] ppid=26806 vsize=11586392 CPUtime=0.54 cores=1,3,5,7
/proc/26808/stat : 26808 (java) S 26806 26808 23082 0 -1 4202496 6954 0 1 0 52 2 0 0 20 0 18 0 335075928 11864465408 18263 33554432000 1073741824 1073778376 140735948970256 140735948961392 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26808/statm: 2896598 18263 2227 9 0 2887285 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 11586392
[startup+0.700273 s]
/proc/loadavg: 3.60 3.79 3.85 4/197 26808
/proc/meminfo: memFree=27052484/32873844 swapFree=7628/7628
[pid=26808] ppid=26806 vsize=11586392 CPUtime=1.05 cores=1,3,5,7
/proc/26808/stat : 26808 (java) S 26806 26808 23082 0 -1 4202496 7258 0 1 0 102 3 0 0 20 0 18 0 335075928 11864465408 45440 33554432000 1073741824 1073778376 140735948970256 140735948961392 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26808/statm: 2896598 45440 2236 9 0 2887285 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 11586392
[startup+1.50075 s]
/proc/loadavg: 3.55 3.78 3.85 4/215 26826
/proc/meminfo: memFree=26791132/32873844 swapFree=7628/7628
[pid=26808] ppid=26806 vsize=11586392 CPUtime=1.86 cores=1,3,5,7
/proc/26808/stat : 26808 (java) S 26806 26808 23082 0 -1 4202496 7383 0 1 0 179 7 0 0 20 0 18 0 335075928 11864465408 102272 33554432000 1073741824 1073778376 140735948970256 140735948961392 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26808/statm: 2896598 102272 2236 9 0 2887285 0
[pid=26808/tid=26810] ppid=26806 vsize=11586392 CPUtime=1.47 cores=1,3,5,7
/proc/26808/task/26810/stat : 26810 (java) R 26806 26808 23082 0 -1 4202560 3032 0 1 0 140 7 0 0 20 0 18 0 335075929 11864465408 102272 33554432000 1073741824 1073778376 140735948970256 139920067428352 139919918432768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26811] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26811/stat : 26811 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 102272 33554432000 1073741824 1073778376 140735948970256 139919904181288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26812] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26812/stat : 26812 (java) S 26806 26808 23082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 102272 33554432000 1073741824 1073778376 140735948970256 139919903128488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26813] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26813/stat : 26813 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 102272 33554432000 1073741824 1073778376 140735948970256 139919833951016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26814] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26814/stat : 26814 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 102272 33554432000 1073741824 1073778376 140735948970256 139919832898216 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26815] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26815/stat : 26815 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 102272 33554432000 1073741824 1073778376 140735948970256 139919831845416 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26816] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26816/stat : 26816 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 102272 33554432000 1073741824 1073778376 140735948970256 139919830792616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26817] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26817/stat : 26817 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 102272 33554432000 1073741824 1073778376 140735948970256 139919829739816 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26818] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26818/stat : 26818 (java) S 26806 26808 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 102272 33554432000 1073741824 1073778376 140735948970256 139919828687016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26819] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26819/stat : 26819 (java) S 26806 26808 23082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 335075932 11864465408 102272 33554432000 1073741824 1073778376 140735948970256 139919816489960 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26820] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26820/stat : 26820 (java) S 26806 26808 23082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 335075933 11864465408 102272 33554432000 1073741824 1073778376 140735948970256 139919815436024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26821] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26821/stat : 26821 (java) S 26806 26808 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 335075933 11864465408 102272 33554432000 1073741824 1073778376 140735948970256 139919814383112 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26822] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26822/stat : 26822 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075935 11864465408 102272 33554432000 1073741824 1073778376 140735948970256 139919813331600 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26823] ppid=26806 vsize=11586392 CPUtime=0.2 cores=1,3,5,7
/proc/26808/task/26823/stat : 26823 (java) S 26806 26808 23082 0 -1 4202560 2053 0 0 0 20 0 0 0 20 0 18 0 335075935 11864465408 102272 33554432000 1073741824 1073778376 140735948970256 139919812278712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26824] ppid=26806 vsize=11586392 CPUtime=0.15 cores=1,3,5,7
/proc/26808/task/26824/stat : 26824 (java) S 26806 26808 23082 0 -1 4202560 1112 0 0 0 15 0 0 0 20 0 18 0 335075935 11864465408 102272 33554432000 1073741824 1073778376 140735948970256 139919811225912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26825] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26825/stat : 26825 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075935 11864465408 102272 33554432000 1073741824 1073778376 140735948970256 139919810173304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26826] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26826/stat : 26826 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075935 11864465408 102272 33554432000 1073741824 1073778376 140735948970256 139919809120712 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 11586392
[startup+3.10075 s]
/proc/loadavg: 3.55 3.78 3.85 4/215 26826
/proc/meminfo: memFree=26472700/32873844 swapFree=7628/7628
[pid=26808] ppid=26806 vsize=11586392 CPUtime=3.51 cores=1,3,5,7
/proc/26808/stat : 26808 (java) S 26806 26808 23082 0 -1 4202496 7660 0 1 0 336 15 0 0 20 0 18 0 335075928 11864465408 216448 33554432000 1073741824 1073778376 140735948970256 140735948961392 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26808/statm: 2896598 216448 2236 9 0 2887285 0
[pid=26808/tid=26810] ppid=26806 vsize=11586392 CPUtime=3.07 cores=1,3,5,7
/proc/26808/task/26810/stat : 26810 (java) R 26806 26808 23082 0 -1 4202560 3255 0 1 0 293 14 0 0 20 0 18 0 335075929 11864465408 216448 33554432000 1073741824 1073778376 140735948970256 139920067428352 139919918405695 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26811] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26811/stat : 26811 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 216448 33554432000 1073741824 1073778376 140735948970256 139919904181288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26812] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26812/stat : 26812 (java) S 26806 26808 23082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 216448 33554432000 1073741824 1073778376 140735948970256 139919903128488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26813] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26813/stat : 26813 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 216448 33554432000 1073741824 1073778376 140735948970256 139919833951016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26814] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26814/stat : 26814 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 216448 33554432000 1073741824 1073778376 140735948970256 139919832898216 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26815] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26815/stat : 26815 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 216448 33554432000 1073741824 1073778376 140735948970256 139919831845416 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26816] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26816/stat : 26816 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 216448 33554432000 1073741824 1073778376 140735948970256 139919830792616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26817] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26817/stat : 26817 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 216448 33554432000 1073741824 1073778376 140735948970256 139919829739816 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26818] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26818/stat : 26818 (java) S 26806 26808 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 216448 33554432000 1073741824 1073778376 140735948970256 139919828687016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26819] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26819/stat : 26819 (java) S 26806 26808 23082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 335075932 11864465408 216448 33554432000 1073741824 1073778376 140735948970256 139919816489960 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26820] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26820/stat : 26820 (java) S 26806 26808 23082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 335075933 11864465408 216448 33554432000 1073741824 1073778376 140735948970256 139919815436024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26821] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26821/stat : 26821 (java) S 26806 26808 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 335075933 11864465408 216448 33554432000 1073741824 1073778376 140735948970256 139919814383112 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26822] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26822/stat : 26822 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075935 11864465408 216448 33554432000 1073741824 1073778376 140735948970256 139919813331600 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26823] ppid=26806 vsize=11586392 CPUtime=0.23 cores=1,3,5,7
/proc/26808/task/26823/stat : 26823 (java) S 26806 26808 23082 0 -1 4202560 2053 0 0 0 23 0 0 0 20 0 18 0 335075935 11864465408 216448 33554432000 1073741824 1073778376 140735948970256 139919812278712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26824] ppid=26806 vsize=11586392 CPUtime=0.17 cores=1,3,5,7
/proc/26808/task/26824/stat : 26824 (java) S 26806 26808 23082 0 -1 4202560 1166 0 0 0 17 0 0 0 20 0 18 0 335075935 11864465408 216448 33554432000 1073741824 1073778376 140735948970256 139919811225912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26825] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26825/stat : 26825 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075935 11864465408 216448 33554432000 1073741824 1073778376 140735948970256 139919810173304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26826] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26826/stat : 26826 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075935 11864465408 216448 33554432000 1073741824 1073778376 140735948970256 139919809120712 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 11586392
[startup+6.30075 s]
/proc/loadavg: 3.55 3.78 3.85 3/215 26826
/proc/meminfo: memFree=25582008/32873844 swapFree=7628/7628
[pid=26808] ppid=26806 vsize=11586392 CPUtime=6.71 cores=1,3,5,7
/proc/26808/stat : 26808 (java) S 26806 26808 23082 0 -1 4202496 8075 0 1 0 641 30 0 0 20 0 18 0 335075928 11864465408 426340 33554432000 1073741824 1073778376 140735948970256 140735948961392 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26808/statm: 2896598 426340 2239 9 0 2887285 0
[pid=26808/tid=26810] ppid=26806 vsize=11586392 CPUtime=6.27 cores=1,3,5,7
/proc/26808/task/26810/stat : 26810 (java) R 26806 26808 23082 0 -1 4202560 3666 0 1 0 597 30 0 0 20 0 18 0 335075929 11864465408 426340 33554432000 1073741824 1073778376 140735948970256 139920067428320 223655027981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26811] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26811/stat : 26811 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 426340 33554432000 1073741824 1073778376 140735948970256 139919904181288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26812] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26812/stat : 26812 (java) S 26806 26808 23082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 426340 33554432000 1073741824 1073778376 140735948970256 139919903128488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26813] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26813/stat : 26813 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 426340 33554432000 1073741824 1073778376 140735948970256 139919833951016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26814] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26814/stat : 26814 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 426340 33554432000 1073741824 1073778376 140735948970256 139919832898216 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26815] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26815/stat : 26815 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 426340 33554432000 1073741824 1073778376 140735948970256 139919831845416 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26816] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26816/stat : 26816 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 426340 33554432000 1073741824 1073778376 140735948970256 139919830792616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26817] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26817/stat : 26817 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 426340 33554432000 1073741824 1073778376 140735948970256 139919829739816 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26818] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26818/stat : 26818 (java) S 26806 26808 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 335075931 11864465408 426340 33554432000 1073741824 1073778376 140735948970256 139919828687016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26819] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26819/stat : 26819 (java) S 26806 26808 23082 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 335075932 11864465408 426340 33554432000 1073741824 1073778376 140735948970256 139919816489960 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26820] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26820/stat : 26820 (java) S 26806 26808 23082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 335075933 11864465408 426340 33554432000 1073741824 1073778376 140735948970256 139919815436024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26821] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26821/stat : 26821 (java) S 26806 26808 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 335075933 11864465408 426340 33554432000 1073741824 1073778376 140735948970256 139919814383112 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26822] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26822/stat : 26822 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075935 11864465408 426340 33554432000 1073741824 1073778376 140735948970256 139919813331600 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26823] ppid=26806 vsize=11586392 CPUtime=0.23 cores=1,3,5,7
/proc/26808/task/26823/stat : 26823 (java) S 26806 26808 23082 0 -1 4202560 2053 0 0 0 23 0 0 0 20 0 18 0 335075935 11864465408 426340 33554432000 1073741824 1073778376 140735948970256 139919812278712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26824] ppid=26806 vsize=11586392 CPUtime=0.17 cores=1,3,5,7
/proc/26808/task/26824/stat : 26824 (java) S 26806 26808 23082 0 -1 4202560 1166 0 0 0 17 0 0 0 20 0 18 0 335075935 11864465408 426340 33554432000 1073741824 1073778376 140735948970256 139919811225912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26825] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26825/stat : 26825 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335075935 11864465408 426340 33554432000 1073741824 1073778376 140735948970256 139919810173304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26826] ppid=26806 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26826/stat : 26826 (java) S 26806 26808 23082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 335075935 11864465408 426340 33554432000 1073741824 1073778376 140735948970256 139919809120712 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 11586392
[startup+12.7008 s]
/proc/loadavg: 3.54 3.77 3.84 5/217 26828
/proc/meminfo: memFree=24566264/32873844 swapFree=7628/7628
[pid=26808] ppid=26806 vsize=11719520 CPUtime=16.93 cores=1,3,5,7
/proc/26808/stat : 26808 (java) S 26806 26808 23082 0 -1 4202496 8911 0 1 0 1647 46 0 0 20 0 20 0 335075928 12000788480 624068 33554432000 1073741824 1073778376 140735948970256 140735948961392 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26808/statm: 2929880 624068 2244 9 0 2920567 0
[pid=26808/tid=26810] ppid=26806 vsize=11719520 CPUtime=8.98 cores=1,3,5,7
################
# More data... #
################
[pid=26808/tid=26828] ppid=26806 vsize=11852648 CPUtime=810.34 cores=1,3,5,7
/proc/26808/task/26828/stat : 26828 (java) R 26806 26808 23082 0 -1 4202560 258 0 0 0 81018 16 0 0 20 0 22 0 335076829 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919807012240 139919918355951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26829] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26829/stat : 26829 (java) S 26806 26808 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335079012 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919805961640 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26831] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26831/stat : 26831 (java) S 26806 26808 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335092665 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919804908840 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1642.02
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.92 3.84 3.82 5/219 26898
/proc/meminfo: memFree=20636288/32873844 swapFree=7628/7628
[pid=26808] ppid=26806 vsize=11852648 CPUtime=1762.08 cores=1,3,5,7
/proc/26808/stat : 26808 (java) S 26806 26808 23082 0 -1 4202496 21595 0 1 0 175950 258 0 0 20 0 22 0 335075928 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 140735948961392 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26808/statm: 2963162 983777 2265 9 0 2953849 0
[pid=26808/tid=26810] ppid=26806 vsize=11852648 CPUtime=9.03 cores=1,3,5,7
/proc/26808/task/26810/stat : 26810 (java) S 26806 26808 23082 0 -1 4202560 4021 0 1 0 857 46 0 0 20 0 22 0 335075929 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139920067437720 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26811] ppid=26806 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/26808/task/26811/stat : 26811 (java) S 26806 26808 23082 0 -1 4202560 534 0 0 0 91 20 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919904181288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26812] ppid=26806 vsize=11852648 CPUtime=1.2 cores=1,3,5,7
/proc/26808/task/26812/stat : 26812 (java) S 26806 26808 23082 0 -1 4202560 554 0 0 0 98 22 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919903128488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26813] ppid=26806 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/26808/task/26813/stat : 26813 (java) S 26806 26808 23082 0 -1 4202560 536 0 0 0 102 20 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919833951016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26814] ppid=26806 vsize=11852648 CPUtime=1.48 cores=1,3,5,7
/proc/26808/task/26814/stat : 26814 (java) S 26806 26808 23082 0 -1 4202560 686 0 0 0 119 29 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919832898216 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26815] ppid=26806 vsize=11852648 CPUtime=1.4 cores=1,3,5,7
/proc/26808/task/26815/stat : 26815 (java) S 26806 26808 23082 0 -1 4202560 481 0 0 0 118 22 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919831845416 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26816] ppid=26806 vsize=11852648 CPUtime=1.41 cores=1,3,5,7
/proc/26808/task/26816/stat : 26816 (java) S 26806 26808 23082 0 -1 4202560 631 0 0 0 116 25 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919830792616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26817] ppid=26806 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/26808/task/26817/stat : 26817 (java) S 26806 26808 23082 0 -1 4202560 458 0 0 0 95 22 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919829739816 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26818] ppid=26806 vsize=11852648 CPUtime=1.28 cores=1,3,5,7
/proc/26808/task/26818/stat : 26818 (java) S 26806 26808 23082 0 -1 4202560 287 0 0 0 110 18 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919828687016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26819] ppid=26806 vsize=11852648 CPUtime=0.08 cores=1,3,5,7
/proc/26808/task/26819/stat : 26819 (java) S 26806 26808 23082 0 -1 4202560 43 0 0 0 2 6 0 0 20 0 22 0 335075932 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919816489960 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26820] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26820/stat : 26820 (java) S 26806 26808 23082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335075933 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919815436024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26821] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26821/stat : 26821 (java) S 26806 26808 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335075933 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919814383112 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26822] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26822/stat : 26822 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335075935 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919813331600 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26823] ppid=26806 vsize=11852648 CPUtime=0.86 cores=1,3,5,7
/proc/26808/task/26823/stat : 26823 (java) S 26806 26808 23082 0 -1 4202560 4365 0 0 0 86 0 0 0 20 0 22 0 335075935 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919812278712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26824] ppid=26806 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/26808/task/26824/stat : 26824 (java) S 26806 26808 23082 0 -1 4202560 7420 0 0 0 101 2 0 0 20 0 22 0 335075935 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919811225912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26825] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26825/stat : 26825 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335075935 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919810173304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26826] ppid=26806 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/26808/task/26826/stat : 26826 (java) S 26806 26808 23082 0 -1 4202560 52 0 0 0 17 26 0 0 20 0 22 0 335075935 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919809120712 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26827] ppid=26806 vsize=11852648 CPUtime=870.36 cores=1,3,5,7
/proc/26808/task/26827/stat : 26827 (java) R 26806 26808 23082 0 -1 4202560 65 0 0 0 87021 15 0 0 20 0 22 0 335076829 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919808064256 139919918763616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26828] ppid=26806 vsize=11852648 CPUtime=870.22 cores=1,3,5,7
/proc/26808/task/26828/stat : 26828 (java) R 26806 26808 23082 0 -1 4202560 273 0 0 0 87005 17 0 0 20 0 22 0 335076829 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919807012320 139919918912073 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26829] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26829/stat : 26829 (java) S 26806 26808 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335079012 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919805961640 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26831] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26831/stat : 26831 (java) S 26806 26808 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335092665 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919804908840 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1762.08
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+901.301 s]
/proc/loadavg: 3.94 3.85 3.82 5/219 26898
/proc/meminfo: memFree=20627848/32873844 swapFree=7628/7628
[pid=26808] ppid=26806 vsize=11852648 CPUtime=1800.11 cores=1,3,5,7
/proc/26808/stat : 26808 (java) S 26806 26808 23082 0 -1 4202496 21601 0 1 0 179752 259 0 0 20 0 22 0 335075928 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 140735948961392 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26808/statm: 2963162 983777 2265 9 0 2953849 0
[pid=26808/tid=26810] ppid=26806 vsize=11852648 CPUtime=9.03 cores=1,3,5,7
/proc/26808/task/26810/stat : 26810 (java) S 26806 26808 23082 0 -1 4202560 4021 0 1 0 857 46 0 0 20 0 22 0 335075929 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139920067437720 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26811] ppid=26806 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/26808/task/26811/stat : 26811 (java) S 26806 26808 23082 0 -1 4202560 534 0 0 0 92 20 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919904181288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26812] ppid=26806 vsize=11852648 CPUtime=1.21 cores=1,3,5,7
/proc/26808/task/26812/stat : 26812 (java) S 26806 26808 23082 0 -1 4202560 554 0 0 0 99 22 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919903128488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26813] ppid=26806 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/26808/task/26813/stat : 26813 (java) S 26806 26808 23082 0 -1 4202560 536 0 0 0 102 20 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919833951016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26814] ppid=26806 vsize=11852648 CPUtime=1.48 cores=1,3,5,7
/proc/26808/task/26814/stat : 26814 (java) S 26806 26808 23082 0 -1 4202560 686 0 0 0 119 29 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919832898216 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26815] ppid=26806 vsize=11852648 CPUtime=1.4 cores=1,3,5,7
/proc/26808/task/26815/stat : 26815 (java) S 26806 26808 23082 0 -1 4202560 481 0 0 0 118 22 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919831845416 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26816] ppid=26806 vsize=11852648 CPUtime=1.41 cores=1,3,5,7
/proc/26808/task/26816/stat : 26816 (java) S 26806 26808 23082 0 -1 4202560 631 0 0 0 116 25 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919830792616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26817] ppid=26806 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/26808/task/26817/stat : 26817 (java) S 26806 26808 23082 0 -1 4202560 458 0 0 0 95 22 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919829739816 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26818] ppid=26806 vsize=11852648 CPUtime=1.29 cores=1,3,5,7
/proc/26808/task/26818/stat : 26818 (java) S 26806 26808 23082 0 -1 4202560 287 0 0 0 111 18 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919828687016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26819] ppid=26806 vsize=11852648 CPUtime=0.08 cores=1,3,5,7
/proc/26808/task/26819/stat : 26819 (java) S 26806 26808 23082 0 -1 4202560 43 0 0 0 2 6 0 0 20 0 22 0 335075932 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919816489960 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26820] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26820/stat : 26820 (java) S 26806 26808 23082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335075933 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919815436024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26821] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26821/stat : 26821 (java) S 26806 26808 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335075933 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919814383112 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26822] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26822/stat : 26822 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335075935 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919813331600 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26823] ppid=26806 vsize=11852648 CPUtime=0.86 cores=1,3,5,7
/proc/26808/task/26823/stat : 26823 (java) S 26806 26808 23082 0 -1 4202560 4365 0 0 0 86 0 0 0 20 0 22 0 335075935 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919812278712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26824] ppid=26806 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/26808/task/26824/stat : 26824 (java) S 26806 26808 23082 0 -1 4202560 7420 0 0 0 101 2 0 0 20 0 22 0 335075935 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919811225912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26825] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26825/stat : 26825 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335075935 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919810173304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26826] ppid=26806 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/26808/task/26826/stat : 26826 (java) S 26806 26808 23082 0 -1 4202560 54 0 0 0 18 26 0 0 20 0 22 0 335075935 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919809120712 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26827] ppid=26806 vsize=11852648 CPUtime=889.36 cores=1,3,5,7
/proc/26808/task/26827/stat : 26827 (java) R 26806 26808 23082 0 -1 4202560 65 0 0 0 88921 15 0 0 20 0 22 0 335076829 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919808064256 139919918763658 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26828] ppid=26806 vsize=11852648 CPUtime=889.21 cores=1,3,5,7
/proc/26808/task/26828/stat : 26828 (java) R 26806 26808 23082 0 -1 4202560 277 0 0 0 88904 17 0 0 20 0 22 0 335076829 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919807012304 139919918356018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26829] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26829/stat : 26829 (java) S 26806 26808 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335079012 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919805961640 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26831] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26831/stat : 26831 (java) S 26806 26808 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335092665 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919804908840 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+901.301 s]
/proc/loadavg: 3.94 3.85 3.82 5/219 26898
/proc/meminfo: memFree=20627848/32873844 swapFree=7628/7628
[pid=26808] ppid=26806 vsize=11852648 CPUtime=1800.11 cores=1,3,5,7
/proc/26808/stat : 26808 (java) S 26806 26808 23082 0 -1 4202496 21601 0 1 0 179752 259 0 0 20 0 22 0 335075928 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 140735948961392 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26808/statm: 2963162 983777 2265 9 0 2953849 0
[pid=26808/tid=26810] ppid=26806 vsize=11852648 CPUtime=9.03 cores=1,3,5,7
/proc/26808/task/26810/stat : 26810 (java) S 26806 26808 23082 0 -1 4202560 4021 0 1 0 857 46 0 0 20 0 22 0 335075929 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139920067437720 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26811] ppid=26806 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/26808/task/26811/stat : 26811 (java) S 26806 26808 23082 0 -1 4202560 534 0 0 0 92 20 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919904181288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26812] ppid=26806 vsize=11852648 CPUtime=1.21 cores=1,3,5,7
/proc/26808/task/26812/stat : 26812 (java) S 26806 26808 23082 0 -1 4202560 554 0 0 0 99 22 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919903128488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26813] ppid=26806 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/26808/task/26813/stat : 26813 (java) S 26806 26808 23082 0 -1 4202560 536 0 0 0 102 20 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919833951016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26814] ppid=26806 vsize=11852648 CPUtime=1.48 cores=1,3,5,7
/proc/26808/task/26814/stat : 26814 (java) S 26806 26808 23082 0 -1 4202560 686 0 0 0 119 29 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919832898216 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26815] ppid=26806 vsize=11852648 CPUtime=1.4 cores=1,3,5,7
/proc/26808/task/26815/stat : 26815 (java) S 26806 26808 23082 0 -1 4202560 481 0 0 0 118 22 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919831845416 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26816] ppid=26806 vsize=11852648 CPUtime=1.41 cores=1,3,5,7
/proc/26808/task/26816/stat : 26816 (java) S 26806 26808 23082 0 -1 4202560 631 0 0 0 116 25 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919830792616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26817] ppid=26806 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/26808/task/26817/stat : 26817 (java) S 26806 26808 23082 0 -1 4202560 458 0 0 0 95 22 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919829739816 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26818] ppid=26806 vsize=11852648 CPUtime=1.29 cores=1,3,5,7
/proc/26808/task/26818/stat : 26818 (java) S 26806 26808 23082 0 -1 4202560 287 0 0 0 111 18 0 0 20 0 22 0 335075931 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919828687016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26819] ppid=26806 vsize=11852648 CPUtime=0.08 cores=1,3,5,7
/proc/26808/task/26819/stat : 26819 (java) S 26806 26808 23082 0 -1 4202560 43 0 0 0 2 6 0 0 20 0 22 0 335075932 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919816489960 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26820] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26820/stat : 26820 (java) S 26806 26808 23082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335075933 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919815436024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26821] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26821/stat : 26821 (java) S 26806 26808 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335075933 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919814383112 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26822] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26822/stat : 26822 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335075935 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919813331600 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26823] ppid=26806 vsize=11852648 CPUtime=0.86 cores=1,3,5,7
/proc/26808/task/26823/stat : 26823 (java) S 26806 26808 23082 0 -1 4202560 4365 0 0 0 86 0 0 0 20 0 22 0 335075935 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919812278712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26824] ppid=26806 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/26808/task/26824/stat : 26824 (java) S 26806 26808 23082 0 -1 4202560 7420 0 0 0 101 2 0 0 20 0 22 0 335075935 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919811225912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26825] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26825/stat : 26825 (java) S 26806 26808 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335075935 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919810173304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26826] ppid=26806 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/26808/task/26826/stat : 26826 (java) S 26806 26808 23082 0 -1 4202560 54 0 0 0 18 26 0 0 20 0 22 0 335075935 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919809120712 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26808/tid=26827] ppid=26806 vsize=11852648 CPUtime=889.36 cores=1,3,5,7
/proc/26808/task/26827/stat : 26827 (java) R 26806 26808 23082 0 -1 4202560 65 0 0 0 88921 15 0 0 20 0 22 0 335076829 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919808064256 139919918763658 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26808/tid=26828] ppid=26806 vsize=11852648 CPUtime=889.21 cores=1,3,5,7
/proc/26808/task/26828/stat : 26828 (java) R 26806 26808 23082 0 -1 4202560 277 0 0 0 88904 17 0 0 20 0 22 0 335076829 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919807012304 139919918356018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26808/tid=26829] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26829/stat : 26829 (java) S 26806 26808 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335079012 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919805961640 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26808/tid=26831] ppid=26806 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26831/stat : 26831 (java) S 26806 26808 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335092665 12137111552 983777 33554432000 1073741824 1073778376 140735948970256 139919804908840 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 11852648
Child status: 143
Real time (s): 901.333
CPU time (s): 1800.62
CPU user time (s): 1797.56
CPU system time (s): 3.06153
CPU usage (%): 199.773
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.56
system time used= 3.06153
maximum resident set size= 3935248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21638
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24450
involuntary context switches= 17410
runsolver used 3.38948 second user time and 8.84666 second system time
The end