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 (60513 MiB free)
memory of node 1: 64507 MiB (62053 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514454-1751228102/watcher-4514454-1751228102 -o /tmp/evaluation-result-4514454-1751228102/solver-4514454-1751228102 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751219267-28441 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4514454-1751228102.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=29802, runsolver pid=29799
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.08 4.10 4.10 6/336 29820
/proc/meminfo: memFree=125488324/131249996 swapFree=33010684/33010684
[pid=29802] ppid=29799 vsize=18930384 memory=55624 CPUtime=0.12 cores=1,3
/proc/29802/stat : 29802 (java) S 29799 29802 28429 0 -1 4194304 6537 0 0 0 10 2 0 0 20 0 18 0 38487982 19384713216 13906 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
/proc/29802/statm: 4732596 13906 5330 1 0 547596 0
[pid=29802/tid=29804] ppid=29799 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/29802/task/29804/stat : 29804 (java) S 29799 29802 28429 0 -1 4194368 5037 0 0 0 6 1 0 0 20 0 18 0 38487983 19384713216 13906 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29813] ppid=29799 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/29802/task/29813/stat : 29813 (Finalizer) S 29799 29802 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38487986 19384713216 13906 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29820] ppid=29799 vsize=18930384 memory=60684515966010 CPUtime=0 cores=1,3
/proc/29802/task/29820/stat : 29820 (Common-Cleaner) S 29799 29802 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38487986 19384713216 13906 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55624 KiB
[startup+0.205771 s]*
/proc/loadavg: 4.08 4.10 4.10 7/336 29820
/proc/meminfo: memFree=125479376/131249996 swapFree=33010684/33010684
[pid=29802] ppid=29799 vsize=18930384 memory=66164 CPUtime=0.32 cores=1,3
/proc/29802/stat : 29802 (java) S 29799 29802 28429 0 -1 4194304 7009 0 0 0 29 3 0 0 20 0 18 0 38487982 19384713216 16541 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
/proc/29802/statm: 4732596 16541 5458 1 0 547912 0
[pid=29802/tid=29804] ppid=29799 vsize=18930384 memory=4026597660 CPUtime=0.18 cores=1,3
/proc/29802/task/29804/stat : 29804 (java) R 29799 29802 28429 0 -1 4194368 5274 0 0 0 16 2 0 0 20 0 18 0 38487983 19384713216 16541 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29813] ppid=29799 vsize=18930384 memory=16880 CPUtime=0 cores=1,3
/proc/29802/task/29813/stat : 29813 (Finalizer) S 29799 29802 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38487986 19384713216 16541 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29820] ppid=29799 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/29802/task/29820/stat : 29820 (Common-Cleaner) S 29799 29802 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38487986 19384713216 16541 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66164 KiB
[startup+0.305682 s]*
/proc/loadavg: 4.08 4.10 4.10 7/337 29821
/proc/meminfo: memFree=125464316/131249996 swapFree=33010684/33010684
[pid=29802] ppid=29799 vsize=18996948 memory=85224 CPUtime=0.5 cores=1,3
/proc/29802/stat : 29802 (java) S 29799 29802 28429 0 -1 4194304 8664 0 0 0 47 3 0 0 20 0 19 0 38487982 19452874752 21306 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
/proc/29802/statm: 4749237 21306 5458 1 0 549296 0
[pid=29802/tid=29804] ppid=29799 vsize=18996948 memory=-6000919468344304493 CPUtime=0.25 cores=1,3
/proc/29802/task/29804/stat : 29804 (java) R 29799 29802 28429 0 -1 4194368 5329 0 0 0 23 2 0 0 20 0 19 0 38487983 19452874752 21306 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29813] ppid=29799 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/29802/task/29813/stat : 29813 (Finalizer) S 29799 29802 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38487986 19452874752 21306 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29820] ppid=29799 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/29802/task/29820/stat : 29820 (Common-Cleaner) S 29799 29802 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38487986 19452874752 21306 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29821] ppid=29799 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/29802/task/29821/stat : 29821 (Timer-0) S 29799 29802 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38488010 19452874752 21306 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 85224 KiB
[startup+0.70025 s]
/proc/loadavg: 4.08 4.10 4.10 6/337 29821
/proc/meminfo: memFree=125458268/131249996 swapFree=33010684/33010684
[pid=29802] ppid=29799 vsize=18996948 memory=94472 CPUtime=1.26 cores=1,3
/proc/29802/stat : 29802 (java) S 29799 29802 28429 0 -1 4194304 11452 0 0 0 122 4 0 0 20 0 19 0 38487982 19452874752 23618 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
/proc/29802/statm: 4749237 23618 5458 1 0 551508 0
[pid=29802/tid=29804] ppid=29799 vsize=18996948 memory=17408 CPUtime=0.61 cores=1,3
/proc/29802/task/29804/stat : 29804 (java) R 29799 29802 28429 0 -1 4194368 5351 0 0 0 59 2 0 0 20 0 19 0 38487983 19452874752 23618 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29813] ppid=29799 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/29802/task/29813/stat : 29813 (Finalizer) S 29799 29802 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38487986 19452874752 23618 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29820] ppid=29799 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/29802/task/29820/stat : 29820 (Common-Cleaner) S 29799 29802 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38487986 19452874752 23618 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29821] ppid=29799 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/29802/task/29821/stat : 29821 (Timer-0) S 29799 29802 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38488010 19452874752 23618 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94472 KiB
[startup+1.50024 s]
/proc/loadavg: 4.08 4.10 4.10 6/337 29821
/proc/meminfo: memFree=125448628/131249996 swapFree=33010684/33010684
[pid=29802] ppid=29799 vsize=18996948 memory=102292 CPUtime=2.52 cores=1,3
/proc/29802/stat : 29802 (java) S 29799 29802 28429 0 -1 4194304 13376 0 0 0 247 5 0 0 20 0 19 0 38487982 19452874752 25573 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
/proc/29802/statm: 4749237 25573 5458 1 0 551797 0
[pid=29802/tid=29804] ppid=29799 vsize=18996948 memory=10752 CPUtime=1.39 cores=1,3
/proc/29802/task/29804/stat : 29804 (java) R 29799 29802 28429 0 -1 4194368 5511 0 0 0 137 2 0 0 20 0 19 0 38487983 19452874752 25573 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29813] ppid=29799 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/29802/task/29813/stat : 29813 (Finalizer) S 29799 29802 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38487986 19452874752 25573 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29820] ppid=29799 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/29802/task/29820/stat : 29820 (Common-Cleaner) S 29799 29802 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38487986 19452874752 25573 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29821] ppid=29799 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/29802/task/29821/stat : 29821 (Timer-0) S 29799 29802 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38488010 19452874752 25573 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 102292 KiB
[startup+3.10556 s]
/proc/loadavg: 4.07 4.10 4.10 5/337 29822
/proc/meminfo: memFree=125440944/131249996 swapFree=33010684/33010684
[pid=29802] ppid=29799 vsize=18996948 memory=110612 CPUtime=4.3 cores=1,3
/proc/29802/stat : 29802 (java) S 29799 29802 28429 0 -1 4194304 16275 0 0 0 425 5 0 0 20 0 19 0 38487982 19452874752 27653 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
/proc/29802/statm: 4749237 27653 5458 1 0 551799 0
[pid=29802/tid=29804] ppid=29799 vsize=18996948 memory=10752 CPUtime=2.99 cores=1,3
/proc/29802/task/29804/stat : 29804 (java) R 29799 29802 28429 0 -1 4194368 5969 0 0 0 297 2 0 0 20 0 19 0 38487983 19452874752 27653 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29813] ppid=29799 vsize=18996948 memory=-6000919468344304493 CPUtime=0 cores=1,3
/proc/29802/task/29813/stat : 29813 (Finalizer) S 29799 29802 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38487986 19452874752 27653 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29820] ppid=29799 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/29802/task/29820/stat : 29820 (Common-Cleaner) S 29799 29802 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38487986 19452874752 27653 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29821] ppid=29799 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/29802/task/29821/stat : 29821 (Timer-0) S 29799 29802 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38488010 19452874752 27653 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
Current children cumulated CPU time: 4.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 110612 KiB
[startup+6.30022 s]
/proc/loadavg: 4.07 4.10 4.10 5/337 29822
/proc/meminfo: memFree=125428908/131249996 swapFree=33010684/33010684
[pid=29802] ppid=29799 vsize=18996948 memory=118120 CPUtime=7.54 cores=1,3
/proc/29802/stat : 29802 (java) S 29799 29802 28429 0 -1 4194304 16481 0 0 0 749 5 0 0 20 0 19 0 38487982 19452874752 29530 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
/proc/29802/statm: 4749237 29530 5458 1 0 551799 0
[pid=29802/tid=29804] ppid=29799 vsize=18996948 memory=0 CPUtime=6.19 cores=1,3
/proc/29802/task/29804/stat : 29804 (java) R 29799 29802 28429 0 -1 4194368 6039 0 0 0 616 3 0 0 20 0 19 0 38487983 19452874752 29530 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29813] ppid=29799 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/29802/task/29813/stat : 29813 (Finalizer) S 29799 29802 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38487986 19452874752 29530 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29820] ppid=29799 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/29802/task/29820/stat : 29820 (Common-Cleaner) S 29799 29802 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38487986 19452874752 29530 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29821] ppid=29799 vsize=18996948 memory=102292 CPUtime=0 cores=1,3
/proc/29802/task/29821/stat : 29821 (Timer-0) S 29799 29802 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38488010 19452874752 29530 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
Current children cumulated CPU time: 7.54 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 118120 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.10 5/337 29822
/proc/meminfo: memFree=125412856/131249996 swapFree=33010684/33010684
[pid=29802] ppid=29799 vsize=18996948 memory=136680 CPUtime=13.98 cores=1,3
/proc/29802/stat : 29802 (java) S 29799 29802 28429 0 -1 4194304 19945 0 0 0 1391 7 0 0 20 0 19 0 38487982 19452874752 34170 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
/proc/29802/statm: 4749237 34170 5490 1 0 551799 0
[pid=29802/tid=29804] ppid=29799 vsize=18996948 memory=102292 CPUtime=12.56 cores=1,3
/proc/29802/task/29804/stat : 29804 (java) R 29799 29802 28429 0 -1 4194368 7004 0 0 0 1253 3 0 0 20 0 19 0 38487983 19452874752 34170 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29813] ppid=29799 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/29802/task/29813/stat : 29813 (Finalizer) S 29799 29802 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38487986 19452874752 34170 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29820] ppid=29799 vsize=18996948 memory=134632 CPUtime=0 cores=1,3
/proc/29802/task/29820/stat : 29820 (Common-Cleaner) S 29799 29802 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38487986 19452874752 34170 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29821] ppid=29799 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/29802/task/29821/stat : 29821 (Timer-0) S 29799 29802 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38488010 19452874752 34170 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
Current children cumulated CPU time: 13.98 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 136680 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.10 5/338 29823
/proc/meminfo: memFree=125369068/131249996 swapFree=33010684/33010684
[pid=29802] ppid=29799 vsize=19063512 memory=174912 CPUtime=26.97 cores=1,3
/proc/29802/stat : 29802 (java) S 29799 29802 28429 0 -1 4194304 25146 0 0 0 2688 9 0 0 20 0 20 0 38487982 19521036288 43728 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
/proc/29802/statm: 4765878 43728 5522 1 0 552088 0
[pid=29802/tid=29804] ppid=29799 vsize=19063512 memory=10752 CPUtime=25.32 cores=1,3
/proc/29802/task/29804/stat : 29804 (java) R 29799 29802 28429 0 -1 4194368 7612 0 0 0 2528 4 0 0 20 0 20 0 38487983 19521036288 43728 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29813] ppid=29799 vsize=19063512 memory=134632 CPUtime=0 cores=1,3
/proc/29802/task/29813/stat : 29813 (Finalizer) S 29799 29802 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38487986 19521036288 43728 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29820] ppid=29799 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/29802/task/29820/stat : 29820 (Common-Cleaner) S 29799 29802 28429 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 38487986 19521036288 43728 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29821] ppid=29799 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/29802/task/29821/stat : 29821 (Timer-0) S 29799 29802 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38488010 19521036288 43728 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
Current children cumulated CPU time: 26.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174912 KiB
[startup+51.1056 s]
/proc/loadavg: 4.08 4.10 4.09 5/338 29823
/proc/meminfo: memFree=125219916/131249996 swapFree=33010684/33010684
[pid=29802] ppid=29799 vsize=19063512 memory=174912 CPUtime=52.54 cores=1,3
/proc/29802/stat : 29802 (java) S 29799 29802 28429 0 -1 4194304 25224 0 0 0 5245 9 0 0 20 0 20 0 38487982 19521036288 43728 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
/proc/29802/statm: 4765878 43728 5522 1 0 552088 0
[pid=29802/tid=29804] ppid=29799 vsize=19063512 memory=174912 CPUtime=50.87 cores=1,3
/proc/29802/task/29804/stat : 29804 (java) R 29799 29802 28429 0 -1 4194368 7618 0 0 0 5083 4 0 0 20 0 20 0 38487983 19521036288 43728 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
################
# More data... #
################
/proc/meminfo: memFree=111818072/131249996 swapFree=33010684/33010684
[pid=29802] ppid=29799 vsize=19063512 memory=1444524 CPUtime=3278.37 cores=1,3
/proc/29802/stat : 29802 (java) S 29799 29802 28429 0 -1 4194304 43126 0 0 0 327722 115 0 0 20 0 20 0 38487982 19521036288 361131 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
/proc/29802/statm: 4765878 361131 5522 1 0 552088 0
[pid=29802/tid=29804] ppid=29799 vsize=19063512 memory=1444524 CPUtime=3273.66 cores=1,3
/proc/29802/task/29804/stat : 29804 (java) R 29799 29802 28429 0 -1 4194368 17540 0 0 0 327352 14 0 0 20 0 20 0 38487983 19521036288 361131 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29813] ppid=29799 vsize=19063512 memory=1444524 CPUtime=0 cores=1,3
/proc/29802/task/29813/stat : 29813 (Finalizer) S 29799 29802 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38487986 19521036288 361131 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29820] ppid=29799 vsize=19063512 memory=1444524 CPUtime=0 cores=1,3
/proc/29802/task/29820/stat : 29820 (Common-Cleaner) S 29799 29802 28429 0 -1 4194368 575 0 0 0 0 0 0 0 20 0 20 0 38487986 19521036288 361131 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29821] ppid=29799 vsize=19063512 memory=1444524 CPUtime=0 cores=1,3
/proc/29802/task/29821/stat : 29821 (Timer-0) S 29799 29802 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38488010 19521036288 361131 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
Current children cumulated CPU time: 3278.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1444524 KiB
[startup+3342.3 s]
/proc/loadavg: 3.13 3.14 3.32 4/314 30807
/proc/meminfo: memFree=111752404/131249996 swapFree=33010684/33010684
[pid=29802] ppid=29799 vsize=19063512 memory=1512116 CPUtime=3338.33 cores=1,3
/proc/29802/stat : 29802 (java) S 29799 29802 28429 0 -1 4194304 43608 0 0 0 333716 117 0 0 20 0 20 0 38487982 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
/proc/29802/statm: 4765878 378029 5522 1 0 552088 0
[pid=29802/tid=29804] ppid=29799 vsize=19063512 memory=1512116 CPUtime=3333.45 cores=1,3
/proc/29802/task/29804/stat : 29804 (java) R 29799 29802 28429 0 -1 4194368 17713 0 0 0 333331 14 0 0 20 0 20 0 38487983 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29813] ppid=29799 vsize=19063512 memory=1512116 CPUtime=0 cores=1,3
/proc/29802/task/29813/stat : 29813 (Finalizer) S 29799 29802 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38487986 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29820] ppid=29799 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/29802/task/29820/stat : 29820 (Common-Cleaner) S 29799 29802 28429 0 -1 4194368 594 0 0 0 0 0 0 0 20 0 20 0 38487986 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29821] ppid=29799 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/29802/task/29821/stat : 29821 (Timer-0) S 29799 29802 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38488010 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
Current children cumulated CPU time: 3338.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1512116 KiB
[startup+3402.3 s]
/proc/loadavg: 3.05 3.11 3.29 4/314 30809
/proc/meminfo: memFree=111752316/131249996 swapFree=33010684/33010684
[pid=29802] ppid=29799 vsize=19063512 memory=1512116 CPUtime=3398.24 cores=1,3
/proc/29802/stat : 29802 (java) S 29799 29802 28429 0 -1 4194304 43656 0 0 0 339704 120 0 0 20 0 20 0 38487982 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
/proc/29802/statm: 4765878 378029 5522 1 0 552088 0
[pid=29802/tid=29804] ppid=29799 vsize=19063512 memory=1512116 CPUtime=3393.32 cores=1,3
/proc/29802/task/29804/stat : 29804 (java) R 29799 29802 28429 0 -1 4194368 17755 0 0 0 339318 14 0 0 20 0 20 0 38487983 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29813] ppid=29799 vsize=19063512 memory=1512116 CPUtime=0 cores=1,3
/proc/29802/task/29813/stat : 29813 (Finalizer) S 29799 29802 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38487986 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29820] ppid=29799 vsize=19063512 memory=1512116 CPUtime=0 cores=1,3
/proc/29802/task/29820/stat : 29820 (Common-Cleaner) S 29799 29802 28429 0 -1 4194368 594 0 0 0 0 0 0 0 20 0 20 0 38487986 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29821] ppid=29799 vsize=19063512 memory=1512116 CPUtime=0 cores=1,3
/proc/29802/task/29821/stat : 29821 (Timer-0) S 29799 29802 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38488010 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
Current children cumulated CPU time: 3398.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1512116 KiB
[startup+3462.3 s]
/proc/loadavg: 3.20 3.15 3.29 4/314 30815
/proc/meminfo: memFree=111687140/131249996 swapFree=33010684/33010684
[pid=29802] ppid=29799 vsize=19063512 memory=1512116 CPUtime=3458.13 cores=1,3
/proc/29802/stat : 29802 (java) S 29799 29802 28429 0 -1 4194304 43698 0 0 0 345692 121 0 0 20 0 20 0 38487982 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
/proc/29802/statm: 4765878 378029 5522 1 0 552088 0
[pid=29802/tid=29804] ppid=29799 vsize=19063512 memory=1512116 CPUtime=3453.2 cores=1,3
/proc/29802/task/29804/stat : 29804 (java) R 29799 29802 28429 0 -1 4194368 17792 0 0 0 345306 14 0 0 20 0 20 0 38487983 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29813] ppid=29799 vsize=19063512 memory=1512116 CPUtime=0 cores=1,3
/proc/29802/task/29813/stat : 29813 (Finalizer) S 29799 29802 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38487986 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29820] ppid=29799 vsize=19063512 memory=1512116 CPUtime=0 cores=1,3
/proc/29802/task/29820/stat : 29820 (Common-Cleaner) S 29799 29802 28429 0 -1 4194368 594 0 0 0 0 0 0 0 20 0 20 0 38487986 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29821] ppid=29799 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/29802/task/29821/stat : 29821 (Timer-0) S 29799 29802 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38488010 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
Current children cumulated CPU time: 3458.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1512116 KiB
[startup+3522.3 s]
/proc/loadavg: 3.13 3.14 3.28 4/312 30817
/proc/meminfo: memFree=111687504/131249996 swapFree=33010684/33010684
[pid=29802] ppid=29799 vsize=19063512 memory=1512116 CPUtime=3518.03 cores=1,3
/proc/29802/stat : 29802 (java) S 29799 29802 28429 0 -1 4194304 44240 0 0 0 351681 122 0 0 20 0 20 0 38487982 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
/proc/29802/statm: 4765878 378029 5522 1 0 552088 0
[pid=29802/tid=29804] ppid=29799 vsize=19063512 memory=1512116 CPUtime=3513.07 cores=1,3
/proc/29802/task/29804/stat : 29804 (java) R 29799 29802 28429 0 -1 4194368 18308 0 0 0 351293 14 0 0 20 0 20 0 38487983 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29813] ppid=29799 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/29802/task/29813/stat : 29813 (Finalizer) S 29799 29802 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38487986 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29820] ppid=29799 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/29802/task/29820/stat : 29820 (Common-Cleaner) S 29799 29802 28429 0 -1 4194368 594 0 0 0 0 0 0 0 20 0 20 0 38487986 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29821] ppid=29799 vsize=19063512 memory=1512116 CPUtime=0 cores=1,3
/proc/29802/task/29821/stat : 29821 (Timer-0) S 29799 29802 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38488010 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
Current children cumulated CPU time: 3518.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1512116 KiB
[startup+3582.3 s]
/proc/loadavg: 3.09 3.13 3.26 4/312 30819
/proc/meminfo: memFree=111687656/131249996 swapFree=33010684/33010684
[pid=29802] ppid=29799 vsize=19063512 memory=1512116 CPUtime=3577.92 cores=1,3
/proc/29802/stat : 29802 (java) S 29799 29802 28429 0 -1 4194304 44623 0 0 0 357669 123 0 0 20 0 20 0 38487982 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
/proc/29802/statm: 4765878 378029 5522 1 0 552088 0
[pid=29802/tid=29804] ppid=29799 vsize=19063512 memory=1512116 CPUtime=3572.94 cores=1,3
/proc/29802/task/29804/stat : 29804 (java) R 29799 29802 28429 0 -1 4194368 18676 0 0 0 357280 14 0 0 20 0 20 0 38487983 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29813] ppid=29799 vsize=19063512 memory=1512116 CPUtime=0 cores=1,3
/proc/29802/task/29813/stat : 29813 (Finalizer) S 29799 29802 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38487986 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29820] ppid=29799 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/29802/task/29820/stat : 29820 (Common-Cleaner) S 29799 29802 28429 0 -1 4194368 604 0 0 0 0 0 0 0 20 0 20 0 38487986 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29821] ppid=29799 vsize=19063512 memory=-6000919468344304493 CPUtime=0 cores=1,3
/proc/29802/task/29821/stat : 29821 (Timer-0) S 29799 29802 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38488010 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
Current children cumulated CPU time: 3577.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1512116 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3604.5 s]
/proc/loadavg: 3.06 3.11 3.26 4/312 30819
/proc/meminfo: memFree=111687916/131249996 swapFree=33010684/33010684
[pid=29802] ppid=29799 vsize=19063512 memory=1512116 CPUtime=3600.09 cores=1,3
/proc/29802/stat : 29802 (java) S 29799 29802 28429 0 -1 4194304 44933 0 0 0 359885 124 0 0 20 0 20 0 38487982 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
/proc/29802/statm: 4765878 378029 5522 1 0 552088 0
[pid=29802/tid=29804] ppid=29799 vsize=19063512 memory=1512116 CPUtime=3595.1 cores=1,3
/proc/29802/task/29804/stat : 29804 (java) R 29799 29802 28429 0 -1 4194368 18936 0 0 0 359496 14 0 0 20 0 20 0 38487983 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29813] ppid=29799 vsize=19063512 memory=1512116 CPUtime=0 cores=1,3
/proc/29802/task/29813/stat : 29813 (Finalizer) S 29799 29802 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38487986 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29820] ppid=29799 vsize=19063512 memory=1512116 CPUtime=0 cores=1,3
/proc/29802/task/29820/stat : 29820 (Common-Cleaner) S 29799 29802 28429 0 -1 4194368 604 0 0 0 0 0 0 0 20 0 20 0 38487986 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29821] ppid=29799 vsize=19063512 memory=1512116 CPUtime=0 cores=1,3
/proc/29802/task/29821/stat : 29821 (Timer-0) S 29799 29802 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38488010 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1512116 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3604.59 s]
# the end of solver process 29802 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.99 s, system=1.25003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3604.5 s]
/proc/loadavg: 3.06 3.11 3.26 4/312 30819
/proc/meminfo: memFree=111687916/131249996 swapFree=33010684/33010684
[pid=29802] ppid=29799 vsize=19063512 memory=1512116 CPUtime=3600.09 cores=1,3
/proc/29802/stat : 29802 (java) S 29799 29802 28429 0 -1 4194304 44933 0 0 0 359885 124 0 0 20 0 20 0 38487982 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
/proc/29802/statm: 4765878 378029 5522 1 0 552088 0
[pid=29802/tid=29804] ppid=29799 vsize=19063512 memory=1512116 CPUtime=3595.1 cores=1,3
/proc/29802/task/29804/stat : 29804 (java) R 29799 29802 28429 0 -1 4194368 18936 0 0 0 359496 14 0 0 20 0 20 0 38487983 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29813] ppid=29799 vsize=19063512 memory=1512116 CPUtime=0 cores=1,3
/proc/29802/task/29813/stat : 29813 (Finalizer) S 29799 29802 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38487986 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29820] ppid=29799 vsize=19063512 memory=1512116 CPUtime=0 cores=1,3
/proc/29802/task/29820/stat : 29820 (Common-Cleaner) S 29799 29802 28429 0 -1 4194368 604 0 0 0 0 0 0 0 20 0 20 0 38487986 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
[pid=29802/tid=29821] ppid=29799 vsize=19063512 memory=1512116 CPUtime=0 cores=1,3
/proc/29802/task/29821/stat : 29821 (Timer-0) S 29799 29802 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38488010 19521036288 378029 18446744073709551615 94183102705664 94183102709360 140733636530208 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94183102717176 94183102717968 94183107796992 140733636536705 140733636536806 140733636536806 140733636542408 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1512116 KiB
Child status: 143
Real time (s): 3604.59
CPU time (s): 3600.24
CPU user time (s): 3598.99
CPU system time (s): 1.25003
CPU usage (%): 99.8791
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1512116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.99
system time used= 1.25003
maximum resident set size= 1513012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47413
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103581
involuntary context switches= 2451
# summary of solver processes directly reported to runsolver:
# pid: 29802
# total CPU time (s): 3600.24
# total CPU user time (s): 3598.99
# total CPU system time (s): 1.25003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.68014 second user time and 16.8749 second system time
The end