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 (49317 MiB free)
memory of node 1: 64507 MiB (60547 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517637-1751538677/watcher-4517637-1751538677 -o /tmp/evaluation-result-4517637-1751538677/solver-4517637-1751538677 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751535003-81003 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517637-1751538677 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517637-1751538677.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=81669, runsolver pid=81666
[startup+0.100081 s]*
/proc/loadavg: 4.18 4.20 4.14 7/335 81687
/proc/meminfo: memFree=112473504/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=18930384 memory=48500 CPUtime=0.11 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 5831 0 0 0 9 2 0 0 20 0 18 0 69547448 19384713216 12125 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4732596 12125 5305 1 0 547010 0
[pid=81669/tid=81671] ppid=81666 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 4715 0 0 0 5 1 0 0 20 0 18 0 69547450 19384713216 12125 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69547453 19384713216 12125 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=18930384 memory=59593594265959 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69547454 19384713216 12125 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48500 KiB
[startup+0.213991 s]*
/proc/loadavg: 4.18 4.20 4.14 12/335 81687
/proc/meminfo: memFree=112466384/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=18930384 memory=58408 CPUtime=0.31 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 6756 0 0 0 27 4 0 0 20 0 18 0 69547448 19384713216 14602 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4732596 14602 5337 1 0 547793 0
[pid=81669/tid=81671] ppid=81666 vsize=18930384 memory=4026728732 CPUtime=0.18 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 5263 0 0 0 16 2 0 0 20 0 18 0 69547450 19384713216 14666 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=18930384 memory=1641 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69547453 19384713216 14666 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=18930384 memory=58494082614266 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69547454 19384713216 14666 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58408 KiB
[startup+0.323439 s]*
/proc/loadavg: 4.18 4.20 4.14 6/313 81687
/proc/meminfo: memFree=115014832/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=18930384 memory=63532 CPUtime=0.5 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 6940 0 0 0 46 4 0 0 20 0 18 0 69547448 19384713216 15883 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4732596 15883 5401 1 0 547907 0
[pid=81669/tid=81671] ppid=81666 vsize=18930384 memory=-6000919481279605607 CPUtime=0.28 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 5296 0 0 0 26 2 0 0 20 0 18 0 69547450 19384713216 15883 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69547453 19384713216 15883 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69547454 19384713216 15883 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63532 KiB
[startup+0.700476 s]
/proc/loadavg: 4.18 4.20 4.14 8/312 81696
/proc/meminfo: memFree=114998916/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=18996948 memory=90468 CPUtime=1.19 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 10259 0 0 0 113 6 0 0 20 0 19 0 69547448 19452874752 22617 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4749237 22617 5465 1 0 549975 0
[pid=81669/tid=81671] ppid=81666 vsize=18996948 memory=18432 CPUtime=0.53 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 5451 0 0 0 50 3 0 0 20 0 19 0 69547450 19452874752 22617 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69547453 19452874752 22617 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=18996948 memory=21672 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 69547454 19452874752 22617 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=18996948 memory=4352 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69547498 19452874752 22617 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90468 KiB
[startup+1.50026 s]
/proc/loadavg: 4.18 4.20 4.14 7/312 81696
/proc/meminfo: memFree=114964136/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=168652 CPUtime=2.75 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 18596 0 0 0 266 9 0 0 20 0 20 0 69547448 19521036288 42163 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 42163 5529 1 0 551974 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=0 CPUtime=1.24 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 6410 0 0 0 119 5 0 0 20 0 20 0 69547450 19521036288 42163 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 42163 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=21672 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 42163 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 42163 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168652 KiB
[startup+3.10561 s]
/proc/loadavg: 4.18 4.20 4.14 5/312 81720
/proc/meminfo: memFree=122030228/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=174976 CPUtime=5.55 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 21456 0 0 0 543 12 0 0 20 0 20 0 69547448 19521036288 43744 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 43744 5529 1 0 552382 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=11136 CPUtime=2.81 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 6761 0 0 0 274 7 0 0 20 0 20 0 69547450 19521036288 43744 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=-6000919481279605607 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 43744 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 43744 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=21672 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 43744 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 5.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174976 KiB
[startup+6.30043 s]
/proc/loadavg: 4.25 4.21 4.14 6/336 81753
/proc/meminfo: memFree=121675956/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=385108 CPUtime=9.26 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 26936 0 0 0 908 18 0 0 20 0 20 0 69547448 19521036288 96277 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 96277 5529 1 0 553111 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=0 CPUtime=5.96 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 7483 0 0 0 584 12 0 0 20 0 20 0 69547450 19521036288 96277 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=21672 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 96277 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 96277 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=169676 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 96277 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 9.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 385108 KiB
[startup+12.7005 s]
/proc/loadavg: 4.31 4.22 4.15 5/336 81753
/proc/meminfo: memFree=120453560/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=899280 CPUtime=16.56 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 37050 0 0 0 1622 34 0 0 20 0 20 0 69547448 19521036288 224820 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 224820 5529 1 0 553111 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=169676 CPUtime=12.27 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 9081 0 0 0 1201 26 0 0 20 0 20 0 69547450 19521036288 224820 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=755792 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 224820 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 224820 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=21672 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 224820 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 16.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 899280 KiB
[startup+25.5005 s]
/proc/loadavg: 4.24 4.21 4.15 5/336 81753
/proc/meminfo: memFree=119787864/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=905068 CPUtime=29.33 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 37880 0 0 0 2893 40 0 0 20 0 20 0 69547448 19521036288 226267 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 226267 5529 1 0 553111 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=21672 CPUtime=24.91 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 9716 0 0 0 2460 31 0 0 20 0 20 0 69547450 19521036288 226267 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=6689 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 226267 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=169676 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 226267 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=401492 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 226267 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 29.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 905068 KiB
[startup+51.1138 s]
/proc/loadavg: 4.23 4.21 4.15 5/336 81754
/proc/meminfo: memFree=119152764/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=1329056 CPUtime=54.99 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 41402 0 0 0 5441 58 0 0 20 0 20 0 69547448 19521036288 332264 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 332264 5529 1 0 553111 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=1329056 CPUtime=50.15 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 10542 0 0 0 4969 46 0 0 20 0 20 0 69547450 19521036288 332264 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=1329056 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 332264 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
################
# More data... #
################
/proc/meminfo: memFree=58796364/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=2125712 CPUtime=3338.27 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 84353 0 0 0 332645 1182 0 0 20 0 20 0 69547448 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 531428 5561 1 0 553375 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=2125712 CPUtime=3305.97 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 34277 0 0 0 329629 968 0 0 20 0 20 0 69547450 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=-6000919481279605607 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 1037 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=2125712 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 3338.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125712 KiB
[startup+3462.3 s]
/proc/loadavg: 4.80 4.64 4.50 6/334 82416
/proc/meminfo: memFree=58095772/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=2125712 CPUtime=3398.24 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 85325 0 0 0 338625 1199 0 0 20 0 20 0 69547448 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 531428 5561 1 0 553375 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=2125712 CPUtime=3365.57 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 35038 0 0 0 335574 983 0 0 20 0 20 0 69547450 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=2125712 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 1037 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=2125712 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 3398.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125712 KiB
[startup+3522.3 s]
/proc/loadavg: 4.56 4.61 4.50 5/333 82418
/proc/meminfo: memFree=56880772/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=2125712 CPUtime=3458.21 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 86487 0 0 0 344606 1215 0 0 20 0 20 0 69547448 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 531428 5561 1 0 553375 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=2125712 CPUtime=3425.16 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 35921 0 0 0 341520 996 0 0 20 0 20 0 69547450 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=2125712 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 1071 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 3458.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125712 KiB
[startup+3582.3 s]
/proc/loadavg: 4.60 4.61 4.50 6/334 82421
/proc/meminfo: memFree=55733620/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=2125712 CPUtime=3518.08 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 86698 0 0 0 350576 1232 0 0 20 0 20 0 69547448 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 531428 5561 1 0 553375 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=4752 CPUtime=3484.68 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 36025 0 0 0 347458 1010 0 0 20 0 20 0 69547450 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 1106 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 3518.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125712 KiB
[startup+3642.3 s]
/proc/loadavg: 4.74 4.63 4.52 6/333 82423
/proc/meminfo: memFree=54461148/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=2125712 CPUtime=3577.96 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 86873 0 0 0 356548 1248 0 0 20 0 20 0 69547448 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 531428 5561 1 0 553375 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=5632 CPUtime=3544.28 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 36117 0 0 0 353406 1022 0 0 20 0 20 0 69547450 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 1106 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 3577.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3667.9 s]
/proc/loadavg: 4.64 4.62 4.52 5/333 82424
/proc/meminfo: memFree=53643980/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=2125840 CPUtime=3600 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 87130 0 0 0 358745 1255 0 0 20 0 20 0 69547448 19521036288 531460 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 531460 5561 1 0 553375 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=5632 CPUtime=3566.19 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 36348 0 0 0 355591 1028 0 0 20 0 20 0 69547450 19521036288 531460 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=2125840 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 531460 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=2125840 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 1106 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 531460 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 531460 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3668.19 s]
# the end of solver process 81669 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3587.96 s, system=12.5748 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3668.01 s]*
/proc/loadavg: 4.64 4.62 4.52 8/334 82427
/proc/meminfo: memFree=53623076/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19263204 memory=2126736 CPUtime=3600.22 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 89155 0 0 0 358766 1256 0 0 20 0 21 0 69547448 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4815801 531684 5561 1 0 554310 0
[pid=81669/tid=81671] ppid=81666 vsize=19263204 memory=-6000919507016116839 CPUtime=3566.3 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 36554 0 0 0 355602 1028 0 0 20 0 21 0 69547450 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19263204 memory=-4050210904893932690 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 69547453 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19263204 memory=16281276 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 1106 0 0 0 0 0 0 0 20 0 21 0 69547454 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=82427] ppid=81666 vsize=19263204 memory=6980 CPUtime=0.03 cores=1,3
/proc/81669/task/82427/stat : 82427 (Thread-0) R 81666 81669 80991 0 -1 4194368 210 0 0 0 3 0 0 0 20 0 21 0 69914240 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2126736 KiB
[startup+3668.11 s]
/proc/loadavg: 4.64 4.62 4.52 8/334 82427
/proc/meminfo: memFree=53623076/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19263204 memory=2126736 CPUtime=3600.41 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 89157 0 0 0 358785 1256 0 0 20 0 21 0 69547448 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4815801 531684 5561 1 0 554310 0
[pid=81669/tid=81671] ppid=81666 vsize=19263204 memory=5632 CPUtime=3566.39 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 36554 0 0 0 355611 1028 0 0 20 0 21 0 69547450 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19263204 memory=2125840 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 69547453 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19263204 memory=2125840 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 1106 0 0 0 0 0 0 0 20 0 21 0 69547454 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=82427] ppid=81666 vsize=19263204 memory=14336 CPUtime=0.11 cores=1,3
/proc/81669/task/82427/stat : 82427 (Thread-0) R 81666 81669 80991 0 -1 4194368 210 0 0 0 11 0 0 0 20 0 21 0 69914240 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2126736 KiB
Child status: 143
Real time (s): 3668.19
CPU time (s): 3600.53
CPU user time (s): 3587.96
CPU system time (s): 12.5748
CPU usage (%): 98.1554
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2126736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.96
system time used= 12.5748
maximum resident set size= 2126864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89460
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11806856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116890
involuntary context switches= 9690
# summary of solver processes directly reported to runsolver:
# pid: 81669
# total CPU time (s): 3600.53
# total CPU user time (s): 3587.96
# total CPU system time (s): 12.5748
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.1616 second user time and 38.4254 second system time
The end