runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3453916-1307194435/watcher-3453916-1307194435 -o /tmp/evaluation-result-3453916-1307194435/solver-3453916-1307194435 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453916-1307194435.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.86 3.43 3.56 4/582 8197
/proc/meminfo: memFree=29181724/32950928 swapFree=41528364/67111528
[pid=8197] ppid=8195 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/8197/stat : 8197 (java) S 8195 8197 3716 0 -1 4202496 2588 0 1 0 0 0 0 0 25 0 2 0 831042190 10681323520 2291 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/8197/statm: 2607745 2305 906 9 0 2598901 0
[pid=8197/tid=8198] ppid=8195 vsize=10453028 CPUtime=0.01 cores=0,2,4,6
/proc/8197/task/8198/stat : 8198 (java) R 8195 8197 3716 0 -1 4202560 8809 0 1 0 0 1 0 0 25 0 10 0 831042191 10703900672 9634 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 47931649761360 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=8197/tid=8199] ppid=8195 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8199/stat : 8199 (java) R 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831042192 10703900672 9639 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=8197/tid=8200] ppid=8195 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8200/stat : 8200 (java) R 8195 8197 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 831042192 10703900672 9639 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=8197/tid=8201] ppid=8195 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8201/stat : 8201 (java) R 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831042192 10703900672 9640 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=8197/tid=8202] ppid=8195 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8202/stat : 8202 (java) R 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831042192 10703900672 9645 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=8197/tid=8203] ppid=8195 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8203/stat : 8203 (java) R 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831042192 10703900672 9647 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=8197/tid=8204] ppid=8195 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8204/stat : 8204 (java) R 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831042192 10703900672 9647 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=8197/tid=8205] ppid=8195 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8205/stat : 8205 (java) R 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831042192 10703900672 9648 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=8197/tid=8206] ppid=8195 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8206/stat : 8206 (java) R 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831042192 10703900672 9648 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0637529 s]
/proc/loadavg: 2.86 3.43 3.56 4/582 8197
/proc/meminfo: memFree=29181724/32950928 swapFree=41528364/67111528
[pid=8197] ppid=8195 vsize=10472952 CPUtime=0.05 cores=0,2,4,6
/proc/8197/stat : 8197 (java) S 8195 8197 3716 0 -1 4202496 11744 0 1 0 4 1 0 0 25 0 18 0 831042190 10724302848 11442 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8197/statm: 2618238 11444 1741 9 0 2608972 0
[pid=8197/tid=8198] ppid=8195 vsize=10472952 CPUtime=0.05 cores=0,2,4,6
/proc/8197/task/8198/stat : 8198 (java) R 8195 8197 3716 0 -1 4202560 10571 0 1 0 4 1 0 0 25 0 18 0 831042191 10724302848 11444 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 47931651851800 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8197/tid=8199] ppid=8195 vsize=10472952 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8199/stat : 8199 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10724302848 11445 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8200] ppid=8195 vsize=10472952 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8200/stat : 8200 (java) S 8195 8197 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831042192 10724302848 11445 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8201] ppid=8195 vsize=10472952 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8201/stat : 8201 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10724302848 11445 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8202] ppid=8195 vsize=10472952 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8202/stat : 8202 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10724302848 11445 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8203] ppid=8195 vsize=10472952 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8203/stat : 8203 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10724302848 11445 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8204] ppid=8195 vsize=10472952 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8204/stat : 8204 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10724302848 11445 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8205] ppid=8195 vsize=10472952 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8205/stat : 8205 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10724302848 11445 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8206] ppid=8195 vsize=10472952 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8206/stat : 8206 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10724302848 11445 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952
[startup+0.100771 s]
/proc/loadavg: 2.86 3.43 3.56 4/582 8197
/proc/meminfo: memFree=29181724/32950928 swapFree=41528364/67111528
[pid=8197] ppid=8195 vsize=10539920 CPUtime=0.1 cores=0,2,4,6
/proc/8197/stat : 8197 (java) S 8195 8197 3716 0 -1 4202496 13135 0 1 0 8 2 0 0 25 0 18 0 831042190 10792878080 12795 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8197/statm: 2634980 12796 2092 9 0 2625714 0
[pid=8197/tid=8198] ppid=8195 vsize=10539920 CPUtime=0.09 cores=0,2,4,6
/proc/8197/task/8198/stat : 8198 (java) R 8195 8197 3716 0 -1 4202560 11218 0 1 0 7 2 0 0 25 0 18 0 831042191 10792878080 12796 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 47931648786437 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8197/tid=8199] ppid=8195 vsize=10539920 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8199/stat : 8199 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10792878080 12796 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8200] ppid=8195 vsize=10539920 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8200/stat : 8200 (java) S 8195 8197 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831042192 10792878080 12796 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8201] ppid=8195 vsize=10539920 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8201/stat : 8201 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10792878080 12796 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8202] ppid=8195 vsize=10539920 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8202/stat : 8202 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10792878080 12796 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8203] ppid=8195 vsize=10539920 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8203/stat : 8203 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10792878080 12796 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8204] ppid=8195 vsize=10539920 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8204/stat : 8204 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10792878080 12796 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8205] ppid=8195 vsize=10539920 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8205/stat : 8205 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10792878080 12796 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8206] ppid=8195 vsize=10539920 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8206/stat : 8206 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10792878080 12796 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539920
[startup+0.300711 s]
/proc/loadavg: 2.86 3.43 3.56 4/582 8197
/proc/meminfo: memFree=29181724/32950928 swapFree=41528364/67111528
[pid=8197] ppid=8195 vsize=10541076 CPUtime=0.47 cores=0,2,4,6
/proc/8197/stat : 8197 (java) S 8195 8197 3716 0 -1 4202496 16629 0 1 0 45 2 0 0 25 0 18 0 831042190 10794061824 15629 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8197/statm: 2635269 15630 2208 9 0 2626003 0
[pid=8197/tid=8198] ppid=8195 vsize=10541076 CPUtime=0.29 cores=0,2,4,6
/proc/8197/task/8198/stat : 8198 (java) R 8195 8197 3716 0 -1 4202560 12931 0 1 0 27 2 0 0 25 0 18 0 831042191 10794061824 15630 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8197/tid=8199] ppid=8195 vsize=10541076 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8199/stat : 8199 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10794061824 15630 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8200] ppid=8195 vsize=10541076 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8200/stat : 8200 (java) S 8195 8197 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831042192 10794061824 15630 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8201] ppid=8195 vsize=10541076 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8201/stat : 8201 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10794061824 15631 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8202] ppid=8195 vsize=10541076 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8202/stat : 8202 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10794061824 15631 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8203] ppid=8195 vsize=10541076 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8203/stat : 8203 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10794061824 15631 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8204] ppid=8195 vsize=10541076 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8204/stat : 8204 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10794061824 15632 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8205] ppid=8195 vsize=10541076 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8205/stat : 8205 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10794061824 15632 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8206] ppid=8195 vsize=10541076 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8206/stat : 8206 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10794061824 15632 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541076
[startup+0.70065 s]
/proc/loadavg: 2.86 3.43 3.56 4/582 8197
/proc/meminfo: memFree=29181724/32950928 swapFree=41528364/67111528
[pid=8197] ppid=8195 vsize=10554144 CPUtime=1.63 cores=0,2,4,6
/proc/8197/stat : 8197 (java) S 8195 8197 3716 0 -1 4202496 36342 0 1 0 158 5 0 0 25 0 18 0 831042190 10807443456 31070 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8197/statm: 2638536 31074 2234 9 0 2629270 0
[pid=8197/tid=8198] ppid=8195 vsize=10554144 CPUtime=0.68 cores=0,2,4,6
/proc/8197/task/8198/stat : 8198 (java) R 8195 8197 3716 0 -1 4202560 24049 0 1 0 65 3 0 0 25 0 18 0 831042191 10807443456 31076 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 46912505820546 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8197/tid=8199] ppid=8195 vsize=10554144 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8199/stat : 8199 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10807443456 31078 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8200] ppid=8195 vsize=10554144 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8200/stat : 8200 (java) S 8195 8197 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831042192 10807443456 31081 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8201] ppid=8195 vsize=10554144 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8201/stat : 8201 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10807443456 31083 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8202] ppid=8195 vsize=10554144 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8202/stat : 8202 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10807443456 31085 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8203] ppid=8195 vsize=10554144 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8203/stat : 8203 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10807443456 31087 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8204] ppid=8195 vsize=10554144 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8204/stat : 8204 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10807443456 31090 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8205] ppid=8195 vsize=10554144 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8205/stat : 8205 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10807443456 31092 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8206] ppid=8195 vsize=10554144 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8206/stat : 8206 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831042192 10807443456 31094 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10554144
[startup+1.50153 s]
/proc/loadavg: 2.86 3.43 3.56 7/604 8219
/proc/meminfo: memFree=28979916/32950928 swapFree=41528364/67111528
[pid=8197] ppid=8195 vsize=10558256 CPUtime=2.92 cores=0,2,4,6
/proc/8197/stat : 8197 (java) S 8195 8197 3716 0 -1 4202496 62424 0 1 0 282 10 0 0 25 0 22 0 831042190 10811654144 56638 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8197/statm: 2639564 56640 2245 9 0 2630298 0
[pid=8197/tid=8198] ppid=8195 vsize=10558256 CPUtime=0.87 cores=0,2,4,6
/proc/8197/task/8198/stat : 8198 (java) S 8195 8197 3716 0 -1 4202560 42896 0 1 0 80 7 0 0 21 0 22 0 831042191 10811654144 56642 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 4 0 16800975 18446604449587553408 0 0 -1 2 0 0 0
[pid=8197/tid=8199] ppid=8195 vsize=10558256 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8199/stat : 8199 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831042192 10811654144 56645 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8200] ppid=8195 vsize=10558256 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8200/stat : 8200 (java) S 8195 8197 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831042192 10811654144 56645 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8201] ppid=8195 vsize=10558256 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8201/stat : 8201 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831042192 10811654144 56645 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8202] ppid=8195 vsize=10558256 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8202/stat : 8202 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831042192 10811654144 56645 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8203] ppid=8195 vsize=10558256 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8203/stat : 8203 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831042192 10811654144 56645 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8204] ppid=8195 vsize=10558256 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8204/stat : 8204 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831042192 10811654144 56645 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8205] ppid=8195 vsize=10558256 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8205/stat : 8205 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831042192 10811654144 56645 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8206] ppid=8195 vsize=10558256 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8206/stat : 8206 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831042192 10811654144 56645 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8208] ppid=8195 vsize=10558256 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8208/stat : 8208 (java) S 8195 8197 3716 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 831042193 10811654144 56645 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 0 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8209] ppid=8195 vsize=10558256 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8209/stat : 8209 (java) S 8195 8197 3716 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831042194 10811654144 56645 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8210] ppid=8195 vsize=10558256 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8210/stat : 8210 (java) S 8195 8197 3716 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 831042194 10811654144 56645 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 2 0 0 0
[pid=8197/tid=8211] ppid=8195 vsize=10558256 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8211/stat : 8211 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831042196 10811654144 56645 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826063793 0 4 0 16800975 18446604449587553408 0 0 -1 2 0 0 0
[pid=8197/tid=8212] ppid=8195 vsize=10558256 CPUtime=0.72 cores=0,2,4,6
/proc/8197/task/8212/stat : 8212 (java) R 8195 8197 3716 0 -1 4202560 5031 0 0 0 72 0 0 0 22 0 22 0 831042196 10811654144 56645 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 47931647995599 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8197/tid=8213] ppid=8195 vsize=10558256 CPUtime=0.73 cores=0,2,4,6
/proc/8197/task/8213/stat : 8213 (java) R 8195 8197 3716 0 -1 4202560 6697 0 0 0 72 1 0 0 23 0 22 0 831042196 10811654144 56645 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=8197/tid=8214] ppid=8195 vsize=10558256 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8214/stat : 8214 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831042196 10811654144 56645 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 2 0 0 0
[pid=8197/tid=8215] ppid=8195 vsize=10558256 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8215/stat : 8215 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831042196 10811654144 56645 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8218] ppid=8195 vsize=10558256 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8218/stat : 8218 (java) S 8195 8197 3716 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831042280 10811654144 56645 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 10558256
[startup+3.10124 s]
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 3.73 3.73 3.66 5/604 8356
/proc/meminfo: memFree=25185076/32950928 swapFree=41528364/67111528
[pid=8197] ppid=8195 vsize=10560420 CPUtime=1624.46 cores=0,2,4,6
/proc/8197/stat : 8197 (java) S 8195 8197 3716 0 -1 4202496 1010809 0 1 0 162325 121 0 0 25 0 22 0 831042190 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8197/statm: 2640105 999545 2271 9 0 2630839 0
[pid=8197/tid=8198] ppid=8195 vsize=10560420 CPUtime=0.92 cores=0,2,4,6
/proc/8197/task/8198/stat : 8198 (java) S 8195 8197 3716 0 -1 4202560 43399 0 1 0 85 7 0 0 15 0 22 0 831042191 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 4 0 16800975 18446604449587553408 0 0 -1 0 0 0 0
[pid=8197/tid=8199] ppid=8195 vsize=10560420 CPUtime=0.61 cores=0,2,4,6
/proc/8197/task/8199/stat : 8199 (java) S 8195 8197 3716 0 -1 4202560 11383 0 0 0 60 1 0 0 16 0 22 0 831042192 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8200] ppid=8195 vsize=10560420 CPUtime=0.49 cores=0,2,4,6
/proc/8197/task/8200/stat : 8200 (java) S 8195 8197 3716 0 -1 4202560 10305 0 0 0 47 2 0 0 16 0 22 0 831042192 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 0 0 0 0
[pid=8197/tid=8201] ppid=8195 vsize=10560420 CPUtime=0.54 cores=0,2,4,6
/proc/8197/task/8201/stat : 8201 (java) S 8195 8197 3716 0 -1 4202560 14938 0 0 0 52 2 0 0 15 0 22 0 831042192 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8202] ppid=8195 vsize=10560420 CPUtime=0.69 cores=0,2,4,6
/proc/8197/task/8202/stat : 8202 (java) S 8195 8197 3716 0 -1 4202560 12395 0 0 0 67 2 0 0 16 0 22 0 831042192 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8203] ppid=8195 vsize=10560420 CPUtime=0.68 cores=0,2,4,6
/proc/8197/task/8203/stat : 8203 (java) S 8195 8197 3716 0 -1 4202560 9634 0 0 0 67 1 0 0 16 0 22 0 831042192 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 2 0 0 0
[pid=8197/tid=8204] ppid=8195 vsize=10560420 CPUtime=0.83 cores=0,2,4,6
/proc/8197/task/8204/stat : 8204 (java) S 8195 8197 3716 0 -1 4202560 19397 0 0 0 81 2 0 0 16 0 22 0 831042192 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 0 0 0 0
[pid=8197/tid=8205] ppid=8195 vsize=10560420 CPUtime=0.71 cores=0,2,4,6
/proc/8197/task/8205/stat : 8205 (java) S 8195 8197 3716 0 -1 4202560 16881 0 0 0 69 2 0 0 16 0 22 0 831042192 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8206] ppid=8195 vsize=10560420 CPUtime=0.6 cores=0,2,4,6
/proc/8197/task/8206/stat : 8206 (java) S 8195 8197 3716 0 -1 4202560 14525 0 0 0 58 2 0 0 15 0 22 0 831042192 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 0 0 0 0
[pid=8197/tid=8208] ppid=8195 vsize=10560420 CPUtime=21.33 cores=0,2,4,6
/proc/8197/task/8208/stat : 8208 (java) S 8195 8197 3716 0 -1 4202560 83891 0 0 0 2123 10 0 0 15 0 22 0 831042193 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 0 0 16800975 18446604449587553408 0 0 -1 2 0 0 0
[pid=8197/tid=8209] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8209/stat : 8209 (java) S 8195 8197 3716 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831042194 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8210] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8210/stat : 8210 (java) S 8195 8197 3716 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831042194 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8211] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8211/stat : 8211 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831042196 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826063793 0 4 0 16800975 18446604449587553408 0 0 -1 2 0 0 0
[pid=8197/tid=8212] ppid=8195 vsize=10560420 CPUtime=1.26 cores=0,2,4,6
/proc/8197/task/8212/stat : 8212 (java) S 8195 8197 3716 0 -1 4202560 6635 0 0 0 126 0 0 0 15 0 22 0 831042196 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 0 0 0 0
[pid=8197/tid=8213] ppid=8195 vsize=10560420 CPUtime=1.19 cores=0,2,4,6
/proc/8197/task/8213/stat : 8213 (java) S 8195 8197 3716 0 -1 4202560 7567 0 0 0 118 1 0 0 15 0 22 0 831042196 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8214] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8214/stat : 8214 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831042196 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 2 0 0 0
[pid=8197/tid=8215] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8215/stat : 8215 (java) S 8195 8197 3716 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 831042196 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8231] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8231/stat : 8231 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831043094 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8237] ppid=8195 vsize=10560420 CPUtime=735.03 cores=0,2,4,6
/proc/8197/task/8237/stat : 8237 (java) R 8195 8197 3716 0 -1 4202560 2608 0 0 0 73502 1 0 0 25 0 22 0 831048930 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 46912506187532 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8197/tid=8238] ppid=8195 vsize=10560420 CPUtime=735.06 cores=0,2,4,6
/proc/8197/task/8238/stat : 8238 (java) R 8195 8197 3716 0 -1 4202560 173731 0 0 0 73488 18 0 0 25 0 22 0 831048930 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 46912506132265 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8197/tid=8239] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8239/stat : 8239 (java) S 8195 8197 3716 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 831048930 10813870080 999545 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 4 0 16800975 18446604449587553408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1624.46
Current children cumulated vsize (KiB) 10560420
[startup+882.302 s]
/proc/loadavg: 3.70 3.71 3.65 5/604 8357
/proc/meminfo: memFree=25117308/32950928 swapFree=41528364/67111528
[pid=8197] ppid=8195 vsize=10560420 CPUtime=1742.78 cores=0,2,4,6
/proc/8197/stat : 8197 (java) S 8195 8197 3716 0 -1 4202496 1022347 0 1 0 174155 123 0 0 25 0 22 0 831042190 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8197/statm: 2640105 1010477 2271 9 0 2630839 0
[pid=8197/tid=8198] ppid=8195 vsize=10560420 CPUtime=0.92 cores=0,2,4,6
/proc/8197/task/8198/stat : 8198 (java) S 8195 8197 3716 0 -1 4202560 43399 0 1 0 85 7 0 0 15 0 22 0 831042191 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 4 0 16800975 18446604449587553408 0 0 -1 0 0 0 0
[pid=8197/tid=8199] ppid=8195 vsize=10560420 CPUtime=0.61 cores=0,2,4,6
/proc/8197/task/8199/stat : 8199 (java) S 8195 8197 3716 0 -1 4202560 11406 0 0 0 60 1 0 0 15 0 22 0 831042192 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8200] ppid=8195 vsize=10560420 CPUtime=0.52 cores=0,2,4,6
/proc/8197/task/8200/stat : 8200 (java) S 8195 8197 3716 0 -1 4202560 13793 0 0 0 50 2 0 0 15 0 22 0 831042192 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8201] ppid=8195 vsize=10560420 CPUtime=0.57 cores=0,2,4,6
/proc/8197/task/8201/stat : 8201 (java) S 8195 8197 3716 0 -1 4202560 17296 0 0 0 55 2 0 0 16 0 22 0 831042192 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8202] ppid=8195 vsize=10560420 CPUtime=0.72 cores=0,2,4,6
/proc/8197/task/8202/stat : 8202 (java) S 8195 8197 3716 0 -1 4202560 12412 0 0 0 70 2 0 0 16 0 22 0 831042192 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8203] ppid=8195 vsize=10560420 CPUtime=0.71 cores=0,2,4,6
/proc/8197/task/8203/stat : 8203 (java) S 8195 8197 3716 0 -1 4202560 12580 0 0 0 70 1 0 0 15 0 22 0 831042192 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8204] ppid=8195 vsize=10560420 CPUtime=0.88 cores=0,2,4,6
/proc/8197/task/8204/stat : 8204 (java) S 8195 8197 3716 0 -1 4202560 21176 0 0 0 86 2 0 0 16 0 22 0 831042192 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8205] ppid=8195 vsize=10560420 CPUtime=0.74 cores=0,2,4,6
/proc/8197/task/8205/stat : 8205 (java) S 8195 8197 3716 0 -1 4202560 16881 0 0 0 72 2 0 0 16 0 22 0 831042192 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8206] ppid=8195 vsize=10560420 CPUtime=0.65 cores=0,2,4,6
/proc/8197/task/8206/stat : 8206 (java) S 8195 8197 3716 0 -1 4202560 15443 0 0 0 63 2 0 0 16 0 22 0 831042192 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 0 0 0 0
[pid=8197/tid=8208] ppid=8195 vsize=10560420 CPUtime=23.14 cores=0,2,4,6
/proc/8197/task/8208/stat : 8208 (java) S 8195 8197 3716 0 -1 4202560 83893 0 0 0 2304 10 0 0 15 0 22 0 831042193 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 0 0 16800975 18446604449587553408 0 0 -1 2 0 0 0
[pid=8197/tid=8209] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8209/stat : 8209 (java) S 8195 8197 3716 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831042194 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8210] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8210/stat : 8210 (java) S 8195 8197 3716 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831042194 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8211] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8211/stat : 8211 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831042196 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826063793 0 4 0 16800975 18446604449587553408 0 0 -1 2 0 0 0
[pid=8197/tid=8212] ppid=8195 vsize=10560420 CPUtime=1.26 cores=0,2,4,6
/proc/8197/task/8212/stat : 8212 (java) S 8195 8197 3716 0 -1 4202560 6636 0 0 0 126 0 0 0 15 0 22 0 831042196 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 0 0 0 0
[pid=8197/tid=8213] ppid=8195 vsize=10560420 CPUtime=1.19 cores=0,2,4,6
/proc/8197/task/8213/stat : 8213 (java) S 8195 8197 3716 0 -1 4202560 7567 0 0 0 118 1 0 0 15 0 22 0 831042196 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8214] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8214/stat : 8214 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831042196 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 2 0 0 0
[pid=8197/tid=8215] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8215/stat : 8215 (java) S 8195 8197 3716 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831042196 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8231] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8231/stat : 8231 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831043094 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8237] ppid=8195 vsize=10560420 CPUtime=793.15 cores=0,2,4,6
/proc/8197/task/8237/stat : 8237 (java) R 8195 8197 3716 0 -1 4202560 2610 0 0 0 79314 1 0 0 25 0 22 0 831048930 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 46912506089952 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8197/tid=8238] ppid=8195 vsize=10560420 CPUtime=793.18 cores=0,2,4,6
/proc/8197/task/8238/stat : 8238 (java) R 8195 8197 3716 0 -1 4202560 173731 0 0 0 79300 18 0 0 25 0 22 0 831048930 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 46912506037797 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8197/tid=8239] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8239/stat : 8239 (java) S 8195 8197 3716 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 831048930 10813870080 1010477 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 4 0 16800975 18446604449587553408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1742.78
Current children cumulated vsize (KiB) 10560420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+911.302 s]
/proc/loadavg: 3.61 3.69 3.64 4/604 8358
/proc/meminfo: memFree=25106248/32950928 swapFree=41528364/67111528
[pid=8197] ppid=8195 vsize=10560420 CPUtime=1800.16 cores=0,2,4,6
/proc/8197/stat : 8197 (java) S 8195 8197 3716 0 -1 4202496 1022358 0 1 0 179893 123 0 0 25 0 22 0 831042190 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8197/statm: 2640105 1010483 2272 9 0 2630839 0
[pid=8197/tid=8198] ppid=8195 vsize=10560420 CPUtime=0.92 cores=0,2,4,6
/proc/8197/task/8198/stat : 8198 (java) S 8195 8197 3716 0 -1 4202560 43399 0 1 0 85 7 0 0 15 0 22 0 831042191 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 4 0 16800975 18446604449587553408 0 0 -1 0 0 0 0
[pid=8197/tid=8199] ppid=8195 vsize=10560420 CPUtime=0.69 cores=0,2,4,6
/proc/8197/task/8199/stat : 8199 (java) S 8195 8197 3716 0 -1 4202560 11406 0 0 0 68 1 0 0 16 0 22 0 831042192 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8200] ppid=8195 vsize=10560420 CPUtime=0.59 cores=0,2,4,6
/proc/8197/task/8200/stat : 8200 (java) S 8195 8197 3716 0 -1 4202560 13793 0 0 0 57 2 0 0 16 0 22 0 831042192 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8201] ppid=8195 vsize=10560420 CPUtime=0.58 cores=0,2,4,6
/proc/8197/task/8201/stat : 8201 (java) S 8195 8197 3716 0 -1 4202560 17296 0 0 0 56 2 0 0 16 0 22 0 831042192 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8202] ppid=8195 vsize=10560420 CPUtime=0.72 cores=0,2,4,6
/proc/8197/task/8202/stat : 8202 (java) S 8195 8197 3716 0 -1 4202560 12412 0 0 0 70 2 0 0 15 0 22 0 831042192 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8203] ppid=8195 vsize=10560420 CPUtime=0.8 cores=0,2,4,6
/proc/8197/task/8203/stat : 8203 (java) S 8195 8197 3716 0 -1 4202560 12581 0 0 0 79 1 0 0 16 0 22 0 831042192 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8204] ppid=8195 vsize=10560420 CPUtime=0.88 cores=0,2,4,6
/proc/8197/task/8204/stat : 8204 (java) S 8195 8197 3716 0 -1 4202560 21176 0 0 0 86 2 0 0 15 0 22 0 831042192 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8205] ppid=8195 vsize=10560420 CPUtime=0.75 cores=0,2,4,6
/proc/8197/task/8205/stat : 8205 (java) S 8195 8197 3716 0 -1 4202560 16881 0 0 0 73 2 0 0 15 0 22 0 831042192 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8206] ppid=8195 vsize=10560420 CPUtime=0.69 cores=0,2,4,6
/proc/8197/task/8206/stat : 8206 (java) S 8195 8197 3716 0 -1 4202560 15444 0 0 0 67 2 0 0 16 0 22 0 831042192 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 0 0 0 0
[pid=8197/tid=8208] ppid=8195 vsize=10560420 CPUtime=23.9 cores=0,2,4,6
/proc/8197/task/8208/stat : 8208 (java) S 8195 8197 3716 0 -1 4202560 83895 0 0 0 2380 10 0 0 15 0 22 0 831042193 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 0 0 16800975 18446604449587553408 0 0 -1 2 0 0 0
[pid=8197/tid=8209] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8209/stat : 8209 (java) S 8195 8197 3716 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831042194 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8210] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8210/stat : 8210 (java) S 8195 8197 3716 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831042194 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8211] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8211/stat : 8211 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831042196 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826063793 0 4 0 16800975 18446604449587553408 0 0 -1 2 0 0 0
[pid=8197/tid=8212] ppid=8195 vsize=10560420 CPUtime=1.28 cores=0,2,4,6
/proc/8197/task/8212/stat : 8212 (java) S 8195 8197 3716 0 -1 4202560 6642 0 0 0 128 0 0 0 15 0 22 0 831042196 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 0 0 0 0
[pid=8197/tid=8213] ppid=8195 vsize=10560420 CPUtime=1.19 cores=0,2,4,6
/proc/8197/task/8213/stat : 8213 (java) S 8195 8197 3716 0 -1 4202560 7567 0 0 0 118 1 0 0 15 0 22 0 831042196 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8214] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8214/stat : 8214 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831042196 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056089 0 4 0 16800975 18446604449587553408 0 0 -1 2 0 0 0
[pid=8197/tid=8215] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8215/stat : 8215 (java) S 8195 8197 3716 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831042196 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 4 0 16800975 18446604449587553408 0 0 -1 4 0 0 0
[pid=8197/tid=8231] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8231/stat : 8231 (java) S 8195 8197 3716 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831043094 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 4 0 16800975 18446604449587553408 0 0 -1 6 0 0 0
[pid=8197/tid=8237] ppid=8195 vsize=10560420 CPUtime=821.31 cores=0,2,4,6
/proc/8197/task/8237/stat : 8237 (java) R 8195 8197 3716 0 -1 4202560 2611 0 0 0 82130 1 0 0 25 0 22 0 831048930 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 46912506086226 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8197/tid=8238] ppid=8195 vsize=10560420 CPUtime=821.34 cores=0,2,4,6
/proc/8197/task/8238/stat : 8238 (java) R 8195 8197 3716 0 -1 4202560 173731 0 0 0 82116 18 0 0 25 0 22 0 831048930 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 46912506132283 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8197/tid=8239] ppid=8195 vsize=10560420 CPUtime=0 cores=0,2,4,6
/proc/8197/task/8239/stat : 8239 (java) S 8195 8197 3716 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 831048930 10813870080 1010483 33554432000 1073741824 1073778376 140737326216640 18446744073709551615 251826056704 0 4 0 16800975 18446604449587553408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 10560420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+911.428 s]
/proc/loadavg: 3.61 3.69 3.64 4/604 8358
/proc/meminfo: memFree=25106248/32950928 swapFree=41528364/67111528
[pid=8197] ppid=8195 vsize=0 CPUtime=1800.31 cores=0,2,4,6
/proc/8197/stat : 8197 (java) Z 8195 8197 3716 0 -1 4203548 1022386 0 1 0 179899 132 0 0 17 0 2 0 831042190 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8197/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 911.49
CPU time (s): 1800.38
CPU user time (s): 1798.99
CPU system time (s): 1.39179
CPU usage (%): 197.521
Max. virtual memory (cumulated for all children) (KiB): 10560420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.39179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1022386
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22718
involuntary context switches= 14122
runsolver used 5.49516 second user time and 12.0522 second system time
The end