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-3454171-1307188789/watcher-3454171-1307188789 -o /tmp/evaluation-result-3454171-1307188789/solver-3454171-1307188789 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454171-1307188789.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.63 3.82 3.42 3/482 24519
/proc/meminfo: memFree=27946192/32951124 swapFree=41830676/67111528
[pid=24519] ppid=24517 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/24519/stat : 24519 (java) S 24517 24519 21158 0 -1 4202496 6398 0 1 0 0 0 0 0 25 0 2 0 830476909 10694979584 6099 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/24519/statm: 2611079 6113 917 9 0 2602235 0
[pid=24519/tid=24520] ppid=24517 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24520/stat : 24520 (java) R 24517 24519 21158 0 -1 4202560 5896 0 1 0 0 0 0 0 25 0 2 0 830476909 10694979584 6712 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.103758 s]
/proc/loadavg: 3.63 3.82 3.42 3/482 24519
/proc/meminfo: memFree=27946192/32951124 swapFree=41830676/67111528
[pid=24519] ppid=24517 vsize=10540124 CPUtime=0.1 cores=1,3,5,7
/proc/24519/stat : 24519 (java) S 24517 24519 21158 0 -1 4202496 13105 0 1 0 9 1 0 0 25 0 18 0 830476909 10793086976 12801 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24519/statm: 2635031 12801 2092 9 0 2625765 0
[pid=24519/tid=24520] ppid=24517 vsize=10540124 CPUtime=0.08 cores=1,3,5,7
/proc/24519/task/24520/stat : 24520 (java) R 24517 24519 21158 0 -1 4202560 11214 0 1 0 7 1 0 0 22 0 18 0 830476909 10793086976 12802 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 47450825721368 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540124
[startup+0.205746 s]
/proc/loadavg: 3.63 3.82 3.42 3/482 24519
/proc/meminfo: memFree=27946192/32951124 swapFree=41830676/67111528
[pid=24519] ppid=24517 vsize=10541344 CPUtime=0.28 cores=1,3,5,7
/proc/24519/stat : 24519 (java) S 24517 24519 21158 0 -1 4202496 14262 0 1 0 27 1 0 0 25 0 18 0 830476909 10794336256 13928 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24519/statm: 2635336 13928 2186 9 0 2626070 0
[pid=24519/tid=24520] ppid=24517 vsize=10541344 CPUtime=0.18 cores=1,3,5,7
/proc/24519/task/24520/stat : 24520 (java) R 24517 24519 21158 0 -1 4202560 11943 0 1 0 17 1 0 0 22 0 18 0 830476909 10794336256 13928 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 46912505176688 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10541344
[startup+0.30068 s]
/proc/loadavg: 3.63 3.82 3.42 3/482 24519
/proc/meminfo: memFree=27946192/32951124 swapFree=41830676/67111528
[pid=24519] ppid=24517 vsize=10542848 CPUtime=0.49 cores=1,3,5,7
/proc/24519/stat : 24519 (java) S 24517 24519 21158 0 -1 4202496 16235 0 1 0 47 2 0 0 25 0 18 0 830476909 10795876352 15711 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24519/statm: 2635712 15712 2201 9 0 2626446 0
[pid=24519/tid=24520] ppid=24517 vsize=10542848 CPUtime=0.28 cores=1,3,5,7
/proc/24519/task/24520/stat : 24520 (java) R 24517 24519 21158 0 -1 4202560 13221 0 1 0 27 1 0 0 22 0 18 0 830476909 10795876352 15712 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 46912505561389 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542848
[startup+0.700576 s]
/proc/loadavg: 3.63 3.82 3.42 3/482 24519
/proc/meminfo: memFree=27946192/32951124 swapFree=41830676/67111528
[pid=24519] ppid=24517 vsize=10548160 CPUtime=1.91 cores=1,3,5,7
/proc/24519/stat : 24519 (java) S 24517 24519 21158 0 -1 4202496 28457 0 1 0 187 4 0 0 25 0 22 0 830476909 10801315840 25116 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24519/statm: 2637040 25116 2239 9 0 2627774 0
[pid=24519/tid=24520] ppid=24517 vsize=10548160 CPUtime=0.36 cores=1,3,5,7
/proc/24519/task/24520/stat : 24520 (java) S 24517 24519 21158 0 -1 4202560 15854 0 1 0 34 2 0 0 23 0 22 0 830476909 10801315840 25116 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 10548160
[startup+1.50147 s]
/proc/loadavg: 3.63 3.82 3.42 6/504 24541
/proc/meminfo: memFree=27767148/32951124 swapFree=41830676/67111528
[pid=24519] ppid=24517 vsize=10548160 CPUtime=3.57 cores=1,3,5,7
/proc/24519/stat : 24519 (java) S 24517 24519 21158 0 -1 4202496 69665 0 1 0 349 8 0 0 25 0 22 0 830476909 10801315840 65813 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24519/statm: 2637040 65816 2239 9 0 2627774 0
[pid=24519/tid=24520] ppid=24517 vsize=10548160 CPUtime=0.36 cores=1,3,5,7
/proc/24519/task/24520/stat : 24520 (java) S 24517 24519 21158 0 -1 4202560 15854 0 1 0 34 2 0 0 15 0 22 0 830476909 10801315840 65817 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24522] ppid=24517 vsize=10548160 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24522/stat : 24522 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830476911 10801315840 65818 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24523] ppid=24517 vsize=10548160 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24523/stat : 24523 (java) S 24517 24519 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830476911 10801315840 65819 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24524] ppid=24517 vsize=10548160 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24524/stat : 24524 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830476911 10801315840 65821 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24525] ppid=24517 vsize=10548160 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24525/stat : 24525 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830476911 10801315840 65822 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24526] ppid=24517 vsize=10548160 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24526/stat : 24526 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830476911 10801315840 65823 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24527] ppid=24517 vsize=10548160 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24527/stat : 24527 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830476911 10801315840 65824 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24528] ppid=24517 vsize=10548160 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24528/stat : 24528 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830476911 10801315840 65826 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24529] ppid=24517 vsize=10548160 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24529/stat : 24529 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830476911 10801315840 65828 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24530] ppid=24517 vsize=10548160 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24530/stat : 24530 (java) S 24517 24519 21158 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 830476912 10801315840 65829 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 0 0 16800975 18446604469435192640 0 0 -1 1 0 0 0
[pid=24519/tid=24531] ppid=24517 vsize=10548160 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24531/stat : 24531 (java) S 24517 24519 21158 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830476912 10801315840 65830 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24532] ppid=24517 vsize=10548160 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24532/stat : 24532 (java) S 24517 24519 21158 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830476912 10801315840 65832 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24533] ppid=24517 vsize=10548160 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24533/stat : 24533 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830476914 10801315840 65834 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134537649 0 4 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24534] ppid=24517 vsize=10548160 CPUtime=0.52 cores=1,3,5,7
/proc/24519/task/24534/stat : 24534 (java) S 24517 24519 21158 0 -1 4202560 3473 0 0 0 52 0 0 0 16 0 22 0 830476914 10801315840 65836 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24535] ppid=24517 vsize=10548160 CPUtime=0.44 cores=1,3,5,7
/proc/24519/task/24535/stat : 24535 (java) S 24517 24519 21158 0 -1 4202560 3025 0 0 0 44 0 0 0 15 0 22 0 830476914 10801315840 65837 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24536] ppid=24517 vsize=10548160 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24536/stat : 24536 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830476914 10801315840 65839 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24537] ppid=24517 vsize=10548160 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24537/stat : 24537 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830476914 10801315840 65839 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24538] ppid=24517 vsize=10548160 CPUtime=1.11 cores=1,3,5,7
/proc/24519/task/24538/stat : 24538 (java) R 24517 24519 21158 0 -1 4202560 262 0 0 0 111 0 0 0 25 0 22 0 830476947 10801315840 65839 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 46912505772923 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24519/tid=24539] ppid=24517 vsize=10548160 CPUtime=1.11 cores=1,3,5,7
/proc/24519/task/24539/stat : 24539 (java) R 24517 24519 21158 0 -1 4202560 45907 0 0 0 106 5 0 0 25 0 22 0 830476947 10801315840 65839 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 46912505865519 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24519/tid=24540] ppid=24517 vsize=10548160 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24540/stat : 24540 (java) S 24517 24519 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830476949 10801315840 65839 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24541] ppid=24517 vsize=10548160 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24541/stat : 24541 (java) S 24517 24519 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830476949 10801315840 65839 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 10548160
[startup+3.10114 s]
/proc/loadavg: 3.66 3.83 3.42 5/504 24541
/proc/meminfo: memFree=27549156/32951124 swapFree=41830676/67111528
[pid=24519] ppid=24517 vsize=10548712 CPUtime=6.85 cores=1,3,5,7
/proc/24519/stat : 24519 (java) S 24517 24519 21158 0 -1 4202496 121239 0 1 0 671 14 0 0 25 0 22 0 830476909 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24519/statm: 2637178 117380 2266 9 0 2627912 0
[pid=24519/tid=24520] ppid=24517 vsize=10548712 CPUtime=0.36 cores=1,3,5,7
/proc/24519/task/24520/stat : 24520 (java) S 24517 24519 21158 0 -1 4202560 15854 0 1 0 34 2 0 0 15 0 22 0 830476909 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24522] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24522/stat : 24522 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830476911 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24523] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24523/stat : 24523 (java) S 24517 24519 21158 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 830476911 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24524] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24524/stat : 24524 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830476911 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24525] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24525/stat : 24525 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830476911 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24526] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24526/stat : 24526 (java) S 24517 24519 21158 0 -1 4202560 249 0 0 0 0 0 0 0 17 0 22 0 830476911 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24527] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24527/stat : 24527 (java) S 24517 24519 21158 0 -1 4202560 81 0 0 0 0 0 0 0 17 0 22 0 830476911 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24528] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24528/stat : 24528 (java) S 24517 24519 21158 0 -1 4202560 326 0 0 0 0 0 0 0 18 0 22 0 830476911 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24529] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24529/stat : 24529 (java) S 24517 24519 21158 0 -1 4202560 297 0 0 0 0 0 0 0 18 0 22 0 830476911 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24530] ppid=24517 vsize=10548712 CPUtime=0.01 cores=1,3,5,7
/proc/24519/task/24530/stat : 24530 (java) S 24517 24519 21158 0 -1 4202560 945 0 0 0 1 0 0 0 16 0 22 0 830476912 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 0 0 16800975 18446604469435192640 0 0 -1 1 0 0 0
[pid=24519/tid=24531] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24531/stat : 24531 (java) S 24517 24519 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830476912 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24532] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24532/stat : 24532 (java) S 24517 24519 21158 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830476912 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24533] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24533/stat : 24533 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830476914 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134537649 0 4 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24534] ppid=24517 vsize=10548712 CPUtime=0.58 cores=1,3,5,7
/proc/24519/task/24534/stat : 24534 (java) S 24517 24519 21158 0 -1 4202560 3488 0 0 0 58 0 0 0 16 0 22 0 830476914 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24535] ppid=24517 vsize=10548712 CPUtime=0.49 cores=1,3,5,7
/proc/24519/task/24535/stat : 24535 (java) S 24517 24519 21158 0 -1 4202560 3133 0 0 0 49 0 0 0 15 0 22 0 830476914 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24536] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24536/stat : 24536 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830476914 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24537] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24537/stat : 24537 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830476914 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24538] ppid=24517 vsize=10548712 CPUtime=2.69 cores=1,3,5,7
/proc/24519/task/24538/stat : 24538 (java) R 24517 24519 21158 0 -1 4202560 395 0 0 0 269 0 0 0 25 0 22 0 830476947 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 46912505889958 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24519/tid=24539] ppid=24517 vsize=10548712 CPUtime=2.67 cores=1,3,5,7
/proc/24519/task/24539/stat : 24539 (java) R 24517 24519 21158 0 -1 4202560 95307 0 0 0 257 10 0 0 25 0 22 0 830476947 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 46912505824051 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24519/tid=24540] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24540/stat : 24540 (java) S 24517 24519 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830476949 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24541] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24541/stat : 24541 (java) S 24517 24519 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830476949 10801881088 117380 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 10548712
[startup+6.30159 s]
/proc/loadavg: 3.66 3.83 3.42 5/504 24541
/proc/meminfo: memFree=27424448/32951124 swapFree=41830676/67111528
[pid=24519] ppid=24517 vsize=10548712 CPUtime=13.25 cores=1,3,5,7
/proc/24519/stat : 24519 (java) S 24517 24519 21158 0 -1 4202496 139724 0 1 0 1308 17 0 0 25 0 22 0 830476909 10801881088 135845 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24519/statm: 2637178 135846 2266 9 0 2627912 0
[pid=24519/tid=24520] ppid=24517 vsize=10548712 CPUtime=0.36 cores=1,3,5,7
/proc/24519/task/24520/stat : 24520 (java) S 24517 24519 21158 0 -1 4202560 15854 0 1 0 34 2 0 0 15 0 22 0 830476909 10801881088 135847 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24522] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24522/stat : 24522 (java) S 24517 24519 21158 0 -1 4202560 190 0 0 0 0 0 0 0 16 0 22 0 830476911 10801881088 135848 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24523] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24523/stat : 24523 (java) S 24517 24519 21158 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830476911 10801881088 135849 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24524] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24524/stat : 24524 (java) S 24517 24519 21158 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 22 0 830476911 10801881088 135850 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24525] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24525/stat : 24525 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830476911 10801881088 135851 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24526] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24526/stat : 24526 (java) S 24517 24519 21158 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 22 0 830476911 10801881088 135852 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24527] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24527/stat : 24527 (java) S 24517 24519 21158 0 -1 4202560 81 0 0 0 0 0 0 0 16 0 22 0 830476911 10801881088 135852 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24528] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24528/stat : 24528 (java) S 24517 24519 21158 0 -1 4202560 384 0 0 0 0 0 0 0 16 0 22 0 830476911 10801881088 135853 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24529] ppid=24517 vsize=10548712 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24529/stat : 24529 (java) S 24517 24519 21158 0 -1 4202560 475 0 0 0 0 0 0 0 15 0 22 0 830476911 10801881088 135854 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=26157072/32951124 swapFree=41830676/67111528
[pid=24519] ppid=24517 vsize=10556852 CPUtime=1615.92 cores=1,3,5,7
/proc/24519/stat : 24519 (java) S 24517 24519 21158 0 -1 4202496 362664 0 1 0 161543 49 0 0 25 0 22 0 830476909 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24519/statm: 2639213 354134 2267 9 0 2629947 0
[pid=24519/tid=24520] ppid=24517 vsize=10556852 CPUtime=0.36 cores=1,3,5,7
/proc/24519/task/24520/stat : 24520 (java) S 24517 24519 21158 0 -1 4202560 15866 0 1 0 34 2 0 0 15 0 22 0 830476909 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24522] ppid=24517 vsize=10556852 CPUtime=0.35 cores=1,3,5,7
/proc/24519/task/24522/stat : 24522 (java) S 24517 24519 21158 0 -1 4202560 331 0 0 0 35 0 0 0 15 0 22 0 830476911 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24523] ppid=24517 vsize=10556852 CPUtime=0.3 cores=1,3,5,7
/proc/24519/task/24523/stat : 24523 (java) S 24517 24519 21158 0 -1 4202560 119 0 0 0 30 0 0 0 16 0 22 0 830476911 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 1 0 0 0
[pid=24519/tid=24524] ppid=24517 vsize=10556852 CPUtime=0.33 cores=1,3,5,7
/proc/24519/task/24524/stat : 24524 (java) S 24517 24519 21158 0 -1 4202560 45 0 0 0 33 0 0 0 16 0 22 0 830476911 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24525] ppid=24517 vsize=10556852 CPUtime=0.34 cores=1,3,5,7
/proc/24519/task/24525/stat : 24525 (java) S 24517 24519 21158 0 -1 4202560 16 0 0 0 34 0 0 0 15 0 22 0 830476911 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 1 0 0 0
[pid=24519/tid=24526] ppid=24517 vsize=10556852 CPUtime=0.3 cores=1,3,5,7
/proc/24519/task/24526/stat : 24526 (java) S 24517 24519 21158 0 -1 4202560 283 0 0 0 30 0 0 0 16 0 22 0 830476911 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24527] ppid=24517 vsize=10556852 CPUtime=0.32 cores=1,3,5,7
/proc/24519/task/24527/stat : 24527 (java) S 24517 24519 21158 0 -1 4202560 731 0 0 0 32 0 0 0 15 0 22 0 830476911 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24528] ppid=24517 vsize=10556852 CPUtime=0.36 cores=1,3,5,7
/proc/24519/task/24528/stat : 24528 (java) S 24517 24519 21158 0 -1 4202560 531 0 0 0 36 0 0 0 16 0 22 0 830476911 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24529] ppid=24517 vsize=10556852 CPUtime=0.37 cores=1,3,5,7
/proc/24519/task/24529/stat : 24529 (java) S 24517 24519 21158 0 -1 4202560 500 0 0 0 37 0 0 0 16 0 22 0 830476911 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24530] ppid=24517 vsize=10556852 CPUtime=30.81 cores=1,3,5,7
/proc/24519/task/24530/stat : 24530 (java) S 24517 24519 21158 0 -1 4202560 43129 0 0 0 3073 8 0 0 15 0 22 0 830476912 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 0 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24531] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24531/stat : 24531 (java) S 24517 24519 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830476912 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24532] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24532/stat : 24532 (java) S 24517 24519 21158 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830476912 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24533] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24533/stat : 24533 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830476914 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134537649 0 4 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24534] ppid=24517 vsize=10556852 CPUtime=0.86 cores=1,3,5,7
/proc/24519/task/24534/stat : 24534 (java) S 24517 24519 21158 0 -1 4202560 5964 0 0 0 86 0 0 0 15 0 22 0 830476914 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24535] ppid=24517 vsize=10556852 CPUtime=0.75 cores=1,3,5,7
/proc/24519/task/24535/stat : 24535 (java) S 24517 24519 21158 0 -1 4202560 7161 0 0 0 74 1 0 0 15 0 22 0 830476914 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24536] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24536/stat : 24536 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830476914 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24537] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24537/stat : 24537 (java) S 24517 24519 21158 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 830476914 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24538] ppid=24517 vsize=10556852 CPUtime=790.18 cores=1,3,5,7
/proc/24519/task/24538/stat : 24538 (java) R 24517 24519 21158 0 -1 4202560 545 0 0 0 79018 0 0 0 25 0 22 0 830476947 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 46912505738432 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24519/tid=24539] ppid=24517 vsize=10556852 CPUtime=790.16 cores=1,3,5,7
/proc/24519/task/24539/stat : 24539 (java) R 24517 24519 21158 0 -1 4202560 286236 0 0 0 78983 33 0 0 25 0 22 0 830476947 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 46912505829928 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24519/tid=24540] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24540/stat : 24540 (java) S 24517 24519 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830476949 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24541] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24541/stat : 24541 (java) S 24517 24519 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830476949 10810216448 354134 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1615.92
Current children cumulated vsize (KiB) 10556852
[startup+882.318 s]
/proc/loadavg: 3.48 3.54 3.52 4/504 24583
/proc/meminfo: memFree=26137560/32951124 swapFree=41830676/67111528
[pid=24519] ppid=24517 vsize=10556852 CPUtime=1732.11 cores=1,3,5,7
/proc/24519/stat : 24519 (java) S 24517 24519 21158 0 -1 4202496 364921 0 1 0 173161 50 0 0 25 0 22 0 830476909 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24519/statm: 2639213 356372 2267 9 0 2629947 0
[pid=24519/tid=24520] ppid=24517 vsize=10556852 CPUtime=0.36 cores=1,3,5,7
/proc/24519/task/24520/stat : 24520 (java) S 24517 24519 21158 0 -1 4202560 15868 0 1 0 34 2 0 0 15 0 22 0 830476909 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24522] ppid=24517 vsize=10556852 CPUtime=0.38 cores=1,3,5,7
/proc/24519/task/24522/stat : 24522 (java) S 24517 24519 21158 0 -1 4202560 331 0 0 0 38 0 0 0 15 0 22 0 830476911 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24523] ppid=24517 vsize=10556852 CPUtime=0.32 cores=1,3,5,7
/proc/24519/task/24523/stat : 24523 (java) S 24517 24519 21158 0 -1 4202560 125 0 0 0 32 0 0 0 15 0 22 0 830476911 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24524] ppid=24517 vsize=10556852 CPUtime=0.36 cores=1,3,5,7
/proc/24519/task/24524/stat : 24524 (java) S 24517 24519 21158 0 -1 4202560 45 0 0 0 36 0 0 0 16 0 22 0 830476911 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 1 0 0 0
[pid=24519/tid=24525] ppid=24517 vsize=10556852 CPUtime=0.38 cores=1,3,5,7
/proc/24519/task/24525/stat : 24525 (java) S 24517 24519 21158 0 -1 4202560 19 0 0 0 38 0 0 0 15 0 22 0 830476911 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24526] ppid=24517 vsize=10556852 CPUtime=0.33 cores=1,3,5,7
/proc/24519/task/24526/stat : 24526 (java) S 24517 24519 21158 0 -1 4202560 284 0 0 0 33 0 0 0 15 0 22 0 830476911 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24527] ppid=24517 vsize=10556852 CPUtime=0.34 cores=1,3,5,7
/proc/24519/task/24527/stat : 24527 (java) S 24517 24519 21158 0 -1 4202560 731 0 0 0 34 0 0 0 15 0 22 0 830476911 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 1 0 0 0
[pid=24519/tid=24528] ppid=24517 vsize=10556852 CPUtime=0.4 cores=1,3,5,7
/proc/24519/task/24528/stat : 24528 (java) S 24517 24519 21158 0 -1 4202560 531 0 0 0 40 0 0 0 15 0 22 0 830476911 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 1 0 0 0
[pid=24519/tid=24529] ppid=24517 vsize=10556852 CPUtime=0.41 cores=1,3,5,7
/proc/24519/task/24529/stat : 24529 (java) S 24517 24519 21158 0 -1 4202560 503 0 0 0 41 0 0 0 15 0 22 0 830476911 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24530] ppid=24517 vsize=10556852 CPUtime=34.74 cores=1,3,5,7
/proc/24519/task/24530/stat : 24530 (java) S 24517 24519 21158 0 -1 4202560 45356 0 0 0 3466 8 0 0 15 0 22 0 830476912 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 0 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24531] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24531/stat : 24531 (java) S 24517 24519 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830476912 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24532] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24532/stat : 24532 (java) S 24517 24519 21158 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830476912 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24533] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24533/stat : 24533 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830476914 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134537649 0 4 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24534] ppid=24517 vsize=10556852 CPUtime=0.86 cores=1,3,5,7
/proc/24519/task/24534/stat : 24534 (java) S 24517 24519 21158 0 -1 4202560 5964 0 0 0 86 0 0 0 15 0 22 0 830476914 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24535] ppid=24517 vsize=10556852 CPUtime=0.75 cores=1,3,5,7
/proc/24519/task/24535/stat : 24535 (java) S 24517 24519 21158 0 -1 4202560 7161 0 0 0 74 1 0 0 15 0 22 0 830476914 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24536] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24536/stat : 24536 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830476914 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24537] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24537/stat : 24537 (java) S 24517 24519 21158 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830476914 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24538] ppid=24517 vsize=10556852 CPUtime=846.18 cores=1,3,5,7
/proc/24519/task/24538/stat : 24538 (java) R 24517 24519 21158 0 -1 4202560 556 0 0 0 84618 0 0 0 25 0 22 0 830476947 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 46912505773706 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24519/tid=24539] ppid=24517 vsize=10556852 CPUtime=846.17 cores=1,3,5,7
/proc/24519/task/24539/stat : 24539 (java) R 24517 24519 21158 0 -1 4202560 286238 0 0 0 84584 33 0 0 25 0 22 0 830476947 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 46912505759042 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24519/tid=24540] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24540/stat : 24540 (java) S 24517 24519 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830476949 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24541] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24541/stat : 24541 (java) S 24517 24519 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830476949 10810216448 356372 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1732.11
Current children cumulated vsize (KiB) 10556852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+917.517 s]
/proc/loadavg: 3.45 3.53 3.52 5/504 24583
/proc/meminfo: memFree=26126880/32951124 swapFree=41830676/67111528
[pid=24519] ppid=24517 vsize=10556852 CPUtime=1800.19 cores=1,3,5,7
/proc/24519/stat : 24519 (java) S 24517 24519 21158 0 -1 4202496 365838 0 1 0 179968 51 0 0 25 0 22 0 830476909 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24519/statm: 2639213 357276 2267 9 0 2629947 0
[pid=24519/tid=24520] ppid=24517 vsize=10556852 CPUtime=0.36 cores=1,3,5,7
/proc/24519/task/24520/stat : 24520 (java) S 24517 24519 21158 0 -1 4202560 15870 0 1 0 34 2 0 0 15 0 22 0 830476909 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24522] ppid=24517 vsize=10556852 CPUtime=0.38 cores=1,3,5,7
/proc/24519/task/24522/stat : 24522 (java) S 24517 24519 21158 0 -1 4202560 331 0 0 0 38 0 0 0 15 0 22 0 830476911 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 1 0 0 0
[pid=24519/tid=24523] ppid=24517 vsize=10556852 CPUtime=0.34 cores=1,3,5,7
/proc/24519/task/24523/stat : 24523 (java) S 24517 24519 21158 0 -1 4202560 125 0 0 0 34 0 0 0 15 0 22 0 830476911 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24524] ppid=24517 vsize=10556852 CPUtime=0.38 cores=1,3,5,7
/proc/24519/task/24524/stat : 24524 (java) S 24517 24519 21158 0 -1 4202560 46 0 0 0 38 0 0 0 16 0 22 0 830476911 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24525] ppid=24517 vsize=10556852 CPUtime=0.39 cores=1,3,5,7
/proc/24519/task/24525/stat : 24525 (java) S 24517 24519 21158 0 -1 4202560 20 0 0 0 39 0 0 0 15 0 22 0 830476911 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24526] ppid=24517 vsize=10556852 CPUtime=0.35 cores=1,3,5,7
/proc/24519/task/24526/stat : 24526 (java) S 24517 24519 21158 0 -1 4202560 284 0 0 0 35 0 0 0 15 0 22 0 830476911 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 1 0 0 0
[pid=24519/tid=24527] ppid=24517 vsize=10556852 CPUtime=0.37 cores=1,3,5,7
/proc/24519/task/24527/stat : 24527 (java) S 24517 24519 21158 0 -1 4202560 731 0 0 0 37 0 0 0 16 0 22 0 830476911 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24528] ppid=24517 vsize=10556852 CPUtime=0.42 cores=1,3,5,7
/proc/24519/task/24528/stat : 24528 (java) S 24517 24519 21158 0 -1 4202560 534 0 0 0 42 0 0 0 15 0 22 0 830476911 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 1 0 0 0
[pid=24519/tid=24529] ppid=24517 vsize=10556852 CPUtime=0.43 cores=1,3,5,7
/proc/24519/task/24529/stat : 24529 (java) S 24517 24519 21158 0 -1 4202560 503 0 0 0 43 0 0 0 16 0 22 0 830476911 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24530] ppid=24517 vsize=10556852 CPUtime=37.14 cores=1,3,5,7
/proc/24519/task/24530/stat : 24530 (java) S 24517 24519 21158 0 -1 4202560 46257 0 0 0 3706 8 0 0 15 0 22 0 830476912 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 0 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24531] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24531/stat : 24531 (java) S 24517 24519 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830476912 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24532] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24532/stat : 24532 (java) S 24517 24519 21158 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830476912 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24533] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24533/stat : 24533 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830476914 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134537649 0 4 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24534] ppid=24517 vsize=10556852 CPUtime=0.86 cores=1,3,5,7
/proc/24519/task/24534/stat : 24534 (java) S 24517 24519 21158 0 -1 4202560 5964 0 0 0 86 0 0 0 15 0 22 0 830476914 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24535] ppid=24517 vsize=10556852 CPUtime=0.75 cores=1,3,5,7
/proc/24519/task/24535/stat : 24535 (java) S 24517 24519 21158 0 -1 4202560 7161 0 0 0 74 1 0 0 15 0 22 0 830476914 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24536] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24536/stat : 24536 (java) S 24517 24519 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830476914 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134529945 0 4 0 16800975 18446604469435192640 0 0 -1 3 0 0 0
[pid=24519/tid=24537] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24537/stat : 24537 (java) S 24517 24519 21158 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830476914 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 5 0 0 0
[pid=24519/tid=24538] ppid=24517 vsize=10556852 CPUtime=878.95 cores=1,3,5,7
/proc/24519/task/24538/stat : 24538 (java) R 24517 24519 21158 0 -1 4202560 561 0 0 0 87895 0 0 0 25 0 22 0 830476947 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 46912505758691 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24519/tid=24539] ppid=24517 vsize=10556852 CPUtime=878.93 cores=1,3,5,7
/proc/24519/task/24539/stat : 24539 (java) R 24517 24519 21158 0 -1 4202560 286240 0 0 0 87860 33 0 0 25 0 22 0 830476947 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 46912505674764 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24519/tid=24540] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24540/stat : 24540 (java) S 24517 24519 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830476949 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 7 0 0 0
[pid=24519/tid=24541] ppid=24517 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/24519/task/24541/stat : 24541 (java) S 24517 24519 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830476949 10810216448 357276 33554432000 1073741824 1073778376 140734390721792 18446744073709551615 228134530560 0 4 0 16800975 18446604469435192640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 10556852
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+917.624 s]
/proc/loadavg: 3.45 3.53 3.52 5/504 24583
/proc/meminfo: memFree=26126880/32951124 swapFree=41830676/67111528
[pid=24519] ppid=24517 vsize=0 CPUtime=1800.34 cores=1,3,5,7
/proc/24519/stat : 24519 (java) Z 24517 24519 21158 0 -1 4203548 365868 0 1 0 179978 56 0 0 17 0 2 0 830476909 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24519/statm: 0 0 0 0 0 0 0
[pid=24519/tid=24538] ppid=24517 vsize=0 CPUtime=879.03 cores=1,3,5,7
/proc/24519/task/24538/stat : 24538 (java) R 24517 24519 21158 0 -1 4203588 561 0 0 0 87898 5 0 0 25 0 2 0 830476947 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 917.626
CPU time (s): 1800.36
CPU user time (s): 1799.79
CPU system time (s): 0.571913
CPU usage (%): 196.197
Max. virtual memory (cumulated for all children) (KiB): 10560932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.571913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365868
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= 28517
involuntary context switches= 14298
runsolver used 4.29035 second user time and 9.93749 second system time
The end