runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (59218 MiB free)
memory of node 1: 64465 MiB (59546 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514308-1751232695/watcher-4514308-1751232695 -o /tmp/evaluation-result-4514308-1751232695/solver-4514308-1751232695 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751229168-30360 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4514308-1751232695.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=30936, runsolver pid=30933
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.25 4.24 4.18 5/338 30954
/proc/meminfo: memFree=121584200/131249992 swapFree=33010160/33010684
[pid=30936] ppid=30933 vsize=18930384 memory=57692 CPUtime=0.13 cores=4,6
/proc/30936/stat : 30936 (java) S 30933 30936 30349 0 -1 4194304 6554 0 0 0 11 2 0 0 20 0 18 0 38944014 19384713216 14423 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
/proc/30936/statm: 4732596 14423 5351 1 0 547603 0
[pid=30936/tid=30938] ppid=30933 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/30936/task/30938/stat : 30938 (java) R 30933 30936 30349 0 -1 4194368 5060 0 0 0 6 1 0 0 20 0 18 0 38944015 19384713216 14423 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30947] ppid=30933 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/30936/task/30947/stat : 30947 (Finalizer) S 30933 30936 30349 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38944017 19384713216 14423 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30954] ppid=30933 vsize=18930384 memory=58485492696503 CPUtime=0 cores=4,6
/proc/30936/task/30954/stat : 30954 (Common-Cleaner) S 30933 30936 30349 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38944017 19384713216 14423 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57692 KiB
[startup+0.205721 s]*
/proc/loadavg: 4.25 4.24 4.18 7/338 30954
/proc/meminfo: memFree=121582436/131249992 swapFree=33010160/33010684
[pid=30936] ppid=30933 vsize=18930384 memory=66580 CPUtime=0.31 cores=4,6
/proc/30936/stat : 30936 (java) S 30933 30936 30349 0 -1 4194304 7124 0 0 0 29 2 0 0 20 0 18 0 38944014 19384713216 16645 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
/proc/30936/statm: 4732596 16645 5447 1 0 547997 0
[pid=30936/tid=30938] ppid=30933 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=4,6
/proc/30936/task/30938/stat : 30938 (java) R 30933 30936 30349 0 -1 4194368 5364 0 0 0 16 1 0 0 20 0 18 0 38944015 19384713216 16645 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30947] ppid=30933 vsize=18930384 memory=13934 CPUtime=0 cores=4,6
/proc/30936/task/30947/stat : 30947 (Finalizer) S 30933 30936 30349 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38944017 19384713216 16645 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30954] ppid=30933 vsize=18930384 memory=57385981051877 CPUtime=0 cores=4,6
/proc/30936/task/30954/stat : 30954 (Common-Cleaner) S 30933 30936 30349 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38944017 19384713216 16645 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66580 KiB
[startup+0.305695 s]*
/proc/loadavg: 4.25 4.24 4.18 7/338 30954
/proc/meminfo: memFree=121549732/131249992 swapFree=33010160/33010684
[pid=30936] ppid=30933 vsize=18930384 memory=101496 CPUtime=0.51 cores=4,6
/proc/30936/stat : 30936 (java) S 30933 30936 30349 0 -1 4194304 8648 0 0 0 48 3 0 0 20 0 18 0 38944014 19384713216 25374 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
/proc/30936/statm: 4732596 25374 5447 1 0 549000 0
[pid=30936/tid=30938] ppid=30933 vsize=18930384 memory=-6000919494214642796 CPUtime=0.27 cores=4,6
/proc/30936/task/30938/stat : 30938 (java) R 30933 30936 30349 0 -1 4194368 5391 0 0 0 25 2 0 0 20 0 18 0 38944015 19384713216 25374 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30947] ppid=30933 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/30936/task/30947/stat : 30947 (Finalizer) S 30933 30936 30349 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38944017 19384713216 25374 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30954] ppid=30933 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/30936/task/30954/stat : 30954 (Common-Cleaner) S 30933 30936 30349 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38944017 19384713216 25374 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 101496 KiB
[startup+0.700207 s]
/proc/loadavg: 4.25 4.24 4.18 6/339 30955
/proc/meminfo: memFree=121488040/131249992 swapFree=33010160/33010684
[pid=30936] ppid=30933 vsize=19063512 memory=162244 CPUtime=1.28 cores=4,6
/proc/30936/stat : 30936 (java) S 30933 30936 30349 0 -1 4194304 10426 0 0 0 122 6 0 0 20 0 20 0 38944014 19521036288 40561 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
/proc/30936/statm: 4765878 40561 5479 1 0 550626 0
[pid=30936/tid=30938] ppid=30933 vsize=19063512 memory=17280 CPUtime=0.61 cores=4,6
/proc/30936/task/30938/stat : 30938 (java) R 30933 30936 30349 0 -1 4194368 5478 0 0 0 58 3 0 0 20 0 20 0 38944015 19521036288 40561 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30947] ppid=30933 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/30936/task/30947/stat : 30947 (Finalizer) S 30933 30936 30349 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 40561 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30954] ppid=30933 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/30936/task/30954/stat : 30954 (Common-Cleaner) S 30933 30936 30349 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 40561 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 162244 KiB
[startup+1.50027 s]
/proc/loadavg: 4.25 4.24 4.18 6/340 30956
/proc/meminfo: memFree=121466872/131249992 swapFree=33010160/33010684
[pid=30936] ppid=30933 vsize=19063512 memory=176836 CPUtime=2.86 cores=4,6
/proc/30936/stat : 30936 (java) S 30933 30936 30349 0 -1 4194304 20541 0 0 0 279 7 0 0 20 0 20 0 38944014 19521036288 44209 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
/proc/30936/statm: 4765878 44209 5479 1 0 554040 0
[pid=30936/tid=30938] ppid=30933 vsize=19063512 memory=3200 CPUtime=1.35 cores=4,6
/proc/30936/task/30938/stat : 30938 (java) R 30933 30936 30349 0 -1 4194368 5824 0 0 0 132 3 0 0 20 0 20 0 38944015 19521036288 44209 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30947] ppid=30933 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/30936/task/30947/stat : 30947 (Finalizer) S 30933 30936 30349 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 44209 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30954] ppid=30933 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/30936/task/30954/stat : 30954 (Common-Cleaner) S 30933 30936 30349 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 44209 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30956] ppid=30933 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/30936/task/30956/stat : 30956 (Timer-0) S 30933 30936 30349 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38944074 19521036288 44209 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176836 KiB
[startup+3.10564 s]
/proc/loadavg: 4.31 4.26 4.18 6/340 30956
/proc/meminfo: memFree=121266752/131249992 swapFree=33010160/33010684
[pid=30936] ppid=30933 vsize=19063512 memory=380988 CPUtime=5.91 cores=4,6
/proc/30936/stat : 30936 (java) S 30933 30936 30349 0 -1 4194304 23854 0 0 0 580 11 0 0 20 0 20 0 38944014 19521036288 95247 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
/proc/30936/statm: 4765878 95247 5479 1 0 792172 0
[pid=30936/tid=30938] ppid=30933 vsize=19063512 memory=14720 CPUtime=2.79 cores=4,6
/proc/30936/task/30938/stat : 30938 (java) R 30933 30936 30349 0 -1 4194368 6628 0 0 0 273 6 0 0 20 0 20 0 38944015 19521036288 95247 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30947] ppid=30933 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/30936/task/30947/stat : 30947 (Finalizer) S 30933 30936 30349 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 95247 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30954] ppid=30933 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/30936/task/30954/stat : 30954 (Common-Cleaner) S 30933 30936 30349 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 95247 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30956] ppid=30933 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/30936/task/30956/stat : 30956 (Timer-0) S 30933 30936 30349 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38944074 19521036288 95247 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 380988 KiB
[startup+6.30025 s]
/proc/loadavg: 4.31 4.26 4.18 5/340 30956
/proc/meminfo: memFree=120668296/131249992 swapFree=33010160/33010684
[pid=30936] ppid=30933 vsize=19063512 memory=1095908 CPUtime=9.5 cores=4,6
/proc/30936/stat : 30936 (java) S 30933 30936 30349 0 -1 4194304 25010 0 0 0 925 25 0 0 20 0 20 0 38944014 19521036288 273977 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
/proc/30936/statm: 4765878 273977 5479 1 0 1044931 0
[pid=30936/tid=30938] ppid=30933 vsize=19063512 memory=0 CPUtime=5.83 cores=4,6
/proc/30936/task/30938/stat : 30938 (java) R 30933 30936 30349 0 -1 4194368 6950 0 0 0 566 17 0 0 20 0 20 0 38944015 19521036288 273977 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30947] ppid=30933 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/30936/task/30947/stat : 30947 (Finalizer) S 30933 30936 30349 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 273977 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30954] ppid=30933 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/30936/task/30954/stat : 30954 (Common-Cleaner) S 30933 30936 30349 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 273977 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30956] ppid=30933 vsize=19063512 memory=191224 CPUtime=0 cores=4,6
/proc/30936/task/30956/stat : 30956 (Timer-0) S 30933 30936 30349 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38944074 19521036288 273977 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
Current children cumulated CPU time: 9.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1095908 KiB
[startup+12.7002 s]
/proc/loadavg: 4.29 4.25 4.18 5/341 30957
/proc/meminfo: memFree=120041620/131249992 swapFree=33010160/33010684
[pid=30936] ppid=30933 vsize=19063512 memory=1595692 CPUtime=16.01 cores=4,6
/proc/30936/stat : 30936 (java) S 30933 30936 30349 0 -1 4194304 25629 0 0 0 1565 36 0 0 20 0 20 0 38944014 19521036288 398923 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
/proc/30936/statm: 4765878 398923 5479 1 0 1044936 0
[pid=30936/tid=30938] ppid=30933 vsize=19063512 memory=191224 CPUtime=12.06 cores=4,6
/proc/30936/task/30938/stat : 30938 (java) R 30933 30936 30349 0 -1 4194368 7469 0 0 0 1180 26 0 0 20 0 20 0 38944015 19521036288 398923 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30947] ppid=30933 vsize=19063512 memory=1595692 CPUtime=0 cores=4,6
/proc/30936/task/30947/stat : 30947 (Finalizer) S 30933 30936 30349 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 398923 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30954] ppid=30933 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/30936/task/30954/stat : 30954 (Common-Cleaner) S 30933 30936 30349 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 398923 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30956] ppid=30933 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/30936/task/30956/stat : 30956 (Timer-0) S 30933 30936 30349 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38944074 19521036288 398923 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
Current children cumulated CPU time: 16.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1595692 KiB
[startup+25.5002 s]
/proc/loadavg: 4.29 4.26 4.18 5/341 30957
/proc/meminfo: memFree=119300448/131249992 swapFree=33010160/33010684
[pid=30936] ppid=30933 vsize=19063512 memory=2343284 CPUtime=28.99 cores=4,6
/proc/30936/stat : 30936 (java) S 30933 30936 30349 0 -1 4194304 30726 0 0 0 2846 53 0 0 20 0 20 0 38944014 19521036288 585821 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
/proc/30936/statm: 4765878 585821 5479 1 0 1044942 0
[pid=30936/tid=30938] ppid=30933 vsize=19063512 memory=0 CPUtime=24.64 cores=4,6
/proc/30936/task/30938/stat : 30938 (java) R 30933 30936 30349 0 -1 4194368 10033 0 0 0 2423 41 0 0 20 0 20 0 38944015 19521036288 585821 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30947] ppid=30933 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/30936/task/30947/stat : 30947 (Finalizer) S 30933 30936 30349 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 585821 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30954] ppid=30933 vsize=19063512 memory=2343284 CPUtime=0 cores=4,6
/proc/30936/task/30954/stat : 30954 (Common-Cleaner) S 30933 30936 30349 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 585821 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30956] ppid=30933 vsize=19063512 memory=1923404 CPUtime=0 cores=4,6
/proc/30936/task/30956/stat : 30956 (Timer-0) S 30933 30936 30349 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38944074 19521036288 585821 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
Current children cumulated CPU time: 28.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2343284 KiB
[startup+51.1057 s]
/proc/loadavg: 4.19 4.23 4.18 5/341 30957
/proc/meminfo: memFree=118951160/131249992 swapFree=33010160/33010684
[pid=30936] ppid=30933 vsize=19063512 memory=2668948 CPUtime=54.94 cores=4,6
/proc/30936/stat : 30936 (java) S 30933 30936 30349 0 -1 4194304 35607 0 0 0 5434 60 0 0 20 0 20 0 38944014 19521036288 667237 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
/proc/30936/statm: 4765878 667237 5479 1 0 1044944 0
[pid=30936/tid=30938] ppid=30933 vsize=19063512 memory=2343284 CPUtime=49.74 cores=4,6
/proc/30936/task/30938/stat : 30938 (java) R 30933 30936 30349 0 -1 4194368 13118 0 0 0 4929 45 0 0 20 0 20 0 38944015 19521036288 667237 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30947] ppid=30933 vsize=19063512 memory=12672 CPUtime=0 cores=4,6
/proc/30936/task/30947/stat : 30947 (Finalizer) S 30933 30936 30349 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 667237 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30954] ppid=30933 vsize=19063512 memory=2308 CPUtime=0 cores=4,6
/proc/30936/task/30954/stat : 30954 (Common-Cleaner) S 30933 30936 30349 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 667237 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
################
# More data... #
################
/proc/meminfo: memFree=113179908/131249992 swapFree=33010160/33010684
[pid=30936] ppid=30933 vsize=19063512 memory=4137060 CPUtime=3174.33 cores=4,6
/proc/30936/stat : 30936 (java) S 30933 30936 30349 0 -1 4194304 161488 0 0 0 317154 279 0 0 20 0 20 0 38944014 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
/proc/30936/statm: 4765878 1034265 5479 1 0 1047735 0
[pid=30936/tid=30938] ppid=30933 vsize=19063512 memory=14720 CPUtime=3064.76 cores=4,6
/proc/30936/task/30938/stat : 30938 (java) R 30933 30936 30349 0 -1 4194368 82477 0 0 0 306383 93 0 0 20 0 20 0 38944015 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30947] ppid=30933 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/30936/task/30947/stat : 30947 (Finalizer) S 30933 30936 30349 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30954] ppid=30933 vsize=19063512 memory=4137060 CPUtime=0 cores=4,6
/proc/30936/task/30954/stat : 30954 (Common-Cleaner) S 30933 30936 30349 0 -1 4194368 1911 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30956] ppid=30933 vsize=19063512 memory=4137060 CPUtime=0 cores=4,6
/proc/30936/task/30956/stat : 30956 (Timer-0) S 30933 30936 30349 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38944074 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
Current children cumulated CPU time: 3174.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4137060 KiB
[startup+3162.3 s]
/proc/loadavg: 4.52 4.44 4.36 5/340 31337
/proc/meminfo: memFree=113145384/131249992 swapFree=33010160/33010684
[pid=30936] ppid=30933 vsize=19063512 memory=4137060 CPUtime=3240.32 cores=4,6
/proc/30936/stat : 30936 (java) S 30933 30936 30349 0 -1 4194304 163013 0 0 0 323747 285 0 0 20 0 20 0 38944014 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
/proc/30936/statm: 4765878 1034265 5479 1 0 1047735 0
[pid=30936/tid=30938] ppid=30933 vsize=19063512 memory=14720 CPUtime=3124.3 cores=4,6
/proc/30936/task/30938/stat : 30938 (java) R 30933 30936 30349 0 -1 4194368 83941 0 0 0 312337 93 0 0 20 0 20 0 38944015 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30947] ppid=30933 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/30936/task/30947/stat : 30947 (Finalizer) S 30933 30936 30349 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30954] ppid=30933 vsize=19063512 memory=4137060 CPUtime=0 cores=4,6
/proc/30936/task/30954/stat : 30954 (Common-Cleaner) S 30933 30936 30349 0 -1 4194368 1911 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30956] ppid=30933 vsize=19063512 memory=4137060 CPUtime=0 cores=4,6
/proc/30936/task/30956/stat : 30956 (Timer-0) S 30933 30936 30349 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38944074 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
Current children cumulated CPU time: 3240.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4137060 KiB
[startup+3222.3 s]
/proc/loadavg: 4.38 4.41 4.35 5/340 31340
/proc/meminfo: memFree=113087312/131249992 swapFree=33010160/33010684
[pid=30936] ppid=30933 vsize=19063512 memory=4137060 CPUtime=3309.18 cores=4,6
/proc/30936/stat : 30936 (java) S 30933 30936 30349 0 -1 4194304 166818 0 0 0 330623 295 0 0 20 0 20 0 38944014 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
/proc/30936/statm: 4765878 1034265 5479 1 0 1047735 0
[pid=30936/tid=30938] ppid=30933 vsize=19063512 memory=14720 CPUtime=3183.84 cores=4,6
/proc/30936/task/30938/stat : 30938 (java) R 30933 30936 30349 0 -1 4194368 85647 0 0 0 318290 94 0 0 20 0 20 0 38944015 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30947] ppid=30933 vsize=19063512 memory=-6000919494214642796 CPUtime=0 cores=4,6
/proc/30936/task/30947/stat : 30947 (Finalizer) S 30933 30936 30349 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30954] ppid=30933 vsize=19063512 memory=4137060 CPUtime=0 cores=4,6
/proc/30936/task/30954/stat : 30954 (Common-Cleaner) S 30933 30936 30349 0 -1 4194368 1937 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30956] ppid=30933 vsize=19063512 memory=4137060 CPUtime=0 cores=4,6
/proc/30936/task/30956/stat : 30956 (Timer-0) S 30933 30936 30349 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38944074 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
Current children cumulated CPU time: 3309.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4137060 KiB
[startup+3282.3 s]
/proc/loadavg: 4.38 4.39 4.35 5/339 31342
/proc/meminfo: memFree=113049328/131249992 swapFree=33010160/33010684
[pid=30936] ppid=30933 vsize=19063512 memory=4137060 CPUtime=3375.16 cores=4,6
/proc/30936/stat : 30936 (java) S 30933 30936 30349 0 -1 4194304 169898 0 0 0 337213 303 0 0 20 0 20 0 38944014 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
/proc/30936/statm: 4765878 1034265 5479 1 0 1047735 0
[pid=30936/tid=30938] ppid=30933 vsize=19063512 memory=4137060 CPUtime=3243.41 cores=4,6
/proc/30936/task/30938/stat : 30938 (java) R 30933 30936 30349 0 -1 4194368 86731 0 0 0 324246 95 0 0 20 0 20 0 38944015 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30947] ppid=30933 vsize=19063512 memory=4137060 CPUtime=0 cores=4,6
/proc/30936/task/30947/stat : 30947 (Finalizer) S 30933 30936 30349 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30954] ppid=30933 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/30936/task/30954/stat : 30954 (Common-Cleaner) S 30933 30936 30349 0 -1 4194368 1962 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30956] ppid=30933 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/30936/task/30956/stat : 30956 (Timer-0) S 30933 30936 30349 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38944074 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
Current children cumulated CPU time: 3375.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4137060 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.39 4.36 5/340 31476
/proc/meminfo: memFree=106058740/131249992 swapFree=33010160/33010684
[pid=30936] ppid=30933 vsize=19063512 memory=4137060 CPUtime=3441.14 cores=4,6
/proc/30936/stat : 30936 (java) S 30933 30936 30349 0 -1 4194304 171278 0 0 0 343804 310 0 0 20 0 20 0 38944014 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
/proc/30936/statm: 4765878 1034265 5479 1 0 1047735 0
[pid=30936/tid=30938] ppid=30933 vsize=19063512 memory=4137060 CPUtime=3302.95 cores=4,6
/proc/30936/task/30938/stat : 30938 (java) R 30933 30936 30349 0 -1 4194368 88083 0 0 0 330199 96 0 0 20 0 20 0 38944015 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30947] ppid=30933 vsize=19063512 memory=4137060 CPUtime=0 cores=4,6
/proc/30936/task/30947/stat : 30947 (Finalizer) S 30933 30936 30349 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30954] ppid=30933 vsize=19063512 memory=4137060 CPUtime=0 cores=4,6
/proc/30936/task/30954/stat : 30954 (Common-Cleaner) S 30933 30936 30349 0 -1 4194368 1962 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30956] ppid=30933 vsize=19063512 memory=4137060 CPUtime=0 cores=4,6
/proc/30936/task/30956/stat : 30956 (Timer-0) S 30933 30936 30349 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38944074 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
Current children cumulated CPU time: 3441.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4137060 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.36 4.35 6/342 31484
/proc/meminfo: memFree=106047360/131249992 swapFree=33010160/33010684
[pid=30936] ppid=30933 vsize=19063512 memory=4137060 CPUtime=3508.62 cores=4,6
/proc/30936/stat : 30936 (java) S 30933 30936 30349 0 -1 4194304 174186 0 0 0 350545 317 0 0 20 0 20 0 38944014 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
/proc/30936/statm: 4765878 1034265 5479 1 0 1047735 0
[pid=30936/tid=30938] ppid=30933 vsize=19063512 memory=4137060 CPUtime=3362.53 cores=4,6
/proc/30936/task/30938/stat : 30938 (java) R 30933 30936 30349 0 -1 4194368 88953 0 0 0 336156 97 0 0 20 0 20 0 38944015 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30947] ppid=30933 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/30936/task/30947/stat : 30947 (Finalizer) S 30933 30936 30349 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30954] ppid=30933 vsize=19063512 memory=4137060 CPUtime=0 cores=4,6
/proc/30936/task/30954/stat : 30954 (Common-Cleaner) S 30933 30936 30349 0 -1 4194368 1985 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30956] ppid=30933 vsize=19063512 memory=17280 CPUtime=0 cores=4,6
/proc/30936/task/30956/stat : 30956 (Timer-0) S 30933 30936 30349 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38944074 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
Current children cumulated CPU time: 3508.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4137060 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.34 4.34 5/342 31486
/proc/meminfo: memFree=106047480/131249992 swapFree=33010160/33010684
[pid=30936] ppid=30933 vsize=19063512 memory=4137060 CPUtime=3575.78 cores=4,6
/proc/30936/stat : 30936 (java) S 30933 30936 30349 0 -1 4194304 175712 0 0 0 357253 325 0 0 20 0 20 0 38944014 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
/proc/30936/statm: 4765878 1034265 5479 1 0 1047738 0
[pid=30936/tid=30938] ppid=30933 vsize=19063512 memory=4137060 CPUtime=3422.04 cores=4,6
/proc/30936/task/30938/stat : 30938 (java) R 30933 30936 30349 0 -1 4194368 90416 0 0 0 342107 97 0 0 20 0 20 0 38944015 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30947] ppid=30933 vsize=19063512 memory=-6000919494214642796 CPUtime=0 cores=4,6
/proc/30936/task/30947/stat : 30947 (Finalizer) S 30933 30936 30349 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30954] ppid=30933 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/30936/task/30954/stat : 30954 (Common-Cleaner) S 30933 30936 30349 0 -1 4194368 1985 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30956] ppid=30933 vsize=19063512 memory=4137060 CPUtime=0 cores=4,6
/proc/30936/task/30956/stat : 30956 (Timer-0) S 30933 30936 30349 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38944074 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
Current children cumulated CPU time: 3575.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4137060 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3483.6 s]
/proc/loadavg: 4.17 4.32 4.34 5/342 31487
/proc/meminfo: memFree=106047484/131249992 swapFree=33010160/33010684
[pid=30936] ppid=30933 vsize=19063512 memory=4137060 CPUtime=3600.02 cores=4,6
/proc/30936/stat : 30936 (java) S 30933 30936 30349 0 -1 4194304 178409 0 0 0 359674 328 0 0 20 0 20 0 38944014 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
/proc/30936/statm: 4765878 1034265 5479 1 0 1047738 0
[pid=30936/tid=30938] ppid=30933 vsize=19063512 memory=1920 CPUtime=3443.19 cores=4,6
/proc/30936/task/30938/stat : 30938 (java) R 30933 30936 30349 0 -1 4194368 91205 0 0 0 344222 97 0 0 20 0 20 0 38944015 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30947] ppid=30933 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/30936/task/30947/stat : 30947 (Finalizer) S 30933 30936 30349 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30954] ppid=30933 vsize=19063512 memory=12416 CPUtime=0 cores=4,6
/proc/30936/task/30954/stat : 30954 (Common-Cleaner) S 30933 30936 30349 0 -1 4194368 1985 0 0 0 0 0 0 0 20 0 20 0 38944017 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
[pid=30936/tid=30956] ppid=30933 vsize=19063512 memory=2696 CPUtime=0 cores=4,6
/proc/30936/task/30956/stat : 30956 (Timer-0) S 30933 30936 30349 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38944074 19521036288 1034265 18446744073709551615 93918653472768 93918653476464 140730285582672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93918653484280 93918653485072 93918668943360 140730285590910 140730285591014 140730285591014 140730285596616 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4137060 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3483.68 s]
# the end of solver process 30936 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.86 s, system=3.30735 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3483.68
CPU time (s): 3600.16
CPU user time (s): 3596.86
CPU system time (s): 3.30735
CPU usage (%): 103.344
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 4137060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.86
system time used= 3.30735
maximum resident set size= 4138084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179986
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125649
involuntary context switches= 15266
# summary of solver processes directly reported to runsolver:
# pid: 30936
# total CPU time (s): 3600.16
# total CPU user time (s): 3596.86
# total CPU system time (s): 3.30735
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.40303 second user time and 16.3333 second system time
The end