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 (59459 MiB free)
memory of node 1: 64507 MiB (63734 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510480-1751197876/watcher-4510480-1751197876 -o /tmp/evaluation-result-4510480-1751197876/solver-4510480-1751197876 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27854 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4510480-1751197876.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=29419, runsolver pid=29416
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.06 4.08 4.09 6/339 29437
/proc/meminfo: memFree=126128216/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=18930384 memory=57864 CPUtime=0.13 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 6629 0 0 0 11 2 0 0 20 0 18 0 35465500 19384713216 14466 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4732596 14466 5335 1 0 547680 0
[pid=29419/tid=29421] ppid=29416 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/29419/task/29421/stat : 29421 (java) R 29416 29419 27841 0 -1 4194368 5104 0 0 0 7 1 0 0 20 0 18 0 35465501 19384713216 14466 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29430] ppid=29416 vsize=18930384 memory=237112656212 CPUtime=0 cores=5,7
/proc/29419/task/29430/stat : 29430 (Finalizer) S 29416 29419 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35465503 19384713216 14466 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29437] ppid=29416 vsize=18930384 memory=58485492706614 CPUtime=0 cores=5,7
/proc/29419/task/29437/stat : 29437 (Common-Cleaner) S 29416 29419 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35465503 19384713216 14466 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57864 KiB
[startup+0.204998 s]*
/proc/loadavg: 4.06 4.08 4.09 8/340 29438
/proc/meminfo: memFree=126122104/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=18996948 memory=66360 CPUtime=0.32 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 7082 0 0 0 30 2 0 0 20 0 19 0 35465500 19452874752 16590 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4749237 16590 5463 1 0 548276 0
[pid=29419/tid=29421] ppid=29416 vsize=18996948 memory=4026597660 CPUtime=0.18 cores=5,7
/proc/29419/task/29421/stat : 29421 (java) R 29416 29419 27841 0 -1 4194368 5309 0 0 0 17 1 0 0 20 0 19 0 35465501 19452874752 16590 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29430] ppid=29416 vsize=18996948 memory=18949 CPUtime=0 cores=5,7
/proc/29419/task/29430/stat : 29430 (Finalizer) S 29416 29419 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35465503 19452874752 16590 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29437] ppid=29416 vsize=18996948 memory=57385981051877 CPUtime=0 cores=5,7
/proc/29419/task/29437/stat : 29437 (Common-Cleaner) S 29416 29419 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35465503 19452874752 16590 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29438] ppid=29416 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/29419/task/29438/stat : 29438 (java) R 29416 29419 27841 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 19 0 35465519 19452874752 16590 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66360 KiB
[startup+0.305648 s]*
/proc/loadavg: 4.06 4.08 4.09 6/340 29438
/proc/meminfo: memFree=126113220/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=18996948 memory=73980 CPUtime=0.52 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 9624 0 0 0 49 3 0 0 20 0 19 0 35465500 19452874752 18495 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4749237 18495 5463 1 0 549748 0
[pid=29419/tid=29421] ppid=29416 vsize=18996948 memory=-6000919481363620717 CPUtime=0.27 cores=5,7
/proc/29419/task/29421/stat : 29421 (java) R 29416 29419 27841 0 -1 4194368 5319 0 0 0 26 1 0 0 20 0 19 0 35465501 19452874752 18495 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29430] ppid=29416 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/29419/task/29430/stat : 29430 (Finalizer) S 29416 29419 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35465503 19452874752 18495 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29437] ppid=29416 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/29419/task/29437/stat : 29437 (Common-Cleaner) S 29416 29419 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35465503 19452874752 18495 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29438] ppid=29416 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/29419/task/29438/stat : 29438 (Timer-0) S 29416 29419 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35465519 19452874752 18495 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 73980 KiB
[startup+0.700195 s]
/proc/loadavg: 4.06 4.08 4.09 6/340 29438
/proc/meminfo: memFree=126099612/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=18996948 memory=91744 CPUtime=1.28 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 14321 0 0 0 124 4 0 0 20 0 19 0 35465500 19452874752 22936 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4749237 22936 5463 1 0 552846 0
[pid=29419/tid=29421] ppid=29416 vsize=18996948 memory=17536 CPUtime=0.64 cores=5,7
/proc/29419/task/29421/stat : 29421 (java) R 29416 29419 27841 0 -1 4194368 5365 0 0 0 62 2 0 0 20 0 19 0 35465501 19452874752 22936 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29430] ppid=29416 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/29419/task/29430/stat : 29430 (Finalizer) S 29416 29419 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35465503 19452874752 22936 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29437] ppid=29416 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/29419/task/29437/stat : 29437 (Common-Cleaner) S 29416 29419 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35465503 19452874752 22936 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29438] ppid=29416 vsize=18996948 memory=4756 CPUtime=0 cores=5,7
/proc/29419/task/29438/stat : 29438 (Timer-0) S 29416 29419 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35465519 19452874752 22936 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 91744 KiB
[startup+1.50019 s]
/proc/loadavg: 4.14 4.10 4.09 6/340 29438
/proc/meminfo: memFree=126095836/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=18996948 memory=101592 CPUtime=2.73 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 18631 0 0 0 268 5 0 0 20 0 19 0 35465500 19452874752 25398 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4749237 25398 5463 1 0 553173 0
[pid=29419/tid=29421] ppid=29416 vsize=18996948 memory=0 CPUtime=1.42 cores=5,7
/proc/29419/task/29421/stat : 29421 (java) R 29416 29419 27841 0 -1 4194368 5735 0 0 0 140 2 0 0 20 0 19 0 35465501 19452874752 25398 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29430] ppid=29416 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/29419/task/29430/stat : 29430 (Finalizer) S 29416 29419 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35465503 19452874752 25398 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29437] ppid=29416 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/29419/task/29437/stat : 29437 (Common-Cleaner) S 29416 29419 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35465503 19452874752 25398 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29438] ppid=29416 vsize=18996948 memory=4756 CPUtime=0 cores=5,7
/proc/29419/task/29438/stat : 29438 (Timer-0) S 29416 29419 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35465519 19452874752 25398 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101592 KiB
[startup+3.10553 s]
/proc/loadavg: 4.14 4.10 4.09 5/340 29438
/proc/meminfo: memFree=126054876/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=18996948 memory=120248 CPUtime=4.37 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 19409 0 0 0 432 5 0 0 20 0 19 0 35465500 19452874752 30062 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4749237 30062 5463 1 0 553191 0
[pid=29419/tid=29421] ppid=29416 vsize=18996948 memory=10752 CPUtime=3 cores=5,7
/proc/29419/task/29421/stat : 29421 (java) R 29416 29419 27841 0 -1 4194368 6051 0 0 0 298 2 0 0 20 0 19 0 35465501 19452874752 30062 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29430] ppid=29416 vsize=18996948 memory=-6000919481363620717 CPUtime=0 cores=5,7
/proc/29419/task/29430/stat : 29430 (Finalizer) S 29416 29419 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35465503 19452874752 30062 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29437] ppid=29416 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/29419/task/29437/stat : 29437 (Common-Cleaner) S 29416 29419 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35465503 19452874752 30062 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29438] ppid=29416 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/29419/task/29438/stat : 29438 (Timer-0) S 29416 29419 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35465519 19452874752 30062 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
Current children cumulated CPU time: 4.37 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 120248 KiB
[startup+6.3002 s]
/proc/loadavg: 4.13 4.10 4.09 5/340 29438
/proc/meminfo: memFree=126026300/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=18996948 memory=145068 CPUtime=7.6 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 19943 0 0 0 754 6 0 0 20 0 19 0 35465500 19452874752 36267 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4749237 36267 5463 1 0 553191 0
[pid=29419/tid=29421] ppid=29416 vsize=18996948 memory=0 CPUtime=6.19 cores=5,7
/proc/29419/task/29421/stat : 29421 (java) R 29416 29419 27841 0 -1 4194368 6366 0 0 0 617 2 0 0 20 0 19 0 35465501 19452874752 36267 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29430] ppid=29416 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/29419/task/29430/stat : 29430 (Finalizer) S 29416 29419 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35465503 19452874752 36267 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29437] ppid=29416 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/29419/task/29437/stat : 29437 (Common-Cleaner) S 29416 29419 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35465503 19452874752 36267 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29438] ppid=29416 vsize=18996948 memory=103768 CPUtime=0 cores=5,7
/proc/29419/task/29438/stat : 29438 (Timer-0) S 29416 29419 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35465519 19452874752 36267 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
Current children cumulated CPU time: 7.6 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 145068 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.11 4.10 5/341 29439
/proc/meminfo: memFree=125989668/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=19063512 memory=178436 CPUtime=14 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 22565 0 0 0 1393 7 0 0 20 0 20 0 35465500 19521036288 44609 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4765878 44609 5527 1 0 553496 0
[pid=29419/tid=29421] ppid=29416 vsize=19063512 memory=103768 CPUtime=12.56 cores=5,7
/proc/29419/task/29421/stat : 29421 (java) R 29416 29419 27841 0 -1 4194368 6993 0 0 0 1253 3 0 0 20 0 20 0 35465501 19521036288 44609 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29430] ppid=29416 vsize=19063512 memory=178436 CPUtime=0 cores=5,7
/proc/29419/task/29430/stat : 29430 (Finalizer) S 29416 29419 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 44609 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29437] ppid=29416 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/29419/task/29437/stat : 29437 (Common-Cleaner) S 29416 29419 27841 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 44609 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29438] ppid=29416 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/29419/task/29438/stat : 29438 (Timer-0) S 29416 29419 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35465519 19521036288 44609 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
Current children cumulated CPU time: 14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178436 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.11 4.09 5/341 29439
/proc/meminfo: memFree=125936428/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=19063512 memory=186700 CPUtime=26.78 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 24713 0 0 0 2671 7 0 0 20 0 20 0 35465500 19521036288 46675 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4765878 46675 5527 1 0 553496 0
[pid=29419/tid=29421] ppid=29416 vsize=19063512 memory=178436 CPUtime=25.32 cores=5,7
/proc/29419/task/29421/stat : 29421 (java) R 29416 29419 27841 0 -1 4194368 7664 0 0 0 2529 3 0 0 20 0 20 0 35465501 19521036288 46675 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29430] ppid=29416 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/29419/task/29430/stat : 29430 (Finalizer) S 29416 29419 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 46675 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29437] ppid=29416 vsize=19063512 memory=-6000919481363620717 CPUtime=0 cores=5,7
/proc/29419/task/29437/stat : 29437 (Common-Cleaner) S 29416 29419 27841 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 46675 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29438] ppid=29416 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/29419/task/29438/stat : 29438 (Timer-0) S 29416 29419 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35465519 19521036288 46675 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
Current children cumulated CPU time: 26.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186700 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.10 4.09 5/341 29439
/proc/meminfo: memFree=125838132/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=19063512 memory=207496 CPUtime=52.33 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 25905 0 0 0 5225 8 0 0 20 0 20 0 35465500 19521036288 51874 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4765878 51874 5527 1 0 553496 0
################
# More data... #
################
/proc/loadavg: 4.14 4.14 4.11 5/340 29459
/proc/meminfo: memFree=124111996/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=19063512 memory=883576 CPUtime=538.37 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 33363 0 0 0 53808 29 0 0 20 0 20 0 35465500 19521036288 220894 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4765878 220894 5527 1 0 553511 0
[pid=29419/tid=29421] ppid=29416 vsize=19063512 memory=883576 CPUtime=535.48 cores=5,7
/proc/29419/task/29421/stat : 29421 (java) R 29416 29419 27841 0 -1 4194368 10902 0 0 0 53544 4 0 0 20 0 20 0 35465501 19521036288 220894 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29430] ppid=29416 vsize=19063512 memory=2305 CPUtime=0 cores=5,7
/proc/29419/task/29430/stat : 29430 (Finalizer) S 29416 29419 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 220894 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29437] ppid=29416 vsize=19063512 memory=-6000919481363620717 CPUtime=0 cores=5,7
/proc/29419/task/29437/stat : 29437 (Common-Cleaner) S 29416 29419 27841 0 -1 4194368 287 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 220894 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29438] ppid=29416 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/29419/task/29438/stat : 29438 (Timer-0) S 29416 29419 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35465519 19521036288 220894 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
Current children cumulated CPU time: 538.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 883576 KiB
[startup+550.4 s]
/proc/loadavg: 4.12 4.14 4.10 5/341 29465
/proc/meminfo: memFree=124058080/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=19063512 memory=938900 CPUtime=551.21 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 34272 0 0 0 55091 30 0 0 20 0 20 0 35465500 19521036288 234725 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4765878 234725 5527 1 0 553513 0
[pid=29419/tid=29421] ppid=29416 vsize=19063512 memory=883576 CPUtime=548.17 cores=5,7
/proc/29419/task/29421/stat : 29421 (java) R 29416 29419 27841 0 -1 4194368 11166 0 0 0 54813 4 0 0 20 0 20 0 35465501 19521036288 234725 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29430] ppid=29416 vsize=19063512 memory=895880 CPUtime=0 cores=5,7
/proc/29419/task/29430/stat : 29430 (Finalizer) S 29416 29419 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 234725 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29437] ppid=29416 vsize=19063512 memory=883576 CPUtime=0 cores=5,7
/proc/29419/task/29437/stat : 29437 (Common-Cleaner) S 29416 29419 27841 0 -1 4194368 294 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 234725 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29438] ppid=29416 vsize=19063512 memory=938900 CPUtime=0 cores=5,7
/proc/29419/task/29438/stat : 29438 (Timer-0) S 29416 29419 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35465519 19521036288 234725 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
Current children cumulated CPU time: 551.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 938900 KiB
[startup+563.2 s]
/proc/loadavg: 4.09 4.13 4.10 5/342 29468
/proc/meminfo: memFree=124058144/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=19063512 memory=938900 CPUtime=563.98 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 34275 0 0 0 56368 30 0 0 20 0 20 0 35465500 19521036288 234725 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4765878 234725 5527 1 0 553513 0
[pid=29419/tid=29421] ppid=29416 vsize=19063512 memory=279241862700832 CPUtime=560.94 cores=5,7
/proc/29419/task/29421/stat : 29421 (java) R 29416 29419 27841 0 -1 4194368 11167 0 0 0 56090 4 0 0 20 0 20 0 35465501 19521036288 234725 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29430] ppid=29416 vsize=19063512 memory=795472 CPUtime=0 cores=5,7
/proc/29419/task/29430/stat : 29430 (Finalizer) S 29416 29419 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 234725 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29437] ppid=29416 vsize=19063512 memory=883576 CPUtime=0 cores=5,7
/proc/29419/task/29437/stat : 29437 (Common-Cleaner) S 29416 29419 27841 0 -1 4194368 294 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 234725 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29438] ppid=29416 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/29419/task/29438/stat : 29438 (Timer-0) S 29416 29419 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35465519 19521036288 234725 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
Current children cumulated CPU time: 563.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 938900 KiB
[startup+569.6 s]
/proc/loadavg: 4.24 4.16 4.11 5/342 29468
/proc/meminfo: memFree=124058168/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=19063512 memory=939028 CPUtime=570.61 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 38587 0 0 0 57031 30 0 0 20 0 20 0 35465500 19521036288 234757 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4765878 234757 5527 1 0 553532 0
[pid=29419/tid=29421] ppid=29416 vsize=19063512 memory=938900 CPUtime=567.33 cores=5,7
/proc/29419/task/29421/stat : 29421 (java) R 29416 29419 27841 0 -1 4194368 11909 0 0 0 56729 4 0 0 20 0 20 0 35465501 19521036288 234757 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29430] ppid=29416 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/29419/task/29430/stat : 29430 (Finalizer) S 29416 29419 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 234757 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29437] ppid=29416 vsize=19063512 memory=939028 CPUtime=0 cores=5,7
/proc/29419/task/29437/stat : 29437 (Common-Cleaner) S 29416 29419 27841 0 -1 4194368 294 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 234757 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29438] ppid=29416 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/29419/task/29438/stat : 29438 (Timer-0) S 29416 29419 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35465519 19521036288 234757 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
Current children cumulated CPU time: 570.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 939028 KiB
[startup+571.2 s]
/proc/loadavg: 4.24 4.16 4.11 5/342 29468
/proc/meminfo: memFree=124058168/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=19063512 memory=939028 CPUtime=572.29 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 38622 0 0 0 57199 30 0 0 20 0 20 0 35465500 19521036288 234757 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4765878 234757 5527 1 0 553535 0
[pid=29419/tid=29421] ppid=29416 vsize=19063512 memory=1792 CPUtime=568.92 cores=5,7
/proc/29419/task/29421/stat : 29421 (java) R 29416 29419 27841 0 -1 4194368 11913 0 0 0 56888 4 0 0 20 0 20 0 35465501 19521036288 234757 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29430] ppid=29416 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/29419/task/29430/stat : 29430 (Finalizer) S 29416 29419 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 234757 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29437] ppid=29416 vsize=19063512 memory=939028 CPUtime=0 cores=5,7
/proc/29419/task/29437/stat : 29437 (Common-Cleaner) S 29416 29419 27841 0 -1 4194368 294 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 234757 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29438] ppid=29416 vsize=19063512 memory=4380 CPUtime=0 cores=5,7
/proc/29419/task/29438/stat : 29438 (Timer-0) S 29416 29419 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35465519 19521036288 234757 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
Current children cumulated CPU time: 572.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 939028 KiB
[startup+572 s]*
/proc/loadavg: 4.30 4.17 4.12 5/342 29468
/proc/meminfo: memFree=124054388/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=19063512 memory=941332 CPUtime=573.31 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 39281 0 0 0 57300 31 0 0 20 0 20 0 35465500 19521036288 235333 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4765878 235333 5527 1 0 553535 0
[pid=29419/tid=29421] ppid=29416 vsize=19063512 memory=-6000919481363620717 CPUtime=569.73 cores=5,7
/proc/29419/task/29421/stat : 29421 (java) R 29416 29419 27841 0 -1 4194368 11943 0 0 0 56969 4 0 0 20 0 20 0 35465501 19521036288 235333 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29430] ppid=29416 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=5,7
/proc/29419/task/29430/stat : 29430 (Finalizer) S 29416 29419 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 235333 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29437] ppid=29416 vsize=19063512 memory=5716 CPUtime=0 cores=5,7
/proc/29419/task/29437/stat : 29437 (Common-Cleaner) S 29416 29419 27841 0 -1 4194368 294 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 235333 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29438] ppid=29416 vsize=19063512 memory=23208 CPUtime=0 cores=5,7
/proc/29419/task/29438/stat : 29438 (Timer-0) S 29416 29419 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35465519 19521036288 235333 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
Current children cumulated CPU time: 573.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 941332 KiB
[startup+572.4 s]
/proc/loadavg: 4.30 4.17 4.12 5/342 29468
/proc/meminfo: memFree=124054388/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=19063512 memory=941332 CPUtime=573.7 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 39281 0 0 0 57339 31 0 0 20 0 20 0 35465500 19521036288 235333 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4765878 235333 5527 1 0 553535 0
[pid=29419/tid=29421] ppid=29416 vsize=19063512 memory=5632 CPUtime=570.12 cores=5,7
/proc/29419/task/29421/stat : 29421 (java) R 29416 29419 27841 0 -1 4194368 11943 0 0 0 57008 4 0 0 20 0 20 0 35465501 19521036288 235333 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29430] ppid=29416 vsize=19063512 memory=-6000919481363620717 CPUtime=0 cores=5,7
/proc/29419/task/29430/stat : 29430 (Finalizer) S 29416 29419 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 235333 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29437] ppid=29416 vsize=19063512 memory=939028 CPUtime=0 cores=5,7
/proc/29419/task/29437/stat : 29437 (Common-Cleaner) S 29416 29419 27841 0 -1 4194368 294 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 235333 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29438] ppid=29416 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/29419/task/29438/stat : 29438 (Timer-0) S 29416 29419 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35465519 19521036288 235333 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
Current children cumulated CPU time: 573.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 941332 KiB
[startup+572.6 s]
/proc/loadavg: 4.30 4.17 4.12 5/342 29468
/proc/meminfo: memFree=124054388/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=19063512 memory=941332 CPUtime=573.92 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 39285 0 0 0 57361 31 0 0 20 0 20 0 35465500 19521036288 235333 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4765878 235333 5527 1 0 553535 0
[pid=29419/tid=29421] ppid=29416 vsize=19063512 memory=4756 CPUtime=570.32 cores=5,7
/proc/29419/task/29421/stat : 29421 (java) R 29416 29419 27841 0 -1 4194368 11943 0 0 0 57028 4 0 0 20 0 20 0 35465501 19521036288 235333 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29430] ppid=29416 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/29419/task/29430/stat : 29430 (Finalizer) S 29416 29419 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 235333 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29437] ppid=29416 vsize=19063512 memory=-6000919481363620717 CPUtime=0 cores=5,7
/proc/29419/task/29437/stat : 29437 (Common-Cleaner) S 29416 29419 27841 0 -1 4194368 294 0 0 0 0 0 0 0 20 0 20 0 35465503 19521036288 235333 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29438] ppid=29416 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/29419/task/29438/stat : 29438 (Timer-0) S 29416 29419 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35465519 19521036288 235333 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
Current children cumulated CPU time: 573.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 941332 KiB
[startup+572.7 s]
/proc/loadavg: 4.30 4.17 4.12 5/342 29468
/proc/meminfo: memFree=124054388/131249996 swapFree=33010684/33010684
[pid=29419] ppid=29416 vsize=19196640 memory=941844 CPUtime=574.04 cores=5,7
/proc/29419/stat : 29419 (java) S 29416 29419 27841 0 -1 4194304 40534 0 0 0 57373 31 0 0 20 0 20 0 35465500 19657359360 235461 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
/proc/29419/statm: 4799160 235461 5527 1 0 554169 0
[pid=29419/tid=29421] ppid=29416 vsize=19196640 memory=17536 CPUtime=570.36 cores=5,7
/proc/29419/task/29421/stat : 29421 (java) S 29416 29419 27841 0 -1 4194368 12753 0 0 0 57032 4 0 0 20 0 20 0 35465501 19657359360 235461 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29430] ppid=29416 vsize=19196640 memory=3328 CPUtime=0 cores=5,7
/proc/29419/task/29430/stat : 29430 (Finalizer) S 29416 29419 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35465503 19657359360 235461 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
[pid=29419/tid=29437] ppid=29416 vsize=19196640 memory=14848 CPUtime=0 cores=5,7
/proc/29419/task/29437/stat : 29437 (Common-Cleaner) S 29416 29419 27841 0 -1 4194368 294 0 0 0 0 0 0 0 20 0 20 0 35465503 19657359360 235461 18446744073709551615 94510161391616 94510161395312 140731944748576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94510161403128 94510161403920 94510172696576 140731944757633 140731944757734 140731944757734 140731944763336 0
Current children cumulated CPU time: 574.04 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 941844 KiB
Child status: 20
Real time (s): 572.755
CPU time (s): 574.102
CPU user time (s): 573.784
CPU system time (s): 0.318259
CPU usage (%): 100.235
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 941844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 573.784
system time used= 0.318259
maximum resident set size= 942228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40753
page faults= 0
swaps= 0
block input operations= 0
block output operations= 600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18661
involuntary context switches= 1122
# summary of solver processes directly reported to runsolver:
# pid: 29419
# total CPU time (s): 574.102
# total CPU user time (s): 573.784
# total CPU system time (s): 0.318259
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13038 second user time and 2.56468 second system time
The end