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 (58220 MiB free)
memory of node 1: 64507 MiB (45771 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518600-1751552108/watcher-4518600-1751552108 -o /tmp/evaluation-result-4518600-1751552108/solver-4518600-1751552108 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751552108-77824 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4518600-1751552108.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
Starting watchdog thread
solver pid=77871, runsolver pid=77864
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.92 2.80 2.99 8/332 77951
/proc/meminfo: memFree=106391252/131249988 swapFree=33010160/33010684
[pid=77871] ppid=77864 vsize=18930384 memory=55820 CPUtime=0.09 cores=4,6
/proc/77871/stat : 77871 (java) S 77864 77871 77813 0 -1 4194304 6070 0 104 0 7 2 0 0 20 0 18 0 70889664 19384713216 13955 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
/proc/77871/statm: 4732596 13955 5300 1 0 547273 0
[pid=77871/tid=77885] ppid=77864 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/77871/task/77885/stat : 77885 (java) R 77864 77871 77813 0 -1 4194368 4927 0 81 0 5 1 0 0 20 0 18 0 70889667 19384713216 13955 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77915] ppid=77864 vsize=18930384 memory=2697 CPUtime=0 cores=4,6
/proc/77871/task/77915/stat : 77915 (Finalizer) S 77864 77871 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70889670 19384713216 13955 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77933] ppid=77864 vsize=18930384 memory=54087446168546 CPUtime=0 cores=4,6
/proc/77871/task/77933/stat : 77933 (Common-Cleaner) S 77864 77871 77813 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70889670 19384713216 13955 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55820 KiB
[startup+0.205969 s]*
/proc/loadavg: 2.40 2.89 3.02 13/332 77951
/proc/meminfo: memFree=106355788/131249988 swapFree=33010160/33010684
[pid=77871] ppid=77864 vsize=18930384 memory=67568 CPUtime=0.28 cores=4,6
/proc/77871/stat : 77871 (java) S 77864 77871 77813 0 -1 4194304 6881 0 104 0 26 2 0 0 20 0 18 0 70889664 19384713216 16892 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
/proc/77871/statm: 4732596 16892 5428 1 0 547975 0
[pid=77871/tid=77885] ppid=77864 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=4,6
/proc/77871/task/77885/stat : 77885 (java) R 77864 77871 77813 0 -1 4194368 5373 0 81 0 14 1 0 0 20 0 18 0 70889667 19384713216 16892 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77915] ppid=77864 vsize=18930384 memory=2697 CPUtime=0 cores=4,6
/proc/77871/task/77915/stat : 77915 (Finalizer) S 77864 77871 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70889670 19384713216 16892 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77933] ppid=77864 vsize=18930384 memory=54087446168546 CPUtime=0 cores=4,6
/proc/77871/task/77933/stat : 77933 (Common-Cleaner) S 77864 77871 77813 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70889670 19384713216 16892 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 67568 KiB
[startup+0.305855 s]*
/proc/loadavg: 2.40 2.89 3.02 12/336 77955
/proc/meminfo: memFree=106307972/131249988 swapFree=33010160/33010684
[pid=77871] ppid=77864 vsize=18996948 memory=79692 CPUtime=0.47 cores=4,6
/proc/77871/stat : 77871 (java) S 77864 77871 77813 0 -1 4194304 9119 0 104 0 44 3 0 0 20 0 19 0 70889664 19452874752 19923 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
/proc/77871/statm: 4749237 19923 5428 1 0 549692 0
[pid=77871/tid=77885] ppid=77864 vsize=18996948 memory=-6000919485574440296 CPUtime=0.23 cores=4,6
/proc/77871/task/77885/stat : 77885 (java) R 77864 77871 77813 0 -1 4194368 5464 0 81 0 22 1 0 0 20 0 19 0 70889667 19452874752 19923 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77915] ppid=77864 vsize=18996948 memory=-4421386509048702048 CPUtime=0 cores=4,6
/proc/77871/task/77915/stat : 77915 (Finalizer) S 77864 77871 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70889670 19452874752 19923 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77933] ppid=77864 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/77871/task/77933/stat : 77933 (Common-Cleaner) S 77864 77871 77813 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70889670 19452874752 19923 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77952] ppid=77864 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/77871/task/77952/stat : 77952 (Timer-0) S 77864 77871 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70889686 19452874752 19923 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 79692 KiB
[startup+0.700227 s]
/proc/loadavg: 2.40 2.89 3.02 10/336 77955
/proc/meminfo: memFree=106155736/131249988 swapFree=33010160/33010684
[pid=77871] ppid=77864 vsize=19063512 memory=173428 CPUtime=1.23 cores=4,6
/proc/77871/stat : 77871 (java) S 77864 77871 77813 0 -1 4194304 12308 0 104 0 117 6 0 0 20 0 20 0 70889664 19521036288 43357 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
/proc/77871/statm: 4765878 43357 5492 1 0 552209 0
[pid=77871/tid=77885] ppid=77864 vsize=19063512 memory=18688 CPUtime=0.55 cores=4,6
/proc/77871/task/77885/stat : 77885 (java) R 77864 77871 77813 0 -1 4194368 5510 0 81 0 52 3 0 0 20 0 20 0 70889667 19521036288 43357 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77915] ppid=77864 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/77871/task/77915/stat : 77915 (Finalizer) S 77864 77871 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 43357 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77933] ppid=77864 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/77871/task/77933/stat : 77933 (Common-Cleaner) S 77864 77871 77813 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 43357 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77952] ppid=77864 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/77871/task/77952/stat : 77952 (Timer-0) S 77864 77871 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70889686 19521036288 43357 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173428 KiB
[startup+1.50024 s]
/proc/loadavg: 2.40 2.89 3.02 12/340 77959
/proc/meminfo: memFree=105936256/131249988 swapFree=33010160/33010684
[pid=77871] ppid=77864 vsize=19063512 memory=203140 CPUtime=2.79 cores=4,6
/proc/77871/stat : 77871 (java) S 77864 77871 77813 0 -1 4194304 22810 0 104 0 272 7 0 0 20 0 20 0 70889664 19521036288 50785 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
/proc/77871/statm: 4765878 50785 5492 1 0 556192 0
[pid=77871/tid=77885] ppid=77864 vsize=19063512 memory=10624 CPUtime=1.26 cores=4,6
/proc/77871/task/77885/stat : 77885 (java) R 77864 77871 77813 0 -1 4194368 5749 0 81 0 123 3 0 0 20 0 20 0 70889667 19521036288 50785 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77915] ppid=77864 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/77871/task/77915/stat : 77915 (Finalizer) S 77864 77871 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 50785 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77933] ppid=77864 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/77871/task/77933/stat : 77933 (Common-Cleaner) S 77864 77871 77813 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 50785 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77952] ppid=77864 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/77871/task/77952/stat : 77952 (Timer-0) S 77864 77871 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70889686 19521036288 50785 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 203140 KiB
[startup+3.10597 s]
/proc/loadavg: 2.40 2.89 3.02 10/340 77959
/proc/meminfo: memFree=105108668/131249988 swapFree=33010160/33010684
[pid=77871] ppid=77864 vsize=19063512 memory=509404 CPUtime=5.97 cores=4,6
/proc/77871/stat : 77871 (java) S 77864 77871 77813 0 -1 4194304 27866 0 104 0 583 14 0 0 20 0 20 0 70889664 19521036288 127351 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
/proc/77871/statm: 4765878 127351 5492 1 0 946753 0
[pid=77871/tid=77885] ppid=77864 vsize=19063512 memory=10624 CPUtime=2.75 cores=4,6
/proc/77871/task/77885/stat : 77885 (java) R 77864 77871 77813 0 -1 4194368 6495 0 81 0 267 8 0 0 20 0 20 0 70889667 19521036288 127351 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77915] ppid=77864 vsize=19063512 memory=-6000919489869407592 CPUtime=0 cores=4,6
/proc/77871/task/77915/stat : 77915 (Finalizer) S 77864 77871 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 127351 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77933] ppid=77864 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/77871/task/77933/stat : 77933 (Common-Cleaner) S 77864 77871 77813 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 127351 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77952] ppid=77864 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/77871/task/77952/stat : 77952 (Timer-0) S 77864 77871 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70889686 19521036288 127351 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 509404 KiB
[startup+6.30021 s]
/proc/loadavg: 2.53 2.91 3.02 6/340 77959
/proc/meminfo: memFree=103598080/131249988 swapFree=33010160/33010684
[pid=77871] ppid=77864 vsize=19063512 memory=1029436 CPUtime=9.95 cores=4,6
/proc/77871/stat : 77871 (java) S 77864 77871 77813 0 -1 4194304 28300 0 104 0 971 24 0 0 20 0 20 0 70889664 19521036288 257359 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
/proc/77871/statm: 4765878 257359 5492 1 0 946756 0
[pid=77871/tid=77885] ppid=77864 vsize=19063512 memory=0 CPUtime=5.88 cores=4,6
/proc/77871/task/77885/stat : 77885 (java) R 77864 77871 77813 0 -1 4194368 6776 0 81 0 570 18 0 0 20 0 20 0 70889667 19521036288 257359 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77915] ppid=77864 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/77871/task/77915/stat : 77915 (Finalizer) S 77864 77871 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 257359 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77933] ppid=77864 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/77871/task/77933/stat : 77933 (Common-Cleaner) S 77864 77871 77813 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 257359 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77952] ppid=77864 vsize=19063512 memory=14444 CPUtime=0 cores=4,6
/proc/77871/task/77952/stat : 77952 (Timer-0) S 77864 77871 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70889686 19521036288 257359 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
Current children cumulated CPU time: 9.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1029436 KiB
[startup+12.7002 s]
/proc/loadavg: 2.65 2.92 3.03 6/340 77959
/proc/meminfo: memFree=100774000/131249988 swapFree=33010160/33010684
[pid=77871] ppid=77864 vsize=19063512 memory=1607296 CPUtime=16.76 cores=4,6
/proc/77871/stat : 77871 (java) S 77864 77871 77813 0 -1 4194304 29895 0 104 0 1641 35 0 0 20 0 20 0 70889664 19521036288 401824 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
/proc/77871/statm: 4765878 401824 5492 1 0 946775 0
[pid=77871/tid=77885] ppid=77864 vsize=19063512 memory=10624 CPUtime=12.16 cores=4,6
/proc/77871/task/77885/stat : 77885 (java) R 77864 77871 77813 0 -1 4194368 8123 0 81 0 1189 27 0 0 20 0 20 0 70889667 19521036288 401824 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77915] ppid=77864 vsize=19063512 memory=1607296 CPUtime=0 cores=4,6
/proc/77871/task/77915/stat : 77915 (Finalizer) S 77864 77871 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 401824 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77933] ppid=77864 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/77871/task/77933/stat : 77933 (Common-Cleaner) S 77864 77871 77813 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 401824 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77952] ppid=77864 vsize=19063512 memory=-6000919489869407592 CPUtime=0 cores=4,6
/proc/77871/task/77952/stat : 77952 (Timer-0) S 77864 77871 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70889686 19521036288 401824 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
Current children cumulated CPU time: 16.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1607296 KiB
[startup+25.5002 s]
/proc/loadavg: 2.86 2.96 3.04 6/340 77960
/proc/meminfo: memFree=98653340/131249988 swapFree=33010160/33010684
[pid=77871] ppid=77864 vsize=19063512 memory=2340548 CPUtime=29.79 cores=4,6
/proc/77871/stat : 77871 (java) S 77864 77871 77813 0 -1 4194304 35486 0 104 0 2930 49 0 0 20 0 20 0 70889664 19521036288 585137 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
/proc/77871/statm: 4765878 585137 5492 1 0 946780 0
[pid=77871/tid=77885] ppid=77864 vsize=19063512 memory=1607296 CPUtime=24.74 cores=4,6
/proc/77871/task/77885/stat : 77885 (java) R 77864 77871 77813 0 -1 4194368 10230 0 81 0 2435 39 0 0 20 0 20 0 70889667 19521036288 585137 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77915] ppid=77864 vsize=19063512 memory=14444 CPUtime=0 cores=4,6
/proc/77871/task/77915/stat : 77915 (Finalizer) S 77864 77871 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 585137 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77933] ppid=77864 vsize=19063512 memory=-6000919489869407592 CPUtime=0 cores=4,6
/proc/77871/task/77933/stat : 77933 (Common-Cleaner) S 77864 77871 77813 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 585137 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77952] ppid=77864 vsize=19063512 memory=1029436 CPUtime=0 cores=4,6
/proc/77871/task/77952/stat : 77952 (Timer-0) S 77864 77871 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70889686 19521036288 585137 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
Current children cumulated CPU time: 29.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2340548 KiB
[startup+51.1061 s]
/proc/loadavg: 3.37 3.08 3.08 6/340 77960
/proc/meminfo: memFree=97361620/131249988 swapFree=33010160/33010684
[pid=77871] ppid=77864 vsize=19063512 memory=2377676 CPUtime=55.95 cores=4,6
/proc/77871/stat : 77871 (java) S 77864 77871 77813 0 -1 4194304 42589 0 104 0 5544 51 0 0 20 0 20 0 70889664 19521036288 594419 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
/proc/77871/statm: 4765878 594419 5492 1 0 946812 0
[pid=77871/tid=77885] ppid=77864 vsize=19063512 memory=2377676 CPUtime=49.81 cores=4,6
/proc/77871/task/77885/stat : 77885 (java) R 77864 77871 77813 0 -1 4194368 12980 0 81 0 4942 39 0 0 20 0 20 0 70889667 19521036288 594419 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77915] ppid=77864 vsize=19063512 memory=2359232 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/meminfo: memFree=97012900/131249988 swapFree=33010160/33010684
[pid=77871] ppid=77864 vsize=19063512 memory=3565384 CPUtime=3179.89 cores=4,6
/proc/77871/stat : 77871 (java) S 77864 77871 77813 0 -1 4194304 120925 0 104 0 317805 184 0 0 20 0 20 0 70889664 19521036288 891346 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
/proc/77871/statm: 4765878 891346 5492 1 0 947317 0
[pid=77871/tid=77885] ppid=77864 vsize=19063512 memory=14444 CPUtime=3131.9 cores=4,6
/proc/77871/task/77885/stat : 77885 (java) R 77864 77871 77813 0 -1 4194368 64125 0 81 0 313133 57 0 0 20 0 20 0 70889667 19521036288 891346 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77915] ppid=77864 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/77871/task/77915/stat : 77915 (Finalizer) S 77864 77871 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 891346 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77933] ppid=77864 vsize=19063512 memory=14444 CPUtime=0 cores=4,6
/proc/77871/task/77933/stat : 77933 (Common-Cleaner) S 77864 77871 77813 0 -1 4194368 1716 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 891346 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77952] ppid=77864 vsize=19063512 memory=14444 CPUtime=0 cores=4,6
/proc/77871/task/77952/stat : 77952 (Timer-0) S 77864 77871 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70889686 19521036288 891346 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
Current children cumulated CPU time: 3179.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3565384 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.52 4.73 5/341 78335
/proc/meminfo: memFree=96792608/131249988 swapFree=33010160/33010684
[pid=77871] ppid=77864 vsize=19063512 memory=3583824 CPUtime=3240.11 cores=4,6
/proc/77871/stat : 77871 (java) S 77864 77871 77813 0 -1 4194304 120975 0 104 0 323825 186 0 0 20 0 20 0 70889664 19521036288 895956 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
/proc/77871/statm: 4765878 895956 5492 1 0 947319 0
[pid=77871/tid=77885] ppid=77864 vsize=19063512 memory=4352 CPUtime=3191.4 cores=4,6
/proc/77871/task/77885/stat : 77885 (java) R 77864 77871 77813 0 -1 4194368 64153 0 81 0 319083 57 0 0 20 0 20 0 70889667 19521036288 895956 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77915] ppid=77864 vsize=19063512 memory=3577672 CPUtime=0 cores=4,6
/proc/77871/task/77915/stat : 77915 (Finalizer) S 77864 77871 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 895956 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77933] ppid=77864 vsize=19063512 memory=3581776 CPUtime=0 cores=4,6
/proc/77871/task/77933/stat : 77933 (Common-Cleaner) S 77864 77871 77813 0 -1 4194368 1716 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 895956 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77952] ppid=77864 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/77871/task/77952/stat : 77952 (Timer-0) S 77864 77871 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70889686 19521036288 895956 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
Current children cumulated CPU time: 3240.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3583824 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.44 4.69 5/340 78337
/proc/meminfo: memFree=96574896/131249988 swapFree=33010160/33010684
[pid=77871] ppid=77864 vsize=19063512 memory=3598160 CPUtime=3300.23 cores=4,6
/proc/77871/stat : 77871 (java) S 77864 77871 77813 0 -1 4194304 122529 0 104 0 329835 188 0 0 20 0 20 0 70889664 19521036288 899540 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
/proc/77871/statm: 4765878 899540 5492 1 0 947319 0
[pid=77871/tid=77885] ppid=77864 vsize=19063512 memory=3594064 CPUtime=3250.86 cores=4,6
/proc/77871/task/77885/stat : 77885 (java) R 77864 77871 77813 0 -1 4194368 65676 0 81 0 325028 58 0 0 20 0 20 0 70889667 19521036288 899540 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77915] ppid=77864 vsize=19063512 memory=3598160 CPUtime=0 cores=4,6
/proc/77871/task/77915/stat : 77915 (Finalizer) S 77864 77871 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 899540 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77933] ppid=77864 vsize=19063512 memory=3598160 CPUtime=0 cores=4,6
/proc/77871/task/77933/stat : 77933 (Common-Cleaner) S 77864 77871 77813 0 -1 4194368 1716 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 899540 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77952] ppid=77864 vsize=19063512 memory=14444 CPUtime=0 cores=4,6
/proc/77871/task/77952/stat : 77952 (Timer-0) S 77864 77871 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70889686 19521036288 899540 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
Current children cumulated CPU time: 3300.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3598160 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.37 4.65 5/339 78339
/proc/meminfo: memFree=96414536/131249988 swapFree=33010160/33010684
[pid=77871] ppid=77864 vsize=19063512 memory=3608508 CPUtime=3360.69 cores=4,6
/proc/77871/stat : 77871 (java) S 77864 77871 77813 0 -1 4194304 124618 0 104 0 335879 190 0 0 20 0 20 0 70889664 19521036288 902127 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
/proc/77871/statm: 4765878 902127 5492 1 0 947367 0
[pid=77871/tid=77885] ppid=77864 vsize=19063512 memory=3606460 CPUtime=3310.35 cores=4,6
/proc/77871/task/77885/stat : 77885 (java) R 77864 77871 77813 0 -1 4194368 67233 0 81 0 330977 58 0 0 20 0 20 0 70889667 19521036288 902127 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77915] ppid=77864 vsize=19063512 memory=3606460 CPUtime=0 cores=4,6
/proc/77871/task/77915/stat : 77915 (Finalizer) S 77864 77871 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 902127 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77933] ppid=77864 vsize=19063512 memory=6768 CPUtime=0 cores=4,6
/proc/77871/task/77933/stat : 77933 (Common-Cleaner) S 77864 77871 77813 0 -1 4194368 1773 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 902127 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77952] ppid=77864 vsize=19063512 memory=14444 CPUtime=0 cores=4,6
/proc/77871/task/77952/stat : 77952 (Timer-0) S 77864 77871 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70889686 19521036288 902127 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
Current children cumulated CPU time: 3360.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3608508 KiB
[startup+3402.3 s]
/proc/loadavg: 4.24 4.36 4.63 5/339 78341
/proc/meminfo: memFree=95177760/131249988 swapFree=33010160/33010684
[pid=77871] ppid=77864 vsize=19063512 memory=3620876 CPUtime=3420.92 cores=4,6
/proc/77871/stat : 77871 (java) S 77864 77871 77813 0 -1 4194304 125810 0 104 0 341900 192 0 0 20 0 20 0 70889664 19521036288 905219 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
/proc/77871/statm: 4765878 905219 5492 1 0 947367 0
[pid=77871/tid=77885] ppid=77864 vsize=19063512 memory=3620876 CPUtime=3369.83 cores=4,6
/proc/77871/task/77885/stat : 77885 (java) R 77864 77871 77813 0 -1 4194368 68014 0 81 0 336925 58 0 0 20 0 20 0 70889667 19521036288 905219 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77915] ppid=77864 vsize=19063512 memory=3606460 CPUtime=0 cores=4,6
/proc/77871/task/77915/stat : 77915 (Finalizer) S 77864 77871 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 905219 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77933] ppid=77864 vsize=19063512 memory=14444 CPUtime=0 cores=4,6
/proc/77871/task/77933/stat : 77933 (Common-Cleaner) S 77864 77871 77813 0 -1 4194368 1793 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 905219 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77952] ppid=77864 vsize=19063512 memory=3616780 CPUtime=0 cores=4,6
/proc/77871/task/77952/stat : 77952 (Timer-0) S 77864 77871 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70889686 19521036288 905219 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
Current children cumulated CPU time: 3420.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3620876 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.29 4.59 5/339 78343
/proc/meminfo: memFree=94948244/131249988 swapFree=33010160/33010684
[pid=77871] ppid=77864 vsize=19063512 memory=3629068 CPUtime=3481.11 cores=4,6
/proc/77871/stat : 77871 (java) S 77864 77871 77813 0 -1 4194304 126348 0 104 0 347917 194 0 0 20 0 20 0 70889664 19521036288 907267 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
/proc/77871/statm: 4765878 907267 5492 1 0 947367 0
[pid=77871/tid=77885] ppid=77864 vsize=19063512 memory=3606460 CPUtime=3429.38 cores=4,6
/proc/77871/task/77885/stat : 77885 (java) R 77864 77871 77813 0 -1 4194368 68539 0 81 0 342880 58 0 0 20 0 20 0 70889667 19521036288 907267 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77915] ppid=77864 vsize=19063512 memory=3616780 CPUtime=0 cores=4,6
/proc/77871/task/77915/stat : 77915 (Finalizer) S 77864 77871 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 907267 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77933] ppid=77864 vsize=19063512 memory=12416 CPUtime=0 cores=4,6
/proc/77871/task/77933/stat : 77933 (Common-Cleaner) S 77864 77871 77813 0 -1 4194368 1793 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 907267 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77952] ppid=77864 vsize=19063512 memory=3629068 CPUtime=0 cores=4,6
/proc/77871/task/77952/stat : 77952 (Timer-0) S 77864 77871 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70889686 19521036288 907267 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
Current children cumulated CPU time: 3481.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3629068 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.30 4.57 5/339 78346
/proc/meminfo: memFree=94808616/131249988 swapFree=33010160/33010684
[pid=77871] ppid=77864 vsize=19063512 memory=3635216 CPUtime=3541.35 cores=4,6
/proc/77871/stat : 77871 (java) S 77864 77871 77813 0 -1 4194304 128371 0 104 0 353939 196 0 0 20 0 20 0 70889664 19521036288 908804 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
/proc/77871/statm: 4765878 908804 5492 1 0 947367 0
[pid=77871/tid=77885] ppid=77864 vsize=19063512 memory=3635216 CPUtime=3488.88 cores=4,6
/proc/77871/task/77885/stat : 77885 (java) R 77864 77871 77813 0 -1 4194368 70156 0 81 0 348829 59 0 0 20 0 20 0 70889667 19521036288 908804 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77915] ppid=77864 vsize=19063512 memory=12416 CPUtime=0 cores=4,6
/proc/77871/task/77915/stat : 77915 (Finalizer) S 77864 77871 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 908804 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77933] ppid=77864 vsize=19063512 memory=3629068 CPUtime=0 cores=4,6
/proc/77871/task/77933/stat : 77933 (Common-Cleaner) S 77864 77871 77813 0 -1 4194368 1833 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 908804 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77952] ppid=77864 vsize=19063512 memory=3635216 CPUtime=0 cores=4,6
/proc/77871/task/77952/stat : 77952 (Timer-0) S 77864 77871 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70889686 19521036288 908804 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
Current children cumulated CPU time: 3541.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3635216 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3580.8 s]
/proc/loadavg: 4.16 4.26 4.54 6/339 78347
/proc/meminfo: memFree=94664288/131249988 swapFree=33010160/33010684
[pid=77871] ppid=77864 vsize=19063512 memory=3643408 CPUtime=3600.08 cores=4,6
/proc/77871/stat : 77871 (java) S 77864 77871 77813 0 -1 4194304 130329 0 104 0 359810 198 0 0 20 0 20 0 70889664 19521036288 910852 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
/proc/77871/statm: 4765878 910852 5492 1 0 947371 0
[pid=77871/tid=77885] ppid=77864 vsize=19063512 memory=5632 CPUtime=3546.88 cores=4,6
/proc/77871/task/77885/stat : 77885 (java) R 77864 77871 77813 0 -1 4194368 71735 0 81 0 354629 59 0 0 20 0 20 0 70889667 19521036288 910852 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77915] ppid=77864 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/77871/task/77915/stat : 77915 (Finalizer) S 77864 77871 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 910852 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77933] ppid=77864 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/77871/task/77933/stat : 77933 (Common-Cleaner) S 77864 77871 77813 0 -1 4194368 1833 0 0 0 0 0 0 0 20 0 20 0 70889670 19521036288 910852 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
[pid=77871/tid=77952] ppid=77864 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/77871/task/77952/stat : 77952 (Timer-0) S 77864 77871 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70889686 19521036288 910852 18446744073709551615 93915819638784 93915819642480 140735253429744 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915819650296 93915819651088 93915840331776 140735253432702 140735253432806 140735253432806 140735253438408 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3643408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3580.89 s]
# the end of solver process 77871 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.25 s, system=2.00566 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3580.89
CPU time (s): 3600.25
CPU user time (s): 3598.25
CPU system time (s): 2.00566
CPU usage (%): 100.541
Max. virtual memory (cumulated for all children) (KiB): 19067660
Max. memory (cumulated for all children) (KiB): 3643408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.25
system time used= 2.00565
maximum resident set size= 3644432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132868
page faults= 104
swaps= 0
block input operations= 0
block output operations= 5312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129369
involuntary context switches= 11338
# summary of solver processes directly reported to runsolver:
# pid: 77871
# total CPU time (s): 3600.25
# total CPU user time (s): 3598.25
# total CPU system time (s): 2.00566
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.60258 second user time and 17.2139 second system time
The end