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 (52469 MiB free)
memory of node 1: 64465 MiB (49098 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525217-1751621400/watcher-4525217-1751621400 -o /tmp/evaluation-result-4525217-1751621400/solver-4525217-1751621400 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751616933-86636 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525217-1751621400.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=88976, runsolver pid=88973
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.01 4.11 4.09 6/339 88994
/proc/meminfo: memFree=103983536/131249996 swapFree=33010160/33010684
[pid=88976] ppid=88973 vsize=18930384 memory=57276 CPUtime=0.12 cores=1,3
/proc/88976/stat : 88976 (java) S 88973 88976 86624 0 -1 4194304 6461 0 0 0 10 2 0 0 20 0 18 0 77818608 19384713216 14319 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
/proc/88976/statm: 4732596 14319 5337 1 0 547604 0
[pid=88976/tid=88978] ppid=88973 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/88976/task/88978/stat : 88978 (java) R 88973 88976 86624 0 -1 4194368 5045 0 0 0 6 1 0 0 20 0 18 0 77818609 19384713216 14319 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88987] ppid=88973 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/88976/task/88987/stat : 88987 (Finalizer) S 88973 88976 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77818611 19384713216 14319 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88994] ppid=88973 vsize=18930384 memory=61784027576291 CPUtime=0 cores=1,3
/proc/88976/task/88994/stat : 88994 (Common-Cleaner) S 88973 88976 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77818612 19384713216 14319 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57276 KiB
[startup+0.205836 s]*
/proc/loadavg: 4.01 4.11 4.09 7/340 88995
/proc/meminfo: memFree=103980512/131249996 swapFree=33010160/33010684
[pid=88976] ppid=88973 vsize=18996948 memory=64740 CPUtime=0.31 cores=1,3
/proc/88976/stat : 88976 (java) S 88973 88976 86624 0 -1 4194304 7711 0 0 0 29 2 0 0 20 0 19 0 77818608 19452874752 16185 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
/proc/88976/statm: 4749237 16185 5465 1 0 548561 0
[pid=88976/tid=88978] ppid=88973 vsize=18996948 memory=4026794268 CPUtime=0.17 cores=1,3
/proc/88976/task/88978/stat : 88978 (java) R 88973 88976 86624 0 -1 4194368 5380 0 0 0 16 1 0 0 20 0 19 0 77818609 19452874752 16185 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88987] ppid=88973 vsize=18996948 memory=13937 CPUtime=0 cores=1,3
/proc/88976/task/88987/stat : 88987 (Finalizer) S 88973 88976 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77818611 19452874752 16185 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88994] ppid=88973 vsize=18996948 memory=60684515935208 CPUtime=0 cores=1,3
/proc/88976/task/88994/stat : 88994 (Common-Cleaner) S 88973 88976 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77818612 19452874752 16185 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88995] ppid=88973 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/88976/task/88995/stat : 88995 (Timer-0) S 88973 88976 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77818625 19452874752 16185 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64740 KiB
[startup+0.305826 s]*
/proc/loadavg: 4.01 4.11 4.09 6/340 88995
/proc/meminfo: memFree=103974716/131249996 swapFree=33010160/33010684
[pid=88976] ppid=88973 vsize=18996948 memory=70088 CPUtime=0.51 cores=1,3
/proc/88976/stat : 88976 (java) S 88973 88976 86624 0 -1 4194304 9700 0 0 0 48 3 0 0 20 0 19 0 77818608 19452874752 17522 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
/proc/88976/statm: 4749237 17522 5497 1 0 549855 0
[pid=88976/tid=88978] ppid=88973 vsize=18996948 memory=-6000919494147531879 CPUtime=0.24 cores=1,3
/proc/88976/task/88978/stat : 88978 (java) R 88973 88976 86624 0 -1 4194368 5383 0 0 0 23 1 0 0 20 0 19 0 77818609 19452874752 17522 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88987] ppid=88973 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/88976/task/88987/stat : 88987 (Finalizer) S 88973 88976 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77818611 19452874752 17522 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88994] ppid=88973 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/88976/task/88994/stat : 88994 (Common-Cleaner) S 88973 88976 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77818612 19452874752 17522 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88995] ppid=88973 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/88976/task/88995/stat : 88995 (Timer-0) S 88973 88976 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77818625 19452874752 17522 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70088 KiB
[startup+0.700242 s]
/proc/loadavg: 4.01 4.11 4.09 6/340 88995
/proc/meminfo: memFree=103962744/131249996 swapFree=33010160/33010684
[pid=88976] ppid=88973 vsize=18996948 memory=90132 CPUtime=1.27 cores=1,3
/proc/88976/stat : 88976 (java) S 88973 88976 86624 0 -1 4194304 12718 0 0 0 124 3 0 0 20 0 19 0 77818608 19452874752 22533 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
/proc/88976/statm: 4749237 22533 5497 1 0 552246 0
[pid=88976/tid=88978] ppid=88973 vsize=18996948 memory=18560 CPUtime=0.62 cores=1,3
/proc/88976/task/88978/stat : 88978 (java) R 88973 88976 86624 0 -1 4194368 5433 0 0 0 60 2 0 0 20 0 19 0 77818609 19452874752 22533 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88987] ppid=88973 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/88976/task/88987/stat : 88987 (Finalizer) S 88973 88976 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77818611 19452874752 22533 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88994] ppid=88973 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/88976/task/88994/stat : 88994 (Common-Cleaner) S 88973 88976 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77818612 19452874752 22533 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88995] ppid=88973 vsize=18996948 memory=4496 CPUtime=0 cores=1,3
/proc/88976/task/88995/stat : 88995 (Timer-0) S 88973 88976 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77818625 19452874752 22533 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90132 KiB
[startup+1.50023 s]
/proc/loadavg: 4.01 4.11 4.09 5/340 88995
/proc/meminfo: memFree=103944660/131249996 swapFree=33010160/33010684
[pid=88976] ppid=88973 vsize=18996948 memory=113304 CPUtime=2.47 cores=1,3
/proc/88976/stat : 88976 (java) S 88973 88976 86624 0 -1 4194304 15768 0 0 0 243 4 0 0 20 0 19 0 77818608 19452874752 28326 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
/proc/88976/statm: 4749237 28326 5497 1 0 552295 0
[pid=88976/tid=88978] ppid=88973 vsize=18996948 memory=0 CPUtime=1.41 cores=1,3
/proc/88976/task/88978/stat : 88978 (java) R 88973 88976 86624 0 -1 4194368 5578 0 0 0 139 2 0 0 20 0 19 0 77818609 19452874752 28326 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88987] ppid=88973 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/88976/task/88987/stat : 88987 (Finalizer) S 88973 88976 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77818611 19452874752 28326 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88994] ppid=88973 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/88976/task/88994/stat : 88994 (Common-Cleaner) S 88973 88976 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77818612 19452874752 28326 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88995] ppid=88973 vsize=18996948 memory=4496 CPUtime=0 cores=1,3
/proc/88976/task/88995/stat : 88995 (Timer-0) S 88973 88976 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77818625 19452874752 28326 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 113304 KiB
[startup+3.10567 s]
/proc/loadavg: 4.01 4.11 4.09 5/340 88995
/proc/meminfo: memFree=103893744/131249996 swapFree=33010160/33010684
[pid=88976] ppid=88973 vsize=18996948 memory=144028 CPUtime=4.09 cores=1,3
/proc/88976/stat : 88976 (java) S 88973 88976 86624 0 -1 4194304 16547 0 0 0 404 5 0 0 20 0 19 0 77818608 19452874752 36007 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
/proc/88976/statm: 4749237 36007 5497 1 0 552300 0
[pid=88976/tid=88978] ppid=88973 vsize=18996948 memory=11136 CPUtime=3.02 cores=1,3
/proc/88976/task/88978/stat : 88978 (java) R 88973 88976 86624 0 -1 4194368 6105 0 0 0 299 3 0 0 20 0 19 0 77818609 19452874752 36007 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88987] ppid=88973 vsize=18996948 memory=-6000919494147531879 CPUtime=0 cores=1,3
/proc/88976/task/88987/stat : 88987 (Finalizer) S 88973 88976 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77818611 19452874752 36007 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88994] ppid=88973 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/88976/task/88994/stat : 88994 (Common-Cleaner) S 88973 88976 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77818612 19452874752 36007 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88995] ppid=88973 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/88976/task/88995/stat : 88995 (Timer-0) S 88973 88976 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77818625 19452874752 36007 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
Current children cumulated CPU time: 4.09 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 144028 KiB
[startup+6.30021 s]
/proc/loadavg: 4.01 4.11 4.09 5/341 88996
/proc/meminfo: memFree=103848784/131249996 swapFree=33010160/33010684
[pid=88976] ppid=88973 vsize=19063512 memory=176448 CPUtime=7.4 cores=1,3
/proc/88976/stat : 88976 (java) S 88973 88976 86624 0 -1 4194304 18314 0 0 0 734 6 0 0 20 0 20 0 77818608 19521036288 44112 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
/proc/88976/statm: 4765878 44112 5497 1 0 552589 0
[pid=88976/tid=88978] ppid=88973 vsize=19063512 memory=0 CPUtime=6.19 cores=1,3
/proc/88976/task/88978/stat : 88978 (java) R 88973 88976 86624 0 -1 4194368 6137 0 0 0 616 3 0 0 20 0 20 0 77818609 19521036288 44112 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88987] ppid=88973 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/88976/task/88987/stat : 88987 (Finalizer) S 88973 88976 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77818611 19521036288 44112 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88994] ppid=88973 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/88976/task/88994/stat : 88994 (Common-Cleaner) S 88973 88976 86624 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 77818612 19521036288 44112 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88995] ppid=88973 vsize=19063512 memory=115356 CPUtime=0 cores=1,3
/proc/88976/task/88995/stat : 88995 (Timer-0) S 88973 88976 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77818625 19521036288 44112 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176448 KiB
[startup+12.7002 s]
/proc/loadavg: 4.01 4.11 4.09 5/341 88996
/proc/meminfo: memFree=103816268/131249996 swapFree=33010160/33010684
[pid=88976] ppid=88973 vsize=19063512 memory=199040 CPUtime=13.79 cores=1,3
/proc/88976/stat : 88976 (java) S 88973 88976 86624 0 -1 4194304 21327 0 0 0 1373 6 0 0 20 0 20 0 77818608 19521036288 49760 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
/proc/88976/statm: 4765878 49760 5497 1 0 552589 0
[pid=88976/tid=88978] ppid=88973 vsize=19063512 memory=115356 CPUtime=12.53 cores=1,3
/proc/88976/task/88978/stat : 88978 (java) R 88973 88976 86624 0 -1 4194368 7168 0 0 0 1250 3 0 0 20 0 20 0 77818609 19521036288 49760 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88987] ppid=88973 vsize=19063512 memory=199040 CPUtime=0 cores=1,3
/proc/88976/task/88987/stat : 88987 (Finalizer) S 88973 88976 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77818611 19521036288 49760 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88994] ppid=88973 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/88976/task/88994/stat : 88994 (Common-Cleaner) S 88973 88976 86624 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 77818612 19521036288 49760 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88995] ppid=88973 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/88976/task/88995/stat : 88995 (Timer-0) S 88973 88976 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77818625 19521036288 49760 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
Current children cumulated CPU time: 13.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 199040 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.12 4.09 5/341 88996
/proc/meminfo: memFree=103624576/131249996 swapFree=33010160/33010684
[pid=88976] ppid=88973 vsize=19063512 memory=266908 CPUtime=26.66 cores=1,3
/proc/88976/stat : 88976 (java) S 88973 88976 86624 0 -1 4194304 24370 0 0 0 2658 8 0 0 20 0 20 0 77818608 19521036288 66727 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
/proc/88976/statm: 4765878 66727 5497 1 0 552589 0
[pid=88976/tid=88978] ppid=88973 vsize=19063512 memory=199040 CPUtime=25.25 cores=1,3
/proc/88976/task/88978/stat : 88978 (java) R 88973 88976 86624 0 -1 4194368 7563 0 0 0 2522 3 0 0 20 0 20 0 77818609 19521036288 66727 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88987] ppid=88973 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/88976/task/88987/stat : 88987 (Finalizer) S 88973 88976 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77818611 19521036288 66727 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88994] ppid=88973 vsize=19063512 memory=-6000919494147531879 CPUtime=0 cores=1,3
/proc/88976/task/88994/stat : 88994 (Common-Cleaner) S 88973 88976 86624 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 77818612 19521036288 66727 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88995] ppid=88973 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/88976/task/88995/stat : 88995 (Timer-0) S 88973 88976 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77818625 19521036288 66727 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
Current children cumulated CPU time: 26.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 266908 KiB
[startup+51.1057 s]
/proc/loadavg: 4.05 4.11 4.09 5/341 88997
/proc/meminfo: memFree=103475344/131249996 swapFree=33010160/33010684
[pid=88976] ppid=88973 vsize=19063512 memory=418712 CPUtime=52.32 cores=1,3
/proc/88976/stat : 88976 (java) S 88973 88976 86624 0 -1 4194304 24740 0 0 0 5221 11 0 0 20 0 20 0 77818608 19521036288 104678 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
/proc/88976/statm: 4765878 104678 5497 1 0 552589 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.14 5/342 89388
/proc/meminfo: memFree=107287384/131249996 swapFree=33010160/33010684
[pid=88976] ppid=88973 vsize=19063512 memory=2183220 CPUtime=3281.01 cores=1,3
/proc/88976/stat : 88976 (java) S 88973 88976 86624 0 -1 4194304 81131 0 0 0 327983 118 0 0 20 0 20 0 77818608 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
/proc/88976/statm: 4765878 545805 5561 1 0 575668 0
[pid=88976/tid=88978] ppid=88973 vsize=19063512 memory=2183220 CPUtime=3270.44 cores=1,3
/proc/88976/task/88978/stat : 88978 (java) R 88973 88976 86624 0 -1 4194368 35188 0 0 0 327035 9 0 0 20 0 20 0 77818609 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88987] ppid=88973 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/88976/task/88987/stat : 88987 (Finalizer) S 88973 88976 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77818611 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88994] ppid=88973 vsize=19063512 memory=2183220 CPUtime=0 cores=1,3
/proc/88976/task/88994/stat : 88994 (Common-Cleaner) S 88973 88976 86624 0 -1 4194368 1051 0 0 0 0 0 0 0 20 0 20 0 77818612 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88995] ppid=88973 vsize=19063512 memory=16496 CPUtime=0 cores=1,3
/proc/88976/task/88995/stat : 88995 (Timer-0) S 88973 88976 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77818625 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
Current children cumulated CPU time: 3281.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183220 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/342 89391
/proc/meminfo: memFree=107209632/131249996 swapFree=33010160/33010684
[pid=88976] ppid=88973 vsize=19063512 memory=2183220 CPUtime=3340.9 cores=1,3
/proc/88976/stat : 88976 (java) S 88973 88976 86624 0 -1 4194304 81712 0 0 0 333970 120 0 0 20 0 20 0 77818608 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
/proc/88976/statm: 4765878 545805 5561 1 0 575668 0
[pid=88976/tid=88978] ppid=88973 vsize=19063512 memory=2183220 CPUtime=3330.31 cores=1,3
/proc/88976/task/88978/stat : 88978 (java) R 88973 88976 86624 0 -1 4194368 35707 0 0 0 333022 9 0 0 20 0 20 0 77818609 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88987] ppid=88973 vsize=19063512 memory=2183220 CPUtime=0 cores=1,3
/proc/88976/task/88987/stat : 88987 (Finalizer) S 88973 88976 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77818611 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88994] ppid=88973 vsize=19063512 memory=2183220 CPUtime=0 cores=1,3
/proc/88976/task/88994/stat : 88994 (Common-Cleaner) S 88973 88976 86624 0 -1 4194368 1051 0 0 0 0 0 0 0 20 0 20 0 77818612 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88995] ppid=88973 vsize=19063512 memory=2183220 CPUtime=0 cores=1,3
/proc/88976/task/88995/stat : 88995 (Timer-0) S 88973 88976 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77818625 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
Current children cumulated CPU time: 3340.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183220 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.13 5/342 89393
/proc/meminfo: memFree=107199764/131249996 swapFree=33010160/33010684
[pid=88976] ppid=88973 vsize=19063512 memory=2183220 CPUtime=3400.79 cores=1,3
/proc/88976/stat : 88976 (java) S 88973 88976 86624 0 -1 4194304 82945 0 0 0 339958 121 0 0 20 0 20 0 77818608 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
/proc/88976/statm: 4765878 545805 5561 1 0 575668 0
[pid=88976/tid=88978] ppid=88973 vsize=19063512 memory=2183220 CPUtime=3390.17 cores=1,3
/proc/88976/task/88978/stat : 88978 (java) R 88973 88976 86624 0 -1 4194368 36681 0 0 0 339008 9 0 0 20 0 20 0 77818609 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88987] ppid=88973 vsize=19063512 memory=2183220 CPUtime=0 cores=1,3
/proc/88976/task/88987/stat : 88987 (Finalizer) S 88973 88976 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77818611 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88994] ppid=88973 vsize=19063512 memory=2183220 CPUtime=0 cores=1,3
/proc/88976/task/88994/stat : 88994 (Common-Cleaner) S 88973 88976 86624 0 -1 4194368 1169 0 0 0 0 0 0 0 20 0 20 0 77818612 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88995] ppid=88973 vsize=19063512 memory=2183220 CPUtime=0 cores=1,3
/proc/88976/task/88995/stat : 88995 (Timer-0) S 88973 88976 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77818625 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
Current children cumulated CPU time: 3400.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183220 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/342 89395
/proc/meminfo: memFree=107108060/131249996 swapFree=33010160/33010684
[pid=88976] ppid=88973 vsize=19063512 memory=2183220 CPUtime=3460.79 cores=1,3
/proc/88976/stat : 88976 (java) S 88973 88976 86624 0 -1 4194304 83997 0 0 0 345957 122 0 0 20 0 20 0 77818608 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
/proc/88976/statm: 4765878 545805 5561 1 0 575668 0
[pid=88976/tid=88978] ppid=88973 vsize=19063512 memory=2183220 CPUtime=3449.91 cores=1,3
/proc/88976/task/88978/stat : 88978 (java) R 88973 88976 86624 0 -1 4194368 36722 0 0 0 344982 9 0 0 20 0 20 0 77818609 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88987] ppid=88973 vsize=19063512 memory=2183220 CPUtime=0 cores=1,3
/proc/88976/task/88987/stat : 88987 (Finalizer) S 88973 88976 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77818611 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88994] ppid=88973 vsize=19063512 memory=2183220 CPUtime=0 cores=1,3
/proc/88976/task/88994/stat : 88994 (Common-Cleaner) S 88973 88976 86624 0 -1 4194368 1287 0 0 0 0 0 0 0 20 0 20 0 77818612 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88995] ppid=88973 vsize=19063512 memory=-6000919494147531879 CPUtime=0 cores=1,3
/proc/88976/task/88995/stat : 88995 (Timer-0) S 88973 88976 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77818625 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
Current children cumulated CPU time: 3460.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183220 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/341 89398
/proc/meminfo: memFree=106887276/131249996 swapFree=33010160/33010684
[pid=88976] ppid=88973 vsize=19063512 memory=2183220 CPUtime=3520.67 cores=1,3
/proc/88976/stat : 88976 (java) S 88973 88976 86624 0 -1 4194304 84554 0 0 0 351944 123 0 0 20 0 20 0 77818608 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
/proc/88976/statm: 4765878 545805 5561 1 0 575668 0
[pid=88976/tid=88978] ppid=88973 vsize=19063512 memory=2183220 CPUtime=3509.77 cores=1,3
/proc/88976/task/88978/stat : 88978 (java) R 88973 88976 86624 0 -1 4194368 37274 0 0 0 350968 9 0 0 20 0 20 0 77818609 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88987] ppid=88973 vsize=19063512 memory=2183220 CPUtime=0 cores=1,3
/proc/88976/task/88987/stat : 88987 (Finalizer) S 88973 88976 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77818611 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88994] ppid=88973 vsize=19063512 memory=2183220 CPUtime=0 cores=1,3
/proc/88976/task/88994/stat : 88994 (Common-Cleaner) S 88973 88976 86624 0 -1 4194368 1287 0 0 0 0 0 0 0 20 0 20 0 77818612 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88995] ppid=88973 vsize=19063512 memory=2183220 CPUtime=0 cores=1,3
/proc/88976/task/88995/stat : 88995 (Timer-0) S 88973 88976 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77818625 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
Current children cumulated CPU time: 3520.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183220 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/341 89400
/proc/meminfo: memFree=106871344/131249996 swapFree=33010160/33010684
[pid=88976] ppid=88973 vsize=19063512 memory=2183220 CPUtime=3580.55 cores=1,3
/proc/88976/stat : 88976 (java) S 88973 88976 86624 0 -1 4194304 85147 0 0 0 357931 124 0 0 20 0 20 0 77818608 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
/proc/88976/statm: 4765878 545805 5561 1 0 575668 0
[pid=88976/tid=88978] ppid=88973 vsize=19063512 memory=2183220 CPUtime=3569.64 cores=1,3
/proc/88976/task/88978/stat : 88978 (java) R 88973 88976 86624 0 -1 4194368 37790 0 0 0 356955 9 0 0 20 0 20 0 77818609 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88987] ppid=88973 vsize=19063512 memory=16496 CPUtime=0 cores=1,3
/proc/88976/task/88987/stat : 88987 (Finalizer) S 88973 88976 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77818611 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88994] ppid=88973 vsize=19063512 memory=16496 CPUtime=0 cores=1,3
/proc/88976/task/88994/stat : 88994 (Common-Cleaner) S 88973 88976 86624 0 -1 4194368 1287 0 0 0 0 0 0 0 20 0 20 0 77818612 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88995] ppid=88973 vsize=19063512 memory=2183220 CPUtime=0 cores=1,3
/proc/88976/task/88995/stat : 88995 (Timer-0) S 88973 88976 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77818625 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
Current children cumulated CPU time: 3580.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3601.8 s]
/proc/loadavg: 4.06 4.10 4.11 5/341 89400
/proc/meminfo: memFree=106871408/131249996 swapFree=33010160/33010684
[pid=88976] ppid=88973 vsize=19063512 memory=2183220 CPUtime=3600.02 cores=1,3
/proc/88976/stat : 88976 (java) S 88973 88976 86624 0 -1 4194304 85420 0 0 0 359877 125 0 0 20 0 20 0 77818608 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
/proc/88976/statm: 4765878 545805 5561 1 0 575668 0
[pid=88976/tid=88978] ppid=88973 vsize=19063512 memory=1792 CPUtime=3589.09 cores=1,3
/proc/88976/task/88978/stat : 88978 (java) R 88973 88976 86624 0 -1 4194368 38060 0 0 0 358900 9 0 0 20 0 20 0 77818609 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88987] ppid=88973 vsize=19063512 memory=1920 CPUtime=0 cores=1,3
/proc/88976/task/88987/stat : 88987 (Finalizer) S 88973 88976 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77818611 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88994] ppid=88973 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/88976/task/88994/stat : 88994 (Common-Cleaner) S 88973 88976 86624 0 -1 4194368 1287 0 0 0 0 0 0 0 20 0 20 0 77818612 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88995] ppid=88973 vsize=19063512 memory=18560 CPUtime=0 cores=1,3
/proc/88976/task/88995/stat : 88995 (Timer-0) S 88973 88976 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77818625 19521036288 545805 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3601.92 s]
# the end of solver process 88976 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.97 s, system=1.2657 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3601.9 s]
/proc/loadavg: 4.06 4.10 4.11 5/341 89400
/proc/meminfo: memFree=106871408/131249996 swapFree=33010160/33010684
[pid=88976] ppid=88973 vsize=19263204 memory=2183988 CPUtime=3600.22 cores=1,3
/proc/88976/stat : 88976 (java) S 88973 88976 86624 0 -1 4194304 87947 0 0 0 359897 125 0 0 20 0 21 0 77818608 19725520896 545997 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
/proc/88976/statm: 4815801 545997 5561 1 0 576631 0
[pid=88976/tid=88978] ppid=88973 vsize=19263204 memory=16496 CPUtime=3589.18 cores=1,3
/proc/88976/task/88978/stat : 88978 (java) R 88973 88976 86624 0 -1 4194368 38405 0 0 0 358909 9 0 0 20 0 21 0 77818609 19725520896 545997 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88987] ppid=88973 vsize=19263204 memory=4480 CPUtime=0 cores=1,3
/proc/88976/task/88987/stat : 88987 (Finalizer) S 88973 88976 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77818611 19725520896 545997 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
[pid=88976/tid=88994] ppid=88973 vsize=19263204 memory=2183220 CPUtime=0 cores=1,3
/proc/88976/task/88994/stat : 88994 (Common-Cleaner) S 88973 88976 86624 0 -1 4194368 1287 0 0 0 0 0 0 0 20 0 21 0 77818612 19725520896 545997 18446744073709551615 94244827893760 94244827897456 140730863684384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244827905272 94244827906064 94244840202240 140730863692159 140730863692260 140730863692260 140730863697864 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2183988 KiB
Child status: 143
Real time (s): 3601.92
CPU time (s): 3600.24
CPU user time (s): 3598.97
CPU system time (s): 1.2657
CPU usage (%): 99.9533
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2183988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.97
system time used= 1.2657
maximum resident set size= 2184116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88106
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105391
involuntary context switches= 2613
# summary of solver processes directly reported to runsolver:
# pid: 88976
# total CPU time (s): 3600.24
# total CPU user time (s): 3598.97
# total CPU system time (s): 1.2657
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.51667 second user time and 16.9702 second system time
The end