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 (61372 MiB free)
memory of node 1: 64507 MiB (61141 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507820-1751502482/watcher-4507820-1751502482 -o /tmp/evaluation-result-4507820-1751502482/solver-4507820-1751502482 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751495280-75882 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4507820-1751502482.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=76993, runsolver pid=76990
[startup+0.100026 s]*
/proc/loadavg: 4.25 4.22 4.18 5/339 77011
/proc/meminfo: memFree=125417820/131250000 swapFree=33010416/33010684
[pid=76993] ppid=76990 vsize=18930384 memory=59632 CPUtime=0.12 cores=0,2
/proc/76993/stat : 76993 (java) S 76990 76993 75872 0 -1 4194304 6519 0 0 0 11 1 0 0 20 0 18 0 65926029 19384713216 14908 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
/proc/76993/statm: 4732596 14908 5344 1 0 547641 0
[pid=76993/tid=76995] ppid=76990 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/76993/task/76995/stat : 76995 (java) R 76990 76993 75872 0 -1 4194368 5098 0 0 0 7 1 0 0 20 0 18 0 65926030 19384713216 14908 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77004] ppid=76990 vsize=18930384 memory=237112656212 CPUtime=0 cores=0,2
/proc/76993/task/77004/stat : 77004 (Finalizer) S 76990 76993 75872 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 65926032 19384713216 14908 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77011] ppid=76990 vsize=18930384 memory=59585004336188 CPUtime=0 cores=0,2
/proc/76993/task/77011/stat : 77011 (Common-Cleaner) S 76990 76993 75872 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 65926032 19384713216 14908 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59632 KiB
[startup+0.205633 s]*
/proc/loadavg: 4.25 4.22 4.18 6/339 77012
/proc/meminfo: memFree=125409376/131250000 swapFree=33010416/33010684
[pid=76993] ppid=76990 vsize=18930384 memory=69784 CPUtime=0.33 cores=0,2
/proc/76993/stat : 76993 (java) S 76990 76993 75872 0 -1 4194304 6933 0 0 0 31 2 0 0 20 0 18 0 65926029 19384713216 17446 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
/proc/76993/statm: 4732596 17446 5440 1 0 547984 0
[pid=76993/tid=76995] ppid=76990 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=0,2
/proc/76993/task/76995/stat : 76995 (java) R 76990 76993 75872 0 -1 4194368 5358 0 0 0 16 1 0 0 20 0 18 0 65926030 19384713216 17446 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77004] ppid=76990 vsize=18930384 memory=16163 CPUtime=0 cores=0,2
/proc/76993/task/77004/stat : 77004 (Finalizer) S 76990 76993 75872 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 65926032 19384713216 17446 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77011] ppid=76990 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/76993/task/77011/stat : 77011 (Common-Cleaner) S 76990 76993 75872 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 65926032 19384713216 17446 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 69784 KiB
[startup+0.305608 s]*
/proc/loadavg: 4.25 4.22 4.18 6/339 77012
/proc/meminfo: memFree=125359720/131250000 swapFree=33010416/33010684
[pid=76993] ppid=76990 vsize=18930384 memory=119448 CPUtime=0.52 cores=0,2
/proc/76993/stat : 76993 (java) S 76990 76993 75872 0 -1 4194304 8524 0 0 0 49 3 0 0 20 0 18 0 65926029 19384713216 29862 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
/proc/76993/statm: 4732596 29862 5440 1 0 549094 0
[pid=76993/tid=76995] ppid=76990 vsize=18930384 memory=-6000919506998879848 CPUtime=0.25 cores=0,2
/proc/76993/task/76995/stat : 76995 (java) R 76990 76993 75872 0 -1 4194368 5414 0 0 0 23 2 0 0 20 0 18 0 65926030 19384713216 29862 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77004] ppid=76990 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/76993/task/77004/stat : 77004 (Finalizer) S 76990 76993 75872 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 65926032 19384713216 29862 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77011] ppid=76990 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/76993/task/77011/stat : 77011 (Common-Cleaner) S 76990 76993 75872 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 65926032 19384713216 29862 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 119448 KiB
[startup+0.70022 s]
/proc/loadavg: 4.25 4.22 4.18 6/341 77014
/proc/meminfo: memFree=125301940/131250000 swapFree=33010416/33010684
[pid=76993] ppid=76990 vsize=19063512 memory=185796 CPUtime=1.27 cores=0,2
/proc/76993/stat : 76993 (java) S 76990 76993 75872 0 -1 4194304 18582 0 0 0 121 6 0 0 20 0 20 0 65926029 19521036288 46449 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
/proc/76993/statm: 4765878 46449 5504 1 0 555648 0
[pid=76993/tid=76995] ppid=76990 vsize=19063512 memory=18432 CPUtime=0.53 cores=0,2
/proc/76993/task/76995/stat : 76995 (java) R 76990 76993 75872 0 -1 4194368 5542 0 0 0 50 3 0 0 20 0 20 0 65926030 19521036288 46449 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77004] ppid=76990 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/76993/task/77004/stat : 77004 (Finalizer) S 76990 76993 75872 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 46449 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77011] ppid=76990 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/76993/task/77011/stat : 77011 (Common-Cleaner) S 76990 76993 75872 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 46449 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77014] ppid=76990 vsize=19063512 memory=4740 CPUtime=0 cores=0,2
/proc/76993/task/77014/stat : 77014 (Timer-0) S 76990 76993 75872 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 65926074 19521036288 46449 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185796 KiB
[startup+1.50023 s]
/proc/loadavg: 4.25 4.22 4.18 7/341 77014
/proc/meminfo: memFree=125258844/131250000 swapFree=33010416/33010684
[pid=76993] ppid=76990 vsize=19063512 memory=212424 CPUtime=2.86 cores=0,2
/proc/76993/stat : 76993 (java) S 76990 76993 75872 0 -1 4194304 24130 0 0 0 278 8 0 0 20 0 20 0 65926029 19521036288 53106 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
/proc/76993/statm: 4765878 53106 5504 1 0 555683 0
[pid=76993/tid=76995] ppid=76990 vsize=19063512 memory=0 CPUtime=1.25 cores=0,2
/proc/76993/task/76995/stat : 76995 (java) R 76990 76993 75872 0 -1 4194368 5640 0 0 0 122 3 0 0 20 0 20 0 65926030 19521036288 53106 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77004] ppid=76990 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/76993/task/77004/stat : 77004 (Finalizer) S 76990 76993 75872 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 53106 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77011] ppid=76990 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/76993/task/77011/stat : 77011 (Common-Cleaner) S 76990 76993 75872 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 53106 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77014] ppid=76990 vsize=19063512 memory=4740 CPUtime=0 cores=0,2
/proc/76993/task/77014/stat : 77014 (Timer-0) S 76990 76993 75872 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 65926074 19521036288 53106 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 212424 KiB
[startup+3.10592 s]
/proc/loadavg: 4.31 4.23 4.19 5/341 77014
/proc/meminfo: memFree=124395124/131250000 swapFree=33010416/33010684
[pid=76993] ppid=76990 vsize=19063512 memory=984780 CPUtime=5.46 cores=0,2
/proc/76993/stat : 76993 (java) S 76990 76993 75872 0 -1 4194304 27537 0 0 0 524 22 0 0 20 0 20 0 65926029 19521036288 246195 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
/proc/76993/statm: 4765878 246195 5504 1 0 726962 0
[pid=76993/tid=76995] ppid=76990 vsize=19063512 memory=10496 CPUtime=2.82 cores=0,2
/proc/76993/task/76995/stat : 76995 (java) R 76990 76993 75872 0 -1 4194368 6921 0 0 0 265 17 0 0 20 0 20 0 65926030 19521036288 246195 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77004] ppid=76990 vsize=19063512 memory=-6000919506998879848 CPUtime=0 cores=0,2
/proc/76993/task/77004/stat : 77004 (Finalizer) S 76990 76993 75872 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 246195 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77011] ppid=76990 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/76993/task/77011/stat : 77011 (Common-Cleaner) S 76990 76993 75872 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 246195 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77014] ppid=76990 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/76993/task/77014/stat : 77014 (Timer-0) S 76990 76993 75872 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 65926074 19521036288 246195 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
Current children cumulated CPU time: 5.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 984780 KiB
[startup+6.30021 s]
/proc/loadavg: 4.31 4.23 4.19 5/341 77014
/proc/meminfo: memFree=124067948/131250000 swapFree=33010416/33010684
[pid=76993] ppid=76990 vsize=19063512 memory=1218656 CPUtime=8.83 cores=0,2
/proc/76993/stat : 76993 (java) S 76990 76993 75872 0 -1 4194304 28974 0 0 0 856 27 0 0 20 0 20 0 65926029 19521036288 304664 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
/proc/76993/statm: 4765878 304664 5536 1 0 727004 0
[pid=76993/tid=76995] ppid=76990 vsize=19063512 memory=0 CPUtime=5.89 cores=0,2
/proc/76993/task/76995/stat : 76995 (java) R 76990 76993 75872 0 -1 4194368 7847 0 0 0 568 21 0 0 20 0 20 0 65926030 19521036288 304664 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77004] ppid=76990 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/76993/task/77004/stat : 77004 (Finalizer) S 76990 76993 75872 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 304664 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77011] ppid=76990 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/76993/task/77011/stat : 77011 (Common-Cleaner) S 76990 76993 75872 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 304664 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77014] ppid=76990 vsize=19063512 memory=212552 CPUtime=0 cores=0,2
/proc/76993/task/77014/stat : 77014 (Timer-0) S 76990 76993 75872 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 65926074 19521036288 304664 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
Current children cumulated CPU time: 8.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1218656 KiB
[startup+12.7002 s]
/proc/loadavg: 4.26 4.22 4.19 5/341 77014
/proc/meminfo: memFree=122782812/131250000 swapFree=33010416/33010684
[pid=76993] ppid=76990 vsize=19063512 memory=2307428 CPUtime=15.39 cores=0,2
/proc/76993/stat : 76993 (java) S 76990 76993 75872 0 -1 4194304 30522 0 0 0 1490 49 0 0 20 0 20 0 65926029 19521036288 576857 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
/proc/76993/statm: 4765878 576857 5536 1 0 862789 0
[pid=76993/tid=76995] ppid=76990 vsize=19063512 memory=212552 CPUtime=12.14 cores=0,2
/proc/76993/task/76995/stat : 76995 (java) R 76990 76993 75872 0 -1 4194368 8842 0 0 0 1173 41 0 0 20 0 20 0 65926030 19521036288 576857 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77004] ppid=76990 vsize=19063512 memory=16448 CPUtime=0 cores=0,2
/proc/76993/task/77004/stat : 77004 (Finalizer) S 76990 76993 75872 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 576857 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77011] ppid=76990 vsize=19063512 memory=2307428 CPUtime=0 cores=0,2
/proc/76993/task/77011/stat : 77011 (Common-Cleaner) S 76990 76993 75872 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 576857 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77014] ppid=76990 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/76993/task/77014/stat : 77014 (Timer-0) S 76990 76993 75872 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 65926074 19521036288 576857 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
Current children cumulated CPU time: 15.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2307428 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.21 4.18 5/341 77014
/proc/meminfo: memFree=122358356/131250000 swapFree=33010416/33010684
[pid=76993] ppid=76990 vsize=19063512 memory=2309852 CPUtime=29 cores=0,2
/proc/76993/stat : 76993 (java) S 76990 76993 75872 0 -1 4194304 37345 0 0 0 2850 50 0 0 20 0 20 0 65926029 19521036288 577463 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
/proc/76993/statm: 4765878 577463 5536 1 0 862789 0
[pid=76993/tid=76995] ppid=76990 vsize=19063512 memory=-6000919506998879848 CPUtime=24.62 cores=0,2
/proc/76993/task/76995/stat : 76995 (java) R 76990 76993 75872 0 -1 4194368 10783 0 0 0 2421 41 0 0 20 0 20 0 65926030 19521036288 577463 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77004] ppid=76990 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/76993/task/77004/stat : 77004 (Finalizer) S 76990 76993 75872 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 577463 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77011] ppid=76990 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/76993/task/77011/stat : 77011 (Common-Cleaner) S 76990 76993 75872 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 577463 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77014] ppid=76990 vsize=19063512 memory=16448 CPUtime=0 cores=0,2
/proc/76993/task/77014/stat : 77014 (Timer-0) S 76990 76993 75872 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 65926074 19521036288 577463 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
Current children cumulated CPU time: 29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2309852 KiB
[startup+51.1056 s]
/proc/loadavg: 4.22 4.21 4.18 5/341 77015
/proc/meminfo: memFree=120883704/131250000 swapFree=33010416/33010684
[pid=76993] ppid=76990 vsize=19063512 memory=2353448 CPUtime=55.3 cores=0,2
/proc/76993/stat : 76993 (java) S 76990 76993 75872 0 -1 4194304 45947 0 0 0 5477 53 0 0 20 0 20 0 65926029 19521036288 588362 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
/proc/76993/statm: 4765878 588362 5536 1 0 863873 0
[pid=76993/tid=76995] ppid=76990 vsize=19063512 memory=2347292 CPUtime=49.62 cores=0,2
/proc/76993/task/76995/stat : 76995 (java) R 76990 76993 75872 0 -1 4194368 13198 0 0 0 4920 42 0 0 20 0 20 0 65926030 19521036288 588362 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77004] ppid=76990 vsize=19063512 memory=2334900 CPUtime=0 cores=0,2
/proc/76993/task/77004/stat : 77004 (Finalizer) S 76990 76993 75872 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 588362 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77011] ppid=76990 vsize=19063512 memory=2307556 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/meminfo: memFree=101401600/131250000 swapFree=33010416/33010684
[pid=76993] ppid=76990 vsize=19063512 memory=3344092 CPUtime=3185.73 cores=0,2
/proc/76993/stat : 76993 (java) S 76990 76993 75872 0 -1 4194304 126542 0 0 0 318382 191 0 0 20 0 20 0 65926029 19521036288 836023 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
/proc/76993/statm: 4765878 836023 5536 1 0 864522 0
[pid=76993/tid=76995] ppid=76990 vsize=19063512 memory=3274416 CPUtime=3128.99 cores=0,2
/proc/76993/task/76995/stat : 76995 (java) R 76990 76993 75872 0 -1 4194368 60706 0 0 0 312821 78 0 0 20 0 20 0 65926030 19521036288 836023 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77004] ppid=76990 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/76993/task/77004/stat : 77004 (Finalizer) S 76990 76993 75872 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 836023 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77011] ppid=76990 vsize=19063512 memory=17268 CPUtime=0 cores=0,2
/proc/76993/task/77011/stat : 77011 (Common-Cleaner) S 76990 76993 75872 0 -1 4194368 1740 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 836023 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77014] ppid=76990 vsize=19063512 memory=16448 CPUtime=0 cores=0,2
/proc/76993/task/77014/stat : 77014 (Timer-0) S 76990 76993 75872 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 65926074 19521036288 836023 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
Current children cumulated CPU time: 3185.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3344092 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.21 4.19 5/341 77202
/proc/meminfo: memFree=100437872/131250000 swapFree=33010416/33010684
[pid=76993] ppid=76990 vsize=19063512 memory=3346140 CPUtime=3245.95 cores=0,2
/proc/76993/stat : 76993 (java) S 76990 76993 75872 0 -1 4194304 128633 0 0 0 324401 194 0 0 20 0 20 0 65926029 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
/proc/76993/statm: 4765878 836535 5536 1 0 864522 0
[pid=76993/tid=76995] ppid=76990 vsize=19063512 memory=3344092 CPUtime=3188.45 cores=0,2
/proc/76993/task/76995/stat : 76995 (java) S 76990 76993 75872 0 -1 4194368 61955 0 0 0 318766 79 0 0 20 0 20 0 65926030 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77004] ppid=76990 vsize=19063512 memory=3344092 CPUtime=0 cores=0,2
/proc/76993/task/77004/stat : 77004 (Finalizer) S 76990 76993 75872 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77011] ppid=76990 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/76993/task/77011/stat : 77011 (Common-Cleaner) S 76990 76993 75872 0 -1 4194368 1740 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77014] ppid=76990 vsize=19063512 memory=3346140 CPUtime=0 cores=0,2
/proc/76993/task/77014/stat : 77014 (Timer-0) S 76990 76993 75872 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 65926074 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
Current children cumulated CPU time: 3245.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3346140 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.20 4.18 5/342 77205
/proc/meminfo: memFree=99846264/131250000 swapFree=33010416/33010684
[pid=76993] ppid=76990 vsize=19063512 memory=3346140 CPUtime=3306.15 cores=0,2
/proc/76993/stat : 76993 (java) S 76990 76993 75872 0 -1 4194304 128748 0 0 0 330419 196 0 0 20 0 20 0 65926029 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
/proc/76993/statm: 4765878 836535 5536 1 0 864522 0
[pid=76993/tid=76995] ppid=76990 vsize=19063512 memory=3346140 CPUtime=3247.91 cores=0,2
/proc/76993/task/76995/stat : 76995 (java) R 76990 76993 75872 0 -1 4194368 61983 0 0 0 324711 80 0 0 20 0 20 0 65926030 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77004] ppid=76990 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/76993/task/77004/stat : 77004 (Finalizer) S 76990 76993 75872 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77011] ppid=76990 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/76993/task/77011/stat : 77011 (Common-Cleaner) S 76990 76993 75872 0 -1 4194368 1775 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77014] ppid=76990 vsize=19063512 memory=3346140 CPUtime=0 cores=0,2
/proc/76993/task/77014/stat : 77014 (Timer-0) S 76990 76993 75872 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 65926074 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
Current children cumulated CPU time: 3306.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3346140 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/342 77208
/proc/meminfo: memFree=99500180/131250000 swapFree=33010416/33010684
[pid=76993] ppid=76990 vsize=19063512 memory=3346140 CPUtime=3366.28 cores=0,2
/proc/76993/stat : 76993 (java) S 76990 76993 75872 0 -1 4194304 130363 0 0 0 336429 199 0 0 20 0 20 0 65926029 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
/proc/76993/statm: 4765878 836535 5536 1 0 864522 0
[pid=76993/tid=76995] ppid=76990 vsize=19063512 memory=3346140 CPUtime=3307.4 cores=0,2
/proc/76993/task/76995/stat : 76995 (java) R 76990 76993 75872 0 -1 4194368 63449 0 0 0 330659 81 0 0 20 0 20 0 65926030 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77004] ppid=76990 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/76993/task/77004/stat : 77004 (Finalizer) S 76990 76993 75872 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77011] ppid=76990 vsize=19063512 memory=3346140 CPUtime=0 cores=0,2
/proc/76993/task/77011/stat : 77011 (Common-Cleaner) S 76990 76993 75872 0 -1 4194368 1775 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77014] ppid=76990 vsize=19063512 memory=3346140 CPUtime=0 cores=0,2
/proc/76993/task/77014/stat : 77014 (Timer-0) S 76990 76993 75872 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 65926074 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
Current children cumulated CPU time: 3366.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3346140 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.20 4.18 6/342 77211
/proc/meminfo: memFree=99262496/131250000 swapFree=33010416/33010684
[pid=76993] ppid=76990 vsize=19063512 memory=3346140 CPUtime=3426.62 cores=0,2
/proc/76993/stat : 76993 (java) S 76990 76993 75872 0 -1 4194304 132861 0 0 0 342461 201 0 0 20 0 20 0 65926029 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
/proc/76993/statm: 4765878 836535 5536 1 0 864522 0
[pid=76993/tid=76995] ppid=76990 vsize=19063512 memory=3346140 CPUtime=3366.81 cores=0,2
/proc/76993/task/76995/stat : 76995 (java) R 76990 76993 75872 0 -1 4194368 64874 0 0 0 336599 82 0 0 20 0 20 0 65926030 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77004] ppid=76990 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/76993/task/77004/stat : 77004 (Finalizer) S 76990 76993 75872 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77011] ppid=76990 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/76993/task/77011/stat : 77011 (Common-Cleaner) S 76990 76993 75872 0 -1 4194368 1821 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77014] ppid=76990 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/76993/task/77014/stat : 77014 (Timer-0) S 76990 76993 75872 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 65926074 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
Current children cumulated CPU time: 3426.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3346140 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.18 4.18 5/343 77214
/proc/meminfo: memFree=99004708/131250000 swapFree=33010416/33010684
[pid=76993] ppid=76990 vsize=19063512 memory=3346140 CPUtime=3487.5 cores=0,2
/proc/76993/stat : 76993 (java) S 76990 76993 75872 0 -1 4194304 134668 0 0 0 348546 204 0 0 20 0 20 0 65926029 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
/proc/76993/statm: 4765878 836535 5536 1 0 864522 0
[pid=76993/tid=76995] ppid=76990 vsize=19063512 memory=3346140 CPUtime=3425.95 cores=0,2
/proc/76993/task/76995/stat : 76995 (java) R 76990 76993 75872 0 -1 4194368 65765 0 0 0 342513 82 0 0 20 0 20 0 65926030 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77004] ppid=76990 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/76993/task/77004/stat : 77004 (Finalizer) S 76990 76993 75872 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77011] ppid=76990 vsize=19063512 memory=3346140 CPUtime=0 cores=0,2
/proc/76993/task/77011/stat : 77011 (Common-Cleaner) S 76990 76993 75872 0 -1 4194368 1890 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77014] ppid=76990 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/76993/task/77014/stat : 77014 (Timer-0) S 76990 76993 75872 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 65926074 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
Current children cumulated CPU time: 3487.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3346140 KiB
[startup+3522.3 s]
/proc/loadavg: 3.49 3.99 4.11 4/298 77266
/proc/meminfo: memFree=118911328/131250000 swapFree=33010416/33010684
[pid=76993] ppid=76990 vsize=19063512 memory=3346140 CPUtime=3547.96 cores=0,2
/proc/76993/stat : 76993 (java) S 76990 76993 75872 0 -1 4194304 135218 0 0 0 354591 205 0 0 20 0 20 0 65926029 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
/proc/76993/statm: 4765878 836535 5536 1 0 864522 0
[pid=76993/tid=76995] ppid=76990 vsize=19063512 memory=3346140 CPUtime=3485.19 cores=0,2
/proc/76993/task/76995/stat : 76995 (java) R 76990 76993 75872 0 -1 4194368 66057 0 0 0 348437 82 0 0 20 0 20 0 65926030 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77004] ppid=76990 vsize=19063512 memory=3346140 CPUtime=0 cores=0,2
/proc/76993/task/77004/stat : 77004 (Finalizer) S 76990 76993 75872 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77011] ppid=76990 vsize=19063512 memory=16448 CPUtime=0 cores=0,2
/proc/76993/task/77011/stat : 77011 (Common-Cleaner) S 76990 76993 75872 0 -1 4194368 1890 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77014] ppid=76990 vsize=19063512 memory=16448 CPUtime=0 cores=0,2
/proc/76993/task/77014/stat : 77014 (Timer-0) S 76990 76993 75872 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 65926074 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
Current children cumulated CPU time: 3547.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3346140 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3574.2 s]
/proc/loadavg: 2.73 3.70 4.00 3/273 77301
/proc/meminfo: memFree=126371196/131250000 swapFree=33010416/33010684
[pid=76993] ppid=76990 vsize=19063512 memory=3346140 CPUtime=3600.02 cores=0,2
/proc/76993/stat : 76993 (java) S 76990 76993 75872 0 -1 4194304 137150 0 0 0 359795 207 0 0 20 0 20 0 65926029 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
/proc/76993/statm: 4765878 836535 5536 1 0 864522 0
[pid=76993/tid=76995] ppid=76990 vsize=19063512 memory=211292520752 CPUtime=3536.63 cores=0,2
/proc/76993/task/76995/stat : 76995 (java) R 76990 76993 75872 0 -1 4194368 67181 0 0 0 353580 83 0 0 20 0 20 0 65926030 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77004] ppid=76990 vsize=19063512 memory=4179398965411971830 CPUtime=0 cores=0,2
/proc/76993/task/77004/stat : 77004 (Finalizer) S 76990 76993 75872 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77011] ppid=76990 vsize=19063512 memory=3618704101799700879 CPUtime=0 cores=0,2
/proc/76993/task/77011/stat : 77011 (Common-Cleaner) S 76990 76993 75872 0 -1 4194368 1890 0 0 0 0 0 0 0 20 0 20 0 65926032 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
[pid=76993/tid=77014] ppid=76990 vsize=19063512 memory=58511212151542 CPUtime=0 cores=0,2
/proc/76993/task/77014/stat : 77014 (Timer-0) S 76990 76993 75872 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 65926074 19521036288 836535 18446744073709551615 94152923922432 94152923926128 140732199116368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94152923933944 94152923934736 94152935374848 140732199119230 140732199119334 140732199119334 140732199124936 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3346140 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3574.3 s]
# the end of solver process 76993 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.11 s, system=2.09269 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3574.3
CPU time (s): 3600.2
CPU user time (s): 3598.11
CPU system time (s): 2.09269
CPU usage (%): 100.725
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3346140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.11
system time used= 2.09269
maximum resident set size= 3347292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139771
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139091
involuntary context switches= 27210
# summary of solver processes directly reported to runsolver:
# pid: 76993
# total CPU time (s): 3600.2
# total CPU user time (s): 3598.11
# total CPU system time (s): 2.09269
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.205 second user time and 17.0339 second system time
The end