runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (60652 MiB free)
memory of node 1: 64507 MiB (61640 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503752-1751164716/watcher-4503752-1751164716 -o /tmp/evaluation-result-4503752-1751164716/solver-4503752-1751164716 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751156866-21071 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4503752-1751164716.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 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=23257, runsolver pid=23254
[startup+0.100061 s]*
/proc/loadavg: 4.13 4.12 4.10 5/338 23275
/proc/meminfo: memFree=125196436/131250000 swapFree=33010684/33010684
[pid=23257] ppid=23254 vsize=18930384 memory=57720 CPUtime=0.13 cores=1,3
/proc/23257/stat : 23257 (java) S 23254 23257 21059 0 -1 4194304 6571 0 0 0 11 2 0 0 20 0 18 0 32149423 19384713216 14430 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
/proc/23257/statm: 4732596 14430 5344 1 0 547604 0
[pid=23257/tid=23259] ppid=23254 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/23257/task/23259/stat : 23259 (java) R 23254 23257 21059 0 -1 4194368 5066 0 0 0 7 1 0 0 20 0 18 0 32149424 19384713216 14430 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23268] ppid=23254 vsize=18930384 memory=237112656212 CPUtime=0 cores=1,3
/proc/23257/task/23268/stat : 23268 (Finalizer) S 23254 23257 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32149426 19384713216 14430 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23275] ppid=23254 vsize=18930384 memory=59585004336188 CPUtime=0 cores=1,3
/proc/23257/task/23275/stat : 23275 (Common-Cleaner) S 23254 23257 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 32149427 19384713216 14430 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57720 KiB
[startup+0.205774 s]*
/proc/loadavg: 4.28 4.15 4.11 7/338 23275
/proc/meminfo: memFree=125182388/131250000 swapFree=33010684/33010684
[pid=23257] ppid=23254 vsize=18930384 memory=72380 CPUtime=0.32 cores=1,3
/proc/23257/stat : 23257 (java) S 23254 23257 21059 0 -1 4194304 7109 0 0 0 30 2 0 0 20 0 18 0 32149423 19384713216 18095 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
/proc/23257/statm: 4732596 18095 5408 1 0 547979 0
[pid=23257/tid=23259] ppid=23254 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=1,3
/proc/23257/task/23259/stat : 23259 (java) R 23254 23257 21059 0 -1 4194368 5306 0 0 0 16 1 0 0 20 0 18 0 32149424 19384713216 18095 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23268] ppid=23254 vsize=18930384 memory=16163 CPUtime=0 cores=1,3
/proc/23257/task/23268/stat : 23268 (Finalizer) S 23254 23257 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32149426 19384713216 18095 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23275] ppid=23254 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/23257/task/23275/stat : 23275 (Common-Cleaner) S 23254 23257 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 32149427 19384713216 18095 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72380 KiB
[startup+0.305673 s]*
/proc/loadavg: 4.28 4.15 4.11 6/338 23275
/proc/meminfo: memFree=125144580/131250000 swapFree=33010684/33010684
[pid=23257] ppid=23254 vsize=18930384 memory=118756 CPUtime=0.5 cores=1,3
/proc/23257/stat : 23257 (java) S 23254 23257 21059 0 -1 4194304 9041 0 0 0 47 3 0 0 20 0 18 0 32149423 19384713216 29689 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
/proc/23257/statm: 4732596 29689 5408 1 0 549263 0
[pid=23257/tid=23259] ppid=23254 vsize=18930384 memory=-6000919489886579053 CPUtime=0.26 cores=1,3
/proc/23257/task/23259/stat : 23259 (java) R 23254 23257 21059 0 -1 4194368 5329 0 0 0 25 1 0 0 20 0 18 0 32149424 19384713216 29689 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23268] ppid=23254 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/23257/task/23268/stat : 23268 (Finalizer) S 23254 23257 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32149426 19384713216 29689 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23275] ppid=23254 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/23257/task/23275/stat : 23275 (Common-Cleaner) S 23254 23257 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 32149427 19384713216 29689 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 118756 KiB
[startup+0.700227 s]
/proc/loadavg: 4.28 4.15 4.11 6/339 23276
/proc/meminfo: memFree=125091332/131250000 swapFree=33010684/33010684
[pid=23257] ppid=23254 vsize=18996948 memory=178548 CPUtime=1.26 cores=1,3
/proc/23257/stat : 23257 (java) S 23254 23257 21059 0 -1 4194304 10663 0 0 0 121 5 0 0 20 0 19 0 32149423 19452874752 44637 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
/proc/23257/statm: 4749237 44637 5440 1 0 550482 0
[pid=23257/tid=23259] ppid=23254 vsize=18996948 memory=17408 CPUtime=0.6 cores=1,3
/proc/23257/task/23259/stat : 23259 (java) R 23254 23257 21059 0 -1 4194368 5350 0 0 0 58 2 0 0 20 0 19 0 32149424 19452874752 44637 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23268] ppid=23254 vsize=18996948 memory=10496 CPUtime=0 cores=1,3
/proc/23257/task/23268/stat : 23268 (Finalizer) S 23254 23257 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 32149426 19452874752 44637 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23275] ppid=23254 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/23257/task/23275/stat : 23275 (Common-Cleaner) S 23254 23257 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 32149427 19452874752 44637 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 178548 KiB
[startup+1.50027 s]
/proc/loadavg: 4.28 4.15 4.11 6/339 23276
/proc/meminfo: memFree=124897880/131250000 swapFree=33010684/33010684
[pid=23257] ppid=23254 vsize=18996948 memory=479976 CPUtime=2.85 cores=1,3
/proc/23257/stat : 23257 (java) S 23254 23257 21059 0 -1 4194304 18016 0 0 0 272 13 0 0 20 0 19 0 32149423 19452874752 119994 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
/proc/23257/statm: 4749237 119994 5440 1 0 1582306 0
[pid=23257/tid=23259] ppid=23254 vsize=18996948 memory=3200 CPUtime=1.21 cores=1,3
/proc/23257/task/23259/stat : 23259 (java) R 23254 23257 21059 0 -1 4194368 5454 0 0 0 114 7 0 0 20 0 19 0 32149424 19452874752 119994 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23268] ppid=23254 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/23257/task/23268/stat : 23268 (Finalizer) S 23254 23257 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 32149426 19452874752 119994 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23275] ppid=23254 vsize=18996948 memory=10496 CPUtime=0 cores=1,3
/proc/23257/task/23275/stat : 23275 (Common-Cleaner) S 23254 23257 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 32149427 19452874752 119994 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 479976 KiB
[startup+3.10564 s]
/proc/loadavg: 4.28 4.15 4.11 6/340 23277
/proc/meminfo: memFree=124200120/131250000 swapFree=33010684/33010684
[pid=23257] ppid=23254 vsize=19063512 memory=1059176 CPUtime=4.91 cores=1,3
/proc/23257/stat : 23257 (java) S 23254 23257 21059 0 -1 4194304 19243 0 0 0 466 25 0 0 20 0 20 0 32149423 19521036288 264794 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
/proc/23257/statm: 4765878 264794 5472 1 0 2084046 0
[pid=23257/tid=23259] ppid=23254 vsize=19063512 memory=10496 CPUtime=2.56 cores=1,3
/proc/23257/task/23259/stat : 23259 (java) R 23254 23257 21059 0 -1 4194368 5723 0 0 0 241 15 0 0 20 0 20 0 32149424 19521036288 264794 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23268] ppid=23254 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23257/task/23268/stat : 23268 (Finalizer) S 23254 23257 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32149426 19521036288 264794 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23275] ppid=23254 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/23257/task/23275/stat : 23275 (Common-Cleaner) S 23254 23257 21059 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32149427 19521036288 264794 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23277] ppid=23254 vsize=19063512 memory=2208 CPUtime=0 cores=1,3
/proc/23257/task/23277/stat : 23277 (Timer-0) S 23254 23257 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32149699 19521036288 264794 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
Current children cumulated CPU time: 4.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1059176 KiB
[startup+6.30023 s]
/proc/loadavg: 4.26 4.14 4.10 5/340 23277
/proc/meminfo: memFree=124199616/131250000 swapFree=33010684/33010684
[pid=23257] ppid=23254 vsize=19063512 memory=1058644 CPUtime=8.48 cores=1,3
/proc/23257/stat : 23257 (java) S 23254 23257 21059 0 -1 4194304 19395 0 0 0 822 26 0 0 20 0 20 0 32149423 19521036288 264661 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
/proc/23257/statm: 4765878 264661 5472 1 0 2084055 0
[pid=23257/tid=23259] ppid=23254 vsize=19063512 memory=0 CPUtime=5.74 cores=1,3
/proc/23257/task/23259/stat : 23259 (java) R 23254 23257 21059 0 -1 4194368 5752 0 0 0 559 15 0 0 20 0 20 0 32149424 19521036288 264661 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23268] ppid=23254 vsize=19063512 memory=998872 CPUtime=0 cores=1,3
/proc/23257/task/23268/stat : 23268 (Finalizer) S 23254 23257 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32149426 19521036288 264661 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23275] ppid=23254 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/23257/task/23275/stat : 23275 (Common-Cleaner) S 23254 23257 21059 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32149427 19521036288 264661 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23277] ppid=23254 vsize=19063512 memory=-6000919489886579053 CPUtime=0 cores=1,3
/proc/23257/task/23277/stat : 23277 (Timer-0) S 23254 23257 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32149699 19521036288 264661 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
Current children cumulated CPU time: 8.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1058644 KiB
[startup+12.7002 s]
/proc/loadavg: 4.24 4.14 4.10 5/340 23277
/proc/meminfo: memFree=124191440/131250000 swapFree=33010684/33010684
[pid=23257] ppid=23254 vsize=19063512 memory=1072184 CPUtime=15.23 cores=1,3
/proc/23257/stat : 23257 (java) S 23254 23257 21059 0 -1 4194304 26425 0 0 0 1495 28 0 0 20 0 20 0 32149423 19521036288 268046 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
/proc/23257/statm: 4765878 268046 5504 1 0 2084087 0
[pid=23257/tid=23259] ppid=23254 vsize=19063512 memory=1065144 CPUtime=12.12 cores=1,3
/proc/23257/task/23259/stat : 23259 (java) R 23254 23257 21059 0 -1 4194368 6430 0 0 0 1197 15 0 0 20 0 20 0 32149424 19521036288 268046 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23268] ppid=23254 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23257/task/23268/stat : 23268 (Finalizer) S 23254 23257 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32149426 19521036288 268046 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23275] ppid=23254 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23257/task/23275/stat : 23275 (Common-Cleaner) S 23254 23257 21059 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32149427 19521036288 268046 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23277] ppid=23254 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23257/task/23277/stat : 23277 (Timer-0) S 23254 23257 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32149699 19521036288 268046 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
Current children cumulated CPU time: 15.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1072184 KiB
[startup+25.5002 s]
/proc/loadavg: 4.20 4.14 4.10 5/340 23277
/proc/meminfo: memFree=123994352/131250000 swapFree=33010684/33010684
[pid=23257] ppid=23254 vsize=19063512 memory=1078384 CPUtime=28.02 cores=1,3
/proc/23257/stat : 23257 (java) S 23254 23257 21059 0 -1 4194304 27640 0 0 0 2773 29 0 0 20 0 20 0 32149423 19521036288 269596 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
/proc/23257/statm: 4765878 269596 5504 1 0 2084087 0
[pid=23257/tid=23259] ppid=23254 vsize=19063512 memory=1065144 CPUtime=24.89 cores=1,3
/proc/23257/task/23259/stat : 23259 (java) R 23254 23257 21059 0 -1 4194368 7134 0 0 0 2473 16 0 0 20 0 20 0 32149424 19521036288 269596 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23268] ppid=23254 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23257/task/23268/stat : 23268 (Finalizer) S 23254 23257 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32149426 19521036288 269596 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23275] ppid=23254 vsize=19063512 memory=16520 CPUtime=0 cores=1,3
/proc/23257/task/23275/stat : 23275 (Common-Cleaner) S 23254 23257 21059 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32149427 19521036288 269596 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23277] ppid=23254 vsize=19063512 memory=1076336 CPUtime=0 cores=1,3
/proc/23257/task/23277/stat : 23277 (Timer-0) S 23254 23257 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32149699 19521036288 269596 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
Current children cumulated CPU time: 28.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1078384 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.12 4.10 5/340 23278
/proc/meminfo: memFree=123973904/131250000 swapFree=33010684/33010684
[pid=23257] ppid=23254 vsize=19063512 memory=1100912 CPUtime=53.58 cores=1,3
/proc/23257/stat : 23257 (java) S 23254 23257 21059 0 -1 4194304 28855 0 0 0 5328 30 0 0 20 0 20 0 32149423 19521036288 275228 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
/proc/23257/statm: 4765878 275228 5504 1 0 2084087 0
[pid=23257/tid=23259] ppid=23254 vsize=19063512 memory=1096816 CPUtime=50.42 cores=1,3
/proc/23257/task/23259/stat : 23259 (java) R 23254 23257 21059 0 -1 4194368 8099 0 0 0 5026 16 0 0 20 0 20 0 32149424 19521036288 275228 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23268] ppid=23254 vsize=19063512 memory=1092720 CPUtime=0 cores=1,3
/proc/23257/task/23268/stat : 23268 (Finalizer) S 23254 23257 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32149426 19521036288 275228 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23275] ppid=23254 vsize=19063512 memory=16520 CPUtime=0 cores=1,3
/proc/23257/task/23275/stat : 23275 (Common-Cleaner) S 23254 23257 21059 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32149427 19521036288 275228 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23277] ppid=23254 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23257/task/23277/stat : 23277 (Timer-0) S 23254 23257 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32149699 19521036288 275228 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
Current children cumulated CPU time: 53.58 s
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 2.18 2.74 3.30 4/290 23580
/proc/meminfo: memFree=123201128/131250000 swapFree=33010684/33010684
[pid=23257] ppid=23254 vsize=19063512 memory=3485524 CPUtime=3280.23 cores=1,3
/proc/23257/stat : 23257 (java) S 23254 23257 21059 0 -1 4194304 82804 0 0 0 327828 195 0 0 20 0 20 0 32149423 19521036288 871381 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
/proc/23257/statm: 4765878 871381 5504 1 0 2084202 0
[pid=23257/tid=23259] ppid=23254 vsize=19063512 memory=3303240 CPUtime=3270.45 cores=1,3
/proc/23257/task/23259/stat : 23259 (java) R 23254 23257 21059 0 -1 4194368 38407 0 0 0 327018 27 0 0 20 0 20 0 32149424 19521036288 871381 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23268] ppid=23254 vsize=19063512 memory=3303240 CPUtime=0 cores=1,3
/proc/23257/task/23268/stat : 23268 (Finalizer) S 23254 23257 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32149426 19521036288 871381 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23275] ppid=23254 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/23257/task/23275/stat : 23275 (Common-Cleaner) S 23254 23257 21059 0 -1 4194368 1618 0 0 0 0 0 0 0 20 0 20 0 32149427 19521036288 871381 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23277] ppid=23254 vsize=19063512 memory=3485524 CPUtime=0 cores=1,3
/proc/23257/task/23277/stat : 23277 (Timer-0) S 23254 23257 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32149699 19521036288 871381 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
Current children cumulated CPU time: 3280.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3485524 KiB
[startup+3342.3 s]
/proc/loadavg: 2.14 2.62 3.22 4/290 23582
/proc/meminfo: memFree=123199928/131250000 swapFree=33010684/33010684
[pid=23257] ppid=23254 vsize=19063512 memory=3485524 CPUtime=3340.1 cores=1,3
/proc/23257/stat : 23257 (java) S 23254 23257 21059 0 -1 4194304 83544 0 0 0 333814 196 0 0 20 0 20 0 32149423 19521036288 871381 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
/proc/23257/statm: 4765878 871381 5504 1 0 2084202 0
[pid=23257/tid=23259] ppid=23254 vsize=19063512 memory=0 CPUtime=3330.29 cores=1,3
/proc/23257/task/23259/stat : 23259 (java) R 23254 23257 21059 0 -1 4194368 39142 0 0 0 333002 27 0 0 20 0 20 0 32149424 19521036288 871381 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23268] ppid=23254 vsize=19063512 memory=3485524 CPUtime=0 cores=1,3
/proc/23257/task/23268/stat : 23268 (Finalizer) S 23254 23257 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32149426 19521036288 871381 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23275] ppid=23254 vsize=19063512 memory=3485524 CPUtime=0 cores=1,3
/proc/23257/task/23275/stat : 23275 (Common-Cleaner) S 23254 23257 21059 0 -1 4194368 1618 0 0 0 0 0 0 0 20 0 20 0 32149427 19521036288 871381 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23277] ppid=23254 vsize=19063512 memory=25560 CPUtime=0 cores=1,3
/proc/23257/task/23277/stat : 23277 (Timer-0) S 23254 23257 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32149699 19521036288 871381 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
Current children cumulated CPU time: 3340.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3485524 KiB
[startup+3402.3 s]
/proc/loadavg: 2.11 2.52 3.15 4/291 23591
/proc/meminfo: memFree=123201012/131250000 swapFree=33010684/33010684
[pid=23257] ppid=23254 vsize=19063512 memory=3485524 CPUtime=3399.95 cores=1,3
/proc/23257/stat : 23257 (java) S 23254 23257 21059 0 -1 4194304 85137 0 0 0 339798 197 0 0 20 0 20 0 32149423 19521036288 871381 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
/proc/23257/statm: 4765878 871381 5504 1 0 2084202 0
[pid=23257/tid=23259] ppid=23254 vsize=19063512 memory=0 CPUtime=3390.12 cores=1,3
/proc/23257/task/23259/stat : 23259 (java) R 23254 23257 21059 0 -1 4194368 40603 0 0 0 338985 27 0 0 20 0 20 0 32149424 19521036288 871381 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23268] ppid=23254 vsize=19063512 memory=3485524 CPUtime=0 cores=1,3
/proc/23257/task/23268/stat : 23268 (Finalizer) S 23254 23257 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32149426 19521036288 871381 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23275] ppid=23254 vsize=19063512 memory=25560 CPUtime=0 cores=1,3
/proc/23257/task/23275/stat : 23275 (Common-Cleaner) S 23254 23257 21059 0 -1 4194368 1718 0 0 0 0 0 0 0 20 0 20 0 32149427 19521036288 871381 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23277] ppid=23254 vsize=19063512 memory=3485524 CPUtime=0 cores=1,3
/proc/23257/task/23277/stat : 23277 (Timer-0) S 23254 23257 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32149699 19521036288 871381 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
Current children cumulated CPU time: 3399.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3485524 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 2.44 3.08 4/291 23593
/proc/meminfo: memFree=123197096/131250000 swapFree=33010684/33010684
[pid=23257] ppid=23254 vsize=19063512 memory=3489624 CPUtime=3459.91 cores=1,3
/proc/23257/stat : 23257 (java) S 23254 23257 21059 0 -1 4194304 86836 0 0 0 345792 199 0 0 20 0 20 0 32149423 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
/proc/23257/statm: 4765878 872406 5504 1 0 2084202 0
[pid=23257/tid=23259] ppid=23254 vsize=19063512 memory=3485524 CPUtime=3449.83 cores=1,3
/proc/23257/task/23259/stat : 23259 (java) R 23254 23257 21059 0 -1 4194368 41550 0 0 0 344956 27 0 0 20 0 20 0 32149424 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23268] ppid=23254 vsize=19063512 memory=25560 CPUtime=0 cores=1,3
/proc/23257/task/23268/stat : 23268 (Finalizer) S 23254 23257 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32149426 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23275] ppid=23254 vsize=19063512 memory=3485524 CPUtime=0 cores=1,3
/proc/23257/task/23275/stat : 23275 (Common-Cleaner) S 23254 23257 21059 0 -1 4194368 1793 0 0 0 0 0 0 0 20 0 20 0 32149427 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23277] ppid=23254 vsize=19063512 memory=3489624 CPUtime=0 cores=1,3
/proc/23257/task/23277/stat : 23277 (Timer-0) S 23254 23257 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32149699 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
Current children cumulated CPU time: 3459.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3489624 KiB
[startup+3522.3 s]
/proc/loadavg: 2.07 2.37 3.01 4/291 23595
/proc/meminfo: memFree=123188132/131250000 swapFree=33010684/33010684
[pid=23257] ppid=23254 vsize=19063512 memory=3489624 CPUtime=3519.79 cores=1,3
/proc/23257/stat : 23257 (java) S 23254 23257 21059 0 -1 4194304 87557 0 0 0 351778 201 0 0 20 0 20 0 32149423 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
/proc/23257/statm: 4765878 872406 5504 1 0 2084202 0
[pid=23257/tid=23259] ppid=23254 vsize=19063512 memory=3485524 CPUtime=3509.69 cores=1,3
/proc/23257/task/23259/stat : 23259 (java) R 23254 23257 21059 0 -1 4194368 42266 0 0 0 350942 27 0 0 20 0 20 0 32149424 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23268] ppid=23254 vsize=19063512 memory=3489624 CPUtime=0 cores=1,3
/proc/23257/task/23268/stat : 23268 (Finalizer) S 23254 23257 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32149426 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23275] ppid=23254 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/23257/task/23275/stat : 23275 (Common-Cleaner) S 23254 23257 21059 0 -1 4194368 1793 0 0 0 0 0 0 0 20 0 20 0 32149427 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23277] ppid=23254 vsize=19063512 memory=16520 CPUtime=0 cores=1,3
/proc/23257/task/23277/stat : 23277 (Timer-0) S 23254 23257 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32149699 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
Current children cumulated CPU time: 3519.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3489624 KiB
[startup+3582.3 s]
/proc/loadavg: 2.08 2.32 2.95 4/290 23598
/proc/meminfo: memFree=123081980/131250000 swapFree=33010684/33010684
[pid=23257] ppid=23254 vsize=19063512 memory=3489624 CPUtime=3579.64 cores=1,3
/proc/23257/stat : 23257 (java) S 23254 23257 21059 0 -1 4194304 89185 0 0 0 357761 203 0 0 20 0 20 0 32149423 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
/proc/23257/statm: 4765878 872406 5504 1 0 2084202 0
[pid=23257/tid=23259] ppid=23254 vsize=19063512 memory=17408 CPUtime=3569.51 cores=1,3
/proc/23257/task/23259/stat : 23259 (java) R 23254 23257 21059 0 -1 4194368 43762 0 0 0 356924 27 0 0 20 0 20 0 32149424 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23268] ppid=23254 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/23257/task/23268/stat : 23268 (Finalizer) S 23254 23257 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32149426 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23275] ppid=23254 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/23257/task/23275/stat : 23275 (Common-Cleaner) S 23254 23257 21059 0 -1 4194368 1893 0 0 0 0 0 0 0 20 0 20 0 32149427 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23277] ppid=23254 vsize=19063512 memory=1920 CPUtime=0 cores=1,3
/proc/23257/task/23277/stat : 23277 (Timer-0) S 23254 23257 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32149699 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
Current children cumulated CPU time: 3579.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3489624 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3602.8 s]
/proc/loadavg: 2.13 2.31 2.94 4/290 23599
/proc/meminfo: memFree=123081980/131250000 swapFree=33010684/33010684
[pid=23257] ppid=23254 vsize=19063512 memory=3489624 CPUtime=3600.09 cores=1,3
/proc/23257/stat : 23257 (java) S 23254 23257 21059 0 -1 4194304 89354 0 0 0 359806 203 0 0 20 0 20 0 32149423 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
/proc/23257/statm: 4765878 872406 5504 1 0 2084202 0
[pid=23257/tid=23259] ppid=23254 vsize=19063512 memory=26268 CPUtime=3589.96 cores=1,3
/proc/23257/task/23259/stat : 23259 (java) R 23254 23257 21059 0 -1 4194368 43930 0 0 0 358968 28 0 0 20 0 20 0 32149424 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23268] ppid=23254 vsize=19063512 memory=-6000919489886579053 CPUtime=0 cores=1,3
/proc/23257/task/23268/stat : 23268 (Finalizer) S 23254 23257 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32149426 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23275] ppid=23254 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/23257/task/23275/stat : 23275 (Common-Cleaner) S 23254 23257 21059 0 -1 4194368 1893 0 0 0 0 0 0 0 20 0 20 0 32149427 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23277] ppid=23254 vsize=19063512 memory=2944 CPUtime=0 cores=1,3
/proc/23257/task/23277/stat : 23277 (Timer-0) S 23254 23257 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32149699 19521036288 872406 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3489624 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3602.92 s]
# the end of solver process 23257 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.21 s, system=2.05054 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3602.91 s]
/proc/loadavg: 2.13 2.31 2.94 4/290 23599
/proc/meminfo: memFree=123081980/131250000 swapFree=33010684/33010684
[pid=23257] ppid=23254 vsize=19263204 memory=3490776 CPUtime=3600.24 cores=1,3
/proc/23257/stat : 23257 (java) S 23254 23257 21059 0 -1 4194304 91867 0 0 0 359820 204 0 0 20 0 15 0 32149423 19725520896 872694 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
/proc/23257/statm: 4815801 872694 5504 1 0 2085188 0
[pid=23257/tid=23259] ppid=23254 vsize=19263204 memory=3200 CPUtime=3589.98 cores=1,3
/proc/23257/task/23259/stat : 23259 (java) S 23254 23257 21059 0 -1 4194368 44061 0 0 0 358970 28 0 0 20 0 15 0 32149424 19725520896 872694 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23268] ppid=23254 vsize=19263204 memory=3489624 CPUtime=0 cores=1,3
/proc/23257/task/23268/stat : 23268 (Finalizer) S 23254 23257 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 32149426 19725520896 872694 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
[pid=23257/tid=23275] ppid=23254 vsize=19263204 memory=3489624 CPUtime=0 cores=1,3
/proc/23257/task/23275/stat : 23275 (Common-Cleaner) S 23254 23257 21059 0 -1 4194368 1893 0 0 0 0 0 0 0 20 0 15 0 32149427 19725520896 872694 18446744073709551615 94152755085312 94152755089008 140730046914992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94152755096824 94152755097616 94152782561280 140730046921089 140730046921190 140730046921190 140730046926792 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3490776 KiB
Child status: 143
Real time (s): 3602.92
CPU time (s): 3600.26
CPU user time (s): 3598.21
CPU system time (s): 2.05054
CPU usage (%): 99.926
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3490776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.21
system time used= 2.05054
maximum resident set size= 3490904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91896
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137252
involuntary context switches= 7832
# summary of solver processes directly reported to runsolver:
# pid: 23257
# total CPU time (s): 3600.26
# total CPU user time (s): 3598.21
# total CPU system time (s): 2.05054
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.43759 second user time and 17.2467 second system time
The end