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-3455831-1307227472/watcher-3455831-1307227472 -o /tmp/evaluation-result-3455831-1307227472/solver-3455831-1307227472 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455831-1307227472.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.30 2.16 2.05 2/532 22525
/proc/meminfo: memFree=15625480/32950940 swapFree=67111364/67111528
[pid=22525] ppid=22523 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22525/stat : 22525 (java) S 22523 22525 19289 0 -1 4202496 5381 0 1 0 0 0 0 0 25 0 2 0 912977980 10694979584 5083 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/22525/statm: 2611079 5097 917 9 0 2602235 0
[pid=22525/tid=22526] ppid=22523 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22526/stat : 22526 (java) R 22523 22525 19289 0 -1 4202560 7941 0 1 0 0 0 0 0 25 0 2 0 912977980 10694979584 8758 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.106426 s]
/proc/loadavg: 2.30 2.16 2.05 2/532 22525
/proc/meminfo: memFree=15625480/32950940 swapFree=67111364/67111528
[pid=22525] ppid=22523 vsize=10539600 CPUtime=0.12 cores=1,3,5,7
/proc/22525/stat : 22525 (java) S 22523 22525 19289 0 -1 4202496 13238 0 1 0 10 2 0 0 25 0 18 0 912977980 10792550400 12897 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22525/statm: 2634900 12897 2114 9 0 2625634 0
[pid=22525/tid=22526] ppid=22523 vsize=10539600 CPUtime=0.09 cores=1,3,5,7
/proc/22525/task/22526/stat : 22526 (java) R 22523 22525 19289 0 -1 4202560 11229 0 1 0 8 1 0 0 25 0 18 0 912977980 10792550400 12897 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 47485430983296 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539600
[startup+0.20041 s]
/proc/loadavg: 2.30 2.16 2.05 2/532 22525
/proc/meminfo: memFree=15625480/32950940 swapFree=67111364/67111528
[pid=22525] ppid=22523 vsize=10540160 CPUtime=0.26 cores=1,3,5,7
/proc/22525/stat : 22525 (java) S 22523 22525 19289 0 -1 4202496 14027 0 1 0 24 2 0 0 25 0 18 0 912977980 10793123840 13663 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22525/statm: 2635040 13664 2180 9 0 2625774 0
[pid=22525/tid=22526] ppid=22523 vsize=10540160 CPUtime=0.18 cores=1,3,5,7
/proc/22525/task/22526/stat : 22526 (java) R 22523 22525 19289 0 -1 4202560 11835 0 1 0 17 1 0 0 25 0 18 0 912977980 10793123840 13664 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10540160
[startup+0.300393 s]
/proc/loadavg: 2.30 2.16 2.05 2/532 22525
/proc/meminfo: memFree=15625480/32950940 swapFree=67111364/67111528
[pid=22525] ppid=22523 vsize=10542476 CPUtime=0.49 cores=1,3,5,7
/proc/22525/stat : 22525 (java) S 22523 22525 19289 0 -1 4202496 16367 0 1 0 47 2 0 0 25 0 18 0 912977980 10795495424 15648 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22525/statm: 2635619 15648 2219 9 0 2626353 0
[pid=22525/tid=22526] ppid=22523 vsize=10542476 CPUtime=0.28 cores=1,3,5,7
/proc/22525/task/22526/stat : 22526 (java) R 22523 22525 19289 0 -1 4202560 12797 0 1 0 27 1 0 0 25 0 18 0 912977980 10795495424 15648 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 47485434469203 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542476
[startup+0.700326 s]
/proc/loadavg: 2.30 2.16 2.05 2/532 22525
/proc/meminfo: memFree=15625480/32950940 swapFree=67111364/67111528
[pid=22525] ppid=22523 vsize=10556900 CPUtime=1.67 cores=1,3,5,7
/proc/22525/stat : 22525 (java) S 22523 22525 19289 0 -1 4202496 30841 0 1 0 163 4 0 0 25 0 19 0 912977980 10810265600 24968 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22525/statm: 2639225 24970 2231 9 0 2629959 0
[pid=22525/tid=22526] ppid=22523 vsize=10556900 CPUtime=0.68 cores=1,3,5,7
/proc/22525/task/22526/stat : 22526 (java) R 22523 22525 19289 0 -1 4202560 16461 0 1 0 66 2 0 0 25 0 19 0 912977980 10810265600 24970 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 46912505603946 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 10556900
[startup+1.50118 s]
/proc/loadavg: 2.43 2.19 2.06 3/551 22544
/proc/meminfo: memFree=15489644/32950940 swapFree=67111364/67111528
[pid=22525] ppid=22523 vsize=10553748 CPUtime=3 cores=1,3,5,7
/proc/22525/stat : 22525 (java) S 22523 22525 19289 0 -1 4202496 65084 0 1 0 292 8 0 0 25 0 19 0 912977980 10807037952 56743 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22525/statm: 2638437 56745 2236 9 0 2629171 0
[pid=22525/tid=22526] ppid=22523 vsize=10553748 CPUtime=1.48 cores=1,3,5,7
/proc/22525/task/22526/stat : 22526 (java) R 22523 22525 19289 0 -1 4202560 48860 0 1 0 142 6 0 0 25 0 19 0 912977980 10807037952 56745 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 46912505789016 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22525/tid=22528] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22528/stat : 22528 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 56747 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22529] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22529/stat : 22529 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 56749 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22530] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22530/stat : 22530 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 56750 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22531] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22531/stat : 22531 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 56752 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22532] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22532/stat : 22532 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 56754 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22533] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22533/stat : 22533 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 56755 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22534] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22534/stat : 22534 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 56756 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22535] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22535/stat : 22535 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 56757 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22536] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22536/stat : 22536 (java) S 22523 22525 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912977983 10807037952 56758 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000409088 0 0 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22537] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22537/stat : 22537 (java) S 22523 22525 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912977983 10807037952 56759 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22538] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22538/stat : 22538 (java) S 22523 22525 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912977983 10807037952 56760 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22539] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22539/stat : 22539 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977985 10807037952 56762 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000416177 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22540] ppid=22523 vsize=10553748 CPUtime=0.78 cores=1,3,5,7
/proc/22525/task/22540/stat : 22540 (java) S 22523 22525 19289 0 -1 4202560 7649 0 0 0 78 0 0 0 22 0 19 0 912977985 10807037952 56763 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 1 0 0 0
[pid=22525/tid=22541] ppid=22523 vsize=10553748 CPUtime=0.71 cores=1,3,5,7
/proc/22525/task/22541/stat : 22541 (java) S 22523 22525 19289 0 -1 4202560 7416 0 0 0 70 1 0 0 23 0 19 0 912977985 10807037952 56764 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22542] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22542/stat : 22542 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977985 10807037952 56765 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22543] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22543/stat : 22543 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912977985 10807037952 56766 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000409088 0 4 0 16800975 18446604461830238528 0 0 -1 1 0 0 0
[pid=22525/tid=22544] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22544/stat : 22544 (java) S 22523 22525 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912978019 10807037952 56767 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000409088 0 4 0 16800975 18446604461830238528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 10553748
[startup+3.1009 s]
/proc/loadavg: 2.43 2.19 2.06 3/551 22544
/proc/meminfo: memFree=15230516/32950940 swapFree=67111364/67111528
[pid=22525] ppid=22523 vsize=10553748 CPUtime=4.79 cores=1,3,5,7
/proc/22525/stat : 22525 (java) S 22523 22525 19289 0 -1 4202496 170583 0 1 0 458 21 0 0 25 0 19 0 912977980 10807037952 161171 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22525/statm: 2638437 161174 2238 9 0 2629171 0
[pid=22525/tid=22526] ppid=22523 vsize=10553748 CPUtime=3.09 cores=1,3,5,7
/proc/22525/task/22526/stat : 22526 (java) R 22523 22525 19289 0 -1 4202560 153273 0 1 0 290 19 0 0 25 0 19 0 912977980 10807037952 161175 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 46912505812802 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22525/tid=22528] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22528/stat : 22528 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 161176 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22529] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22529/stat : 22529 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 161177 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22530] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22530/stat : 22530 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 161178 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22531] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22531/stat : 22531 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 161180 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22532] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22532/stat : 22532 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 161181 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22533] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22533/stat : 22533 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 161183 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22534] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22534/stat : 22534 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 161184 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22535] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22535/stat : 22535 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 161185 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22536] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22536/stat : 22536 (java) S 22523 22525 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912977983 10807037952 161186 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000409088 0 0 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22537] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22537/stat : 22537 (java) S 22523 22525 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912977983 10807037952 161188 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22538] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22538/stat : 22538 (java) S 22523 22525 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912977983 10807037952 161189 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22539] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22539/stat : 22539 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977985 10807037952 161191 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000416177 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22540] ppid=22523 vsize=10553748 CPUtime=0.83 cores=1,3,5,7
/proc/22525/task/22540/stat : 22540 (java) S 22523 22525 19289 0 -1 4202560 7652 0 0 0 83 0 0 0 15 0 19 0 912977985 10807037952 161192 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 1 0 0 0
[pid=22525/tid=22541] ppid=22523 vsize=10553748 CPUtime=0.85 cores=1,3,5,7
/proc/22525/task/22541/stat : 22541 (java) S 22523 22525 19289 0 -1 4202560 8501 0 0 0 84 1 0 0 15 0 19 0 912977985 10807037952 161193 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 5 0 0 0
[pid=22525/tid=22542] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22542/stat : 22542 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977985 10807037952 161195 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22543] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22543/stat : 22543 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912977985 10807037952 161196 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000409088 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22544] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22544/stat : 22544 (java) S 22523 22525 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912978019 10807037952 161198 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000409088 0 4 0 16800975 18446604461830238528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 10553748
[startup+6.30134 s]
/proc/loadavg: 2.43 2.19 2.06 3/551 22544
/proc/meminfo: memFree=14438200/32950940 swapFree=67111364/67111528
[pid=22525] ppid=22523 vsize=10553748 CPUtime=8.03 cores=1,3,5,7
/proc/22525/stat : 22525 (java) S 22523 22525 19289 0 -1 4202496 353531 0 1 0 762 41 0 0 25 0 19 0 912977980 10807037952 344101 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22525/statm: 2638437 344103 2242 9 0 2629171 0
[pid=22525/tid=22526] ppid=22523 vsize=10553748 CPUtime=6.29 cores=1,3,5,7
/proc/22525/task/22526/stat : 22526 (java) R 22523 22525 19289 0 -1 4202560 336210 0 1 0 590 39 0 0 25 0 19 0 912977980 10807037952 344105 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 46912505813729 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22525/tid=22528] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22528/stat : 22528 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 344106 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22529] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22529/stat : 22529 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 344108 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22530] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22530/stat : 22530 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 344109 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22531] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22531/stat : 22531 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 344110 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22532] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22532/stat : 22532 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 344111 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22533] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22533/stat : 22533 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 344112 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22534] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22534/stat : 22534 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 344113 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22535] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22535/stat : 22535 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977982 10807037952 344114 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22536] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22536/stat : 22536 (java) S 22523 22525 19289 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 912977983 10807037952 344115 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000409088 0 0 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22537] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22537/stat : 22537 (java) S 22523 22525 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912977983 10807037952 344117 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22538] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22538/stat : 22538 (java) S 22523 22525 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912977983 10807037952 344118 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22539] ppid=22523 vsize=10553748 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22539/stat : 22539 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977985 10807037952 344119 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000416177 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22540] ppid=22523 vsize=10553748 CPUtime=0.87 cores=1,3,5,7
/proc/22525/task/22540/stat : 22540 (java) S 22523 22525 19289 0 -1 4202560 7660 0 0 0 87 0 0 0 15 0 19 0 912977985 10807037952 344121 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 1 0 0 0
[pid=22525/tid=22541] ppid=22523 vsize=10553748 CPUtime=0.85 cores=1,3,5,7
/proc/22525/task/22541/stat : 22541 (java) S 22523 22525 19289 0 -1 4202560 8503 0 0 0 84 1 0 0 15 0 19 0 912977985 10807037952 344122 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=22525/tid=22542] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22542/stat : 22542 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977985 10817863680 958801 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22543] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22543/stat : 22543 (java) S 22523 22525 19289 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 912977985 10817863680 958801 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000409088 0 4 0 16800975 18446604461830238528 0 0 -1 1 0 0 0
[pid=22525/tid=22544] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22544/stat : 22544 (java) S 22523 22525 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912978019 10817863680 958801 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000409088 0 4 0 16800975 18446604461830238528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1668.51
Current children cumulated vsize (KiB) 10564320
[startup+1722.3 s]
/proc/loadavg: 2.03 2.08 2.02 3/551 22666
/proc/meminfo: memFree=8320868/32950940 swapFree=67111364/67111528
[pid=22525] ppid=22523 vsize=10564320 CPUtime=1728.61 cores=1,3,5,7
/proc/22525/stat : 22525 (java) S 22523 22525 19289 0 -1 4202496 975165 0 1 0 172751 110 0 0 25 0 19 0 912977980 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22525/statm: 2641080 959630 2268 9 0 2631814 0
[pid=22525/tid=22526] ppid=22523 vsize=10564320 CPUtime=1719.72 cores=1,3,5,7
/proc/22525/task/22526/stat : 22526 (java) R 22523 22525 19289 0 -1 4202560 823775 0 1 0 171882 90 0 0 25 0 19 0 912977980 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 46912505812047 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22525/tid=22528] ppid=22523 vsize=10564320 CPUtime=0.69 cores=1,3,5,7
/proc/22525/task/22528/stat : 22528 (java) S 22523 22525 19289 0 -1 4202560 17602 0 0 0 68 1 0 0 15 0 19 0 912977982 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22529] ppid=22523 vsize=10564320 CPUtime=0.8 cores=1,3,5,7
/proc/22525/task/22529/stat : 22529 (java) S 22523 22525 19289 0 -1 4202560 19089 0 0 0 78 2 0 0 15 0 19 0 912977982 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 1 0 0 0
[pid=22525/tid=22530] ppid=22523 vsize=10564320 CPUtime=0.73 cores=1,3,5,7
/proc/22525/task/22530/stat : 22530 (java) S 22523 22525 19289 0 -1 4202560 16448 0 0 0 72 1 0 0 16 0 19 0 912977982 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22531] ppid=22523 vsize=10564320 CPUtime=0.64 cores=1,3,5,7
/proc/22525/task/22531/stat : 22531 (java) S 22523 22525 19289 0 -1 4202560 10015 0 0 0 64 0 0 0 16 0 19 0 912977982 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22532] ppid=22523 vsize=10564320 CPUtime=0.65 cores=1,3,5,7
/proc/22525/task/22532/stat : 22532 (java) S 22523 22525 19289 0 -1 4202560 12283 0 0 0 63 2 0 0 16 0 19 0 912977982 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 1 0 0 0
[pid=22525/tid=22533] ppid=22523 vsize=10564320 CPUtime=0.59 cores=1,3,5,7
/proc/22525/task/22533/stat : 22533 (java) S 22523 22525 19289 0 -1 4202560 15284 0 0 0 58 1 0 0 16 0 19 0 912977982 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 1 0 0 0
[pid=22525/tid=22534] ppid=22523 vsize=10564320 CPUtime=0.68 cores=1,3,5,7
/proc/22525/task/22534/stat : 22534 (java) S 22523 22525 19289 0 -1 4202560 18607 0 0 0 67 1 0 0 15 0 19 0 912977982 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22535] ppid=22523 vsize=10564320 CPUtime=0.56 cores=1,3,5,7
/proc/22525/task/22535/stat : 22535 (java) S 22523 22525 19289 0 -1 4202560 13095 0 0 0 55 1 0 0 15 0 19 0 912977982 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22536] ppid=22523 vsize=10564320 CPUtime=0.82 cores=1,3,5,7
/proc/22525/task/22536/stat : 22536 (java) S 22523 22525 19289 0 -1 4202560 5395 0 0 0 81 1 0 0 15 0 19 0 912977983 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000409088 0 0 0 16800975 18446604461830238528 0 0 -1 5 0 0 0
[pid=22525/tid=22537] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22537/stat : 22537 (java) S 22523 22525 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912977983 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22538] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22538/stat : 22538 (java) S 22523 22525 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912977983 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22539] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22539/stat : 22539 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977985 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000416177 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22540] ppid=22523 vsize=10564320 CPUtime=1.67 cores=1,3,5,7
/proc/22525/task/22540/stat : 22540 (java) S 22523 22525 19289 0 -1 4202560 13816 0 0 0 166 1 0 0 16 0 19 0 912977985 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 1 0 0 0
[pid=22525/tid=22541] ppid=22523 vsize=10564320 CPUtime=0.92 cores=1,3,5,7
/proc/22525/task/22541/stat : 22541 (java) S 22523 22525 19289 0 -1 4202560 8508 0 0 0 91 1 0 0 15 0 19 0 912977985 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 5 0 0 0
[pid=22525/tid=22542] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22542/stat : 22542 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977985 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22543] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22543/stat : 22543 (java) S 22523 22525 19289 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 912977985 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000409088 0 4 0 16800975 18446604461830238528 0 0 -1 1 0 0 0
[pid=22525/tid=22544] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22544/stat : 22544 (java) S 22523 22525 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912978019 10817863680 959630 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000409088 0 4 0 16800975 18446604461830238528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1728.61
Current children cumulated vsize (KiB) 10564320
[startup+1782.3 s]
/proc/loadavg: 2.14 2.09 2.03 3/551 22667
/proc/meminfo: memFree=8003584/32950940 swapFree=67111364/67111528
[pid=22525] ppid=22523 vsize=10564320 CPUtime=1788.71 cores=1,3,5,7
/proc/22525/stat : 22525 (java) S 22523 22525 19289 0 -1 4202496 976097 0 1 0 178761 110 0 0 25 0 19 0 912977980 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22525/statm: 2641080 960544 2268 9 0 2631814 0
[pid=22525/tid=22526] ppid=22523 vsize=10564320 CPUtime=1779.65 cores=1,3,5,7
/proc/22525/task/22526/stat : 22526 (java) R 22523 22525 19289 0 -1 4202560 823778 0 1 0 177875 90 0 0 25 0 19 0 912977980 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 46912505788636 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22525/tid=22528] ppid=22523 vsize=10564320 CPUtime=0.72 cores=1,3,5,7
/proc/22525/task/22528/stat : 22528 (java) S 22523 22525 19289 0 -1 4202560 17680 0 0 0 71 1 0 0 15 0 19 0 912977982 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22529] ppid=22523 vsize=10564320 CPUtime=0.84 cores=1,3,5,7
/proc/22525/task/22529/stat : 22529 (java) S 22523 22525 19289 0 -1 4202560 19421 0 0 0 82 2 0 0 16 0 19 0 912977982 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22530] ppid=22523 vsize=10564320 CPUtime=0.73 cores=1,3,5,7
/proc/22525/task/22530/stat : 22530 (java) S 22523 22525 19289 0 -1 4202560 16448 0 0 0 72 1 0 0 15 0 19 0 912977982 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22531] ppid=22523 vsize=10564320 CPUtime=0.67 cores=1,3,5,7
/proc/22525/task/22531/stat : 22531 (java) S 22523 22525 19289 0 -1 4202560 10141 0 0 0 67 0 0 0 15 0 19 0 912977982 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22532] ppid=22523 vsize=10564320 CPUtime=0.67 cores=1,3,5,7
/proc/22525/task/22532/stat : 22532 (java) S 22523 22525 19289 0 -1 4202560 12407 0 0 0 65 2 0 0 16 0 19 0 912977982 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 1 0 0 0
[pid=22525/tid=22533] ppid=22523 vsize=10564320 CPUtime=0.61 cores=1,3,5,7
/proc/22525/task/22533/stat : 22533 (java) S 22523 22525 19289 0 -1 4202560 15332 0 0 0 60 1 0 0 15 0 19 0 912977982 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22534] ppid=22523 vsize=10564320 CPUtime=0.7 cores=1,3,5,7
/proc/22525/task/22534/stat : 22534 (java) S 22523 22525 19289 0 -1 4202560 18709 0 0 0 69 1 0 0 15 0 19 0 912977982 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22535] ppid=22523 vsize=10564320 CPUtime=0.58 cores=1,3,5,7
/proc/22525/task/22535/stat : 22535 (java) S 22523 22525 19289 0 -1 4202560 13206 0 0 0 57 1 0 0 16 0 19 0 912977982 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22536] ppid=22523 vsize=10564320 CPUtime=0.82 cores=1,3,5,7
/proc/22525/task/22536/stat : 22536 (java) S 22523 22525 19289 0 -1 4202560 5399 0 0 0 81 1 0 0 15 0 19 0 912977983 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000409088 0 0 0 16800975 18446604461830238528 0 0 -1 5 0 0 0
[pid=22525/tid=22537] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22537/stat : 22537 (java) S 22523 22525 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912977983 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22538] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22538/stat : 22538 (java) S 22523 22525 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912977983 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22539] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22539/stat : 22539 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977985 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000416177 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22540] ppid=22523 vsize=10564320 CPUtime=1.67 cores=1,3,5,7
/proc/22525/task/22540/stat : 22540 (java) S 22523 22525 19289 0 -1 4202560 13816 0 0 0 166 1 0 0 16 0 19 0 912977985 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 1 0 0 0
[pid=22525/tid=22541] ppid=22523 vsize=10564320 CPUtime=0.92 cores=1,3,5,7
/proc/22525/task/22541/stat : 22541 (java) S 22523 22525 19289 0 -1 4202560 8508 0 0 0 91 1 0 0 15 0 19 0 912977985 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 5 0 0 0
[pid=22525/tid=22542] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22542/stat : 22542 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977985 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22543] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22543/stat : 22543 (java) S 22523 22525 19289 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 912977985 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000409088 0 4 0 16800975 18446604461830238528 0 0 -1 1 0 0 0
[pid=22525/tid=22544] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22544/stat : 22544 (java) S 22523 22525 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912978019 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000409088 0 4 0 16800975 18446604461830238528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1788.71
Current children cumulated vsize (KiB) 10564320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.6 s]
/proc/loadavg: 2.12 2.09 2.03 3/551 22668
/proc/meminfo: memFree=8003332/32950940 swapFree=67111364/67111528
[pid=22525] ppid=22523 vsize=10564320 CPUtime=1800.03 cores=1,3,5,7
/proc/22525/stat : 22525 (java) S 22523 22525 19289 0 -1 4202496 976097 0 1 0 179893 110 0 0 25 0 19 0 912977980 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22525/statm: 2641080 960544 2268 9 0 2631814 0
[pid=22525/tid=22526] ppid=22523 vsize=10564320 CPUtime=1790.97 cores=1,3,5,7
/proc/22525/task/22526/stat : 22526 (java) R 22523 22525 19289 0 -1 4202560 823778 0 1 0 179007 90 0 0 25 0 19 0 912977980 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 46912505815408 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22525/tid=22528] ppid=22523 vsize=10564320 CPUtime=0.72 cores=1,3,5,7
/proc/22525/task/22528/stat : 22528 (java) S 22523 22525 19289 0 -1 4202560 17680 0 0 0 71 1 0 0 15 0 19 0 912977982 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22529] ppid=22523 vsize=10564320 CPUtime=0.84 cores=1,3,5,7
/proc/22525/task/22529/stat : 22529 (java) S 22523 22525 19289 0 -1 4202560 19421 0 0 0 82 2 0 0 16 0 19 0 912977982 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22530] ppid=22523 vsize=10564320 CPUtime=0.73 cores=1,3,5,7
/proc/22525/task/22530/stat : 22530 (java) S 22523 22525 19289 0 -1 4202560 16448 0 0 0 72 1 0 0 15 0 19 0 912977982 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22531] ppid=22523 vsize=10564320 CPUtime=0.67 cores=1,3,5,7
/proc/22525/task/22531/stat : 22531 (java) S 22523 22525 19289 0 -1 4202560 10141 0 0 0 67 0 0 0 15 0 19 0 912977982 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22532] ppid=22523 vsize=10564320 CPUtime=0.67 cores=1,3,5,7
/proc/22525/task/22532/stat : 22532 (java) S 22523 22525 19289 0 -1 4202560 12407 0 0 0 65 2 0 0 16 0 19 0 912977982 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 1 0 0 0
[pid=22525/tid=22533] ppid=22523 vsize=10564320 CPUtime=0.61 cores=1,3,5,7
/proc/22525/task/22533/stat : 22533 (java) S 22523 22525 19289 0 -1 4202560 15332 0 0 0 60 1 0 0 15 0 19 0 912977982 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22534] ppid=22523 vsize=10564320 CPUtime=0.7 cores=1,3,5,7
/proc/22525/task/22534/stat : 22534 (java) S 22523 22525 19289 0 -1 4202560 18709 0 0 0 69 1 0 0 15 0 19 0 912977982 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22535] ppid=22523 vsize=10564320 CPUtime=0.58 cores=1,3,5,7
/proc/22525/task/22535/stat : 22535 (java) S 22523 22525 19289 0 -1 4202560 13206 0 0 0 57 1 0 0 16 0 19 0 912977982 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 7 0 0 0
[pid=22525/tid=22536] ppid=22523 vsize=10564320 CPUtime=0.82 cores=1,3,5,7
/proc/22525/task/22536/stat : 22536 (java) S 22523 22525 19289 0 -1 4202560 5399 0 0 0 81 1 0 0 15 0 19 0 912977983 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000409088 0 0 0 16800975 18446604461830238528 0 0 -1 5 0 0 0
[pid=22525/tid=22537] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22537/stat : 22537 (java) S 22523 22525 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912977983 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22538] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22538/stat : 22538 (java) S 22523 22525 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912977983 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22539] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22539/stat : 22539 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977985 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000416177 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22540] ppid=22523 vsize=10564320 CPUtime=1.67 cores=1,3,5,7
/proc/22525/task/22540/stat : 22540 (java) S 22523 22525 19289 0 -1 4202560 13816 0 0 0 166 1 0 0 16 0 19 0 912977985 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 1 0 0 0
[pid=22525/tid=22541] ppid=22523 vsize=10564320 CPUtime=0.92 cores=1,3,5,7
/proc/22525/task/22541/stat : 22541 (java) S 22523 22525 19289 0 -1 4202560 8508 0 0 0 91 1 0 0 15 0 19 0 912977985 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 5 0 0 0
[pid=22525/tid=22542] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22542/stat : 22542 (java) S 22523 22525 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912977985 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000408473 0 4 0 16800975 18446604461830238528 0 0 -1 3 0 0 0
[pid=22525/tid=22543] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22543/stat : 22543 (java) S 22523 22525 19289 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 912977985 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000409088 0 4 0 16800975 18446604461830238528 0 0 -1 1 0 0 0
[pid=22525/tid=22544] ppid=22523 vsize=10564320 CPUtime=0 cores=1,3,5,7
/proc/22525/task/22544/stat : 22544 (java) S 22523 22525 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912978019 10817863680 960544 33554432000 1073741824 1073778376 140733954911200 18446744073709551615 216000409088 0 4 0 16800975 18446604461830238528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10564320
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.72 s]
/proc/loadavg: 2.12 2.09 2.03 3/551 22668
/proc/meminfo: memFree=8003332/32950940 swapFree=67111364/67111528
[pid=22525] ppid=22523 vsize=0 CPUtime=1800.14 cores=1,3,5,7
/proc/22525/stat : 22525 (java) Z 22523 22525 19289 0 -1 4203548 976127 0 1 0 179897 117 0 0 17 0 2 0 912977980 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22525/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
[startup+1793.8 s]
/proc/loadavg: 2.12 2.09 2.03 3/551 22668
/proc/meminfo: memFree=8003332/32950940 swapFree=67111364/67111528
[pid=22525] ppid=22523 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/22525/stat : 22525 (java) Z 22523 22525 19289 0 -1 4203548 976127 0 1 0 179897 125 0 0 17 0 2 0 912977980 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22525/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.8
CPU time (s): 1800.23
CPU user time (s): 1798.98
CPU system time (s): 1.25181
CPU usage (%): 100.358
Max. virtual memory (cumulated for all children) (KiB): 10565680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.25181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 976127
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= 39401
involuntary context switches= 6274
runsolver used 9.51355 second user time and 21.4837 second system time
The end