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-3455935-1307225408/watcher-3455935-1307225408 -o /tmp/evaluation-result-3455935-1307225408/solver-3455935-1307225408 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455935-1307225408.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.04 2.03 2.00 3/535 23816
/proc/meminfo: memFree=17936704/32950928 swapFree=34259960/67111528
[pid=23816] ppid=23814 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23816/stat : 23816 (java) S 23814 23816 22626 0 -1 4202496 4774 0 1 0 0 0 0 0 25 0 2 0 834137440 10694979584 4477 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/23816/statm: 2611079 4491 917 9 0 2602235 0
[pid=23816/tid=23817] ppid=23814 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23817/stat : 23817 (java) R 23814 23816 22626 0 -1 4202560 3752 0 1 0 0 0 0 0 25 0 2 0 834137441 10694979584 4568 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.09425 s]
/proc/loadavg: 2.04 2.03 2.00 3/535 23816
/proc/meminfo: memFree=17936704/32950928 swapFree=34259960/67111528
[pid=23816] ppid=23814 vsize=10539716 CPUtime=0.08 cores=1,3,5,7
/proc/23816/stat : 23816 (java) S 23814 23816 22626 0 -1 4202496 12696 0 1 0 7 1 0 0 25 0 18 0 834137440 10792669184 12394 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23816/statm: 2634977 12409 2059 9 0 2625711 0
[pid=23816/tid=23817] ppid=23814 vsize=10539908 CPUtime=0.07 cores=1,3,5,7
/proc/23816/task/23817/stat : 23817 (java) R 23814 23816 22626 0 -1 4202560 10949 0 1 0 6 1 0 0 18 0 18 0 834137441 10792865792 12414 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10539716
[startup+0.101197 s]
/proc/loadavg: 2.04 2.03 2.00 3/535 23816
/proc/meminfo: memFree=17936704/32950928 swapFree=34259960/67111528
[pid=23816] ppid=23814 vsize=10540076 CPUtime=0.09 cores=1,3,5,7
/proc/23816/stat : 23816 (java) S 23814 23816 22626 0 -1 4202496 12947 0 1 0 8 1 0 0 25 0 18 0 834137440 10793037824 12645 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23816/statm: 2635019 12645 2092 9 0 2625753 0
[pid=23816/tid=23817] ppid=23814 vsize=10540076 CPUtime=0.08 cores=1,3,5,7
/proc/23816/task/23817/stat : 23817 (java) R 23814 23816 22626 0 -1 4202560 11054 0 1 0 7 1 0 0 18 0 18 0 834137441 10793037824 12647 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 47531941484056 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540076
[startup+0.301211 s]
/proc/loadavg: 2.04 2.03 2.00 3/535 23816
/proc/meminfo: memFree=17936704/32950928 swapFree=34259960/67111528
[pid=23816] ppid=23814 vsize=10543992 CPUtime=0.47 cores=1,3,5,7
/proc/23816/stat : 23816 (java) S 23814 23816 22626 0 -1 4202496 17155 0 1 0 45 2 0 0 25 0 19 0 834137440 10797047808 16223 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23816/statm: 2635998 16223 2188 9 0 2626732 0
[pid=23816/tid=23817] ppid=23814 vsize=10543992 CPUtime=0.28 cores=1,3,5,7
/proc/23816/task/23817/stat : 23817 (java) R 23814 23816 22626 0 -1 4202560 13539 0 1 0 26 2 0 0 19 0 19 0 834137441 10797047808 16223 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10543992
[startup+0.701029 s]
/proc/loadavg: 2.04 2.03 2.00 3/535 23816
/proc/meminfo: memFree=17936704/32950928 swapFree=34259960/67111528
[pid=23816] ppid=23814 vsize=10554932 CPUtime=1.66 cores=1,3,5,7
/proc/23816/stat : 23816 (java) S 23814 23816 22626 0 -1 4202496 44441 0 1 0 159 7 0 0 25 0 19 0 834137440 10808250368 38581 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23816/statm: 2638733 38583 2215 9 0 2629467 0
[pid=23816/tid=23817] ppid=23814 vsize=10554932 CPUtime=0.67 cores=1,3,5,7
/proc/23816/task/23817/stat : 23817 (java) R 23814 23816 22626 0 -1 4202560 29649 0 1 0 63 4 0 0 19 0 19 0 834137441 10808250368 38586 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 46912505549904 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10554932
[startup+1.50087 s]
/proc/loadavg: 2.20 2.06 2.01 4/554 23835
/proc/meminfo: memFree=17678832/32950928 swapFree=34259960/67111528
[pid=23816] ppid=23814 vsize=10554932 CPUtime=2.72 cores=1,3,5,7
/proc/23816/stat : 23816 (java) S 23814 23816 22626 0 -1 4202496 126457 0 1 0 256 16 0 0 25 0 19 0 834137440 10808250368 120008 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23816/statm: 2638733 120011 2218 9 0 2629467 0
[pid=23816/tid=23817] ppid=23814 vsize=10554932 CPUtime=1.48 cores=1,3,5,7
/proc/23816/task/23817/stat : 23817 (java) R 23814 23816 22626 0 -1 4202560 111471 0 1 0 135 13 0 0 21 0 19 0 834137441 10808250368 120013 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 46912505570049 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23816/tid=23819] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23819/stat : 23819 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10808250368 120016 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23820] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23820/stat : 23820 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10808250368 120018 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23821] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23821/stat : 23821 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10808250368 120021 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23822] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23822/stat : 23822 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10808250368 120023 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23823] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23823/stat : 23823 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10808250368 120025 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23824] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23824/stat : 23824 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10808250368 120030 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23825] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23825/stat : 23825 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10808250368 120032 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23826] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23826/stat : 23826 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10808250368 120034 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23827] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23827/stat : 23827 (java) S 23814 23816 22626 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834137444 10808250368 120036 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512508416 0 0 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23828] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23828/stat : 23828 (java) S 23814 23816 22626 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834137445 10808250368 120038 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23829] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23829/stat : 23829 (java) S 23814 23816 22626 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834137445 10808250368 120041 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23830] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23830/stat : 23830 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137447 10808250368 120043 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512515505 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23831] ppid=23814 vsize=10554932 CPUtime=0.61 cores=1,3,5,7
/proc/23816/task/23831/stat : 23831 (java) S 23814 23816 22626 0 -1 4202560 6145 0 0 0 60 1 0 0 18 0 19 0 834137447 10808250368 120046 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=23816/tid=23832] ppid=23814 vsize=10554932 CPUtime=0.62 cores=1,3,5,7
/proc/23816/task/23832/stat : 23832 (java) R 23814 23816 22626 0 -1 4202560 7688 0 0 0 61 1 0 0 19 0 19 0 834137447 10808250368 120048 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 47531941616944 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23816/tid=23833] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23833/stat : 23833 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137447 10808250368 120051 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23834] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23834/stat : 23834 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834137447 10808250368 120053 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=23816/tid=23835] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23835/stat : 23835 (java) S 23814 23816 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834137457 10808250368 120055 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 10554932
[startup+3.10163 s]
/proc/loadavg: 2.20 2.06 2.01 3/554 23835
/proc/meminfo: memFree=17227080/32950928 swapFree=34259960/67111528
[pid=23816] ppid=23814 vsize=10554932 CPUtime=4.35 cores=1,3,5,7
/proc/23816/stat : 23816 (java) S 23814 23816 22626 0 -1 4202496 282777 0 1 0 403 32 0 0 25 0 19 0 834137440 10808250368 276325 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23816/statm: 2638733 276328 2218 9 0 2629467 0
[pid=23816/tid=23817] ppid=23814 vsize=10554932 CPUtime=3.07 cores=1,3,5,7
/proc/23816/task/23817/stat : 23817 (java) R 23814 23816 22626 0 -1 4202560 267786 0 1 0 278 29 0 0 25 0 19 0 834137441 10808250368 276330 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 46912505547861 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23816/tid=23819] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23819/stat : 23819 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10808250368 276332 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23820] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23820/stat : 23820 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10808250368 276335 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23821] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23821/stat : 23821 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10808250368 276337 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23822] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23822/stat : 23822 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10808250368 276340 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23823] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23823/stat : 23823 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10808250368 276342 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23824] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23824/stat : 23824 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10808250368 276345 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23825] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23825/stat : 23825 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10808250368 276347 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23826] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23826/stat : 23826 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10808250368 276349 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23827] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23827/stat : 23827 (java) S 23814 23816 22626 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834137444 10808250368 276351 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512508416 0 0 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23828] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23828/stat : 23828 (java) S 23814 23816 22626 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834137445 10808250368 276354 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23829] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23829/stat : 23829 (java) S 23814 23816 22626 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834137445 10808250368 276356 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23830] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23830/stat : 23830 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137447 10808250368 276358 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512515505 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23831] ppid=23814 vsize=10554932 CPUtime=0.61 cores=1,3,5,7
/proc/23816/task/23831/stat : 23831 (java) S 23814 23816 22626 0 -1 4202560 6145 0 0 0 60 1 0 0 15 0 19 0 834137447 10808250368 276360 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=23816/tid=23832] ppid=23814 vsize=10554932 CPUtime=0.64 cores=1,3,5,7
/proc/23816/task/23832/stat : 23832 (java) S 23814 23816 22626 0 -1 4202560 7692 0 0 0 63 1 0 0 15 0 19 0 834137447 10808250368 276362 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=23816/tid=23833] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23833/stat : 23833 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137447 10808250368 276364 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23834] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23834/stat : 23834 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834137447 10808250368 276367 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=23816/tid=23835] ppid=23814 vsize=10554932 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23835/stat : 23835 (java) S 23814 23816 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834137457 10808250368 276369 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 10554932
[startup+6.30099 s]
/proc/loadavg: 2.18 2.06 2.01 3/554 23835
/proc/meminfo: memFree=15908956/32950928 swapFree=34259960/67111528
[pid=23816] ppid=23814 vsize=10552000 CPUtime=7.59 cores=1,3,5,7
/proc/23816/stat : 23816 (java) S 23814 23816 22626 0 -1 4202496 595471 0 1 0 698 61 0 0 25 0 19 0 834137440 10805248000 588051 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23816/statm: 2638000 588054 2220 9 0 2628734 0
[pid=23816/tid=23817] ppid=23814 vsize=10552000 CPUtime=6.28 cores=1,3,5,7
/proc/23816/task/23817/stat : 23817 (java) R 23814 23816 22626 0 -1 4202560 580471 0 1 0 569 59 0 0 25 0 19 0 834137441 10805248000 588055 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 46912505570053 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23816/tid=23819] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23819/stat : 23819 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10805248000 588057 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23820] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23820/stat : 23820 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10805248000 588059 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23821] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23821/stat : 23821 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10805248000 588061 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23822] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23822/stat : 23822 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10805248000 588062 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23823] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23823/stat : 23823 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10805248000 588064 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23824] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23824/stat : 23824 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10805248000 588066 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23825] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23825/stat : 23825 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10805248000 588068 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23826] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23826/stat : 23826 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137443 10805248000 588069 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23827] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23827/stat : 23827 (java) S 23814 23816 22626 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 834137444 10805248000 588071 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512508416 0 0 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23828] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23828/stat : 23828 (java) S 23814 23816 22626 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834137445 10805248000 588072 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23829] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23829/stat : 23829 (java) S 23814 23816 22626 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834137445 10805248000 588074 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23830] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23830/stat : 23830 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137447 10805248000 588076 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512515505 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23831] ppid=23814 vsize=10552000 CPUtime=0.61 cores=1,3,5,7
/proc/23816/task/23831/stat : 23831 (java) S 23814 23816 22626 0 -1 4202560 6145 0 0 0 60 1 0 0 15 0 19 0 834137447 10805248000 588077 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=23816/tid=23832] ppid=23814 vsize=10552000 CPUtime=0.68 cores=1,3,5,7
/proc/23816/task/23832/stat : 23832 (java) S 23814 23816 22626 0 -1 4202560 7699 0 0 0 67 1 0 0 15 0 19 0 834137447 10805248000 588080 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=23816/tid=23835] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23835/stat : 23835 (java) S 23814 23816 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834137457 10805248000 938113 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1667.72
Current children cumulated vsize (KiB) 10552000
[startup+1722.3 s]
/proc/loadavg: 2.13 2.09 2.03 3/554 23929
/proc/meminfo: memFree=14203156/32950928 swapFree=34259960/67111528
[pid=23816] ppid=23814 vsize=10552000 CPUtime=1727.88 cores=1,3,5,7
/proc/23816/stat : 23816 (java) S 23814 23816 22626 0 -1 4202496 947860 0 1 0 172681 107 0 0 25 0 19 0 834137440 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23816/statm: 2638000 938761 2256 9 0 2628734 0
[pid=23816/tid=23817] ppid=23814 vsize=10552000 CPUtime=1719.13 cores=1,3,5,7
/proc/23816/task/23817/stat : 23817 (java) R 23814 23816 22626 0 -1 4202560 830014 0 1 0 171827 86 0 0 25 0 19 0 834137441 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 46912505844930 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23816/tid=23819] ppid=23814 vsize=10552000 CPUtime=0.76 cores=1,3,5,7
/proc/23816/task/23819/stat : 23819 (java) S 23814 23816 22626 0 -1 4202560 12900 0 0 0 75 1 0 0 16 0 19 0 834137443 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=23816/tid=23820] ppid=23814 vsize=10552000 CPUtime=0.73 cores=1,3,5,7
/proc/23816/task/23820/stat : 23820 (java) S 23814 23816 22626 0 -1 4202560 13455 0 0 0 72 1 0 0 16 0 19 0 834137443 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=23816/tid=23821] ppid=23814 vsize=10552000 CPUtime=0.66 cores=1,3,5,7
/proc/23816/task/23821/stat : 23821 (java) S 23814 23816 22626 0 -1 4202560 11051 0 0 0 64 2 0 0 16 0 19 0 834137443 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=23816/tid=23822] ppid=23814 vsize=10552000 CPUtime=0.81 cores=1,3,5,7
/proc/23816/task/23822/stat : 23822 (java) S 23814 23816 22626 0 -1 4202560 12680 0 0 0 79 2 0 0 15 0 19 0 834137443 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=23816/tid=23823] ppid=23814 vsize=10552000 CPUtime=0.74 cores=1,3,5,7
/proc/23816/task/23823/stat : 23823 (java) S 23814 23816 22626 0 -1 4202560 11960 0 0 0 73 1 0 0 16 0 19 0 834137443 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23824] ppid=23814 vsize=10552000 CPUtime=0.63 cores=1,3,5,7
/proc/23816/task/23824/stat : 23824 (java) S 23814 23816 22626 0 -1 4202560 8125 0 0 0 62 1 0 0 15 0 19 0 834137443 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=23816/tid=23825] ppid=23814 vsize=10552000 CPUtime=0.66 cores=1,3,5,7
/proc/23816/task/23825/stat : 23825 (java) S 23814 23816 22626 0 -1 4202560 10279 0 0 0 64 2 0 0 15 0 19 0 834137443 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=23816/tid=23826] ppid=23814 vsize=10552000 CPUtime=0.8 cores=1,3,5,7
/proc/23816/task/23826/stat : 23826 (java) S 23814 23816 22626 0 -1 4202560 12092 0 0 0 79 1 0 0 15 0 19 0 834137443 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=23816/tid=23827] ppid=23814 vsize=10552000 CPUtime=1.27 cores=1,3,5,7
/proc/23816/task/23827/stat : 23827 (java) S 23814 23816 22626 0 -1 4202560 10166 0 0 0 125 2 0 0 16 0 19 0 834137444 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512508416 0 0 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=23816/tid=23828] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23828/stat : 23828 (java) S 23814 23816 22626 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834137445 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23829] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23829/stat : 23829 (java) S 23814 23816 22626 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834137445 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23830] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23830/stat : 23830 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137447 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512515505 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23831] ppid=23814 vsize=10552000 CPUtime=0.69 cores=1,3,5,7
/proc/23816/task/23831/stat : 23831 (java) S 23814 23816 22626 0 -1 4202560 6154 0 0 0 68 1 0 0 15 0 19 0 834137447 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=23816/tid=23832] ppid=23814 vsize=10552000 CPUtime=0.87 cores=1,3,5,7
/proc/23816/task/23832/stat : 23832 (java) S 23814 23816 22626 0 -1 4202560 7735 0 0 0 86 1 0 0 15 0 19 0 834137447 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=23816/tid=23833] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23833/stat : 23833 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137447 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23834] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23834/stat : 23834 (java) S 23814 23816 22626 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834137447 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=23816/tid=23835] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23835/stat : 23835 (java) S 23814 23816 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834137457 10805248000 938761 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1727.88
Current children cumulated vsize (KiB) 10552000
[startup+1782.3 s]
/proc/loadavg: 2.05 2.07 2.02 3/554 23930
/proc/meminfo: memFree=14193472/32950928 swapFree=34259960/67111528
[pid=23816] ppid=23814 vsize=10552000 CPUtime=1788.05 cores=1,3,5,7
/proc/23816/stat : 23816 (java) S 23814 23816 22626 0 -1 4202496 948891 0 1 0 178697 108 0 0 25 0 19 0 834137440 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23816/statm: 2638000 939756 2256 9 0 2628734 0
[pid=23816/tid=23817] ppid=23814 vsize=10552000 CPUtime=1779.07 cores=1,3,5,7
/proc/23816/task/23817/stat : 23817 (java) R 23814 23816 22626 0 -1 4202560 830018 0 1 0 177821 86 0 0 25 0 19 0 834137441 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 46912505524787 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23816/tid=23819] ppid=23814 vsize=10552000 CPUtime=0.78 cores=1,3,5,7
/proc/23816/task/23819/stat : 23819 (java) S 23814 23816 22626 0 -1 4202560 12997 0 0 0 77 1 0 0 15 0 19 0 834137443 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23820] ppid=23814 vsize=10552000 CPUtime=0.77 cores=1,3,5,7
/proc/23816/task/23820/stat : 23820 (java) S 23814 23816 22626 0 -1 4202560 13575 0 0 0 76 1 0 0 16 0 19 0 834137443 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=23816/tid=23821] ppid=23814 vsize=10552000 CPUtime=0.69 cores=1,3,5,7
/proc/23816/task/23821/stat : 23821 (java) S 23814 23816 22626 0 -1 4202560 11298 0 0 0 67 2 0 0 16 0 19 0 834137443 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=23816/tid=23822] ppid=23814 vsize=10552000 CPUtime=0.82 cores=1,3,5,7
/proc/23816/task/23822/stat : 23822 (java) S 23814 23816 22626 0 -1 4202560 12702 0 0 0 80 2 0 0 15 0 19 0 834137443 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=23816/tid=23823] ppid=23814 vsize=10552000 CPUtime=0.78 cores=1,3,5,7
/proc/23816/task/23823/stat : 23823 (java) S 23814 23816 22626 0 -1 4202560 12192 0 0 0 77 1 0 0 15 0 19 0 834137443 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23824] ppid=23814 vsize=10552000 CPUtime=0.64 cores=1,3,5,7
/proc/23816/task/23824/stat : 23824 (java) S 23814 23816 22626 0 -1 4202560 8181 0 0 0 63 1 0 0 15 0 19 0 834137443 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=23816/tid=23825] ppid=23814 vsize=10552000 CPUtime=0.71 cores=1,3,5,7
/proc/23816/task/23825/stat : 23825 (java) S 23814 23816 22626 0 -1 4202560 10393 0 0 0 69 2 0 0 16 0 19 0 834137443 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=23816/tid=23826] ppid=23814 vsize=10552000 CPUtime=0.83 cores=1,3,5,7
/proc/23816/task/23826/stat : 23826 (java) S 23814 23816 22626 0 -1 4202560 12223 0 0 0 82 1 0 0 15 0 19 0 834137443 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=23816/tid=23827] ppid=23814 vsize=10552000 CPUtime=1.27 cores=1,3,5,7
/proc/23816/task/23827/stat : 23827 (java) S 23814 23816 22626 0 -1 4202560 10170 0 0 0 125 2 0 0 15 0 19 0 834137444 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512508416 0 0 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=23816/tid=23828] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23828/stat : 23828 (java) S 23814 23816 22626 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834137445 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23829] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23829/stat : 23829 (java) S 23814 23816 22626 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834137445 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23830] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23830/stat : 23830 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137447 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512515505 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23831] ppid=23814 vsize=10552000 CPUtime=0.69 cores=1,3,5,7
/proc/23816/task/23831/stat : 23831 (java) S 23814 23816 22626 0 -1 4202560 6154 0 0 0 68 1 0 0 15 0 19 0 834137447 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=23816/tid=23832] ppid=23814 vsize=10552000 CPUtime=0.87 cores=1,3,5,7
/proc/23816/task/23832/stat : 23832 (java) S 23814 23816 22626 0 -1 4202560 7735 0 0 0 86 1 0 0 15 0 19 0 834137447 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=23816/tid=23833] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23833/stat : 23833 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137447 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23834] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23834/stat : 23834 (java) S 23814 23816 22626 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834137447 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=23816/tid=23835] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23835/stat : 23835 (java) S 23814 23816 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834137457 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1788.05
Current children cumulated vsize (KiB) 10552000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.3 s]
/proc/loadavg: 2.04 2.07 2.02 3/554 23931
/proc/meminfo: memFree=14193460/32950928 swapFree=34259960/67111528
[pid=23816] ppid=23814 vsize=10552000 CPUtime=1800.07 cores=1,3,5,7
/proc/23816/stat : 23816 (java) S 23814 23816 22626 0 -1 4202496 948891 0 1 0 179899 108 0 0 25 0 19 0 834137440 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23816/statm: 2638000 939756 2256 9 0 2628734 0
[pid=23816/tid=23817] ppid=23814 vsize=10552000 CPUtime=1791.09 cores=1,3,5,7
/proc/23816/task/23817/stat : 23817 (java) R 23814 23816 22626 0 -1 4202560 830018 0 1 0 179023 86 0 0 25 0 19 0 834137441 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 46912505844706 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23816/tid=23819] ppid=23814 vsize=10552000 CPUtime=0.78 cores=1,3,5,7
/proc/23816/task/23819/stat : 23819 (java) S 23814 23816 22626 0 -1 4202560 12997 0 0 0 77 1 0 0 15 0 19 0 834137443 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23820] ppid=23814 vsize=10552000 CPUtime=0.77 cores=1,3,5,7
/proc/23816/task/23820/stat : 23820 (java) S 23814 23816 22626 0 -1 4202560 13575 0 0 0 76 1 0 0 16 0 19 0 834137443 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=23816/tid=23821] ppid=23814 vsize=10552000 CPUtime=0.69 cores=1,3,5,7
/proc/23816/task/23821/stat : 23821 (java) S 23814 23816 22626 0 -1 4202560 11298 0 0 0 67 2 0 0 16 0 19 0 834137443 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=23816/tid=23822] ppid=23814 vsize=10552000 CPUtime=0.82 cores=1,3,5,7
/proc/23816/task/23822/stat : 23822 (java) S 23814 23816 22626 0 -1 4202560 12702 0 0 0 80 2 0 0 15 0 19 0 834137443 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=23816/tid=23823] ppid=23814 vsize=10552000 CPUtime=0.78 cores=1,3,5,7
/proc/23816/task/23823/stat : 23823 (java) S 23814 23816 22626 0 -1 4202560 12192 0 0 0 77 1 0 0 15 0 19 0 834137443 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23824] ppid=23814 vsize=10552000 CPUtime=0.64 cores=1,3,5,7
/proc/23816/task/23824/stat : 23824 (java) S 23814 23816 22626 0 -1 4202560 8181 0 0 0 63 1 0 0 15 0 19 0 834137443 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=23816/tid=23825] ppid=23814 vsize=10552000 CPUtime=0.71 cores=1,3,5,7
/proc/23816/task/23825/stat : 23825 (java) S 23814 23816 22626 0 -1 4202560 10393 0 0 0 69 2 0 0 16 0 19 0 834137443 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=23816/tid=23826] ppid=23814 vsize=10552000 CPUtime=0.83 cores=1,3,5,7
/proc/23816/task/23826/stat : 23826 (java) S 23814 23816 22626 0 -1 4202560 12223 0 0 0 82 1 0 0 15 0 19 0 834137443 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=23816/tid=23827] ppid=23814 vsize=10552000 CPUtime=1.27 cores=1,3,5,7
/proc/23816/task/23827/stat : 23827 (java) S 23814 23816 22626 0 -1 4202560 10170 0 0 0 125 2 0 0 15 0 19 0 834137444 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512508416 0 0 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=23816/tid=23828] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23828/stat : 23828 (java) S 23814 23816 22626 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834137445 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23829] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23829/stat : 23829 (java) S 23814 23816 22626 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834137445 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23830] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23830/stat : 23830 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137447 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512515505 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23831] ppid=23814 vsize=10552000 CPUtime=0.69 cores=1,3,5,7
/proc/23816/task/23831/stat : 23831 (java) S 23814 23816 22626 0 -1 4202560 6154 0 0 0 68 1 0 0 15 0 19 0 834137447 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=23816/tid=23832] ppid=23814 vsize=10552000 CPUtime=0.87 cores=1,3,5,7
/proc/23816/task/23832/stat : 23832 (java) S 23814 23816 22626 0 -1 4202560 7735 0 0 0 86 1 0 0 15 0 19 0 834137447 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=23816/tid=23833] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23833/stat : 23833 (java) S 23814 23816 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834137447 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=23816/tid=23834] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23834/stat : 23834 (java) S 23814 23816 22626 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834137447 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=23816/tid=23835] ppid=23814 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23835/stat : 23835 (java) S 23814 23816 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834137457 10805248000 939756 33554432000 1073741824 1073778376 140736272050304 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10552000
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.43 s]
/proc/loadavg: 2.04 2.07 2.02 3/554 23931
/proc/meminfo: memFree=14193460/32950928 swapFree=34259960/67111528
[pid=23816] ppid=23814 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/23816/stat : 23816 (java) Z 23814 23816 22626 0 -1 4203548 948931 0 1 0 179905 114 0 0 17 0 2 0 834137440 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23816/statm: 0 0 0 0 0 0 0
[pid=23816/tid=23820] ppid=23814 vsize=0 CPUtime=0.83 cores=1,3,5,7
/proc/23816/task/23820/stat : 23820 (java) R 23814 23816 22626 0 -1 4203588 13575 0 0 0 76 7 0 0 15 0 2 0 834137443 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
[startup+1794.5 s]
/proc/loadavg: 2.04 2.07 2.02 3/554 23931
/proc/meminfo: memFree=14193460/32950928 swapFree=34259960/67111528
[pid=23816] ppid=23814 vsize=0 CPUtime=1800.27 cores=1,3,5,7
/proc/23816/stat : 23816 (java) Z 23814 23816 22626 0 -1 4203548 948931 0 1 0 179905 122 0 0 17 0 2 0 834137440 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23816/statm: 0 0 0 0 0 0 0
[pid=23816/tid=23820] ppid=23814 vsize=0 CPUtime=0.91 cores=1,3,5,7
/proc/23816/task/23820/stat : 23820 (java) R 23814 23816 22626 0 -1 4203588 13575 0 0 0 76 15 0 0 16 0 2 0 834137443 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.5
CPU time (s): 1800.28
CPU user time (s): 1799.06
CPU system time (s): 1.22181
CPU usage (%): 100.322
Max. virtual memory (cumulated for all children) (KiB): 10557328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 1.22181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 948931
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= 40318
involuntary context switches= 13542
runsolver used 9.14961 second user time and 23.3075 second system time
The end