runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (55548 MiB free)
memory of node 1: 64465 MiB (53385 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523522-1751606432/watcher-4523522-1751606432 -o /tmp/evaluation-result-4523522-1751606432/solver-4523522-1751606432 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751606432-85239 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4523522-1751606432.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
solver pid=85297, runsolver pid=85285
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.69 0.99 1.28 10/334 85365
/proc/meminfo: memFree=111461764/131249996 swapFree=33010160/33010684
[pid=85297] ppid=85285 vsize=18930384 memory=55424 CPUtime=0.12 cores=1,3
/proc/85297/stat : 85297 (java) S 85285 85297 85227 0 -1 4194304 6499 0 0 0 10 2 0 0 20 0 18 0 76321819 19384713216 13856 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
/proc/85297/statm: 4732596 13856 5340 1 0 547579 0
[pid=85297/tid=85311] ppid=85285 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/85297/task/85311/stat : 85311 (java) R 85285 85297 85227 0 -1 4194368 5022 0 0 0 6 1 0 0 20 0 18 0 76321820 19384713216 13856 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85353] ppid=85285 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/85297/task/85353/stat : 85353 (Finalizer) S 85285 85297 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76321822 19384713216 13856 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85364] ppid=85285 vsize=18930384 memory=61784027576291 CPUtime=0 cores=1,3
/proc/85297/task/85364/stat : 85364 (Common-Cleaner) S 85285 85297 85227 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 76321823 19384713216 13856 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55424 KiB
[startup+0.20545 s]*
/proc/loadavg: 0.69 0.99 1.28 14/334 85365
/proc/meminfo: memFree=111435172/131249996 swapFree=33010160/33010684
[pid=85297] ppid=85285 vsize=18930384 memory=66260 CPUtime=0.3 cores=1,3
/proc/85297/stat : 85297 (java) S 85285 85297 85227 0 -1 4194304 7069 0 0 0 28 2 0 0 20 0 18 0 76321819 19384713216 16565 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
/proc/85297/statm: 4732596 16565 5436 1 0 547940 0
[pid=85297/tid=85311] ppid=85285 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=1,3
/proc/85297/task/85311/stat : 85311 (java) R 85285 85297 85227 0 -1 4194368 5367 0 0 0 15 1 0 0 20 0 18 0 76321820 19384713216 16565 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85353] ppid=85285 vsize=18930384 memory=13937 CPUtime=0 cores=1,3
/proc/85297/task/85353/stat : 85353 (Finalizer) S 85285 85297 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76321822 19384713216 16565 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85364] ppid=85285 vsize=18930384 memory=60684515935208 CPUtime=0 cores=1,3
/proc/85297/task/85364/stat : 85364 (Common-Cleaner) S 85285 85297 85227 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 76321823 19384713216 16565 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66260 KiB
[startup+0.305093 s]*
/proc/loadavg: 0.69 0.99 1.28 11/334 85365
/proc/meminfo: memFree=111314952/131249996 swapFree=33010160/33010684
[pid=85297] ppid=85285 vsize=18930384 memory=97148 CPUtime=0.5 cores=1,3
/proc/85297/stat : 85297 (java) S 85285 85297 85227 0 -1 4194304 8579 0 0 0 47 3 0 0 20 0 18 0 76321819 19384713216 24287 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
/proc/85297/statm: 4732596 24287 5436 1 0 548963 0
[pid=85297/tid=85311] ppid=85285 vsize=18930384 memory=-6000919485541279591 CPUtime=0.26 cores=1,3
/proc/85297/task/85311/stat : 85311 (java) R 85285 85297 85227 0 -1 4194368 5381 0 0 0 24 2 0 0 20 0 18 0 76321820 19384713216 24287 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85353] ppid=85285 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/85297/task/85353/stat : 85353 (Finalizer) S 85285 85297 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76321822 19384713216 24287 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85364] ppid=85285 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/85297/task/85364/stat : 85364 (Common-Cleaner) S 85285 85297 85227 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 76321823 19384713216 24287 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 97148 KiB
[startup+0.701943 s]
/proc/loadavg: 0.69 0.99 1.28 11/338 85369
/proc/meminfo: memFree=111001896/131249996 swapFree=33010160/33010684
[pid=85297] ppid=85285 vsize=18996948 memory=201200 CPUtime=1.25 cores=1,3
/proc/85297/stat : 85297 (java) S 85285 85297 85227 0 -1 4194304 11103 0 0 0 119 6 0 0 20 0 19 0 76321819 19452874752 50300 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
/proc/85297/statm: 4749237 50300 5500 1 0 550938 0
[pid=85297/tid=85311] ppid=85285 vsize=18996948 memory=18560 CPUtime=0.55 cores=1,3
/proc/85297/task/85311/stat : 85311 (java) S 85285 85297 85227 0 -1 4194368 5410 0 0 0 52 3 0 0 20 0 19 0 76321820 19452874752 50300 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85353] ppid=85285 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/85297/task/85353/stat : 85353 (Finalizer) S 85285 85297 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76321822 19452874752 50300 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85364] ppid=85285 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/85297/task/85364/stat : 85364 (Common-Cleaner) S 85285 85297 85227 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 76321823 19452874752 50300 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 201200 KiB
[startup+1.50022 s]
/proc/loadavg: 0.69 0.99 1.28 11/342 85373
/proc/meminfo: memFree=110818612/131249996 swapFree=33010160/33010684
[pid=85297] ppid=85285 vsize=19063512 memory=273912 CPUtime=2.84 cores=1,3
/proc/85297/stat : 85297 (java) S 85285 85297 85227 0 -1 4194304 14675 0 0 0 275 9 0 0 20 0 20 0 76321819 19521036288 68478 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
/proc/85297/statm: 4765878 68478 5532 1 0 1079245 0
[pid=85297/tid=85311] ppid=85285 vsize=19063512 memory=3200 CPUtime=1.2 cores=1,3
/proc/85297/task/85311/stat : 85311 (java) R 85285 85297 85227 0 -1 4194368 5577 0 0 0 116 4 0 0 20 0 20 0 76321820 19521036288 68478 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85353] ppid=85285 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/85297/task/85353/stat : 85353 (Finalizer) S 85285 85297 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321822 19521036288 68478 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85364] ppid=85285 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/85297/task/85364/stat : 85364 (Common-Cleaner) S 85285 85297 85227 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76321823 19521036288 68478 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85371] ppid=85285 vsize=19063512 memory=16496 CPUtime=0 cores=1,3
/proc/85297/task/85371/stat : 85371 (Timer-0) S 85285 85297 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321898 19521036288 68478 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 273912 KiB
[startup+3.10566 s]
/proc/loadavg: 0.69 0.99 1.28 10/342 85373
/proc/meminfo: memFree=108968412/131249996 swapFree=33010160/33010684
[pid=85297] ppid=85285 vsize=19063512 memory=1118508 CPUtime=5.99 cores=1,3
/proc/85297/stat : 85297 (java) S 85285 85297 85227 0 -1 4194304 16197 0 0 0 572 27 0 0 20 0 20 0 76321819 19521036288 279627 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
/proc/85297/statm: 4765878 279627 5532 1 0 1079683 0
[pid=85297/tid=85311] ppid=85285 vsize=19063512 memory=16496 CPUtime=2.69 cores=1,3
/proc/85297/task/85311/stat : 85311 (java) R 85285 85297 85227 0 -1 4194368 5983 0 0 0 249 20 0 0 20 0 20 0 76321820 19521036288 279627 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85353] ppid=85285 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/85297/task/85353/stat : 85353 (Finalizer) S 85285 85297 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321822 19521036288 279627 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85364] ppid=85285 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/85297/task/85364/stat : 85364 (Common-Cleaner) S 85285 85297 85227 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76321823 19521036288 279627 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85371] ppid=85285 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/85297/task/85371/stat : 85371 (Timer-0) S 85285 85297 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321898 19521036288 279627 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1118508 KiB
[startup+6.3002 s]
/proc/loadavg: 1.03 1.06 1.30 7/342 85373
/proc/meminfo: memFree=102292420/131249996 swapFree=33010160/33010684
[pid=85297] ppid=85285 vsize=19063512 memory=2585056 CPUtime=9.49 cores=1,3
/proc/85297/stat : 85297 (java) S 85285 85297 85227 0 -1 4194304 17335 0 0 0 893 56 0 0 20 0 20 0 76321819 19521036288 646264 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
/proc/85297/statm: 4765878 646264 5532 1 0 1079691 0
[pid=85297/tid=85311] ppid=85285 vsize=19063512 memory=0 CPUtime=5.8 cores=1,3
/proc/85297/task/85311/stat : 85311 (java) R 85285 85297 85227 0 -1 4194368 7004 0 0 0 533 47 0 0 20 0 20 0 76321820 19521036288 646264 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85353] ppid=85285 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/85297/task/85353/stat : 85353 (Finalizer) S 85285 85297 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321822 19521036288 646264 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85364] ppid=85285 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/85297/task/85364/stat : 85364 (Common-Cleaner) S 85285 85297 85227 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76321823 19521036288 646264 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85371] ppid=85285 vsize=19063512 memory=314968 CPUtime=0 cores=1,3
/proc/85297/task/85371/stat : 85371 (Timer-0) S 85285 85297 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321898 19521036288 646264 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
Current children cumulated CPU time: 9.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2585056 KiB
[startup+12.7002 s]
/proc/loadavg: 1.27 1.11 1.32 6/342 85373
/proc/meminfo: memFree=100032388/131249996 swapFree=33010160/33010684
[pid=85297] ppid=85285 vsize=19063512 memory=2704268 CPUtime=16.58 cores=1,3
/proc/85297/stat : 85297 (java) S 85285 85297 85227 0 -1 4194304 31617 0 0 0 1598 60 0 0 20 0 20 0 76321819 19521036288 676067 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
/proc/85297/statm: 4765878 676067 5532 1 0 1085965 0
[pid=85297/tid=85311] ppid=85285 vsize=19063512 memory=314968 CPUtime=12.03 cores=1,3
/proc/85297/task/85311/stat : 85311 (java) R 85285 85297 85227 0 -1 4194368 8209 0 0 0 1155 48 0 0 20 0 20 0 76321820 19521036288 676067 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85353] ppid=85285 vsize=19063512 memory=2704268 CPUtime=0 cores=1,3
/proc/85297/task/85353/stat : 85353 (Finalizer) S 85285 85297 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321822 19521036288 676067 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85364] ppid=85285 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/85297/task/85364/stat : 85364 (Common-Cleaner) S 85285 85297 85227 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76321823 19521036288 676067 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85371] ppid=85285 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/85297/task/85371/stat : 85371 (Timer-0) S 85285 85297 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321898 19521036288 676067 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
Current children cumulated CPU time: 16.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2704268 KiB
[startup+25.5002 s]
/proc/loadavg: 1.87 1.25 1.36 6/342 85374
/proc/meminfo: memFree=99383992/131249996 swapFree=33010160/33010684
[pid=85297] ppid=85285 vsize=19063512 memory=2774312 CPUtime=29.62 cores=1,3
/proc/85297/stat : 85297 (java) S 85285 85297 85227 0 -1 4194304 32772 0 0 0 2900 62 0 0 20 0 20 0 76321819 19521036288 693578 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
/proc/85297/statm: 4765878 693578 5532 1 0 1085966 0
[pid=85297/tid=85311] ppid=85285 vsize=19063512 memory=0 CPUtime=24.64 cores=1,3
/proc/85297/task/85311/stat : 85311 (java) R 85285 85297 85227 0 -1 4194368 8833 0 0 0 2416 48 0 0 20 0 20 0 76321820 19521036288 693578 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85353] ppid=85285 vsize=19063512 memory=314968 CPUtime=0 cores=1,3
/proc/85297/task/85353/stat : 85353 (Finalizer) S 85285 85297 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321822 19521036288 693578 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85364] ppid=85285 vsize=19063512 memory=2662928 CPUtime=0 cores=1,3
/proc/85297/task/85364/stat : 85364 (Common-Cleaner) S 85285 85297 85227 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76321823 19521036288 693578 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85371] ppid=85285 vsize=19063512 memory=-6000919485541279591 CPUtime=0 cores=1,3
/proc/85297/task/85371/stat : 85371 (Timer-0) S 85285 85297 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321898 19521036288 693578 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
Current children cumulated CPU time: 29.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2774312 KiB
[startup+51.1058 s]
/proc/loadavg: 2.67 1.49 1.44 6/342 85374
/proc/meminfo: memFree=99070016/131249996 swapFree=33010160/33010684
[pid=85297] ppid=85285 vsize=19063512 memory=2798888 CPUtime=55.25 cores=1,3
/proc/85297/stat : 85297 (java) S 85285 85297 85227 0 -1 4194304 37176 0 0 0 5461 64 0 0 20 0 20 0 76321819 19521036288 699722 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
/proc/85297/statm: 4765878 699722 5532 1 0 1085966 0
[pid=85297/tid=85311] ppid=85285 vsize=19063512 memory=-6000919485541279591 CPUtime=50.03 cores=1,3
/proc/85297/task/85311/stat : 85311 (java) R 85285 85297 85227 0 -1 4194368 11445 0 0 0 4955 48 0 0 20 0 20 0 76321820 19521036288 699722 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85353] ppid=85285 vsize=19063512 memory=2798888 CPUtime=0 cores=1,3
/proc/85297/task/85353/stat : 85353 (Finalizer) S 85285 85297 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321822 19521036288 699722 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85364] ppid=85285 vsize=19063512 memory=2798888 CPUtime=0 cores=1,3
/proc/85297/task/85364/stat : 85364 (Common-Cleaner) S 85285 85297 85227 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76321823 19521036288 699722 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85371] ppid=85285 vsize=19063512 memory=0 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/85297/task/85353/stat : 85353 (Finalizer) S 85285 85297 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321822 19521036288 1359701 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85364] ppid=85285 vsize=19063512 memory=2764 CPUtime=0 cores=1,3
/proc/85297/task/85364/stat : 85364 (Common-Cleaner) S 85285 85297 85227 0 -1 4194368 1452 0 0 0 0 0 0 0 20 0 20 0 76321823 19521036288 1359701 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85371] ppid=85285 vsize=19063512 memory=16496 CPUtime=0 cores=1,3
/proc/85297/task/85371/stat : 85371 (Timer-0) S 85285 85297 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321898 19521036288 1359701 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
Current children cumulated CPU time: 3197.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5438804 KiB
[startup+3102.3 s]
/proc/loadavg: 4.42 4.45 4.37 8/342 85545
/proc/meminfo: memFree=85649348/131249996 swapFree=33010160/33010684
[pid=85297] ppid=85285 vsize=19063512 memory=5455456 CPUtime=3262.89 cores=1,3
/proc/85297/stat : 85297 (java) S 85285 85297 85227 0 -1 4194304 213093 0 0 0 325780 509 0 0 20 0 20 0 76321819 19521036288 1363864 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
/proc/85297/statm: 4765878 1363864 5564 1 0 1374300 0
[pid=85297/tid=85311] ppid=85285 vsize=19063512 memory=16496 CPUtime=3057.81 cores=1,3
/proc/85297/task/85311/stat : 85311 (java) R 85285 85297 85227 0 -1 4194368 68771 0 0 0 305696 85 0 0 20 0 20 0 76321820 19521036288 1363864 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85353] ppid=85285 vsize=19063512 memory=5455456 CPUtime=0 cores=1,3
/proc/85297/task/85353/stat : 85353 (Finalizer) S 85285 85297 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321822 19521036288 1363864 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85364] ppid=85285 vsize=19063512 memory=5455456 CPUtime=0 cores=1,3
/proc/85297/task/85364/stat : 85364 (Common-Cleaner) S 85285 85297 85227 0 -1 4194368 1494 0 0 0 0 0 0 0 20 0 20 0 76321823 19521036288 1363864 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85371] ppid=85285 vsize=19063512 memory=2432 CPUtime=0 cores=1,3
/proc/85297/task/85371/stat : 85371 (Timer-0) S 85285 85297 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321898 19521036288 1363864 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
Current children cumulated CPU time: 3262.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5455456 KiB
[startup+3162.3 s]
/proc/loadavg: 4.64 4.51 4.39 7/342 85547
/proc/meminfo: memFree=85388440/131249996 swapFree=33010160/33010684
[pid=85297] ppid=85285 vsize=19063512 memory=5472236 CPUtime=3327.95 cores=1,3
/proc/85297/stat : 85297 (java) S 85285 85297 85227 0 -1 4194304 217466 0 0 0 332274 521 0 0 20 0 20 0 76321819 19521036288 1368059 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
/proc/85297/statm: 4765878 1368059 5564 1 0 1378486 0
[pid=85297/tid=85311] ppid=85285 vsize=19063512 memory=5455456 CPUtime=3117.14 cores=1,3
/proc/85297/task/85311/stat : 85311 (java) R 85285 85297 85227 0 -1 4194368 70171 0 0 0 311628 86 0 0 20 0 20 0 76321820 19521036288 1368059 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85353] ppid=85285 vsize=19063512 memory=5472236 CPUtime=0 cores=1,3
/proc/85297/task/85353/stat : 85353 (Finalizer) S 85285 85297 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321822 19521036288 1368059 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85364] ppid=85285 vsize=19063512 memory=16496 CPUtime=0 cores=1,3
/proc/85297/task/85364/stat : 85364 (Common-Cleaner) S 85285 85297 85227 0 -1 4194368 1494 0 0 0 0 0 0 0 20 0 20 0 76321823 19521036288 1368059 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85371] ppid=85285 vsize=19063512 memory=-6000919485541279591 CPUtime=0 cores=1,3
/proc/85297/task/85371/stat : 85371 (Timer-0) S 85285 85297 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321898 19521036288 1368059 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
Current children cumulated CPU time: 3327.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5472236 KiB
[startup+3222.3 s]
/proc/loadavg: 4.53 4.50 4.40 6/342 85549
/proc/meminfo: memFree=85131424/131249996 swapFree=33010160/33010684
[pid=85297] ppid=85285 vsize=19063512 memory=5480616 CPUtime=3392.41 cores=1,3
/proc/85297/stat : 85297 (java) S 85285 85297 85227 0 -1 4194304 220318 0 0 0 338708 533 0 0 20 0 20 0 76321819 19521036288 1370154 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
/proc/85297/statm: 4765878 1370154 5564 1 0 1380574 0
[pid=85297/tid=85311] ppid=85285 vsize=19063512 memory=5472236 CPUtime=3176.52 cores=1,3
/proc/85297/task/85311/stat : 85311 (java) R 85285 85297 85227 0 -1 4194368 71564 0 0 0 317566 86 0 0 20 0 20 0 76321820 19521036288 1370154 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85353] ppid=85285 vsize=19063512 memory=5480616 CPUtime=0 cores=1,3
/proc/85297/task/85353/stat : 85353 (Finalizer) S 85285 85297 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321822 19521036288 1370154 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85364] ppid=85285 vsize=19063512 memory=5480616 CPUtime=0 cores=1,3
/proc/85297/task/85364/stat : 85364 (Common-Cleaner) S 85285 85297 85227 0 -1 4194368 1536 0 0 0 0 0 0 0 20 0 20 0 76321823 19521036288 1370154 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85371] ppid=85285 vsize=19063512 memory=16496 CPUtime=0 cores=1,3
/proc/85297/task/85371/stat : 85371 (Timer-0) S 85285 85297 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321898 19521036288 1370154 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
Current children cumulated CPU time: 3392.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5480616 KiB
[startup+3282.3 s]
/proc/loadavg: 4.46 4.50 4.40 6/342 85554
/proc/meminfo: memFree=84894944/131249996 swapFree=33010160/33010684
[pid=85297] ppid=85285 vsize=19063512 memory=5480616 CPUtime=3457.42 cores=1,3
/proc/85297/stat : 85297 (java) S 85285 85297 85227 0 -1 4194304 222364 0 0 0 345198 544 0 0 20 0 20 0 76321819 19521036288 1370154 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
/proc/85297/statm: 4765878 1370154 5564 1 0 1380574 0
[pid=85297/tid=85311] ppid=85285 vsize=19063512 memory=5480616 CPUtime=3236.09 cores=1,3
/proc/85297/task/85311/stat : 85311 (java) R 85285 85297 85227 0 -1 4194368 71961 0 0 0 323522 87 0 0 20 0 20 0 76321820 19521036288 1370154 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85353] ppid=85285 vsize=19063512 memory=3104 CPUtime=0 cores=1,3
/proc/85297/task/85353/stat : 85353 (Finalizer) S 85285 85297 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321822 19521036288 1370154 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85364] ppid=85285 vsize=19063512 memory=1920 CPUtime=0 cores=1,3
/proc/85297/task/85364/stat : 85364 (Common-Cleaner) S 85285 85297 85227 0 -1 4194368 1578 0 0 0 0 0 0 0 20 0 20 0 76321823 19521036288 1370154 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85371] ppid=85285 vsize=19063512 memory=5480616 CPUtime=0 cores=1,3
/proc/85297/task/85371/stat : 85371 (Timer-0) S 85285 85297 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321898 19521036288 1370154 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
Current children cumulated CPU time: 3457.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5480616 KiB
[startup+3342.3 s]
/proc/loadavg: 4.36 4.47 4.40 7/343 85557
/proc/meminfo: memFree=84600960/131249996 swapFree=33010160/33010684
[pid=85297] ppid=85285 vsize=19063512 memory=5497256 CPUtime=3523.01 cores=1,3
/proc/85297/stat : 85297 (java) S 85285 85297 85227 0 -1 4194304 226442 0 0 0 351743 558 0 0 20 0 20 0 76321819 19521036288 1374314 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
/proc/85297/statm: 4765878 1374314 5564 1 0 1384750 0
[pid=85297/tid=85311] ppid=85285 vsize=19063512 memory=11136 CPUtime=3295.42 cores=1,3
/proc/85297/task/85311/stat : 85311 (java) R 85285 85297 85227 0 -1 4194368 73106 0 0 0 329454 88 0 0 20 0 20 0 76321820 19521036288 1374314 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85353] ppid=85285 vsize=19063512 memory=3104 CPUtime=0 cores=1,3
/proc/85297/task/85353/stat : 85353 (Finalizer) S 85285 85297 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321822 19521036288 1374314 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85364] ppid=85285 vsize=19063512 memory=16496 CPUtime=0 cores=1,3
/proc/85297/task/85364/stat : 85364 (Common-Cleaner) S 85285 85297 85227 0 -1 4194368 1578 0 0 0 0 0 0 0 20 0 20 0 76321823 19521036288 1374314 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85371] ppid=85285 vsize=19063512 memory=18560 CPUtime=0 cores=1,3
/proc/85297/task/85371/stat : 85371 (Timer-0) S 85285 85297 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321898 19521036288 1374314 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
Current children cumulated CPU time: 3523.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5497256 KiB
[startup+3402.3 s]
/proc/loadavg: 4.50 4.49 4.41 6/342 85630
/proc/meminfo: memFree=91640572/131249996 swapFree=33010160/33010684
[pid=85297] ppid=85285 vsize=19063512 memory=5497256 CPUtime=3588.45 cores=1,3
/proc/85297/stat : 85297 (java) S 85285 85297 85227 0 -1 4194304 229486 0 0 0 358276 569 0 0 20 0 20 0 76321819 19521036288 1374314 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
/proc/85297/statm: 4765878 1374314 5564 1 0 1384750 0
[pid=85297/tid=85311] ppid=85285 vsize=19063512 memory=5497256 CPUtime=3354.75 cores=1,3
/proc/85297/task/85311/stat : 85311 (java) R 85285 85297 85227 0 -1 4194368 74588 0 0 0 335387 88 0 0 20 0 20 0 76321820 19521036288 1374314 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85353] ppid=85285 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/85297/task/85353/stat : 85353 (Finalizer) S 85285 85297 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321822 19521036288 1374314 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85364] ppid=85285 vsize=19063512 memory=5497256 CPUtime=0 cores=1,3
/proc/85297/task/85364/stat : 85364 (Common-Cleaner) S 85285 85297 85227 0 -1 4194368 1596 0 0 0 0 0 0 0 20 0 20 0 76321823 19521036288 1374314 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85371] ppid=85285 vsize=19063512 memory=5497256 CPUtime=0 cores=1,3
/proc/85297/task/85371/stat : 85371 (Timer-0) S 85285 85297 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321898 19521036288 1374314 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
Current children cumulated CPU time: 3588.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5497256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3412.9 s]
/proc/loadavg: 4.57 4.51 4.41 7/342 85630
/proc/meminfo: memFree=91553544/131249996 swapFree=33010160/33010684
[pid=85297] ppid=85285 vsize=19063512 memory=5497256 CPUtime=3600.01 cores=1,3
/proc/85297/stat : 85297 (java) S 85285 85297 85227 0 -1 4194304 229639 0 0 0 359430 571 0 0 20 0 20 0 76321819 19521036288 1374314 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
/proc/85297/statm: 4765878 1374314 5564 1 0 1384750 0
[pid=85297/tid=85311] ppid=85285 vsize=19063512 memory=11136 CPUtime=3365.2 cores=1,3
/proc/85297/task/85311/stat : 85311 (java) R 85285 85297 85227 0 -1 4194368 74593 0 0 0 336432 88 0 0 20 0 20 0 76321820 19521036288 1374314 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85353] ppid=85285 vsize=19063512 memory=5497256 CPUtime=0 cores=1,3
/proc/85297/task/85353/stat : 85353 (Finalizer) S 85285 85297 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321822 19521036288 1374314 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85364] ppid=85285 vsize=19063512 memory=5497256 CPUtime=0 cores=1,3
/proc/85297/task/85364/stat : 85364 (Common-Cleaner) S 85285 85297 85227 0 -1 4194368 1614 0 0 0 0 0 0 0 20 0 20 0 76321823 19521036288 1374314 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
[pid=85297/tid=85371] ppid=85285 vsize=19063512 memory=5497256 CPUtime=0 cores=1,3
/proc/85297/task/85371/stat : 85371 (Timer-0) S 85285 85297 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321898 19521036288 1374314 18446744073709551615 94299267489792 94299267493488 140729119924224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94299267501304 94299267502096 94299270852608 140729119930750 140729119930854 140729119930854 140729119936456 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5497256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3413.03 s]
# the end of solver process 85297 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.47 s, system=5.73273 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3413 s]*
/proc/loadavg: 4.57 4.51 4.41 5/324 85633
/proc/meminfo: memFree=96849332/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3413.03
CPU time (s): 3600.2
CPU user time (s): 3594.47
CPU system time (s): 5.73273
CPU usage (%): 105.484
Max. virtual memory (cumulated for all children) (KiB): 19066244
Max. memory (cumulated for all children) (KiB): 5497256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.47
system time used= 5.73273
maximum resident set size= 5498024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231390
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 280422
involuntary context switches= 31866
# summary of solver processes directly reported to runsolver:
# pid: 85297
# total CPU time (s): 3600.2
# total CPU user time (s): 3594.47
# total CPU system time (s): 5.73273
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95042 second user time and 16.2083 second system time
The end