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: 63794 MiB (59263 MiB free)
memory of node 1: 64507 MiB (56857 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517867-1751539400/watcher-4517867-1751539400 -o /tmp/evaluation-result-4517867-1751539400/solver-4517867-1751539400 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751535003-81001 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517867-1751539400 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517867-1751539400.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 FSIZE limit: 102400000 KiB
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=82039, runsolver pid=82036
[startup+0.100068 s]*
/proc/loadavg: 4.28 4.18 4.13 5/332 82057
/proc/meminfo: memFree=118890340/131382116 swapFree=33010684/33010684
[pid=82039] ppid=82036 vsize=18930384 memory=48656 CPUtime=0.12 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 5851 0 0 0 10 2 0 0 20 0 18 0 69619681 19384713216 12164 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4732596 12164 5308 1 0 547037 0
[pid=82039/tid=82041] ppid=82036 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) R 82036 82039 80991 0 -1 4194368 4734 0 0 0 6 1 0 0 20 0 18 0 69619683 19384713216 12164 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69619686 19384713216 12164 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=18930384 memory=59593594265959 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69619687 19384713216 12164 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48656 KiB
[startup+0.214269 s]*
/proc/loadavg: 4.28 4.18 4.13 6/332 82057
/proc/meminfo: memFree=118879188/131382116 swapFree=33010684/33010684
[pid=82039] ppid=82036 vsize=18930384 memory=58648 CPUtime=0.32 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 6713 0 0 0 29 3 0 0 20 0 18 0 69619681 19384713216 14662 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4732596 14662 5436 1 0 547729 0
[pid=82039/tid=82041] ppid=82036 vsize=18930384 memory=4026794268 CPUtime=0.19 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) R 82036 82039 80991 0 -1 4194368 5213 0 0 0 17 2 0 0 20 0 18 0 69619683 19384713216 14662 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=18930384 memory=1641 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69619686 19384713216 14662 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69619687 19384713216 14662 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58648 KiB
[startup+0.327896 s]*
/proc/loadavg: 4.28 4.18 4.13 7/332 82057
/proc/meminfo: memFree=118873076/131382116 swapFree=33010684/33010684
[pid=82039] ppid=82036 vsize=18930384 memory=63532 CPUtime=0.53 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 6892 0 0 0 50 3 0 0 20 0 18 0 69619681 19384713216 15883 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4732596 15883 5436 1 0 547839 0
[pid=82039/tid=82041] ppid=82036 vsize=18930384 memory=-6000919481330330215 CPUtime=0.3 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) R 82036 82039 80991 0 -1 4194368 5298 0 0 0 28 2 0 0 20 0 18 0 69619683 19384713216 15883 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69619686 19384713216 15883 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69619687 19384713216 15883 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63532 KiB
[startup+0.700357 s]
/proc/loadavg: 4.28 4.18 4.13 6/332 82057
/proc/meminfo: memFree=118844468/131382116 swapFree=33010684/33010684
[pid=82039] ppid=82036 vsize=18996948 memory=108436 CPUtime=1.18 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 8831 0 0 0 112 6 0 0 20 0 19 0 69619681 19452874752 27109 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4749237 27109 5468 1 0 549448 0
[pid=82039/tid=82041] ppid=82036 vsize=18996948 memory=18432 CPUtime=0.63 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) R 82036 82039 80991 0 -1 4194368 5443 0 0 0 60 3 0 0 20 0 19 0 69619683 19452874752 27109 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69619686 19452874752 27109 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 69619687 19452874752 27109 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 108436 KiB
[startup+1.50028 s]
/proc/loadavg: 4.28 4.18 4.13 6/333 82058
/proc/meminfo: memFree=118793844/131382116 swapFree=33010684/33010684
[pid=82039] ppid=82036 vsize=19063512 memory=179440 CPUtime=2.76 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 21952 0 0 0 266 10 0 0 20 0 20 0 69619681 19521036288 44860 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4765878 44860 5532 1 0 554242 0
[pid=82039/tid=82041] ppid=82036 vsize=19063512 memory=3328 CPUtime=1.39 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) R 82036 82039 80991 0 -1 4194368 6500 0 0 0 134 5 0 0 20 0 20 0 69619683 19521036288 44860 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69619686 19521036288 44860 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 69619687 19521036288 44860 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82058] ppid=82036 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/82039/task/82058/stat : 82058 (Timer-0) S 82036 82039 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69619744 19521036288 44860 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179440 KiB
[startup+3.1061 s]
/proc/loadavg: 4.34 4.20 4.14 6/334 82059
/proc/meminfo: memFree=118739708/131382116 swapFree=33010684/33010684
[pid=82039] ppid=82036 vsize=19063512 memory=182128 CPUtime=5.95 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 24575 0 0 0 584 11 0 0 20 0 20 0 69619681 19521036288 45532 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4765878 45532 5532 1 0 554732 0
[pid=82039/tid=82041] ppid=82036 vsize=19063512 memory=14336 CPUtime=2.97 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) R 82036 82039 80991 0 -1 4194368 7012 0 0 0 291 6 0 0 20 0 20 0 69619683 19521036288 45532 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69619686 19521036288 45532 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 69619687 19521036288 45532 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82058] ppid=82036 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/82039/task/82058/stat : 82058 (Timer-0) S 82036 82039 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69619744 19521036288 45532 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182128 KiB
[startup+6.30039 s]
/proc/loadavg: 4.34 4.20 4.14 5/334 82059
/proc/meminfo: memFree=118569016/131382116 swapFree=33010684/33010684
[pid=82039] ppid=82036 vsize=19063512 memory=351172 CPUtime=10.24 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 25053 0 0 0 1009 15 0 0 20 0 20 0 69619681 19521036288 87793 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4765878 87793 5532 1 0 554750 0
[pid=82039/tid=82041] ppid=82036 vsize=19063512 memory=0 CPUtime=6.12 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) R 82036 82039 80991 0 -1 4194368 7243 0 0 0 603 9 0 0 20 0 20 0 69619683 19521036288 87793 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69619686 19521036288 87793 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 69619687 19521036288 87793 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82058] ppid=82036 vsize=19063512 memory=179440 CPUtime=0 cores=0,2
/proc/82039/task/82058/stat : 82058 (Timer-0) S 82036 82039 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69619744 19521036288 87793 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
Current children cumulated CPU time: 10.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 351172 KiB
[startup+12.7004 s]
/proc/loadavg: 4.39 4.21 4.14 5/334 82059
/proc/meminfo: memFree=118415668/131382116 swapFree=33010684/33010684
[pid=82039] ppid=82036 vsize=19063512 memory=513340 CPUtime=17.64 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 30083 0 0 0 1743 21 0 0 20 0 20 0 69619681 19521036288 128335 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4765878 128335 5532 1 0 554750 0
[pid=82039/tid=82041] ppid=82036 vsize=19063512 memory=179440 CPUtime=12.38 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) S 82036 82039 80991 0 -1 4194368 8377 0 0 0 1223 15 0 0 20 0 20 0 69619683 19521036288 128335 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=19063512 memory=421060 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69619686 19521036288 128335 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 69619687 19521036288 128335 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82058] ppid=82036 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/82039/task/82058/stat : 82058 (Timer-0) S 82036 82039 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69619744 19521036288 128335 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
Current children cumulated CPU time: 17.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 513340 KiB
[startup+25.5004 s]
/proc/loadavg: 4.44 4.23 4.15 3/334 82060
/proc/meminfo: memFree=117450120/131382116 swapFree=33010684/33010684
[pid=82039] ppid=82036 vsize=19063512 memory=1316704 CPUtime=31.04 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 38352 0 0 0 3063 41 0 0 20 0 20 0 69619681 19521036288 329176 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4765878 329176 5532 1 0 554750 0
[pid=82039/tid=82041] ppid=82036 vsize=19063512 memory=0 CPUtime=25.11 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) R 82036 82039 80991 0 -1 4194368 10241 0 0 0 2479 32 0 0 20 0 20 0 69619683 19521036288 329176 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69619686 19521036288 329176 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=19063512 memory=1226556 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 69619687 19521036288 329176 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82058] ppid=82036 vsize=19063512 memory=876348 CPUtime=0 cores=0,2
/proc/82039/task/82058/stat : 82058 (Timer-0) S 82036 82039 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69619744 19521036288 329176 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
Current children cumulated CPU time: 31.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1316704 KiB
[startup+51.1139 s]
/proc/loadavg: 4.37 4.23 4.15 5/334 82060
/proc/meminfo: memFree=117228968/131382116 swapFree=33010684/33010684
[pid=82039] ppid=82036 vsize=19063512 memory=1318880 CPUtime=56.55 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 41180 0 0 0 5607 48 0 0 20 0 20 0 69619681 19521036288 329720 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4765878 329720 5564 1 0 554750 0
[pid=82039/tid=82041] ppid=82036 vsize=19063512 memory=1316704 CPUtime=50.54 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) R 82036 82039 80991 0 -1 4194368 11246 0 0 0 5016 38 0 0 20 0 20 0 69619683 19521036288 329720 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=19063512 memory=12544 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69619686 19521036288 329720 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 69619687 19521036288 329720 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
################
# More data... #
################
[pid=82039] ppid=82036 vsize=19063512 memory=1333248 CPUtime=107.52 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 44424 0 0 0 10689 63 0 0 20 0 20 0 69619681 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4765878 333312 5564 1 0 554750 0
[pid=82039/tid=82041] ppid=82036 vsize=19063512 memory=2241 CPUtime=101.25 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) R 82036 82039 80991 0 -1 4194368 12919 0 0 0 10075 50 0 0 20 0 20 0 69619683 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=19063512 memory=1316704 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69619686 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=19063512 memory=-6000919481330330215 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 90 0 0 0 0 0 0 0 20 0 20 0 69619687 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82058] ppid=82036 vsize=19063512 memory=83 CPUtime=0 cores=0,2
/proc/82039/task/82058/stat : 82058 (Timer-0) S 82036 82039 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69619744 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
Current children cumulated CPU time: 107.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1333248 KiB
[startup+128 s]*
/proc/loadavg: 4.17 4.20 4.15 5/335 82064
/proc/meminfo: memFree=116640888/131382116 swapFree=33010684/33010684
[pid=82039] ppid=82036 vsize=19063512 memory=1333248 CPUtime=133.04 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 46832 0 0 0 13234 70 0 0 20 0 20 0 69619681 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4765878 333312 5564 1 0 554750 0
[pid=82039/tid=82041] ppid=82036 vsize=19063512 memory=-6000919481330330215 CPUtime=126.68 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) R 82036 82039 80991 0 -1 4194368 13586 0 0 0 12612 56 0 0 20 0 20 0 69619683 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=19063512 memory=-4050210904893735062 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69619686 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 134 0 0 0 0 0 0 0 20 0 20 0 69619687 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82058] ppid=82036 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/82039/task/82058/stat : 82058 (Timer-0) S 82036 82039 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69619744 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
Current children cumulated CPU time: 133.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1333248 KiB
[startup+134.4 s]
/proc/loadavg: 4.16 4.20 4.15 5/335 82064
/proc/meminfo: memFree=116586932/131382116 swapFree=33010684/33010684
[pid=82039] ppid=82036 vsize=19063512 memory=1333248 CPUtime=139.41 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 46843 0 0 0 13870 71 0 0 20 0 20 0 69619681 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4765878 333312 5564 1 0 554750 0
[pid=82039/tid=82041] ppid=82036 vsize=19063512 memory=14336 CPUtime=132.96 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) R 82036 82039 80991 0 -1 4194368 13588 0 0 0 13239 57 0 0 20 0 20 0 69619683 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=19063512 memory=1333248 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69619686 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 134 0 0 0 0 0 0 0 20 0 20 0 69619687 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82058] ppid=82036 vsize=19063512 memory=1333248 CPUtime=0 cores=0,2
/proc/82039/task/82058/stat : 82058 (Timer-0) S 82036 82039 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69619744 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
Current children cumulated CPU time: 139.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1333248 KiB
[startup+137.6 s]
/proc/loadavg: 4.16 4.20 4.15 5/335 82065
/proc/meminfo: memFree=116542008/131382116 swapFree=33010684/33010684
[pid=82039] ppid=82036 vsize=19063512 memory=1333248 CPUtime=142.6 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 46859 0 0 0 14188 72 0 0 20 0 20 0 69619681 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4765878 333312 5564 1 0 554750 0
[pid=82039/tid=82041] ppid=82036 vsize=19063512 memory=1333248 CPUtime=136.15 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) R 82036 82039 80991 0 -1 4194368 13595 0 0 0 13557 58 0 0 20 0 20 0 69619683 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=19063512 memory=1333248 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69619686 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 134 0 0 0 0 0 0 0 20 0 20 0 69619687 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82058] ppid=82036 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/82039/task/82058/stat : 82058 (Timer-0) S 82036 82039 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69619744 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
Current children cumulated CPU time: 142.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1333248 KiB
[startup+139.2 s]
/proc/loadavg: 4.15 4.19 4.15 5/335 82065
/proc/meminfo: memFree=116542008/131382116 swapFree=33010684/33010684
[pid=82039] ppid=82036 vsize=19063512 memory=1333248 CPUtime=144.21 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 46859 0 0 0 14348 73 0 0 20 0 20 0 69619681 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4765878 333312 5564 1 0 554750 0
[pid=82039/tid=82041] ppid=82036 vsize=19063512 memory=14336 CPUtime=137.75 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) R 82036 82039 80991 0 -1 4194368 13595 0 0 0 13717 58 0 0 20 0 20 0 69619683 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69619686 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=19063512 memory=1333248 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 134 0 0 0 0 0 0 0 20 0 20 0 69619687 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82058] ppid=82036 vsize=19063512 memory=1673636 CPUtime=0 cores=0,2
/proc/82039/task/82058/stat : 82058 (Timer-0) S 82036 82039 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69619744 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
Current children cumulated CPU time: 144.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1333248 KiB
[startup+140.8 s]
/proc/loadavg: 4.15 4.19 4.15 5/335 82065
/proc/meminfo: memFree=116534196/131382116 swapFree=33010684/33010684
[pid=82039] ppid=82036 vsize=19063512 memory=1333248 CPUtime=145.8 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 46859 0 0 0 14507 73 0 0 20 0 20 0 69619681 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4765878 333312 5564 1 0 554750 0
[pid=82039/tid=82041] ppid=82036 vsize=19063512 memory=5632 CPUtime=139.34 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) R 82036 82039 80991 0 -1 4194368 13595 0 0 0 13876 58 0 0 20 0 20 0 69619683 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=19063512 memory=1333248 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69619686 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 134 0 0 0 0 0 0 0 20 0 20 0 69619687 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82058] ppid=82036 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/82039/task/82058/stat : 82058 (Timer-0) S 82036 82039 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69619744 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
Current children cumulated CPU time: 145.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1333248 KiB
[startup+141.2 s]
/proc/loadavg: 4.15 4.19 4.15 5/335 82065
/proc/meminfo: memFree=116518068/131382116 swapFree=33010684/33010684
[pid=82039] ppid=82036 vsize=19063512 memory=1333248 CPUtime=146.2 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 46859 0 0 0 14547 73 0 0 20 0 20 0 69619681 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4765878 333312 5564 1 0 554750 0
[pid=82039/tid=82041] ppid=82036 vsize=19063512 memory=6784 CPUtime=139.74 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) R 82036 82039 80991 0 -1 4194368 13595 0 0 0 13916 58 0 0 20 0 20 0 69619683 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=19063512 memory=5292 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69619686 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=19063512 memory=5300 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 134 0 0 0 0 0 0 0 20 0 20 0 69619687 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82058] ppid=82036 vsize=19063512 memory=5088 CPUtime=0 cores=0,2
/proc/82039/task/82058/stat : 82058 (Timer-0) S 82036 82039 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69619744 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
Current children cumulated CPU time: 146.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1333248 KiB
[startup+141.4 s]
/proc/loadavg: 4.15 4.19 4.15 5/335 82065
/proc/meminfo: memFree=116518068/131382116 swapFree=33010684/33010684
[pid=82039] ppid=82036 vsize=19063512 memory=1333248 CPUtime=146.4 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 46859 0 0 0 14567 73 0 0 20 0 20 0 69619681 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4765878 333312 5564 1 0 554750 0
[pid=82039/tid=82041] ppid=82036 vsize=19063512 memory=1333248 CPUtime=139.94 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) R 82036 82039 80991 0 -1 4194368 13595 0 0 0 13936 58 0 0 20 0 20 0 69619683 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=19063512 memory=-6000919481330330215 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69619686 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=19063512 memory=4569630391656935068 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 134 0 0 0 0 0 0 0 20 0 20 0 69619687 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82058] ppid=82036 vsize=19063512 memory=6756 CPUtime=0 cores=0,2
/proc/82039/task/82058/stat : 82058 (Timer-0) S 82036 82039 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69619744 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
Current children cumulated CPU time: 146.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1333248 KiB
[startup+141.5 s]
/proc/loadavg: 4.15 4.19 4.15 5/335 82065
/proc/meminfo: memFree=116518068/131382116 swapFree=33010684/33010684
[pid=82039] ppid=82036 vsize=19063512 memory=1333248 CPUtime=146.5 cores=0,2
/proc/82039/stat : 82039 (java) S 82036 82039 80991 0 -1 4194304 47400 0 0 0 14577 73 0 0 20 0 20 0 69619681 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
/proc/82039/statm: 4765878 333312 5564 1 0 554750 0
[pid=82039/tid=82041] ppid=82036 vsize=19063512 memory=14336 CPUtime=140.04 cores=0,2
/proc/82039/task/82041/stat : 82041 (java) R 82036 82039 80991 0 -1 4194368 14047 0 0 0 13946 58 0 0 20 0 20 0 69619683 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82050] ppid=82036 vsize=19063512 memory=1323000 CPUtime=0 cores=0,2
/proc/82039/task/82050/stat : 82050 (Finalizer) S 82036 82039 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69619686 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82057] ppid=82036 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/82039/task/82057/stat : 82057 (Common-Cleaner) S 82036 82039 80991 0 -1 4194368 134 0 0 0 0 0 0 0 20 0 20 0 69619687 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
[pid=82039/tid=82058] ppid=82036 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/82039/task/82058/stat : 82058 (Timer-0) S 82036 82039 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69619744 19521036288 333312 18446744073709551615 94621463498752 94621463502448 140728616948224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94621463510264 94621463511056 94621491843072 140728616950064 140728616950246 140728616950246 140728616955848 0
Current children cumulated CPU time: 146.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1333248 KiB
Child status: 30
Real time (s): 141.634
CPU time (s): 146.586
CPU user time (s): 145.83
CPU system time (s): 0.755256
CPU usage (%): 103.496
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1333248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 145.83
system time used= 0.755256
maximum resident set size= 1333760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49009
page faults= 0
swaps= 0
block input operations= 0
block output operations= 553432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6953
involuntary context switches= 1635
# summary of solver processes directly reported to runsolver:
# pid: 82039
# total CPU time (s): 146.586
# total CPU user time (s): 145.83
# total CPU system time (s): 0.755256
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.804321 second user time and 1.61445 second system time
The end