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-3454306-1307193256/watcher-3454306-1307193256 -o /tmp/evaluation-result-3454306-1307193256/solver-3454306-1307193256 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454306-1307193256.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: 3.24 3.27 3.29 3/582 7178
/proc/meminfo: memFree=27354732/32950928 swapFree=41528364/67111528
[pid=7178] ppid=7176 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/7178/stat : 7178 (java) S 7176 7178 3716 0 -1 4202496 2269 0 1 0 0 0 0 0 25 0 2 0 830924295 10681323520 1972 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/7178/statm: 2607745 1986 906 9 0 2598901 0
[pid=7178/tid=7179] ppid=7176 vsize=10453028 CPUtime=0.01 cores=0,2,4,6
/proc/7178/task/7179/stat : 7179 (java) R 7176 7178 3716 0 -1 4202560 8825 0 1 0 0 1 0 0 25 0 10 0 830924295 10703900672 9650 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 47519978205966 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=7178/tid=7180] ppid=7176 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7180/stat : 7180 (java) R 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830924297 10703900672 9651 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=7178/tid=7181] ppid=7176 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7181/stat : 7181 (java) R 7176 7178 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 830924297 10703900672 9651 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=7178/tid=7182] ppid=7176 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7182/stat : 7182 (java) R 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830924297 10703900672 9652 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=7178/tid=7183] ppid=7176 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7183/stat : 7183 (java) R 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830924297 10703900672 9653 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=7178/tid=7184] ppid=7176 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7184/stat : 7184 (java) R 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830924297 10703900672 9653 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=7178/tid=7185] ppid=7176 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7185/stat : 7185 (java) R 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830924297 10703900672 9654 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=7178/tid=7186] ppid=7176 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7186/stat : 7186 (java) R 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830924297 10703900672 9654 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=7178/tid=7187] ppid=7176 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7187/stat : 7187 (java) R 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830924297 10703900672 9654 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.108466 s]
/proc/loadavg: 3.24 3.27 3.29 3/582 7178
/proc/meminfo: memFree=27354732/32950928 swapFree=41528364/67111528
[pid=7178] ppid=7176 vsize=10539956 CPUtime=0.12 cores=0,2,4,6
/proc/7178/stat : 7178 (java) S 7176 7178 3716 0 -1 4202496 13229 0 1 0 10 2 0 0 25 0 18 0 830924295 10792914944 12926 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7178/statm: 2634989 12928 2122 9 0 2625723 0
[pid=7178/tid=7179] ppid=7176 vsize=10539956 CPUtime=0.1 cores=0,2,4,6
/proc/7178/task/7179/stat : 7179 (java) R 7176 7178 3716 0 -1 4202560 11256 0 1 0 8 2 0 0 25 0 18 0 830924295 10792914944 12928 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 47519979262723 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7178/tid=7180] ppid=7176 vsize=10539956 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7180/stat : 7180 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10792914944 12929 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7181] ppid=7176 vsize=10539956 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7181/stat : 7181 (java) S 7176 7178 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830924297 10792914944 12930 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7182] ppid=7176 vsize=10539956 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7182/stat : 7182 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10792914944 12931 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7183] ppid=7176 vsize=10539956 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7183/stat : 7183 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10792914944 12931 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7184] ppid=7176 vsize=10539956 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7184/stat : 7184 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10792914944 12932 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7185] ppid=7176 vsize=10539956 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7185/stat : 7185 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10792914944 12932 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7186] ppid=7176 vsize=10539956 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7186/stat : 7186 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10792914944 12932 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7187] ppid=7176 vsize=10539956 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7187/stat : 7187 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10792914944 12932 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539956
[startup+0.200451 s]
/proc/loadavg: 3.24 3.27 3.29 3/582 7178
/proc/meminfo: memFree=27354732/32950928 swapFree=41528364/67111528
[pid=7178] ppid=7176 vsize=10540492 CPUtime=0.25 cores=0,2,4,6
/proc/7178/stat : 7178 (java) S 7176 7178 3716 0 -1 4202496 14611 0 1 0 23 2 0 0 25 0 18 0 830924295 10793463808 14307 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7178/statm: 2635123 14308 2180 9 0 2625857 0
[pid=7178/tid=7179] ppid=7176 vsize=10540492 CPUtime=0.18 cores=0,2,4,6
/proc/7178/task/7179/stat : 7179 (java) R 7176 7178 3716 0 -1 4202560 12420 0 1 0 16 2 0 0 25 0 18 0 830924295 10793463808 14308 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 47519983758163 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7178/tid=7180] ppid=7176 vsize=10540492 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7180/stat : 7180 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10793463808 14308 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7181] ppid=7176 vsize=10540492 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7181/stat : 7181 (java) S 7176 7178 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830924297 10793463808 14308 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7182] ppid=7176 vsize=10540492 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7182/stat : 7182 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10793463808 14308 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7183] ppid=7176 vsize=10540492 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7183/stat : 7183 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10793463808 14309 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7184] ppid=7176 vsize=10540492 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7184/stat : 7184 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10793463808 14309 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7185] ppid=7176 vsize=10540492 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7185/stat : 7185 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10793463808 14309 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7186] ppid=7176 vsize=10540492 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7186/stat : 7186 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10793463808 14309 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7187] ppid=7176 vsize=10540492 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7187/stat : 7187 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10793463808 14309 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10540492
[startup+0.301434 s]
/proc/loadavg: 3.24 3.27 3.29 3/582 7178
/proc/meminfo: memFree=27354732/32950928 swapFree=41528364/67111528
[pid=7178] ppid=7176 vsize=10542568 CPUtime=0.5 cores=0,2,4,6
/proc/7178/stat : 7178 (java) S 7176 7178 3716 0 -1 4202496 16543 0 1 0 47 3 0 0 25 0 18 0 830924295 10795589632 16136 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7178/statm: 2635642 16137 2201 9 0 2626376 0
[pid=7178/tid=7179] ppid=7176 vsize=10542568 CPUtime=0.28 cores=0,2,4,6
/proc/7178/task/7179/stat : 7179 (java) R 7176 7178 3716 0 -1 4202560 13690 0 1 0 26 2 0 0 25 0 18 0 830924295 10795589632 16138 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 46912505608275 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7178/tid=7180] ppid=7176 vsize=10542568 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7180/stat : 7180 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10795589632 16138 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7181] ppid=7176 vsize=10542568 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7181/stat : 7181 (java) S 7176 7178 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830924297 10795589632 16139 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7182] ppid=7176 vsize=10542568 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7182/stat : 7182 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10795589632 16139 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7183] ppid=7176 vsize=10542568 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7183/stat : 7183 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10795589632 16140 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7184] ppid=7176 vsize=10542568 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7184/stat : 7184 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10795589632 16140 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7185] ppid=7176 vsize=10542568 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7185/stat : 7185 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10795589632 16141 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7186] ppid=7176 vsize=10542568 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7186/stat : 7186 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10795589632 16141 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7187] ppid=7176 vsize=10542568 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7187/stat : 7187 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10795589632 16142 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10542568
[startup+0.700434 s]
/proc/loadavg: 3.24 3.27 3.29 3/582 7178
/proc/meminfo: memFree=27354732/32950928 swapFree=41528364/67111528
[pid=7178] ppid=7176 vsize=10549384 CPUtime=1.18 cores=0,2,4,6
/proc/7178/stat : 7178 (java) S 7176 7178 3716 0 -1 4202496 57695 0 1 0 110 8 0 0 25 0 18 0 830924295 10802569216 55701 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7178/statm: 2637346 55706 2214 9 0 2628080 0
[pid=7178/tid=7179] ppid=7176 vsize=10549384 CPUtime=0.69 cores=0,2,4,6
/proc/7178/task/7179/stat : 7179 (java) R 7176 7178 3716 0 -1 4202560 51503 0 1 0 62 7 0 0 18 0 18 0 830924295 10802569216 55709 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 46912505646305 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7178/tid=7180] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7180/stat : 7180 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10802569216 55712 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7181] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7181/stat : 7181 (java) S 7176 7178 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830924297 10802569216 55715 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7182] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7182/stat : 7182 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10802569216 55718 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7183] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7183/stat : 7183 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10802569216 55721 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7184] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7184/stat : 7184 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10802569216 55724 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7185] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7185/stat : 7185 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10802569216 55727 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7186] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7186/stat : 7186 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10802569216 55730 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7187] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7187/stat : 7187 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10802569216 55733 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10549384
[startup+1.50123 s]
/proc/loadavg: 3.24 3.27 3.29 4/600 7197
/proc/meminfo: memFree=26944344/32950928 swapFree=41528364/67111528
[pid=7178] ppid=7176 vsize=10549384 CPUtime=2 cores=0,2,4,6
/proc/7178/stat : 7178 (java) S 7176 7178 3716 0 -1 4202496 121090 0 1 0 186 14 0 0 25 0 18 0 830924295 10802569216 119096 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7178/statm: 2637346 119104 2217 9 0 2628080 0
[pid=7178/tid=7179] ppid=7176 vsize=10549384 CPUtime=1.49 cores=0,2,4,6
/proc/7178/task/7179/stat : 7179 (java) R 7176 7178 3716 0 -1 4202560 114899 0 1 0 136 13 0 0 19 0 18 0 830924295 10802569216 119108 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 46912505722810 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7178/tid=7180] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7180/stat : 7180 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10802569216 119114 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7181] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7181/stat : 7181 (java) S 7176 7178 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830924297 10802569216 119120 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7182] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7182/stat : 7182 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10802569216 119125 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7183] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7183/stat : 7183 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10802569216 119131 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7184] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7184/stat : 7184 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10802569216 119136 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7185] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7185/stat : 7185 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10802569216 119142 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7186] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7186/stat : 7186 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10802569216 119147 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7187] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7187/stat : 7187 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924297 10802569216 119153 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7189] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7189/stat : 7189 (java) S 7176 7178 3716 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830924298 10802569216 119158 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056704 0 0 0 16800975 18446604448499001408 0 0 -1 4 0 0 0
[pid=7178/tid=7190] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7190/stat : 7190 (java) S 7176 7178 3716 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830924298 10802569216 119164 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 2 0 0 0
[pid=7178/tid=7191] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7191/stat : 7191 (java) S 7176 7178 3716 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 830924298 10802569216 119169 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7192] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7192/stat : 7192 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924300 10802569216 119175 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826063793 0 4 0 16800975 18446604448499001408 0 0 -1 2 0 0 0
[pid=7178/tid=7193] ppid=7176 vsize=10549384 CPUtime=0.26 cores=0,2,4,6
/proc/7178/task/7193/stat : 7193 (java) S 7176 7178 3716 0 -1 4202560 2869 0 0 0 26 0 0 0 15 0 18 0 830924300 10802569216 119180 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 0 0 0 0
[pid=7178/tid=7194] ppid=7176 vsize=10549384 CPUtime=0.23 cores=0,2,4,6
/proc/7178/task/7194/stat : 7194 (java) S 7176 7178 3716 0 -1 4202560 2182 0 0 0 23 0 0 0 17 0 18 0 830924300 10802569216 119186 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 4 0 0 0
[pid=7178/tid=7195] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7195/stat : 7195 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830924300 10802569216 119192 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 2 0 0 0
[pid=7178/tid=7196] ppid=7176 vsize=10549384 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7196/stat : 7196 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830924300 10802569216 119197 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056704 0 4 0 16800975 18446604448499001408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 10549384
[startup+3.10097 s]
/proc/loadavg: 3.24 3.27 3.29 5/604 7201
/proc/meminfo: memFree=26821328/32950928 swapFree=41528364/67111528
################
# More data... #
################
/proc/meminfo: memFree=22644396/32950928 swapFree=41528364/67111528
[pid=7178] ppid=7176 vsize=10554544 CPUtime=1646.24 cores=0,2,4,6
/proc/7178/stat : 7178 (java) S 7176 7178 3716 0 -1 4202496 939712 0 1 0 164497 127 0 0 25 0 22 0 830924295 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7178/statm: 2638636 932063 2255 9 0 2629370 0
[pid=7178/tid=7179] ppid=7176 vsize=10554544 CPUtime=1.86 cores=0,2,4,6
/proc/7178/task/7179/stat : 7179 (java) S 7176 7178 3716 0 -1 4202560 124843 0 1 0 173 13 0 0 15 0 22 0 830924295 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056704 0 4 0 16800975 18446604448499001408 0 0 -1 0 0 0 0
[pid=7178/tid=7180] ppid=7176 vsize=10554544 CPUtime=0.5 cores=0,2,4,6
/proc/7178/task/7180/stat : 7180 (java) S 7176 7178 3716 0 -1 4202560 22213 0 0 0 48 2 0 0 15 0 22 0 830924297 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 0 0 0 0
[pid=7178/tid=7181] ppid=7176 vsize=10554544 CPUtime=0.38 cores=0,2,4,6
/proc/7178/task/7181/stat : 7181 (java) S 7176 7178 3716 0 -1 4202560 21961 0 0 0 35 3 0 0 15 0 22 0 830924297 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7182] ppid=7176 vsize=10554544 CPUtime=0.46 cores=0,2,4,6
/proc/7178/task/7182/stat : 7182 (java) S 7176 7178 3716 0 -1 4202560 26922 0 0 0 44 2 0 0 15 0 22 0 830924297 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 2 0 0 0
[pid=7178/tid=7183] ppid=7176 vsize=10554544 CPUtime=0.24 cores=0,2,4,6
/proc/7178/task/7183/stat : 7183 (java) S 7176 7178 3716 0 -1 4202560 12659 0 0 0 23 1 0 0 15 0 22 0 830924297 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 4 0 0 0
[pid=7178/tid=7184] ppid=7176 vsize=10554544 CPUtime=0.44 cores=0,2,4,6
/proc/7178/task/7184/stat : 7184 (java) S 7176 7178 3716 0 -1 4202560 27281 0 0 0 41 3 0 0 16 0 22 0 830924297 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 2 0 0 0
[pid=7178/tid=7185] ppid=7176 vsize=10554544 CPUtime=0.43 cores=0,2,4,6
/proc/7178/task/7185/stat : 7185 (java) S 7176 7178 3716 0 -1 4202560 20838 0 0 0 40 3 0 0 16 0 22 0 830924297 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 0 0 0 0
[pid=7178/tid=7186] ppid=7176 vsize=10554544 CPUtime=0.47 cores=0,2,4,6
/proc/7178/task/7186/stat : 7186 (java) S 7176 7178 3716 0 -1 4202560 27850 0 0 0 43 4 0 0 16 0 22 0 830924297 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 4 0 0 0
[pid=7178/tid=7187] ppid=7176 vsize=10554544 CPUtime=0.41 cores=0,2,4,6
/proc/7178/task/7187/stat : 7187 (java) S 7176 7178 3716 0 -1 4202560 12091 0 0 0 40 1 0 0 16 0 22 0 830924297 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7189] ppid=7176 vsize=10554544 CPUtime=0.04 cores=0,2,4,6
/proc/7178/task/7189/stat : 7189 (java) S 7176 7178 3716 0 -1 4202560 46 0 0 0 2 2 0 0 15 0 22 0 830924298 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056704 0 0 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7190] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7190/stat : 7190 (java) S 7176 7178 3716 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830924298 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 2 0 0 0
[pid=7178/tid=7191] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7191/stat : 7191 (java) S 7176 7178 3716 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830924298 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7192] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7192/stat : 7192 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830924300 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826063793 0 4 0 16800975 18446604448499001408 0 0 -1 2 0 0 0
[pid=7178/tid=7193] ppid=7176 vsize=10554544 CPUtime=1.25 cores=0,2,4,6
/proc/7178/task/7193/stat : 7193 (java) S 7176 7178 3716 0 -1 4202560 3536 0 0 0 125 0 0 0 15 0 22 0 830924300 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 0 0 0 0
[pid=7178/tid=7194] ppid=7176 vsize=10554544 CPUtime=1.02 cores=0,2,4,6
/proc/7178/task/7194/stat : 7194 (java) S 7176 7178 3716 0 -1 4202560 6780 0 0 0 101 1 0 0 15 0 22 0 830924300 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 4 0 0 0
[pid=7178/tid=7195] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7195/stat : 7195 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830924300 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 2 0 0 0
[pid=7178/tid=7196] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7196/stat : 7196 (java) S 7176 7178 3716 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 830924300 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056704 0 4 0 16800975 18446604448499001408 0 0 -1 0 0 0 0
[pid=7178/tid=7198] ppid=7176 vsize=10554544 CPUtime=819.33 cores=0,2,4,6
/proc/7178/task/7198/stat : 7198 (java) R 7176 7178 3716 0 -1 4202560 52475 0 0 0 81925 8 0 0 25 0 22 0 830924483 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 46912505986682 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7178/tid=7199] ppid=7176 vsize=10554544 CPUtime=819.27 cores=0,2,4,6
/proc/7178/task/7199/stat : 7199 (java) R 7176 7178 3716 0 -1 4202560 579013 0 0 0 81851 76 0 0 25 0 22 0 830924483 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 46912506075175 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7178/tid=7200] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7200/stat : 7200 (java) S 7176 7178 3716 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 830924487 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056704 0 4 0 16800975 18446604448499001408 0 0 -1 4 0 0 0
[pid=7178/tid=7201] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7201/stat : 7201 (java) S 7176 7178 3716 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 830924488 10807853056 932063 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056704 0 4 0 16800975 18446604448499001408 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1646.24
Current children cumulated vsize (KiB) 10554544
[startup+882.322 s]
/proc/loadavg: 4.00 3.97 3.72 3/577 7244
/proc/meminfo: memFree=26309804/32950928 swapFree=41528364/67111528
[pid=7178] ppid=7176 vsize=10554544 CPUtime=1766.35 cores=0,2,4,6
/proc/7178/stat : 7178 (java) S 7176 7178 3716 0 -1 4202496 944155 0 1 0 176507 128 0 0 25 0 22 0 830924295 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7178/statm: 2638636 936419 2255 9 0 2629370 0
[pid=7178/tid=7179] ppid=7176 vsize=10554544 CPUtime=1.86 cores=0,2,4,6
/proc/7178/task/7179/stat : 7179 (java) S 7176 7178 3716 0 -1 4202560 124843 0 1 0 173 13 0 0 15 0 22 0 830924295 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056704 0 4 0 16800975 18446604448499001408 0 0 -1 0 0 0 0
[pid=7178/tid=7180] ppid=7176 vsize=10554544 CPUtime=0.52 cores=0,2,4,6
/proc/7178/task/7180/stat : 7180 (java) S 7176 7178 3716 0 -1 4202560 22743 0 0 0 50 2 0 0 16 0 22 0 830924297 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 2 0 0 0
[pid=7178/tid=7181] ppid=7176 vsize=10554544 CPUtime=0.41 cores=0,2,4,6
/proc/7178/task/7181/stat : 7181 (java) S 7176 7178 3716 0 -1 4202560 23053 0 0 0 38 3 0 0 15 0 22 0 830924297 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7182] ppid=7176 vsize=10554544 CPUtime=0.48 cores=0,2,4,6
/proc/7178/task/7182/stat : 7182 (java) S 7176 7178 3716 0 -1 4202560 27132 0 0 0 46 2 0 0 15 0 22 0 830924297 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 2 0 0 0
[pid=7178/tid=7183] ppid=7176 vsize=10554544 CPUtime=0.27 cores=0,2,4,6
/proc/7178/task/7183/stat : 7183 (java) S 7176 7178 3716 0 -1 4202560 13566 0 0 0 26 1 0 0 15 0 22 0 830924297 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 0 0 0 0
[pid=7178/tid=7184] ppid=7176 vsize=10554544 CPUtime=0.46 cores=0,2,4,6
/proc/7178/task/7184/stat : 7184 (java) S 7176 7178 3716 0 -1 4202560 27477 0 0 0 43 3 0 0 15 0 22 0 830924297 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 0 0 0 0
[pid=7178/tid=7185] ppid=7176 vsize=10554544 CPUtime=0.45 cores=0,2,4,6
/proc/7178/task/7185/stat : 7185 (java) S 7176 7178 3716 0 -1 4202560 20966 0 0 0 42 3 0 0 15 0 22 0 830924297 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 0 0 0 0
[pid=7178/tid=7186] ppid=7176 vsize=10554544 CPUtime=0.5 cores=0,2,4,6
/proc/7178/task/7186/stat : 7186 (java) S 7176 7178 3716 0 -1 4202560 28710 0 0 0 46 4 0 0 16 0 22 0 830924297 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 4 0 0 0
[pid=7178/tid=7187] ppid=7176 vsize=10554544 CPUtime=0.43 cores=0,2,4,6
/proc/7178/task/7187/stat : 7187 (java) S 7176 7178 3716 0 -1 4202560 12582 0 0 0 42 1 0 0 16 0 22 0 830924297 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7189] ppid=7176 vsize=10554544 CPUtime=0.05 cores=0,2,4,6
/proc/7178/task/7189/stat : 7189 (java) S 7176 7178 3716 0 -1 4202560 50 0 0 0 3 2 0 0 15 0 22 0 830924298 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056704 0 0 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7190] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7190/stat : 7190 (java) S 7176 7178 3716 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830924298 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 2 0 0 0
[pid=7178/tid=7191] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7191/stat : 7191 (java) S 7176 7178 3716 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830924298 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7192] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7192/stat : 7192 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830924300 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826063793 0 4 0 16800975 18446604448499001408 0 0 -1 2 0 0 0
[pid=7178/tid=7193] ppid=7176 vsize=10554544 CPUtime=1.25 cores=0,2,4,6
/proc/7178/task/7193/stat : 7193 (java) S 7176 7178 3716 0 -1 4202560 3536 0 0 0 125 0 0 0 15 0 22 0 830924300 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 0 0 0 0
[pid=7178/tid=7194] ppid=7176 vsize=10554544 CPUtime=1.02 cores=0,2,4,6
/proc/7178/task/7194/stat : 7194 (java) S 7176 7178 3716 0 -1 4202560 6780 0 0 0 101 1 0 0 15 0 22 0 830924300 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 4 0 0 0
[pid=7178/tid=7195] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7195/stat : 7195 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830924300 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 2 0 0 0
[pid=7178/tid=7196] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7196/stat : 7196 (java) S 7176 7178 3716 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830924300 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056704 0 4 0 16800975 18446604448499001408 0 0 -1 0 0 0 0
[pid=7178/tid=7198] ppid=7176 vsize=10554544 CPUtime=879.28 cores=0,2,4,6
/proc/7178/task/7198/stat : 7198 (java) R 7176 7178 3716 0 -1 4202560 52488 0 0 0 87920 8 0 0 25 0 22 0 830924483 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 46912506024710 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7178/tid=7199] ppid=7176 vsize=10554544 CPUtime=879.22 cores=0,2,4,6
/proc/7178/task/7199/stat : 7199 (java) R 7176 7178 3716 0 -1 4202560 579021 0 0 0 87846 76 0 0 25 0 22 0 830924483 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 46912506075017 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7178/tid=7200] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7200/stat : 7200 (java) S 7176 7178 3716 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 830924487 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056704 0 4 0 16800975 18446604448499001408 0 0 -1 4 0 0 0
[pid=7178/tid=7201] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7201/stat : 7201 (java) S 7176 7178 3716 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 830924488 10807853056 936419 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056704 0 4 0 16800975 18446604448499001408 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1766.35
Current children cumulated vsize (KiB) 10554544
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.202 s]
/proc/loadavg: 3.43 3.84 3.68 3/577 7244
/proc/meminfo: memFree=26309356/32950928 swapFree=41528364/67111528
[pid=7178] ppid=7176 vsize=10554544 CPUtime=1800.14 cores=0,2,4,6
/proc/7178/stat : 7178 (java) S 7176 7178 3716 0 -1 4202496 944317 0 1 0 179886 128 0 0 25 0 22 0 830924295 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7178/statm: 2638636 936577 2255 9 0 2629370 0
[pid=7178/tid=7179] ppid=7176 vsize=10554544 CPUtime=1.86 cores=0,2,4,6
/proc/7178/task/7179/stat : 7179 (java) S 7176 7178 3716 0 -1 4202560 124843 0 1 0 173 13 0 0 15 0 22 0 830924295 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056704 0 4 0 16800975 18446604448499001408 0 0 -1 0 0 0 0
[pid=7178/tid=7180] ppid=7176 vsize=10554544 CPUtime=0.52 cores=0,2,4,6
/proc/7178/task/7180/stat : 7180 (java) S 7176 7178 3716 0 -1 4202560 22743 0 0 0 50 2 0 0 15 0 22 0 830924297 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 4 0 0 0
[pid=7178/tid=7181] ppid=7176 vsize=10554544 CPUtime=0.42 cores=0,2,4,6
/proc/7178/task/7181/stat : 7181 (java) S 7176 7178 3716 0 -1 4202560 23105 0 0 0 39 3 0 0 16 0 22 0 830924297 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7182] ppid=7176 vsize=10554544 CPUtime=0.49 cores=0,2,4,6
/proc/7178/task/7182/stat : 7182 (java) S 7176 7178 3716 0 -1 4202560 27132 0 0 0 47 2 0 0 15 0 22 0 830924297 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 2 0 0 0
[pid=7178/tid=7183] ppid=7176 vsize=10554544 CPUtime=0.28 cores=0,2,4,6
/proc/7178/task/7183/stat : 7183 (java) S 7176 7178 3716 0 -1 4202560 13566 0 0 0 27 1 0 0 16 0 22 0 830924297 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 2 0 0 0
[pid=7178/tid=7184] ppid=7176 vsize=10554544 CPUtime=0.46 cores=0,2,4,6
/proc/7178/task/7184/stat : 7184 (java) S 7176 7178 3716 0 -1 4202560 27477 0 0 0 43 3 0 0 15 0 22 0 830924297 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 0 0 0 0
[pid=7178/tid=7185] ppid=7176 vsize=10554544 CPUtime=0.46 cores=0,2,4,6
/proc/7178/task/7185/stat : 7185 (java) S 7176 7178 3716 0 -1 4202560 20993 0 0 0 43 3 0 0 16 0 22 0 830924297 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 0 0 0 0
[pid=7178/tid=7186] ppid=7176 vsize=10554544 CPUtime=0.5 cores=0,2,4,6
/proc/7178/task/7186/stat : 7186 (java) S 7176 7178 3716 0 -1 4202560 28710 0 0 0 46 4 0 0 15 0 22 0 830924297 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 4 0 0 0
[pid=7178/tid=7187] ppid=7176 vsize=10554544 CPUtime=0.43 cores=0,2,4,6
/proc/7178/task/7187/stat : 7187 (java) S 7176 7178 3716 0 -1 4202560 12661 0 0 0 42 1 0 0 16 0 22 0 830924297 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 4 0 0 0
[pid=7178/tid=7189] ppid=7176 vsize=10554544 CPUtime=0.05 cores=0,2,4,6
/proc/7178/task/7189/stat : 7189 (java) S 7176 7178 3716 0 -1 4202560 50 0 0 0 3 2 0 0 15 0 22 0 830924298 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056704 0 0 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7190] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7190/stat : 7190 (java) S 7176 7178 3716 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830924298 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 2 0 0 0
[pid=7178/tid=7191] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7191/stat : 7191 (java) S 7176 7178 3716 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830924298 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 6 0 0 0
[pid=7178/tid=7192] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7192/stat : 7192 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830924300 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826063793 0 4 0 16800975 18446604448499001408 0 0 -1 2 0 0 0
[pid=7178/tid=7193] ppid=7176 vsize=10554544 CPUtime=1.25 cores=0,2,4,6
/proc/7178/task/7193/stat : 7193 (java) S 7176 7178 3716 0 -1 4202560 3536 0 0 0 125 0 0 0 15 0 22 0 830924300 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 0 0 0 0
[pid=7178/tid=7194] ppid=7176 vsize=10554544 CPUtime=1.02 cores=0,2,4,6
/proc/7178/task/7194/stat : 7194 (java) S 7176 7178 3716 0 -1 4202560 6780 0 0 0 101 1 0 0 15 0 22 0 830924300 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 4 0 0 0
[pid=7178/tid=7195] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7195/stat : 7195 (java) S 7176 7178 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830924300 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056089 0 4 0 16800975 18446604448499001408 0 0 -1 2 0 0 0
[pid=7178/tid=7196] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7196/stat : 7196 (java) S 7176 7178 3716 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830924300 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056704 0 4 0 16800975 18446604448499001408 0 0 -1 0 0 0 0
[pid=7178/tid=7198] ppid=7176 vsize=10554544 CPUtime=896.17 cores=0,2,4,6
/proc/7178/task/7198/stat : 7198 (java) R 7176 7178 3716 0 -1 4202560 52490 0 0 0 89609 8 0 0 25 0 22 0 830924483 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 46912505986829 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7178/tid=7199] ppid=7176 vsize=10554544 CPUtime=896.11 cores=0,2,4,6
/proc/7178/task/7199/stat : 7199 (java) R 7176 7178 3716 0 -1 4202560 579023 0 0 0 89535 76 0 0 25 0 22 0 830924483 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 46912505722713 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7178/tid=7200] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7200/stat : 7200 (java) S 7176 7178 3716 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 830924487 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056704 0 4 0 16800975 18446604448499001408 0 0 -1 4 0 0 0
[pid=7178/tid=7201] ppid=7176 vsize=10554544 CPUtime=0 cores=0,2,4,6
/proc/7178/task/7201/stat : 7201 (java) S 7176 7178 3716 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 830924488 10807853056 936577 33554432000 1073741824 1073778376 140735194109344 18446744073709551615 251826056704 0 4 0 16800975 18446604448499001408 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 10554544
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+899.328 s]
/proc/loadavg: 3.43 3.84 3.68 3/577 7244
/proc/meminfo: memFree=26309356/32950928 swapFree=41528364/67111528
[pid=7178] ppid=7176 vsize=0 CPUtime=1800.28 cores=0,2,4,6
/proc/7178/stat : 7178 (java) Z 7176 7178 3716 0 -1 4203548 944344 0 1 0 179890 138 0 0 17 0 2 0 830924295 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7178/statm: 0 0 0 0 0 0 0
[pid=7178/tid=7199] ppid=7176 vsize=0 CPUtime=896.21 cores=0,2,4,6
/proc/7178/task/7199/stat : 7199 (java) R 7176 7178 3716 0 -1 4203588 579023 0 0 0 89536 85 0 0 25 0 2 0 830924483 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 899.375
CPU time (s): 1800.33
CPU user time (s): 1798.9
CPU system time (s): 1.42778
CPU usage (%): 200.176
Max. virtual memory (cumulated for all children) (KiB): 10561172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.42778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 944344
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= 25354
involuntary context switches= 10680
runsolver used 5.41318 second user time and 11.8352 second system time
The end