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: 63665 MiB (60562 MiB free)
memory of node 1: 64507 MiB (53606 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522464-1751597603/watcher-4522464-1751597603 -o /tmp/evaluation-result-4522464-1751597603/solver-4522464-1751597603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751597603-94968 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4522464-1751597603.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
solver pid=95007, runsolver pid=95002
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 2.54 3.72 3.96 8/313 95067
/proc/meminfo: memFree=116829572/131249996 swapFree=33010684/33010684
[pid=95007] ppid=95002 vsize=18930384 memory=49020 CPUtime=0.06 cores=4,6
/proc/95007/stat : 95007 (java) S 95002 95007 94956 0 -1 4194304 5802 0 238 0 5 1 0 0 20 0 18 0 75438217 19384713216 12255 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
/proc/95007/statm: 4732596 12255 5284 1 0 547141 0
[pid=95007/tid=95017] ppid=95002 vsize=18930384 memory=4026532124 CPUtime=0.03 cores=4,6
/proc/95007/task/95017/stat : 95017 (java) R 95002 95007 94956 0 -1 4194368 4676 0 185 0 3 0 0 0 20 0 18 0 75438222 19384713216 12255 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95045] ppid=95002 vsize=18930384 memory=18954 CPUtime=0 cores=4,6
/proc/95007/task/95045/stat : 95045 (Finalizer) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75438225 19384713216 12255 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95065] ppid=95002 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/95007/task/95065/stat : 95065 (Common-Cleaner) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75438225 19384713216 12255 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49020 KiB
[startup+0.205721 s]*
/proc/loadavg: 2.54 3.72 3.96 8/312 95068
/proc/meminfo: memFree=116791500/131249996 swapFree=33010684/33010684
[pid=95007] ppid=95002 vsize=18930384 memory=61456 CPUtime=0.23 cores=4,6
/proc/95007/stat : 95007 (java) S 95002 95007 94956 0 -1 4194304 6828 0 238 0 21 2 0 0 20 0 18 0 75438217 19384713216 15364 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
/proc/95007/statm: 4732596 15364 5380 1 0 547905 0
[pid=95007/tid=95017] ppid=95002 vsize=18930384 memory=4026827803 CPUtime=0.13 cores=4,6
/proc/95007/task/95017/stat : 95017 (java) R 95002 95007 94956 0 -1 4194368 5182 0 185 0 12 1 0 0 20 0 18 0 75438222 19384713216 15364 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95045] ppid=95002 vsize=18930384 memory=219932787024 CPUtime=0 cores=4,6
/proc/95007/task/95045/stat : 95045 (Finalizer) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75438225 19384713216 15364 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95065] ppid=95002 vsize=18930384 memory=55186957823283 CPUtime=0 cores=4,6
/proc/95007/task/95065/stat : 95065 (Common-Cleaner) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75438225 19384713216 15364 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61456 KiB
[startup+0.305473 s]*
/proc/loadavg: 2.54 3.72 3.96 12/333 95094
/proc/meminfo: memFree=116729004/131249996 swapFree=33010684/33010684
[pid=95007] ppid=95002 vsize=18996948 memory=67368 CPUtime=0.42 cores=4,6
/proc/95007/stat : 95007 (java) S 95002 95007 94956 0 -1 4194304 7224 0 238 0 39 3 0 0 20 0 19 0 75438217 19452874752 16842 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
/proc/95007/statm: 4749237 16842 5412 1 0 548392 0
[pid=95007/tid=95017] ppid=95002 vsize=18996948 memory=-6000919494148122470 CPUtime=0.2 cores=4,6
/proc/95007/task/95017/stat : 95017 (java) R 95002 95007 94956 0 -1 4194368 5345 0 185 0 19 1 0 0 20 0 19 0 75438222 19452874752 16842 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95045] ppid=95002 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/95007/task/95045/stat : 95045 (Finalizer) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75438225 19452874752 16842 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95065] ppid=95002 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/95007/task/95065/stat : 95065 (Common-Cleaner) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75438225 19452874752 16842 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95084] ppid=95002 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/95007/task/95084/stat : 95084 (Timer-0) S 95002 95007 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75438246 19452874752 16842 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 67368 KiB
[startup+0.700218 s]
/proc/loadavg: 2.54 3.72 3.96 10/336 95097
/proc/meminfo: memFree=116525552/131249996 swapFree=33010684/33010684
[pid=95007] ppid=95002 vsize=18996948 memory=122488 CPUtime=1.17 cores=4,6
/proc/95007/stat : 95007 (java) S 95002 95007 94956 0 -1 4194304 12440 0 238 0 113 4 0 0 20 0 19 0 75438217 19452874752 30622 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
/proc/95007/statm: 4749237 30622 5444 1 0 551776 0
[pid=95007/tid=95017] ppid=95002 vsize=18996948 memory=18944 CPUtime=0.56 cores=4,6
/proc/95007/task/95017/stat : 95017 (java) R 95002 95007 94956 0 -1 4194368 5480 0 185 0 54 2 0 0 20 0 19 0 75438222 19452874752 30622 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95045] ppid=95002 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/95007/task/95045/stat : 95045 (Finalizer) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75438225 19452874752 30622 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95065] ppid=95002 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/95007/task/95065/stat : 95065 (Common-Cleaner) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75438225 19452874752 30622 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95084] ppid=95002 vsize=18996948 memory=4756 CPUtime=0 cores=4,6
/proc/95007/task/95084/stat : 95084 (Timer-0) S 95002 95007 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75438246 19452874752 30622 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 122488 KiB
[startup+1.50032 s]
/proc/loadavg: 2.54 3.72 3.96 9/339 95100
/proc/meminfo: memFree=115710948/131249996 swapFree=33010684/33010684
[pid=95007] ppid=95002 vsize=19063512 memory=181788 CPUtime=2.75 cores=4,6
/proc/95007/stat : 95007 (java) S 95002 95007 94956 0 -1 4194304 19633 0 238 0 269 6 0 0 20 0 20 0 75438217 19521036288 45447 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
/proc/95007/statm: 4765878 45447 5508 1 0 554300 0
[pid=95007/tid=95017] ppid=95002 vsize=19063512 memory=10752 CPUtime=1.31 cores=4,6
/proc/95007/task/95017/stat : 95017 (java) R 95002 95007 94956 0 -1 4194368 5780 0 185 0 128 3 0 0 20 0 20 0 75438222 19521036288 45447 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95045] ppid=95002 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/95007/task/95045/stat : 95045 (Finalizer) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 45447 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95065] ppid=95002 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/95007/task/95065/stat : 95065 (Common-Cleaner) S 95002 95007 94956 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 45447 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95084] ppid=95002 vsize=19063512 memory=4756 CPUtime=0 cores=4,6
/proc/95007/task/95084/stat : 95084 (Timer-0) S 95002 95007 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438246 19521036288 45447 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181788 KiB
[startup+3.10588 s]
/proc/loadavg: 2.54 3.72 3.96 8/340 95101
/proc/meminfo: memFree=111539128/131249996 swapFree=33010684/33010684
[pid=95007] ppid=95002 vsize=19063512 memory=216116 CPUtime=5.76 cores=4,6
/proc/95007/stat : 95007 (java) S 95002 95007 94956 0 -1 4194304 31077 0 238 0 567 9 0 0 20 0 20 0 75438217 19521036288 54029 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
/proc/95007/statm: 4765878 54029 5508 1 0 557410 0
[pid=95007/tid=95017] ppid=95002 vsize=19063512 memory=-6000919498560530278 CPUtime=2.79 cores=4,6
/proc/95007/task/95017/stat : 95017 (java) R 95002 95007 94956 0 -1 4194368 7111 0 185 0 276 3 0 0 20 0 20 0 75438222 19521036288 54029 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95045] ppid=95002 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/95007/task/95045/stat : 95045 (Finalizer) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 54029 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95065] ppid=95002 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/95007/task/95065/stat : 95065 (Common-Cleaner) S 95002 95007 94956 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 54029 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95084] ppid=95002 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/95007/task/95084/stat : 95084 (Timer-0) S 95002 95007 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438246 19521036288 54029 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
Current children cumulated CPU time: 5.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 216116 KiB
[startup+6.30025 s]
/proc/loadavg: 2.74 3.74 3.97 5/340 95101
/proc/meminfo: memFree=109677456/131249996 swapFree=33010684/33010684
[pid=95007] ppid=95002 vsize=19063512 memory=452376 CPUtime=10.06 cores=4,6
/proc/95007/stat : 95007 (java) S 95002 95007 94956 0 -1 4194304 32662 0 238 0 992 14 0 0 20 0 20 0 75438217 19521036288 113094 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
/proc/95007/statm: 4765878 113094 5508 1 0 750055 0
[pid=95007/tid=95017] ppid=95002 vsize=19063512 memory=10752 CPUtime=5.9 cores=4,6
/proc/95007/task/95017/stat : 95017 (java) R 95002 95007 94956 0 -1 4194368 7239 0 185 0 583 7 0 0 20 0 20 0 75438222 19521036288 113094 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95045] ppid=95002 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/95007/task/95045/stat : 95045 (Finalizer) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 113094 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95065] ppid=95002 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/95007/task/95065/stat : 95065 (Common-Cleaner) S 95002 95007 94956 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 113094 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95084] ppid=95002 vsize=19063512 memory=181788 CPUtime=0 cores=4,6
/proc/95007/task/95084/stat : 95084 (Timer-0) S 95002 95007 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438246 19521036288 113094 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
Current children cumulated CPU time: 10.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 452376 KiB
[startup+12.7002 s]
/proc/loadavg: 2.84 3.74 3.97 7/340 95102
/proc/meminfo: memFree=106774280/131249996 swapFree=33010684/33010684
[pid=95007] ppid=95002 vsize=19063512 memory=811652 CPUtime=17.41 cores=4,6
/proc/95007/stat : 95007 (java) S 95002 95007 94956 0 -1 4194304 38753 0 238 0 1719 22 0 0 20 0 20 0 75438217 19521036288 202913 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
/proc/95007/statm: 4765878 202913 5508 1 0 750077 0
[pid=95007/tid=95017] ppid=95002 vsize=19063512 memory=181788 CPUtime=12.12 cores=4,6
/proc/95007/task/95017/stat : 95017 (java) R 95002 95007 94956 0 -1 4194368 8825 0 185 0 1200 12 0 0 20 0 20 0 75438222 19521036288 202913 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95045] ppid=95002 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/95007/task/95045/stat : 95045 (Finalizer) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 202913 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95065] ppid=95002 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/95007/task/95065/stat : 95065 (Common-Cleaner) S 95002 95007 94956 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 202913 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95084] ppid=95002 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/95007/task/95084/stat : 95084 (Timer-0) S 95002 95007 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438246 19521036288 202913 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
Current children cumulated CPU time: 17.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 811652 KiB
[startup+25.5002 s]
/proc/loadavg: 3.10 3.76 3.97 6/340 95102
/proc/meminfo: memFree=104299608/131249996 swapFree=33010684/33010684
[pid=95007] ppid=95002 vsize=19063512 memory=1764304 CPUtime=31.64 cores=4,6
/proc/95007/stat : 95007 (java) S 95002 95007 94956 0 -1 4194304 55532 0 238 0 3121 43 0 0 20 0 20 0 75438217 19521036288 441076 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
/proc/95007/statm: 4765878 441076 5508 1 0 887058 0
[pid=95007/tid=95017] ppid=95002 vsize=19063512 memory=1693536 CPUtime=24.5 cores=4,6
/proc/95007/task/95017/stat : 95017 (java) R 95002 95007 94956 0 -1 4194368 11689 0 185 0 2424 26 0 0 20 0 20 0 75438222 19521036288 441076 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95045] ppid=95002 vsize=19063512 memory=1004176 CPUtime=0 cores=4,6
/proc/95007/task/95045/stat : 95045 (Finalizer) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 441076 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95065] ppid=95002 vsize=19063512 memory=14844 CPUtime=0 cores=4,6
/proc/95007/task/95065/stat : 95065 (Common-Cleaner) S 95002 95007 94956 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 441076 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95084] ppid=95002 vsize=19063512 memory=1728772 CPUtime=0 cores=4,6
/proc/95007/task/95084/stat : 95084 (Timer-0) S 95002 95007 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438246 19521036288 441076 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
Current children cumulated CPU time: 31.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1764304 KiB
[startup+51.1056 s]
/proc/loadavg: 3.53 3.81 3.98 5/340 95102
/proc/meminfo: memFree=102468720/131249996 swapFree=33010684/33010684
[pid=95007] ppid=95002 vsize=19063512 memory=3454296 CPUtime=58.34 cores=4,6
/proc/95007/stat : 95007 (java) S 95002 95007 94956 0 -1 4194304 57981 0 238 0 5758 76 0 0 20 0 20 0 75438217 19521036288 863574 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
/proc/95007/statm: 4765878 863574 5508 1 0 1158973 0
[pid=95007/tid=95017] ppid=95002 vsize=19063512 memory=-6000919498560530278 CPUtime=49.26 cores=4,6
/proc/95007/task/95017/stat : 95017 (java) R 95002 95007 94956 0 -1 4194368 12577 0 185 0 4874 52 0 0 20 0 20 0 75438222 19521036288 863574 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95045] ppid=95002 vsize=19063512 memory=2871400 CPUtime=0 cores=4,6
/proc/95007/task/95045/stat : 95045 (Finalizer) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 863574 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
################
# More data... #
################
/proc/95007/task/95045/stat : 95045 (Finalizer) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95065] ppid=95002 vsize=19063512 memory=5504564 CPUtime=0 cores=4,6
/proc/95007/task/95065/stat : 95065 (Common-Cleaner) S 95002 95007 94956 0 -1 4194368 934 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95084] ppid=95002 vsize=19063512 memory=4756 CPUtime=0 cores=4,6
/proc/95007/task/95084/stat : 95084 (Timer-0) S 95002 95007 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438246 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
Current children cumulated CPU time: 3106.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5504564 KiB
[startup+2562.3 s]
/proc/loadavg: 5.31 5.19 4.99 5/341 95243
/proc/meminfo: memFree=86462048/131249996 swapFree=33010684/33010684
[pid=95007] ppid=95002 vsize=19063512 memory=5504564 CPUtime=3180.1 cores=4,6
/proc/95007/stat : 95007 (java) S 95002 95007 94956 0 -1 4194304 208084 0 238 0 317207 803 0 0 20 0 20 0 75438217 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
/proc/95007/statm: 4765878 1376141 5508 1 0 1391743 0
[pid=95007/tid=95017] ppid=95002 vsize=19063512 memory=18944 CPUtime=2525.85 cores=4,6
/proc/95007/task/95017/stat : 95017 (java) R 95002 95007 94956 0 -1 4194368 66865 0 185 0 252498 87 0 0 20 0 20 0 75438222 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95045] ppid=95002 vsize=19063512 memory=5504564 CPUtime=0 cores=4,6
/proc/95007/task/95045/stat : 95045 (Finalizer) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95065] ppid=95002 vsize=19063512 memory=5504564 CPUtime=0 cores=4,6
/proc/95007/task/95065/stat : 95065 (Common-Cleaner) S 95002 95007 94956 0 -1 4194368 938 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95084] ppid=95002 vsize=19063512 memory=5504564 CPUtime=0 cores=4,6
/proc/95007/task/95084/stat : 95084 (Timer-0) S 95002 95007 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438246 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
Current children cumulated CPU time: 3180.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5504564 KiB
[startup+2622.31 s]
/proc/loadavg: 5.20 5.21 5.01 5/342 95251
/proc/meminfo: memFree=86398364/131249996 swapFree=33010684/33010684
[pid=95007] ppid=95002 vsize=19063512 memory=5504564 CPUtime=3258.05 cores=4,6
/proc/95007/stat : 95007 (java) S 95002 95007 94956 0 -1 4194304 211900 0 238 0 324983 822 0 0 20 0 20 0 75438217 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
/proc/95007/statm: 4765878 1376141 5508 1 0 1391743 0
[pid=95007/tid=95017] ppid=95002 vsize=19063512 memory=5504564 CPUtime=2585.42 cores=4,6
/proc/95007/task/95017/stat : 95017 (java) R 95002 95007 94956 0 -1 4194368 68563 0 185 0 258455 87 0 0 20 0 20 0 75438222 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95045] ppid=95002 vsize=19063512 memory=5504564 CPUtime=0 cores=4,6
/proc/95007/task/95045/stat : 95045 (Finalizer) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95065] ppid=95002 vsize=19063512 memory=18944 CPUtime=0 cores=4,6
/proc/95007/task/95065/stat : 95065 (Common-Cleaner) S 95002 95007 94956 0 -1 4194368 963 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95084] ppid=95002 vsize=19063512 memory=5504564 CPUtime=0 cores=4,6
/proc/95007/task/95084/stat : 95084 (Timer-0) S 95002 95007 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438246 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
Current children cumulated CPU time: 3258.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5504564 KiB
[startup+2682.3 s]
/proc/loadavg: 5.13 5.21 5.02 6/343 95254
/proc/meminfo: memFree=86339968/131249996 swapFree=33010684/33010684
[pid=95007] ppid=95002 vsize=19063512 memory=5504564 CPUtime=3329.05 cores=4,6
/proc/95007/stat : 95007 (java) S 95002 95007 94956 0 -1 4194304 214172 0 238 0 332069 836 0 0 20 0 20 0 75438217 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
/proc/95007/statm: 4765878 1376141 5508 1 0 1391743 0
[pid=95007/tid=95017] ppid=95002 vsize=19063512 memory=5504564 CPUtime=2645.06 cores=4,6
/proc/95007/task/95017/stat : 95017 (java) R 95002 95007 94956 0 -1 4194368 69306 0 185 0 264418 88 0 0 20 0 20 0 75438222 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95045] ppid=95002 vsize=19063512 memory=5504564 CPUtime=0 cores=4,6
/proc/95007/task/95045/stat : 95045 (Finalizer) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95065] ppid=95002 vsize=19063512 memory=5504564 CPUtime=0 cores=4,6
/proc/95007/task/95065/stat : 95065 (Common-Cleaner) S 95002 95007 94956 0 -1 4194368 963 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95084] ppid=95002 vsize=19063512 memory=5504564 CPUtime=0 cores=4,6
/proc/95007/task/95084/stat : 95084 (Timer-0) S 95002 95007 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438246 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
Current children cumulated CPU time: 3329.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5504564 KiB
[startup+2742.3 s]
/proc/loadavg: 4.80 5.11 5.00 7/342 95256
/proc/meminfo: memFree=86339468/131249996 swapFree=33010684/33010684
[pid=95007] ppid=95002 vsize=19063512 memory=5504564 CPUtime=3398.02 cores=4,6
/proc/95007/stat : 95007 (java) S 95002 95007 94956 0 -1 4194304 219273 0 238 0 338957 845 0 0 20 0 20 0 75438217 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
/proc/95007/statm: 4765878 1376141 5508 1 0 1391743 0
[pid=95007/tid=95017] ppid=95002 vsize=19063512 memory=5504564 CPUtime=2704.91 cores=4,6
/proc/95007/task/95017/stat : 95017 (java) R 95002 95007 94956 0 -1 4194368 70866 0 185 0 270403 88 0 0 20 0 20 0 75438222 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95045] ppid=95002 vsize=19063512 memory=5504564 CPUtime=0 cores=4,6
/proc/95007/task/95045/stat : 95045 (Finalizer) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95065] ppid=95002 vsize=19063512 memory=5504564 CPUtime=0 cores=4,6
/proc/95007/task/95065/stat : 95065 (Common-Cleaner) S 95002 95007 94956 0 -1 4194368 983 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95084] ppid=95002 vsize=19063512 memory=14844 CPUtime=0 cores=4,6
/proc/95007/task/95084/stat : 95084 (Timer-0) S 95002 95007 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438246 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
Current children cumulated CPU time: 3398.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5504564 KiB
[startup+2802.3 s]
/proc/loadavg: 4.64 5.01 4.97 6/342 95258
/proc/meminfo: memFree=86339720/131249996 swapFree=33010684/33010684
[pid=95007] ppid=95002 vsize=19063512 memory=5504564 CPUtime=3465.89 cores=4,6
/proc/95007/stat : 95007 (java) S 95002 95007 94956 0 -1 4194304 222273 0 238 0 345733 856 0 0 20 0 20 0 75438217 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
/proc/95007/statm: 4765878 1376141 5508 1 0 1391743 0
[pid=95007/tid=95017] ppid=95002 vsize=19063512 memory=5504564 CPUtime=2764.75 cores=4,6
/proc/95007/task/95017/stat : 95017 (java) R 95002 95007 94956 0 -1 4194368 71946 0 185 0 276387 88 0 0 20 0 20 0 75438222 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95045] ppid=95002 vsize=19063512 memory=5504564 CPUtime=0 cores=4,6
/proc/95007/task/95045/stat : 95045 (Finalizer) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95065] ppid=95002 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/95007/task/95065/stat : 95065 (Common-Cleaner) S 95002 95007 94956 0 -1 4194368 1004 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95084] ppid=95002 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/95007/task/95084/stat : 95084 (Timer-0) S 95002 95007 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438246 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
Current children cumulated CPU time: 3465.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5504564 KiB
[startup+2862.3 s]
/proc/loadavg: 5.09 5.05 4.99 5/342 95260
/proc/meminfo: memFree=86339488/131249996 swapFree=33010684/33010684
[pid=95007] ppid=95002 vsize=19063512 memory=5504564 CPUtime=3543.75 cores=4,6
/proc/95007/stat : 95007 (java) S 95002 95007 94956 0 -1 4194304 226506 0 238 0 353499 876 0 0 20 0 20 0 75438217 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
/proc/95007/statm: 4765878 1376141 5508 1 0 1391743 0
[pid=95007/tid=95017] ppid=95002 vsize=19063512 memory=18944 CPUtime=2824.07 cores=4,6
/proc/95007/task/95017/stat : 95017 (java) R 95002 95007 94956 0 -1 4194368 73279 0 185 0 282319 88 0 0 20 0 20 0 75438222 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95045] ppid=95002 vsize=19063512 memory=5504564 CPUtime=0 cores=4,6
/proc/95007/task/95045/stat : 95045 (Finalizer) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95065] ppid=95002 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/95007/task/95065/stat : 95065 (Common-Cleaner) S 95002 95007 94956 0 -1 4194368 1004 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95084] ppid=95002 vsize=19063512 memory=5504564 CPUtime=0 cores=4,6
/proc/95007/task/95084/stat : 95084 (Timer-0) S 95002 95007 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438246 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
Current children cumulated CPU time: 3543.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5504564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2900 s]*
/proc/loadavg: 5.01 5.03 4.99 6/341 95263
/proc/meminfo: memFree=86338692/131249996 swapFree=33010684/33010684
[pid=95007] ppid=95002 vsize=19063512 memory=5504564 CPUtime=3600.1 cores=4,6
/proc/95007/stat : 95007 (java) S 95002 95007 94956 0 -1 4194304 226619 0 238 0 359113 897 0 0 20 0 20 0 75438217 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
/proc/95007/statm: 4765878 1376141 5508 1 0 1391743 0
[pid=95007/tid=95017] ppid=95002 vsize=19063512 memory=-6000919494148122470 CPUtime=2861.06 cores=4,6
/proc/95007/task/95017/stat : 95017 (java) R 95002 95007 94956 0 -1 4194368 73309 0 185 0 286017 89 0 0 20 0 20 0 75438222 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95045] ppid=95002 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=4,6
/proc/95007/task/95045/stat : 95045 (Finalizer) S 95002 95007 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95065] ppid=95002 vsize=19063512 memory=10127988 CPUtime=0 cores=4,6
/proc/95007/task/95065/stat : 95065 (Common-Cleaner) S 95002 95007 94956 0 -1 4194368 1022 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
[pid=95007/tid=95084] ppid=95002 vsize=19063512 memory=6996 CPUtime=0 cores=4,6
/proc/95007/task/95084/stat : 95084 (Timer-0) S 95002 95007 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438246 19521036288 1376141 18446744073709551615 94510604828672 94510604832368 140722051114960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94510604840184 94510604840976 94510638243840 140722051119486 140722051119590 140722051119590 140722051125192 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5504564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2900.13 s]
# the end of solver process 95007 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3591.33 s, system=9.0037 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2900.11 s]*
/proc/loadavg: 5.01 5.03 4.99 5/323 95266
/proc/meminfo: memFree=88435844/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2900.13
CPU time (s): 3600.33
CPU user time (s): 3591.33
CPU system time (s): 9.0037
CPU usage (%): 124.144
Max. virtual memory (cumulated for all children) (KiB): 19066568
Max. memory (cumulated for all children) (KiB): 5504564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.33
system time used= 9.0037
maximum resident set size= 5505588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228459
page faults= 238
swaps= 0
block input operations= 24
block output operations= 24688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 184144
involuntary context switches= 57903
# summary of solver processes directly reported to runsolver:
# pid: 95007
# total CPU time (s): 3600.33
# total CPU user time (s): 3591.33
# total CPU system time (s): 9.0037
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.99383 second user time and 15.141 second system time
The end