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 (62888 MiB free)
memory of node 1: 64507 MiB (62494 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490386-1751360763/watcher-4490386-1751360763 -o /tmp/evaluation-result-4490386-1751360763/solver-4490386-1751360763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751360763-55278 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4490386-1751360763.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=55323, runsolver pid=55317
Current StackSize limit: 8192 KiB
[startup+0.100016 s]*
/proc/loadavg: 0.64 1.06 1.96 8/334 55406
/proc/meminfo: memFree=128326732/131249996 swapFree=33010684/33010684
[pid=55323] ppid=55317 vsize=18930384 memory=53936 CPUtime=0.09 cores=0,2
/proc/55323/stat : 55323 (java) S 55317 55323 55268 0 -1 4194304 6021 0 203 0 7 2 0 0 20 0 18 0 51754239 19384713216 13484 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
/proc/55323/statm: 4732596 13484 5311 1 0 547301 0
[pid=55323/tid=55331] ppid=55317 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/55323/task/55331/stat : 55331 (java) R 55317 55323 55268 0 -1 4194368 4842 0 200 0 5 1 0 0 20 0 18 0 51754242 19384713216 13484 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55357] ppid=55317 vsize=18930384 memory=18949 CPUtime=0 cores=0,2
/proc/55323/task/55357/stat : 55357 (Finalizer) S 55317 55323 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51754244 19384713216 13484 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55371] ppid=55317 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/55323/task/55371/stat : 55371 (Common-Cleaner) S 55317 55323 55268 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 51754245 19384713216 13484 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53936 KiB
[startup+0.205691 s]*
/proc/loadavg: 0.64 1.06 1.96 9/336 55408
/proc/meminfo: memFree=128301820/131249996 swapFree=33010684/33010684
[pid=55323] ppid=55317 vsize=18996948 memory=63976 CPUtime=0.28 cores=0,2
/proc/55323/stat : 55323 (java) S 55317 55323 55268 0 -1 4194304 6878 0 203 0 25 3 0 0 20 0 19 0 51754239 19452874752 15994 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
/proc/55323/statm: 4749237 15994 5439 1 0 548305 0
[pid=55323/tid=55331] ppid=55317 vsize=18996948 memory=4026663196 CPUtime=0.15 cores=0,2
/proc/55323/task/55331/stat : 55331 (java) S 55317 55323 55268 0 -1 4194368 5309 0 200 0 13 2 0 0 20 0 19 0 51754242 19452874752 15994 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55357] ppid=55317 vsize=18996948 memory=18949 CPUtime=0 cores=0,2
/proc/55323/task/55357/stat : 55357 (Finalizer) S 55317 55323 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51754244 19452874752 15994 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55371] ppid=55317 vsize=18996948 memory=57385981051877 CPUtime=0 cores=0,2
/proc/55323/task/55371/stat : 55371 (Common-Cleaner) S 55317 55323 55268 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 51754245 19452874752 15994 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55408] ppid=55317 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/55323/task/55408/stat : 55408 (Timer-0) S 55317 55323 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51754260 19452874752 15994 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 63976 KiB
[startup+0.305575 s]*
/proc/loadavg: 0.64 1.06 1.96 11/338 55410
/proc/meminfo: memFree=128258176/131249996 swapFree=33010684/33010684
[pid=55323] ppid=55317 vsize=18996948 memory=80240 CPUtime=0.47 cores=0,2
/proc/55323/stat : 55323 (java) S 55317 55323 55268 0 -1 4194304 8569 0 203 0 43 4 0 0 20 0 19 0 51754239 19452874752 20060 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
/proc/55323/statm: 4749237 20060 5439 1 0 548775 0
[pid=55323/tid=55331] ppid=55317 vsize=18996948 memory=-6000919507099936618 CPUtime=0.23 cores=0,2
/proc/55323/task/55331/stat : 55331 (java) R 55317 55323 55268 0 -1 4194368 5349 0 200 0 20 3 0 0 20 0 19 0 51754242 19452874752 20060 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55357] ppid=55317 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/55323/task/55357/stat : 55357 (Finalizer) S 55317 55323 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51754244 19452874752 20060 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55371] ppid=55317 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/55323/task/55371/stat : 55371 (Common-Cleaner) S 55317 55323 55268 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 51754245 19452874752 20060 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55408] ppid=55317 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/55323/task/55408/stat : 55408 (Timer-0) S 55317 55323 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51754260 19452874752 20060 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80240 KiB
[startup+0.700232 s]
/proc/loadavg: 0.64 1.06 1.96 9/338 55410
/proc/meminfo: memFree=128040420/131249996 swapFree=33010684/33010684
[pid=55323] ppid=55317 vsize=19067480 memory=180468 CPUtime=1.24 cores=0,2
/proc/55323/stat : 55323 (java) S 55317 55323 55268 0 -1 4194304 18881 0 203 0 115 9 0 0 20 0 20 0 51754239 19525099520 45117 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
/proc/55323/statm: 4766870 45117 5471 1 0 555393 0
[pid=55323/tid=55331] ppid=55317 vsize=19067480 memory=18304 CPUtime=0.56 cores=0,2
/proc/55323/task/55331/stat : 55331 (java) R 55317 55323 55268 0 -1 4194368 5413 0 200 0 51 5 0 0 20 0 20 0 51754242 19525099520 45117 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55357] ppid=55317 vsize=19067480 memory=10752 CPUtime=0 cores=0,2
/proc/55323/task/55357/stat : 55357 (Finalizer) S 55317 55323 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19525099520 45117 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55371] ppid=55317 vsize=19067480 memory=3328 CPUtime=0 cores=0,2
/proc/55323/task/55371/stat : 55371 (Common-Cleaner) S 55317 55323 55268 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 51754245 19525099520 45117 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55408] ppid=55317 vsize=19067480 memory=4756 CPUtime=0 cores=0,2
/proc/55323/task/55408/stat : 55408 (Timer-0) S 55317 55323 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19525099520 45117 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19067480 KiB
Current children cumulated memory: 180468 KiB
[startup+1.50024 s]
/proc/loadavg: 0.64 1.06 1.96 9/342 55414
/proc/meminfo: memFree=127799656/131249996 swapFree=33010684/33010684
[pid=55323] ppid=55317 vsize=19063512 memory=305268 CPUtime=2.82 cores=0,2
/proc/55323/stat : 55323 (java) S 55317 55323 55268 0 -1 4194304 32294 0 203 0 269 13 0 0 20 0 20 0 51754239 19521036288 76317 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
/proc/55323/statm: 4765878 76317 5503 1 0 557448 0
[pid=55323/tid=55331] ppid=55317 vsize=19063512 memory=0 CPUtime=1.32 cores=0,2
/proc/55323/task/55331/stat : 55331 (java) R 55317 55323 55268 0 -1 4194368 5562 0 200 0 125 7 0 0 20 0 20 0 51754242 19521036288 76317 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55357] ppid=55317 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/55323/task/55357/stat : 55357 (Finalizer) S 55317 55323 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 76317 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55371] ppid=55317 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/55323/task/55371/stat : 55371 (Common-Cleaner) S 55317 55323 55268 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 76317 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55408] ppid=55317 vsize=19063512 memory=4756 CPUtime=0 cores=0,2
/proc/55323/task/55408/stat : 55408 (Timer-0) S 55317 55323 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 76317 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 305268 KiB
[startup+3.10558 s]
/proc/loadavg: 1.23 1.17 2.00 7/342 55414
/proc/meminfo: memFree=125265496/131249996 swapFree=33010684/33010684
[pid=55323] ppid=55317 vsize=19063512 memory=927524 CPUtime=5.68 cores=0,2
/proc/55323/stat : 55323 (java) S 55317 55323 55268 0 -1 4194304 35712 0 203 0 543 25 0 0 20 0 20 0 51754239 19521036288 231881 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
/proc/55323/statm: 4765878 231881 5503 1 0 663986 0
[pid=55323/tid=55331] ppid=55317 vsize=19063512 memory=10752 CPUtime=2.86 cores=0,2
/proc/55323/task/55331/stat : 55331 (java) R 55317 55323 55268 0 -1 4194368 6831 0 200 0 268 18 0 0 20 0 20 0 51754242 19521036288 231881 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55357] ppid=55317 vsize=19063512 memory=-6000919477068719978 CPUtime=0 cores=0,2
/proc/55323/task/55357/stat : 55357 (Finalizer) S 55317 55323 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 231881 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55371] ppid=55317 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/55323/task/55371/stat : 55371 (Common-Cleaner) S 55317 55323 55268 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 231881 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55408] ppid=55317 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/55323/task/55408/stat : 55408 (Timer-0) S 55317 55323 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 231881 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
Current children cumulated CPU time: 5.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 927524 KiB
[startup+6.30023 s]
/proc/loadavg: 1.23 1.17 2.00 6/342 55414
/proc/meminfo: memFree=122039744/131249996 swapFree=33010684/33010684
[pid=55323] ppid=55317 vsize=19063512 memory=1587888 CPUtime=9.01 cores=0,2
/proc/55323/stat : 55323 (java) S 55317 55323 55268 0 -1 4194304 36234 0 203 0 864 37 0 0 20 0 20 0 51754239 19521036288 396972 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
/proc/55323/statm: 4765878 396972 5503 1 0 663994 0
[pid=55323/tid=55331] ppid=55317 vsize=19063512 memory=0 CPUtime=5.99 cores=0,2
/proc/55323/task/55331/stat : 55331 (java) R 55317 55323 55268 0 -1 4194368 7248 0 200 0 570 29 0 0 20 0 20 0 51754242 19521036288 396972 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55357] ppid=55317 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/55323/task/55357/stat : 55357 (Finalizer) S 55317 55323 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 396972 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55371] ppid=55317 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/55323/task/55371/stat : 55371 (Common-Cleaner) S 55317 55323 55268 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 396972 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55408] ppid=55317 vsize=19063512 memory=356476 CPUtime=0 cores=0,2
/proc/55323/task/55408/stat : 55408 (Timer-0) S 55317 55323 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 396972 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
Current children cumulated CPU time: 9.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1587888 KiB
[startup+12.7003 s]
/proc/loadavg: 1.66 1.27 2.02 5/342 55414
/proc/meminfo: memFree=121834992/131249996 swapFree=33010684/33010684
[pid=55323] ppid=55317 vsize=19063512 memory=1600188 CPUtime=15.47 cores=0,2
/proc/55323/stat : 55323 (java) S 55317 55323 55268 0 -1 4194304 40726 0 203 0 1509 38 0 0 20 0 20 0 51754239 19521036288 400047 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
/proc/55323/statm: 4765878 400047 5503 1 0 663994 0
[pid=55323/tid=55331] ppid=55317 vsize=19063512 memory=356476 CPUtime=12.3 cores=0,2
/proc/55323/task/55331/stat : 55331 (java) R 55317 55323 55268 0 -1 4194368 9006 0 200 0 1200 30 0 0 20 0 20 0 51754242 19521036288 400047 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55357] ppid=55317 vsize=19063512 memory=1600188 CPUtime=0 cores=0,2
/proc/55323/task/55357/stat : 55357 (Finalizer) S 55317 55323 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 400047 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55371] ppid=55317 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/55323/task/55371/stat : 55371 (Common-Cleaner) S 55317 55323 55268 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 400047 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55408] ppid=55317 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/55323/task/55408/stat : 55408 (Timer-0) S 55317 55323 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 400047 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
Current children cumulated CPU time: 15.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1600188 KiB
[startup+25.5003 s]
/proc/loadavg: 2.02 1.36 2.04 5/342 55414
/proc/meminfo: memFree=121741740/131249996 swapFree=33010684/33010684
[pid=55323] ppid=55317 vsize=19063512 memory=1636388 CPUtime=29.14 cores=0,2
/proc/55323/stat : 55323 (java) S 55317 55323 55268 0 -1 4194304 54480 0 203 0 2873 41 0 0 20 0 20 0 51754239 19521036288 409097 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
/proc/55323/statm: 4765878 409097 5503 1 0 664451 0
[pid=55323/tid=55331] ppid=55317 vsize=19063512 memory=1600188 CPUtime=24.8 cores=0,2
/proc/55323/task/55331/stat : 55331 (java) R 55317 55323 55268 0 -1 4194368 10980 0 200 0 2449 31 0 0 20 0 20 0 51754242 19521036288 409097 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55357] ppid=55317 vsize=19063512 memory=1616832 CPUtime=0 cores=0,2
/proc/55323/task/55357/stat : 55357 (Finalizer) S 55317 55323 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 409097 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55371] ppid=55317 vsize=19063512 memory=1616832 CPUtime=0 cores=0,2
/proc/55323/task/55371/stat : 55371 (Common-Cleaner) S 55317 55323 55268 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 409097 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55408] ppid=55317 vsize=19063512 memory=280645377454880 CPUtime=0 cores=0,2
/proc/55323/task/55408/stat : 55408 (Timer-0) S 55317 55323 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 409097 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
Current children cumulated CPU time: 29.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1636388 KiB
[startup+51.1057 s]
/proc/loadavg: 2.98 1.64 2.11 5/344 55417
/proc/meminfo: memFree=121480208/131249996 swapFree=33010684/33010684
[pid=55323] ppid=55317 vsize=19063512 memory=1706308 CPUtime=55.71 cores=0,2
/proc/55323/stat : 55323 (java) S 55317 55323 55268 0 -1 4194304 60031 0 203 0 5525 46 0 0 20 0 20 0 51754239 19521036288 426577 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
/proc/55323/statm: 4765878 426577 5503 1 0 665924 0
[pid=55323/tid=55331] ppid=55317 vsize=19063512 memory=0 CPUtime=49.89 cores=0,2
################
# More data... #
################
[startup+2922.3 s]
/proc/loadavg: 4.44 4.47 4.28 6/341 55586
/proc/meminfo: memFree=115772928/131249996 swapFree=33010684/33010684
[pid=55323] ppid=55317 vsize=19063512 memory=4179056 CPUtime=3188.91 cores=0,2
/proc/55323/stat : 55323 (java) S 55317 55323 55268 0 -1 4194304 178911 0 203 0 318415 476 0 0 20 0 20 0 51754239 19521036288 1044764 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
/proc/55323/statm: 4765878 1044764 5503 1 0 1054899 0
[pid=55323/tid=55331] ppid=55317 vsize=19063512 memory=4179056 CPUtime=2873.06 cores=0,2
/proc/55323/task/55331/stat : 55331 (java) R 55317 55323 55268 0 -1 4194368 65633 0 200 0 287219 87 0 0 20 0 20 0 51754242 19521036288 1044764 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55357] ppid=55317 vsize=19063512 memory=4179056 CPUtime=0 cores=0,2
/proc/55323/task/55357/stat : 55357 (Finalizer) S 55317 55323 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 1044764 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55371] ppid=55317 vsize=19063512 memory=4179056 CPUtime=0 cores=0,2
/proc/55323/task/55371/stat : 55371 (Common-Cleaner) S 55317 55323 55268 0 -1 4194368 1004 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 1044764 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55408] ppid=55317 vsize=19063512 memory=4179056 CPUtime=0 cores=0,2
/proc/55323/task/55408/stat : 55408 (Timer-0) S 55317 55323 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 1044764 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
Current children cumulated CPU time: 3188.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4179056 KiB
[startup+2982.3 s]
/proc/loadavg: 4.50 4.48 4.29 5/342 55589
/proc/meminfo: memFree=115764972/131249996 swapFree=33010684/33010684
[pid=55323] ppid=55317 vsize=19063512 memory=4179056 CPUtime=3262.06 cores=0,2
/proc/55323/stat : 55323 (java) S 55317 55323 55268 0 -1 4194304 180433 0 203 0 325715 491 0 0 20 0 20 0 51754239 19521036288 1044764 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
/proc/55323/statm: 4765878 1044764 5503 1 0 1054902 0
[pid=55323/tid=55331] ppid=55317 vsize=19063512 memory=4179056 CPUtime=2932.07 cores=0,2
/proc/55323/task/55331/stat : 55331 (java) R 55317 55323 55268 0 -1 4194368 67040 0 200 0 293119 88 0 0 20 0 20 0 51754242 19521036288 1044764 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55357] ppid=55317 vsize=19063512 memory=4179056 CPUtime=0 cores=0,2
/proc/55323/task/55357/stat : 55357 (Finalizer) S 55317 55323 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 1044764 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55371] ppid=55317 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/55323/task/55371/stat : 55371 (Common-Cleaner) S 55317 55323 55268 0 -1 4194368 1004 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 1044764 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55408] ppid=55317 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/55323/task/55408/stat : 55408 (Timer-0) S 55317 55323 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 1044764 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
Current children cumulated CPU time: 3262.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4179056 KiB
[startup+3042.3 s]
/proc/loadavg: 4.55 4.49 4.30 5/341 55591
/proc/meminfo: memFree=115752172/131249996 swapFree=33010684/33010684
[pid=55323] ppid=55317 vsize=19063512 memory=4179184 CPUtime=3336.08 cores=0,2
/proc/55323/stat : 55323 (java) S 55317 55323 55268 0 -1 4194304 183534 0 203 0 333100 508 0 0 20 0 20 0 51754239 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
/proc/55323/statm: 4765878 1044796 5503 1 0 1054914 0
[pid=55323/tid=55331] ppid=55317 vsize=19063512 memory=4179184 CPUtime=2991 cores=0,2
/proc/55323/task/55331/stat : 55331 (java) R 55317 55323 55268 0 -1 4194368 69477 0 200 0 299011 89 0 0 20 0 20 0 51754242 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55357] ppid=55317 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/55323/task/55357/stat : 55357 (Finalizer) S 55317 55323 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55371] ppid=55317 vsize=19063512 memory=4179184 CPUtime=0 cores=0,2
/proc/55323/task/55371/stat : 55371 (Common-Cleaner) S 55317 55323 55268 0 -1 4194368 1031 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55408] ppid=55317 vsize=19063512 memory=4179184 CPUtime=0 cores=0,2
/proc/55323/task/55408/stat : 55408 (Timer-0) S 55317 55323 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
Current children cumulated CPU time: 3336.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4179184 KiB
[startup+3102.3 s]
/proc/loadavg: 4.47 4.47 4.31 5/343 55601
/proc/meminfo: memFree=115743992/131249996 swapFree=33010684/33010684
[pid=55323] ppid=55317 vsize=19063512 memory=4179184 CPUtime=3410.49 cores=0,2
/proc/55323/stat : 55323 (java) S 55317 55323 55268 0 -1 4194304 185694 0 203 0 340524 525 0 0 20 0 20 0 51754239 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
/proc/55323/statm: 4765878 1044796 5503 1 0 1054914 0
[pid=55323/tid=55331] ppid=55317 vsize=19063512 memory=16912 CPUtime=3049.96 cores=0,2
/proc/55323/task/55331/stat : 55331 (java) R 55317 55323 55268 0 -1 4194368 71031 0 200 0 304907 89 0 0 20 0 20 0 51754242 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55357] ppid=55317 vsize=19063512 memory=4179184 CPUtime=0 cores=0,2
/proc/55323/task/55357/stat : 55357 (Finalizer) S 55317 55323 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55371] ppid=55317 vsize=19063512 memory=4179184 CPUtime=0 cores=0,2
/proc/55323/task/55371/stat : 55371 (Common-Cleaner) S 55317 55323 55268 0 -1 4194368 1059 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55408] ppid=55317 vsize=19063512 memory=16912 CPUtime=0 cores=0,2
/proc/55323/task/55408/stat : 55408 (Timer-0) S 55317 55323 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
Current children cumulated CPU time: 3410.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4179184 KiB
[startup+3162.3 s]
/proc/loadavg: 4.37 4.45 4.31 6/343 55604
/proc/meminfo: memFree=115730992/131249996 swapFree=33010684/33010684
[pid=55323] ppid=55317 vsize=19063512 memory=4179184 CPUtime=3485.38 cores=0,2
/proc/55323/stat : 55323 (java) S 55317 55323 55268 0 -1 4194304 185758 0 203 0 347997 541 0 0 20 0 20 0 51754239 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
/proc/55323/statm: 4765878 1044796 5503 1 0 1054914 0
[pid=55323/tid=55331] ppid=55317 vsize=19063512 memory=4179184 CPUtime=3108.85 cores=0,2
/proc/55323/task/55331/stat : 55331 (java) R 55317 55323 55268 0 -1 4194368 71050 0 200 0 310795 90 0 0 20 0 20 0 51754242 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55357] ppid=55317 vsize=19063512 memory=4179184 CPUtime=0 cores=0,2
/proc/55323/task/55357/stat : 55357 (Finalizer) S 55317 55323 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55371] ppid=55317 vsize=19063512 memory=16912 CPUtime=0 cores=0,2
/proc/55323/task/55371/stat : 55371 (Common-Cleaner) S 55317 55323 55268 0 -1 4194368 1059 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55408] ppid=55317 vsize=19063512 memory=4179184 CPUtime=0 cores=0,2
/proc/55323/task/55408/stat : 55408 (Timer-0) S 55317 55323 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
Current children cumulated CPU time: 3485.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4179184 KiB
[startup+3222.3 s]
/proc/loadavg: 4.62 4.50 4.34 6/343 55606
/proc/meminfo: memFree=115720564/131249996 swapFree=33010684/33010684
[pid=55323] ppid=55317 vsize=19063512 memory=4179184 CPUtime=3560.57 cores=0,2
/proc/55323/stat : 55323 (java) S 55317 55323 55268 0 -1 4194304 187643 0 203 0 355497 560 0 0 20 0 20 0 51754239 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
/proc/55323/statm: 4765878 1044796 5503 1 0 1054914 0
[pid=55323/tid=55331] ppid=55317 vsize=19063512 memory=4179184 CPUtime=3167.73 cores=0,2
/proc/55323/task/55331/stat : 55331 (java) R 55317 55323 55268 0 -1 4194368 72851 0 200 0 316681 92 0 0 20 0 20 0 51754242 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55357] ppid=55317 vsize=19063512 memory=4179184 CPUtime=0 cores=0,2
/proc/55323/task/55357/stat : 55357 (Finalizer) S 55317 55323 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55371] ppid=55317 vsize=19063512 memory=16912 CPUtime=0 cores=0,2
/proc/55323/task/55371/stat : 55371 (Common-Cleaner) S 55317 55323 55268 0 -1 4194368 1059 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55408] ppid=55317 vsize=19063512 memory=4179184 CPUtime=0 cores=0,2
/proc/55323/task/55408/stat : 55408 (Timer-0) S 55317 55323 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
Current children cumulated CPU time: 3560.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4179184 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3253.7 s]
/proc/loadavg: 4.75 4.55 4.36 6/342 55608
/proc/meminfo: memFree=113328664/131249996 swapFree=33010684/33010684
[pid=55323] ppid=55317 vsize=19063512 memory=4179184 CPUtime=3600.16 cores=0,2
/proc/55323/stat : 55323 (java) S 55317 55323 55268 0 -1 4194304 189770 0 203 0 359447 569 0 0 20 0 20 0 51754239 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
/proc/55323/statm: 4765878 1044796 5503 1 0 1054914 0
[pid=55323/tid=55331] ppid=55317 vsize=19063512 memory=4179184 CPUtime=3198.59 cores=0,2
/proc/55323/task/55331/stat : 55331 (java) R 55317 55323 55268 0 -1 4194368 74388 0 200 0 319767 92 0 0 20 0 20 0 51754242 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55357] ppid=55317 vsize=19063512 memory=4179184 CPUtime=0 cores=0,2
/proc/55323/task/55357/stat : 55357 (Finalizer) S 55317 55323 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55371] ppid=55317 vsize=19063512 memory=4179184 CPUtime=0 cores=0,2
/proc/55323/task/55371/stat : 55371 (Common-Cleaner) S 55317 55323 55268 0 -1 4194368 1059 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55408] ppid=55317 vsize=19063512 memory=4179184 CPUtime=0 cores=0,2
/proc/55323/task/55408/stat : 55408 (Timer-0) S 55317 55323 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 1044796 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4179184 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3253.84 s]
# the end of solver process 55323 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.72 s, system=5.71204 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3253.8 s]
/proc/loadavg: 4.75 4.55 4.36 6/342 55608
/proc/meminfo: memFree=113328664/131249996 swapFree=33010684/33010684
[pid=55323] ppid=55317 vsize=19263204 memory=4179952 CPUtime=3600.36 cores=0,2
/proc/55323/stat : 55323 (java) S 55317 55323 55268 0 -1 4194304 191232 0 203 0 359467 569 0 0 20 0 21 0 51754239 19725520896 1044988 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
/proc/55323/statm: 4815801 1044988 5503 1 0 1055845 0
[pid=55323/tid=55331] ppid=55317 vsize=19263204 memory=-6000919477068719978 CPUtime=3198.68 cores=0,2
/proc/55323/task/55331/stat : 55331 (java) R 55317 55323 55268 0 -1 4194368 74406 0 200 0 319776 92 0 0 20 0 21 0 51754242 19725520896 1044988 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55357] ppid=55317 vsize=19263204 memory=10752 CPUtime=0 cores=0,2
/proc/55323/task/55357/stat : 55357 (Finalizer) S 55317 55323 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 51754244 19725520896 1044988 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
[pid=55323/tid=55371] ppid=55317 vsize=19263204 memory=5632 CPUtime=0 cores=0,2
/proc/55323/task/55371/stat : 55371 (Common-Cleaner) S 55317 55323 55268 0 -1 4194368 1059 0 0 0 0 0 0 0 20 0 21 0 51754245 19725520896 1044988 18446744073709551615 94507979825152 94507979828848 140737095255344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94507979836664 94507979837456 94507990159360 140737095264638 140737095264742 140737095264742 140737095270344 0
Current children cumulated CPU time: 3600.36 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4179952 KiB
Child status: 143
Real time (s): 3253.84
CPU time (s): 3600.43
CPU user time (s): 3594.72
CPU system time (s): 5.71204
CPU usage (%): 110.652
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4179952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.72
system time used= 5.71204
maximum resident set size= 4180080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191421
page faults= 203
swaps= 0
block input operations= 0
block output operations= 18872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 180727
involuntary context switches= 34407
# summary of solver processes directly reported to runsolver:
# pid: 55323
# total CPU time (s): 3600.43
# total CPU user time (s): 3594.72
# total CPU system time (s): 5.71204
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.9012 second user time and 15.6482 second system time
The end