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-3453631-1307195869/watcher-3453631-1307195869 -o /tmp/evaluation-result-3453631-1307195869/solver-3453631-1307195869 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453631-1307195869.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.30 2.10 2.79 3/582 9054
/proc/meminfo: memFree=29046516/32950928 swapFree=41528364/67111528
[pid=9054] ppid=9052 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/9054/stat : 9054 (java) S 9052 9054 3716 0 -1 4202496 2648 0 1 0 0 0 0 0 25 0 2 0 831185615 10681323520 2349 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/9054/statm: 2607745 2361 906 9 0 2598901 0
[pid=9054/tid=9055] ppid=9052 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9055/stat : 9055 (java) R 9052 9054 3716 0 -1 4202560 8644 0 1 0 0 0 0 0 25 0 2 0 831185616 10694979584 9460 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251813934139 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.113699 s]
/proc/loadavg: 2.30 2.10 2.79 3/582 9054
/proc/meminfo: memFree=29046516/32950928 swapFree=41528364/67111528
[pid=9054] ppid=9052 vsize=10539960 CPUtime=0.12 cores=1,3,5,7
/proc/9054/stat : 9054 (java) S 9052 9054 3716 0 -1 4202496 13343 0 1 0 11 1 0 0 25 0 18 0 831185615 10792919040 13027 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9054/statm: 2634990 13029 2133 9 0 2625724 0
[pid=9054/tid=9055] ppid=9052 vsize=10539960 CPUtime=0.1 cores=1,3,5,7
/proc/9054/task/9055/stat : 9055 (java) R 9052 9054 3716 0 -1 4202560 11341 0 1 0 9 1 0 0 25 0 18 0 831185616 10792919040 13032 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 47827121707859 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539960
[startup+0.200682 s]
/proc/loadavg: 2.30 2.10 2.79 3/582 9054
/proc/meminfo: memFree=29046516/32950928 swapFree=41528364/67111528
[pid=9054] ppid=9052 vsize=10539960 CPUtime=0.24 cores=1,3,5,7
/proc/9054/stat : 9054 (java) S 9052 9054 3716 0 -1 4202496 14045 0 1 0 22 2 0 0 25 0 18 0 831185615 10792919040 13729 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9054/statm: 2634990 13730 2180 9 0 2625724 0
[pid=9054/tid=9055] ppid=9052 vsize=10539960 CPUtime=0.18 cores=1,3,5,7
/proc/9054/task/9055/stat : 9055 (java) R 9052 9054 3716 0 -1 4202560 11986 0 1 0 17 1 0 0 25 0 18 0 831185616 10792919040 13730 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10539960
[startup+0.300723 s]
/proc/loadavg: 2.30 2.10 2.79 3/582 9054
/proc/meminfo: memFree=29046516/32950928 swapFree=41528364/67111528
[pid=9054] ppid=9052 vsize=10541016 CPUtime=0.46 cores=1,3,5,7
/proc/9054/stat : 9054 (java) S 9052 9054 3716 0 -1 4202496 15771 0 1 0 44 2 0 0 25 0 18 0 831185615 10794000384 15179 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9054/statm: 2635254 15179 2207 9 0 2625988 0
[pid=9054/tid=9055] ppid=9052 vsize=10541016 CPUtime=0.28 cores=1,3,5,7
/proc/9054/task/9055/stat : 9055 (java) R 9052 9054 3716 0 -1 4202560 13060 0 1 0 27 1 0 0 25 0 18 0 831185616 10794000384 15180 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 46912505582680 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541016
[startup+0.700602 s]
/proc/loadavg: 2.30 2.10 2.79 3/582 9054
/proc/meminfo: memFree=29046516/32950928 swapFree=41528364/67111528
[pid=9054] ppid=9052 vsize=10552812 CPUtime=1.7 cores=1,3,5,7
/proc/9054/stat : 9054 (java) S 9052 9054 3716 0 -1 4202496 32329 0 1 0 166 4 0 0 25 0 22 0 831185615 10806079488 29891 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9054/statm: 2638203 29891 2235 9 0 2628937 0
[pid=9054/tid=9055] ppid=9052 vsize=10552812 CPUtime=0.57 cores=1,3,5,7
/proc/9054/task/9055/stat : 9055 (java) S 9052 9054 3716 0 -1 4202560 22622 0 1 0 54 3 0 0 25 0 22 0 831185616 10806079488 29891 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 10552812
[startup+1.50147 s]
/proc/loadavg: 2.30 2.10 2.79 7/604 9078
/proc/meminfo: memFree=28915336/32950928 swapFree=41528364/67111528
[pid=9054] ppid=9052 vsize=10555344 CPUtime=4.38 cores=1,3,5,7
/proc/9054/stat : 9054 (java) S 9052 9054 3716 0 -1 4202496 49210 0 1 0 431 7 0 0 25 0 22 0 831185615 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9054/statm: 2638836 45431 2243 9 0 2629570 0
[pid=9054/tid=9055] ppid=9052 vsize=10555344 CPUtime=0.57 cores=1,3,5,7
/proc/9054/task/9055/stat : 9055 (java) S 9052 9054 3716 0 -1 4202560 22622 0 1 0 54 3 0 0 20 0 22 0 831185616 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9057] ppid=9052 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9057/stat : 9057 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831185617 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9058] ppid=9052 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9058/stat : 9058 (java) S 9052 9054 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831185617 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9059] ppid=9052 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9059/stat : 9059 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831185617 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9060] ppid=9052 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9060/stat : 9060 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831185617 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9061] ppid=9052 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9061/stat : 9061 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831185617 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9063] ppid=9052 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9063/stat : 9063 (java) S 9052 9054 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831185617 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9064] ppid=9052 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9064/stat : 9064 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831185617 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9065] ppid=9052 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9065/stat : 9065 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831185617 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9066] ppid=9052 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9066/stat : 9066 (java) S 9052 9054 3716 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 22 0 831185618 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 0 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9067] ppid=9052 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9067/stat : 9067 (java) S 9052 9054 3716 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831185619 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9068] ppid=9052 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9068/stat : 9068 (java) S 9052 9054 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831185619 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9069] ppid=9052 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9069/stat : 9069 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831185621 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826063793 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9070] ppid=9052 vsize=10555344 CPUtime=1.02 cores=1,3,5,7
/proc/9054/task/9070/stat : 9070 (java) S 9052 9054 3716 0 -1 4202560 6261 0 0 0 101 1 0 0 16 0 22 0 831185621 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 3 0 0 0
[pid=9054/tid=9072] ppid=9052 vsize=10555344 CPUtime=0.96 cores=1,3,5,7
/proc/9054/task/9072/stat : 9072 (java) S 9052 9054 3716 0 -1 4202560 3987 0 0 0 96 0 0 0 23 0 22 0 831185621 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9073] ppid=9052 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9073/stat : 9073 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831185621 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9074] ppid=9052 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9074/stat : 9074 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831185621 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9075] ppid=9052 vsize=10555344 CPUtime=0.91 cores=1,3,5,7
/proc/9054/task/9075/stat : 9075 (java) R 9052 9054 3716 0 -1 4202560 890 0 0 0 91 0 0 0 25 0 22 0 831185674 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 46912506101579 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9054/tid=9076] ppid=9052 vsize=10555344 CPUtime=0.88 cores=1,3,5,7
/proc/9054/task/9076/stat : 9076 (java) R 9052 9054 3716 0 -1 4202560 14280 0 0 0 86 2 0 0 25 0 22 0 831185674 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 46912506025247 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9054/tid=9077] ppid=9052 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9077/stat : 9077 (java) S 9052 9054 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831185676 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9078] ppid=9052 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9078/stat : 9078 (java) S 9052 9054 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831185676 10808672256 45431 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 10555344
[startup+3.1012 s]
/proc/loadavg: 2.30 2.10 2.79 5/604 9078
/proc/meminfo: memFree=28772488/32950928 swapFree=41528364/67111528
[pid=9054] ppid=9052 vsize=10555912 CPUtime=7.7 cores=1,3,5,7
/proc/9054/stat : 9054 (java) S 9052 9054 3716 0 -1 4202496 96723 0 1 0 756 14 0 0 25 0 22 0 831185615 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9054/statm: 2638978 92927 2265 9 0 2629712 0
[pid=9054/tid=9055] ppid=9052 vsize=10555912 CPUtime=0.57 cores=1,3,5,7
/proc/9054/task/9055/stat : 9055 (java) S 9052 9054 3716 0 -1 4202560 22622 0 1 0 54 3 0 0 15 0 22 0 831185616 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9057] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9057/stat : 9057 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831185617 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9058] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9058/stat : 9058 (java) S 9052 9054 3716 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831185617 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9059] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9059/stat : 9059 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831185617 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9060] ppid=9052 vsize=10555912 CPUtime=0.01 cores=1,3,5,7
/proc/9054/task/9060/stat : 9060 (java) S 9052 9054 3716 0 -1 4202560 1362 0 0 0 1 0 0 0 18 0 22 0 831185617 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9061] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9061/stat : 9061 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831185617 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9063] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9063/stat : 9063 (java) S 9052 9054 3716 0 -1 4202560 1933 0 0 0 0 0 0 0 18 0 22 0 831185617 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9064] ppid=9052 vsize=10555912 CPUtime=0.01 cores=1,3,5,7
/proc/9054/task/9064/stat : 9064 (java) S 9052 9054 3716 0 -1 4202560 1828 0 0 0 1 0 0 0 18 0 22 0 831185617 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 3 0 0 0
[pid=9054/tid=9065] ppid=9052 vsize=10555912 CPUtime=0.01 cores=1,3,5,7
/proc/9054/task/9065/stat : 9065 (java) S 9052 9054 3716 0 -1 4202560 1071 0 0 0 1 0 0 0 18 0 22 0 831185617 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9066] ppid=9052 vsize=10555912 CPUtime=0.03 cores=1,3,5,7
/proc/9054/task/9066/stat : 9066 (java) R 9052 9054 3716 0 -1 4202560 19 0 0 0 3 0 0 0 15 0 22 0 831185618 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 47827118104945 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=9054/tid=9067] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9067/stat : 9067 (java) S 9052 9054 3716 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831185619 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9068] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9068/stat : 9068 (java) S 9052 9054 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831185619 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9069] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9069/stat : 9069 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831185621 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826063793 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9070] ppid=9052 vsize=10555912 CPUtime=1.04 cores=1,3,5,7
/proc/9054/task/9070/stat : 9070 (java) S 9052 9054 3716 0 -1 4202560 6263 0 0 0 103 1 0 0 15 0 22 0 831185621 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 3 0 0 0
[pid=9054/tid=9072] ppid=9052 vsize=10555912 CPUtime=1.08 cores=1,3,5,7
/proc/9054/task/9072/stat : 9072 (java) S 9052 9054 3716 0 -1 4202560 4133 0 0 0 108 0 0 0 15 0 22 0 831185621 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9073] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9073/stat : 9073 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831185621 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9074] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9074/stat : 9074 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831185621 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9075] ppid=9052 vsize=10555912 CPUtime=2.46 cores=1,3,5,7
/proc/9054/task/9075/stat : 9075 (java) S 9052 9054 3716 0 -1 4202560 2469 0 0 0 246 0 0 0 25 0 22 0 831185674 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9076] ppid=9052 vsize=10555912 CPUtime=2.43 cores=1,3,5,7
/proc/9054/task/9076/stat : 9076 (java) S 9052 9054 3716 0 -1 4202560 53863 0 0 0 235 8 0 0 25 0 22 0 831185674 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9077] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9077/stat : 9077 (java) S 9052 9054 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831185676 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9078] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9078/stat : 9078 (java) S 9052 9054 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831185676 10809253888 92927 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 10555912
[startup+6.30166 s]
/proc/loadavg: 2.35 2.11 2.79 5/604 9078
/proc/meminfo: memFree=28481784/32950928 swapFree=41528364/67111528
[pid=9054] ppid=9052 vsize=10555912 CPUtime=14.14 cores=1,3,5,7
/proc/9054/stat : 9054 (java) S 9052 9054 3716 0 -1 4202496 104293 0 1 0 1400 14 0 0 25 0 22 0 831185615 10809253888 100391 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9054/statm: 2638978 100391 2270 9 0 2629712 0
[pid=9054/tid=9055] ppid=9052 vsize=10555912 CPUtime=0.57 cores=1,3,5,7
/proc/9054/task/9055/stat : 9055 (java) S 9052 9054 3716 0 -1 4202560 22622 0 1 0 54 3 0 0 15 0 22 0 831185616 10809253888 100391 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9057] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9057/stat : 9057 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831185617 10809253888 100391 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9058] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9058/stat : 9058 (java) S 9052 9054 3716 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831185617 10809253888 100391 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9059] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9059/stat : 9059 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831185617 10809253888 100391 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9060] ppid=9052 vsize=10555912 CPUtime=0.01 cores=1,3,5,7
/proc/9054/task/9060/stat : 9060 (java) S 9052 9054 3716 0 -1 4202560 1362 0 0 0 1 0 0 0 18 0 22 0 831185617 10809253888 100391 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9061] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9061/stat : 9061 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831185617 10809253888 100391 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9063] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9063/stat : 9063 (java) S 9052 9054 3716 0 -1 4202560 1933 0 0 0 0 0 0 0 18 0 22 0 831185617 10809253888 100391 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9064] ppid=9052 vsize=10555912 CPUtime=0.01 cores=1,3,5,7
/proc/9054/task/9064/stat : 9064 (java) S 9052 9054 3716 0 -1 4202560 1828 0 0 0 1 0 0 0 18 0 22 0 831185617 10809253888 100391 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 3 0 0 0
[pid=9054/tid=9065] ppid=9052 vsize=10555912 CPUtime=0.01 cores=1,3,5,7
/proc/9054/task/9065/stat : 9065 (java) S 9052 9054 3716 0 -1 4202560 1071 0 0 0 1 0 0 0 18 0 22 0 831185617 10809253888 100391 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 3.99 3.82 3.43 4/604 9114
/proc/meminfo: memFree=24982680/32950928 swapFree=41528364/67111528
[pid=9054] ppid=9052 vsize=10555912 CPUtime=1627.21 cores=1,3,5,7
/proc/9054/stat : 9054 (java) S 9052 9054 3716 0 -1 4202496 933046 0 1 0 162618 103 0 0 25 0 22 0 831185615 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9054/statm: 2638978 928086 2271 9 0 2629712 0
[pid=9054/tid=9055] ppid=9052 vsize=10555912 CPUtime=0.57 cores=1,3,5,7
/proc/9054/task/9055/stat : 9055 (java) S 9052 9054 3716 0 -1 4202560 22660 0 1 0 54 3 0 0 15 0 22 0 831185616 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9057] ppid=9052 vsize=10555912 CPUtime=0.45 cores=1,3,5,7
/proc/9054/task/9057/stat : 9057 (java) S 9052 9054 3716 0 -1 4202560 8045 0 0 0 44 1 0 0 16 0 22 0 831185617 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 3 0 0 0
[pid=9054/tid=9058] ppid=9052 vsize=10555912 CPUtime=0.48 cores=1,3,5,7
/proc/9054/task/9058/stat : 9058 (java) S 9052 9054 3716 0 -1 4202560 5381 0 0 0 48 0 0 0 16 0 22 0 831185617 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9059] ppid=9052 vsize=10555912 CPUtime=0.48 cores=1,3,5,7
/proc/9054/task/9059/stat : 9059 (java) S 9052 9054 3716 0 -1 4202560 8236 0 0 0 47 1 0 0 15 0 22 0 831185617 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 3 0 0 0
[pid=9054/tid=9060] ppid=9052 vsize=10555912 CPUtime=0.41 cores=1,3,5,7
/proc/9054/task/9060/stat : 9060 (java) S 9052 9054 3716 0 -1 4202560 4261 0 0 0 41 0 0 0 15 0 22 0 831185617 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9061] ppid=9052 vsize=10555912 CPUtime=0.42 cores=1,3,5,7
/proc/9054/task/9061/stat : 9061 (java) S 9052 9054 3716 0 -1 4202560 3442 0 0 0 42 0 0 0 15 0 22 0 831185617 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9063] ppid=9052 vsize=10555912 CPUtime=0.42 cores=1,3,5,7
/proc/9054/task/9063/stat : 9063 (java) S 9052 9054 3716 0 -1 4202560 12977 0 0 0 41 1 0 0 15 0 22 0 831185617 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9064] ppid=9052 vsize=10555912 CPUtime=0.43 cores=1,3,5,7
/proc/9054/task/9064/stat : 9064 (java) S 9052 9054 3716 0 -1 4202560 4508 0 0 0 43 0 0 0 15 0 22 0 831185617 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9065] ppid=9052 vsize=10555912 CPUtime=0.48 cores=1,3,5,7
/proc/9054/task/9065/stat : 9065 (java) S 9052 9054 3716 0 -1 4202560 4048 0 0 0 48 0 0 0 16 0 22 0 831185617 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9066] ppid=9052 vsize=10555912 CPUtime=20.53 cores=1,3,5,7
/proc/9054/task/9066/stat : 9066 (java) S 9052 9054 3716 0 -1 4202560 39778 0 0 0 2048 5 0 0 15 0 22 0 831185618 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 0 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9067] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9067/stat : 9067 (java) S 9052 9054 3716 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831185619 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9068] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9068/stat : 9068 (java) S 9052 9054 3716 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831185619 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9069] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9069/stat : 9069 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831185621 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826063793 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9070] ppid=9052 vsize=10555912 CPUtime=1.32 cores=1,3,5,7
/proc/9054/task/9070/stat : 9070 (java) S 9052 9054 3716 0 -1 4202560 6284 0 0 0 131 1 0 0 15 0 22 0 831185621 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 3 0 0 0
[pid=9054/tid=9072] ppid=9052 vsize=10555912 CPUtime=1.32 cores=1,3,5,7
/proc/9054/task/9072/stat : 9072 (java) S 9052 9054 3716 0 -1 4202560 4174 0 0 0 132 0 0 0 15 0 22 0 831185621 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9073] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9073/stat : 9073 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831185621 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9074] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9074/stat : 9074 (java) S 9052 9054 3716 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 831185621 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9075] ppid=9052 vsize=10555912 CPUtime=799.93 cores=1,3,5,7
/proc/9054/task/9075/stat : 9075 (java) R 9052 9054 3716 0 -1 4202560 4459 0 0 0 79993 0 0 0 25 0 22 0 831185674 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 46912506155910 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9054/tid=9076] ppid=9052 vsize=10555912 CPUtime=799.81 cores=1,3,5,7
/proc/9054/task/9076/stat : 9076 (java) R 9052 9054 3716 0 -1 4202560 803589 0 0 0 79898 83 0 0 25 0 22 0 831185674 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 46912506012833 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9054/tid=9077] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9077/stat : 9077 (java) S 9052 9054 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831185676 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9078] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9078/stat : 9078 (java) S 9052 9054 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831185676 10809253888 928086 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1627.21
Current children cumulated vsize (KiB) 10555912
[startup+882.323 s]
/proc/loadavg: 3.70 3.77 3.43 4/604 9116
/proc/meminfo: memFree=24978312/32950928 swapFree=41528364/67111528
[pid=9054] ppid=9052 vsize=10555912 CPUtime=1743.69 cores=1,3,5,7
/proc/9054/stat : 9054 (java) S 9052 9054 3716 0 -1 4202496 933172 0 1 0 174266 103 0 0 25 0 22 0 831185615 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9054/statm: 2638978 928194 2271 9 0 2629712 0
[pid=9054/tid=9055] ppid=9052 vsize=10555912 CPUtime=0.57 cores=1,3,5,7
/proc/9054/task/9055/stat : 9055 (java) S 9052 9054 3716 0 -1 4202560 22668 0 1 0 54 3 0 0 15 0 22 0 831185616 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9057] ppid=9052 vsize=10555912 CPUtime=0.48 cores=1,3,5,7
/proc/9054/task/9057/stat : 9057 (java) S 9052 9054 3716 0 -1 4202560 8045 0 0 0 47 1 0 0 15 0 22 0 831185617 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9058] ppid=9052 vsize=10555912 CPUtime=0.5 cores=1,3,5,7
/proc/9054/task/9058/stat : 9058 (java) S 9052 9054 3716 0 -1 4202560 5381 0 0 0 50 0 0 0 15 0 22 0 831185617 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9059] ppid=9052 vsize=10555912 CPUtime=0.54 cores=1,3,5,7
/proc/9054/task/9059/stat : 9059 (java) S 9052 9054 3716 0 -1 4202560 8236 0 0 0 53 1 0 0 15 0 22 0 831185617 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9060] ppid=9052 vsize=10555912 CPUtime=0.46 cores=1,3,5,7
/proc/9054/task/9060/stat : 9060 (java) S 9052 9054 3716 0 -1 4202560 4263 0 0 0 46 0 0 0 16 0 22 0 831185617 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9061] ppid=9052 vsize=10555912 CPUtime=0.44 cores=1,3,5,7
/proc/9054/task/9061/stat : 9061 (java) S 9052 9054 3716 0 -1 4202560 3442 0 0 0 44 0 0 0 15 0 22 0 831185617 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9063] ppid=9052 vsize=10555912 CPUtime=0.47 cores=1,3,5,7
/proc/9054/task/9063/stat : 9063 (java) S 9052 9054 3716 0 -1 4202560 12977 0 0 0 46 1 0 0 16 0 22 0 831185617 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9064] ppid=9052 vsize=10555912 CPUtime=0.45 cores=1,3,5,7
/proc/9054/task/9064/stat : 9064 (java) S 9052 9054 3716 0 -1 4202560 4508 0 0 0 45 0 0 0 15 0 22 0 831185617 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 3 0 0 0
[pid=9054/tid=9065] ppid=9052 vsize=10555912 CPUtime=0.55 cores=1,3,5,7
/proc/9054/task/9065/stat : 9065 (java) S 9052 9054 3716 0 -1 4202560 4048 0 0 0 55 0 0 0 16 0 22 0 831185617 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 3 0 0 0
[pid=9054/tid=9066] ppid=9052 vsize=10555912 CPUtime=24.17 cores=1,3,5,7
/proc/9054/task/9066/stat : 9066 (java) S 9052 9054 3716 0 -1 4202560 39888 0 0 0 2412 5 0 0 16 0 22 0 831185618 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 0 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9067] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9067/stat : 9067 (java) S 9052 9054 3716 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831185619 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9068] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9068/stat : 9068 (java) S 9052 9054 3716 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831185619 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9069] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9069/stat : 9069 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831185621 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826063793 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9070] ppid=9052 vsize=10555912 CPUtime=1.32 cores=1,3,5,7
/proc/9054/task/9070/stat : 9070 (java) S 9052 9054 3716 0 -1 4202560 6284 0 0 0 131 1 0 0 15 0 22 0 831185621 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 3 0 0 0
[pid=9054/tid=9072] ppid=9052 vsize=10555912 CPUtime=1.32 cores=1,3,5,7
/proc/9054/task/9072/stat : 9072 (java) S 9052 9054 3716 0 -1 4202560 4174 0 0 0 132 0 0 0 15 0 22 0 831185621 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9073] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9073/stat : 9073 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831185621 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9074] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9074/stat : 9074 (java) S 9052 9054 3716 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 831185621 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9075] ppid=9052 vsize=10555912 CPUtime=856.19 cores=1,3,5,7
/proc/9054/task/9075/stat : 9075 (java) R 9052 9054 3716 0 -1 4202560 4461 0 0 0 85619 0 0 0 22 0 22 0 831185674 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 46912506136424 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9054/tid=9076] ppid=9052 vsize=10555912 CPUtime=856.07 cores=1,3,5,7
/proc/9054/task/9076/stat : 9076 (java) R 9052 9054 3716 0 -1 4202560 803589 0 0 0 85524 83 0 0 22 0 22 0 831185674 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 46912506011080 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9054/tid=9077] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9077/stat : 9077 (java) S 9052 9054 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831185676 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9078] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9078/stat : 9078 (java) S 9052 9054 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831185676 10809253888 928194 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1743.69
Current children cumulated vsize (KiB) 10555912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+911.302 s]
/proc/loadavg: 3.76 3.77 3.45 5/604 9116
/proc/meminfo: memFree=24975568/32950928 swapFree=41528364/67111528
[pid=9054] ppid=9052 vsize=10555912 CPUtime=1800.2 cores=1,3,5,7
/proc/9054/stat : 9054 (java) S 9052 9054 3716 0 -1 4202496 933518 0 1 0 179916 104 0 0 25 0 22 0 831185615 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9054/statm: 2638978 928532 2271 9 0 2629712 0
[pid=9054/tid=9055] ppid=9052 vsize=10555912 CPUtime=0.57 cores=1,3,5,7
/proc/9054/task/9055/stat : 9055 (java) S 9052 9054 3716 0 -1 4202560 22672 0 1 0 54 3 0 0 15 0 22 0 831185616 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9057] ppid=9052 vsize=10555912 CPUtime=0.51 cores=1,3,5,7
/proc/9054/task/9057/stat : 9057 (java) S 9052 9054 3716 0 -1 4202560 8045 0 0 0 50 1 0 0 16 0 22 0 831185617 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9058] ppid=9052 vsize=10555912 CPUtime=0.5 cores=1,3,5,7
/proc/9054/task/9058/stat : 9058 (java) S 9052 9054 3716 0 -1 4202560 5381 0 0 0 50 0 0 0 15 0 22 0 831185617 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9059] ppid=9052 vsize=10555912 CPUtime=0.56 cores=1,3,5,7
/proc/9054/task/9059/stat : 9059 (java) S 9052 9054 3716 0 -1 4202560 8237 0 0 0 55 1 0 0 15 0 22 0 831185617 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
[pid=9054/tid=9060] ppid=9052 vsize=10555912 CPUtime=0.46 cores=1,3,5,7
/proc/9054/task/9060/stat : 9060 (java) S 9052 9054 3716 0 -1 4202560 4263 0 0 0 46 0 0 0 15 0 22 0 831185617 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9061] ppid=9052 vsize=10555912 CPUtime=0.46 cores=1,3,5,7
/proc/9054/task/9061/stat : 9061 (java) S 9052 9054 3716 0 -1 4202560 3443 0 0 0 46 0 0 0 16 0 22 0 831185617 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9063] ppid=9052 vsize=10555912 CPUtime=0.48 cores=1,3,5,7
/proc/9054/task/9063/stat : 9063 (java) S 9052 9054 3716 0 -1 4202560 12977 0 0 0 47 1 0 0 16 0 22 0 831185617 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9064] ppid=9052 vsize=10555912 CPUtime=0.48 cores=1,3,5,7
/proc/9054/task/9064/stat : 9064 (java) S 9052 9054 3716 0 -1 4202560 4508 0 0 0 48 0 0 0 16 0 22 0 831185617 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 3 0 0 0
[pid=9054/tid=9065] ppid=9052 vsize=10555912 CPUtime=0.57 cores=1,3,5,7
/proc/9054/task/9065/stat : 9065 (java) S 9052 9054 3716 0 -1 4202560 4048 0 0 0 57 0 0 0 15 0 22 0 831185617 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 3 0 0 0
[pid=9054/tid=9066] ppid=9052 vsize=10555912 CPUtime=25.69 cores=1,3,5,7
/proc/9054/task/9066/stat : 9066 (java) S 9052 9054 3716 0 -1 4202560 40226 0 0 0 2563 6 0 0 15 0 22 0 831185618 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 0 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9067] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9067/stat : 9067 (java) S 9052 9054 3716 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831185619 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9068] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9068/stat : 9068 (java) S 9052 9054 3716 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831185619 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9069] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9069/stat : 9069 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831185621 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826063793 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9070] ppid=9052 vsize=10555912 CPUtime=1.32 cores=1,3,5,7
/proc/9054/task/9070/stat : 9070 (java) S 9052 9054 3716 0 -1 4202560 6284 0 0 0 131 1 0 0 15 0 22 0 831185621 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 3 0 0 0
[pid=9054/tid=9072] ppid=9052 vsize=10555912 CPUtime=1.32 cores=1,3,5,7
/proc/9054/task/9072/stat : 9072 (java) S 9052 9054 3716 0 -1 4202560 4174 0 0 0 132 0 0 0 15 0 22 0 831185621 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9073] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9073/stat : 9073 (java) S 9052 9054 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831185621 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056089 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9074] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9074/stat : 9074 (java) S 9052 9054 3716 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831185621 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 1 0 0 0
[pid=9054/tid=9075] ppid=9052 vsize=10555912 CPUtime=883.63 cores=1,3,5,7
/proc/9054/task/9075/stat : 9075 (java) R 9052 9054 3716 0 -1 4202560 4461 0 0 0 88363 0 0 0 25 0 22 0 831185674 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 46912506155727 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9054/tid=9076] ppid=9052 vsize=10555912 CPUtime=883.51 cores=1,3,5,7
/proc/9054/task/9076/stat : 9076 (java) R 9052 9054 3716 0 -1 4202560 803589 0 0 0 88268 83 0 0 25 0 22 0 831185674 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 46912506155886 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9054/tid=9077] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9077/stat : 9077 (java) S 9052 9054 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831185676 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 5 0 0 0
[pid=9054/tid=9078] ppid=9052 vsize=10555912 CPUtime=0 cores=1,3,5,7
/proc/9054/task/9078/stat : 9078 (java) S 9052 9054 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831185676 10809253888 928532 33554432000 1073741824 1073778376 140733663482704 18446744073709551615 251826056704 0 4 0 16800975 18446604455906849792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 10555912
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+911.429 s]
/proc/loadavg: 3.76 3.77 3.45 5/604 9116
/proc/meminfo: memFree=24975568/32950928 swapFree=41528364/67111528
[pid=9054] ppid=9052 vsize=0 CPUtime=1800.35 cores=1,3,5,7
/proc/9054/stat : 9054 (java) Z 9052 9054 3716 0 -1 4203548 933547 0 1 0 179923 112 0 0 17 0 2 0 831185615 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9054/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 911.48
CPU time (s): 1800.42
CPU user time (s): 1799.24
CPU system time (s): 1.17782
CPU usage (%): 197.526
Max. virtual memory (cumulated for all children) (KiB): 10555912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 1.17782
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 933547
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= 24172
involuntary context switches= 24836
runsolver used 5.22921 second user time and 12.2831 second system time
The end