runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (55275 MiB free)
memory of node 1: 64465 MiB (52415 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517682-1751530291/watcher-4517682-1751530291 -o /tmp/evaluation-result-4517682-1751530291/solver-4517682-1751530291 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751521141-72930 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4517682-1751530291.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=74535, runsolver pid=74532
[startup+0.100059 s]*
/proc/loadavg: 4.10 4.12 4.16 5/339 74553
/proc/meminfo: memFree=110245248/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=18930384 memory=57872 CPUtime=0.13 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 6587 0 0 0 11 2 0 0 20 0 18 0 68707709 19384713216 14468 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4732596 14468 5331 1 0 547623 0
[pid=74535/tid=74537] ppid=74532 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) R 74532 74535 72920 0 -1 4194368 5084 0 0 0 6 1 0 0 20 0 18 0 68707710 19384713216 14468 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74546] ppid=74532 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/74535/task/74546/stat : 74546 (Finalizer) S 74532 74535 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68707712 19384713216 14468 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74553] ppid=74532 vsize=18930384 memory=61784027576291 CPUtime=0 cores=0,2
/proc/74535/task/74553/stat : 74553 (Common-Cleaner) S 74532 74535 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68707713 19384713216 14468 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57872 KiB
[startup+0.205868 s]*
/proc/loadavg: 4.10 4.12 4.16 6/339 74553
/proc/meminfo: memFree=110239136/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=18930384 memory=66512 CPUtime=0.31 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 7138 0 0 0 29 2 0 0 20 0 18 0 68707709 19384713216 16628 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4732596 16628 5427 1 0 548029 0
[pid=74535/tid=74537] ppid=74532 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) R 74532 74535 72920 0 -1 4194368 5264 0 0 0 14 1 0 0 20 0 18 0 68707710 19384713216 16628 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74546] ppid=74532 vsize=18930384 memory=13937 CPUtime=0 cores=0,2
/proc/74535/task/74546/stat : 74546 (Finalizer) S 74532 74535 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68707712 19384713216 16628 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74553] ppid=74532 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/74535/task/74553/stat : 74553 (Common-Cleaner) S 74532 74535 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68707713 19384713216 16628 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66512 KiB
[startup+0.305573 s]*
/proc/loadavg: 4.10 4.12 4.16 6/340 74554
/proc/meminfo: memFree=110233024/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=18996948 memory=78220 CPUtime=0.5 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 9227 0 0 0 47 3 0 0 20 0 19 0 68707709 19452874752 19555 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4749237 19555 5491 1 0 549471 0
[pid=74535/tid=74537] ppid=74532 vsize=18996948 memory=-6000919498509871208 CPUtime=0.24 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) R 74532 74535 72920 0 -1 4194368 5383 0 0 0 22 2 0 0 20 0 19 0 68707710 19452874752 19555 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74546] ppid=74532 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/74535/task/74546/stat : 74546 (Finalizer) S 74532 74535 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68707712 19452874752 19555 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74553] ppid=74532 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/74535/task/74553/stat : 74553 (Common-Cleaner) S 74532 74535 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68707713 19452874752 19555 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74554] ppid=74532 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/74535/task/74554/stat : 74554 (Timer-0) S 74532 74535 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68707735 19452874752 19555 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 78220 KiB
[startup+0.700237 s]
/proc/loadavg: 4.25 4.15 4.17 6/340 74554
/proc/meminfo: memFree=110226472/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=18996948 memory=90020 CPUtime=1.27 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 11889 0 0 0 123 4 0 0 20 0 19 0 68707709 19452874752 22505 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4749237 22505 5491 1 0 551300 0
[pid=74535/tid=74537] ppid=74532 vsize=18996948 memory=18432 CPUtime=0.59 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) R 74532 74535 72920 0 -1 4194368 5426 0 0 0 57 2 0 0 20 0 19 0 68707710 19452874752 22505 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74546] ppid=74532 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/74535/task/74546/stat : 74546 (Finalizer) S 74532 74535 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68707712 19452874752 22505 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74553] ppid=74532 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/74535/task/74553/stat : 74553 (Common-Cleaner) S 74532 74535 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68707713 19452874752 22505 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74554] ppid=74532 vsize=18996948 memory=4496 CPUtime=0 cores=0,2
/proc/74535/task/74554/stat : 74554 (Timer-0) S 74532 74535 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68707735 19452874752 22505 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90020 KiB
[startup+1.50023 s]
/proc/loadavg: 4.25 4.15 4.17 6/340 74554
/proc/meminfo: memFree=110215508/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=18996948 memory=103748 CPUtime=2.78 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 18668 0 0 0 273 5 0 0 20 0 19 0 68707709 19452874752 25937 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4749237 25937 5491 1 0 552577 0
[pid=74535/tid=74537] ppid=74532 vsize=18996948 memory=11136 CPUtime=1.37 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) R 74532 74535 72920 0 -1 4194368 5791 0 0 0 135 2 0 0 20 0 19 0 68707710 19452874752 25937 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74546] ppid=74532 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/74535/task/74546/stat : 74546 (Finalizer) S 74532 74535 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68707712 19452874752 25937 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74553] ppid=74532 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/74535/task/74553/stat : 74553 (Common-Cleaner) S 74532 74535 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68707713 19452874752 25937 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74554] ppid=74532 vsize=18996948 memory=4496 CPUtime=0 cores=0,2
/proc/74535/task/74554/stat : 74554 (Timer-0) S 74532 74535 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68707735 19452874752 25937 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 103748 KiB
[startup+3.10542 s]
/proc/loadavg: 4.25 4.15 4.17 5/340 74554
/proc/meminfo: memFree=110181692/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=18996948 memory=125012 CPUtime=4.94 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 22388 0 0 0 489 5 0 0 20 0 19 0 68707709 19452874752 31253 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4749237 31253 5491 1 0 554229 0
[pid=74535/tid=74537] ppid=74532 vsize=18996948 memory=11136 CPUtime=2.96 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) R 74532 74535 72920 0 -1 4194368 6130 0 0 0 294 2 0 0 20 0 19 0 68707710 19452874752 31253 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74546] ppid=74532 vsize=18996948 memory=-6000919498509871208 CPUtime=0 cores=0,2
/proc/74535/task/74546/stat : 74546 (Finalizer) S 74532 74535 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68707712 19452874752 31253 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74553] ppid=74532 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/74535/task/74553/stat : 74553 (Common-Cleaner) S 74532 74535 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68707713 19452874752 31253 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74554] ppid=74532 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/74535/task/74554/stat : 74554 (Timer-0) S 74532 74535 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68707735 19452874752 31253 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
Current children cumulated CPU time: 4.94 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 125012 KiB
[startup+6.30017 s]
/proc/loadavg: 4.23 4.15 4.16 5/340 74554
/proc/meminfo: memFree=110157116/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=18996948 memory=144780 CPUtime=8.19 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 25208 0 0 0 813 6 0 0 20 0 19 0 68707709 19452874752 36195 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4749237 36195 5491 1 0 554229 0
[pid=74535/tid=74537] ppid=74532 vsize=18996948 memory=0 CPUtime=6.15 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) R 74532 74535 72920 0 -1 4194368 6651 0 0 0 612 3 0 0 20 0 19 0 68707710 19452874752 36195 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74546] ppid=74532 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/74535/task/74546/stat : 74546 (Finalizer) S 74532 74535 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68707712 19452874752 36195 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74553] ppid=74532 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/74535/task/74553/stat : 74553 (Common-Cleaner) S 74532 74535 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68707713 19452874752 36195 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74554] ppid=74532 vsize=18996948 memory=108356 CPUtime=0 cores=0,2
/proc/74535/task/74554/stat : 74554 (Timer-0) S 74532 74535 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68707735 19452874752 36195 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
Current children cumulated CPU time: 8.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 144780 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.15 4.16 5/341 74555
/proc/meminfo: memFree=110120252/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=19063512 memory=177972 CPUtime=14.59 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 27730 0 0 0 1451 8 0 0 20 0 20 0 68707709 19521036288 44493 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4765878 44493 5523 1 0 554518 0
[pid=74535/tid=74537] ppid=74532 vsize=19063512 memory=108356 CPUtime=12.52 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) R 74532 74535 72920 0 -1 4194368 7224 0 0 0 1249 3 0 0 20 0 20 0 68707710 19521036288 44493 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74546] ppid=74532 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/74535/task/74546/stat : 74546 (Finalizer) S 74532 74535 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68707712 19521036288 44493 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74553] ppid=74532 vsize=19063512 memory=177972 CPUtime=0 cores=0,2
/proc/74535/task/74553/stat : 74553 (Common-Cleaner) S 74532 74535 72920 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 68707713 19521036288 44493 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74554] ppid=74532 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/74535/task/74554/stat : 74554 (Timer-0) S 74532 74535 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68707735 19521036288 44493 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
Current children cumulated CPU time: 14.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177972 KiB
[startup+25.5002 s]
/proc/loadavg: 4.26 4.16 4.17 5/341 74555
/proc/meminfo: memFree=110116156/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=19063512 memory=184160 CPUtime=27.37 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 29921 0 0 0 2729 8 0 0 20 0 20 0 68707709 19521036288 46040 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4765878 46040 5523 1 0 554518 0
[pid=74535/tid=74537] ppid=74532 vsize=19063512 memory=11136 CPUtime=25.27 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) R 74532 74535 72920 0 -1 4194368 8006 0 0 0 2524 3 0 0 20 0 20 0 68707710 19521036288 46040 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74546] ppid=74532 vsize=19063512 memory=177972 CPUtime=0 cores=0,2
/proc/74535/task/74546/stat : 74546 (Finalizer) S 74532 74535 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68707712 19521036288 46040 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74553] ppid=74532 vsize=19063512 memory=3104 CPUtime=0 cores=0,2
/proc/74535/task/74553/stat : 74553 (Common-Cleaner) S 74532 74535 72920 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 68707713 19521036288 46040 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74554] ppid=74532 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/74535/task/74554/stat : 74554 (Timer-0) S 74532 74535 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68707735 19521036288 46040 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
Current children cumulated CPU time: 27.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184160 KiB
[startup+51.1055 s]
/proc/loadavg: 4.15 4.14 4.16 5/341 74556
/proc/meminfo: memFree=110083428/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=19063512 memory=217364 CPUtime=52.95 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 30708 0 0 0 5286 9 0 0 20 0 20 0 68707709 19521036288 54341 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4765878 54341 5555 1 0 554518 0
[pid=74535/tid=74537] ppid=74532 vsize=19063512 memory=16580 CPUtime=50.78 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) R 74532 74535 72920 0 -1 4194368 8094 0 0 0 5075 3 0 0 20 0 20 0 68707710 19521036288 54341 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
################
# More data... #
################
/proc/loadavg: 4.09 4.15 4.17 5/341 74583
/proc/meminfo: memFree=108620100/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=19063512 memory=793448 CPUtime=539.33 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 44588 0 0 0 53898 35 0 0 20 0 20 0 68707709 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4765878 198362 5555 1 0 554529 0
[pid=74535/tid=74537] ppid=74532 vsize=19063512 memory=793448 CPUtime=535.4 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) R 74532 74535 72920 0 -1 4194368 11733 0 0 0 53536 4 0 0 20 0 20 0 68707710 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74546] ppid=74532 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/74535/task/74546/stat : 74546 (Finalizer) S 74532 74535 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68707712 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74553] ppid=74532 vsize=19063512 memory=-6000919498509871208 CPUtime=0 cores=0,2
/proc/74535/task/74553/stat : 74553 (Common-Cleaner) S 74532 74535 72920 0 -1 4194368 262 0 0 0 0 0 0 0 20 0 20 0 68707713 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74554] ppid=74532 vsize=19063512 memory=215587488049 CPUtime=0 cores=0,2
/proc/74535/task/74554/stat : 74554 (Timer-0) S 74532 74535 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68707735 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
Current children cumulated CPU time: 539.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 793448 KiB
[startup+550.4 s]
/proc/loadavg: 4.08 4.15 4.16 5/341 74584
/proc/meminfo: memFree=108619944/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=19063512 memory=793448 CPUtime=552.1 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 44597 0 0 0 55175 35 0 0 20 0 20 0 68707709 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4765878 198362 5555 1 0 554529 0
[pid=74535/tid=74537] ppid=74532 vsize=19063512 memory=713544 CPUtime=548.17 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) R 74532 74535 72920 0 -1 4194368 11733 0 0 0 54813 4 0 0 20 0 20 0 68707710 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74546] ppid=74532 vsize=19063512 memory=793448 CPUtime=0 cores=0,2
/proc/74535/task/74546/stat : 74546 (Finalizer) S 74532 74535 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68707712 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74553] ppid=74532 vsize=19063512 memory=793448 CPUtime=0 cores=0,2
/proc/74535/task/74553/stat : 74553 (Common-Cleaner) S 74532 74535 72920 0 -1 4194368 262 0 0 0 0 0 0 0 20 0 20 0 68707713 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74554] ppid=74532 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/74535/task/74554/stat : 74554 (Timer-0) S 74532 74535 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68707735 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
Current children cumulated CPU time: 552.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 793448 KiB
[startup+563.2 s]
/proc/loadavg: 4.06 4.14 4.16 5/341 74584
/proc/meminfo: memFree=108570792/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=19063512 memory=793448 CPUtime=564.88 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 44601 0 0 0 56452 36 0 0 20 0 20 0 68707709 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4765878 198362 5555 1 0 554529 0
[pid=74535/tid=74537] ppid=74532 vsize=19063512 memory=711496 CPUtime=560.94 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) R 74532 74535 72920 0 -1 4194368 11733 0 0 0 56090 4 0 0 20 0 20 0 68707710 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74546] ppid=74532 vsize=19063512 memory=711496 CPUtime=0 cores=0,2
/proc/74535/task/74546/stat : 74546 (Finalizer) S 74532 74535 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68707712 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74553] ppid=74532 vsize=19063512 memory=711496 CPUtime=0 cores=0,2
/proc/74535/task/74553/stat : 74553 (Common-Cleaner) S 74532 74535 72920 0 -1 4194368 262 0 0 0 0 0 0 0 20 0 20 0 68707713 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74554] ppid=74532 vsize=19063512 memory=16580 CPUtime=0 cores=0,2
/proc/74535/task/74554/stat : 74554 (Timer-0) S 74532 74535 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68707735 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
Current children cumulated CPU time: 564.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 793448 KiB
[startup+566.4 s]
/proc/loadavg: 4.06 4.14 4.16 5/340 74584
/proc/meminfo: memFree=108570792/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=19063512 memory=793448 CPUtime=568.07 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 44603 0 0 0 56771 36 0 0 20 0 20 0 68707709 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4765878 198362 5555 1 0 554529 0
[pid=74535/tid=74537] ppid=74532 vsize=19063512 memory=18432 CPUtime=564.13 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) R 74532 74535 72920 0 -1 4194368 11733 0 0 0 56409 4 0 0 20 0 20 0 68707710 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74546] ppid=74532 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/74535/task/74546/stat : 74546 (Finalizer) S 74532 74535 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68707712 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74553] ppid=74532 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/74535/task/74553/stat : 74553 (Common-Cleaner) S 74532 74535 72920 0 -1 4194368 262 0 0 0 0 0 0 0 20 0 20 0 68707713 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74554] ppid=74532 vsize=19063512 memory=3104 CPUtime=0 cores=0,2
/proc/74535/task/74554/stat : 74554 (Timer-0) S 74532 74535 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68707735 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
Current children cumulated CPU time: 568.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 793448 KiB
[startup+569.6 s]
/proc/loadavg: 4.06 4.14 4.16 5/340 74584
/proc/meminfo: memFree=108570792/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=19063512 memory=793448 CPUtime=571.26 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 44606 0 0 0 57090 36 0 0 20 0 20 0 68707709 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4765878 198362 5555 1 0 554529 0
[pid=74535/tid=74537] ppid=74532 vsize=19063512 memory=0 CPUtime=567.32 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) R 74532 74535 72920 0 -1 4194368 11733 0 0 0 56728 4 0 0 20 0 20 0 68707710 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74546] ppid=74532 vsize=19063512 memory=793448 CPUtime=0 cores=0,2
/proc/74535/task/74546/stat : 74546 (Finalizer) S 74532 74535 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68707712 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74553] ppid=74532 vsize=19063512 memory=4496 CPUtime=0 cores=0,2
/proc/74535/task/74553/stat : 74553 (Common-Cleaner) S 74532 74535 72920 0 -1 4194368 262 0 0 0 0 0 0 0 20 0 20 0 68707713 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74554] ppid=74532 vsize=19063512 memory=16580 CPUtime=0 cores=0,2
/proc/74535/task/74554/stat : 74554 (Timer-0) S 74532 74535 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68707735 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
Current children cumulated CPU time: 571.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 793448 KiB
[startup+571.2 s]
/proc/loadavg: 4.05 4.14 4.16 5/340 74584
/proc/meminfo: memFree=108570792/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=19063512 memory=793448 CPUtime=572.86 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 44693 0 0 0 57250 36 0 0 20 0 20 0 68707709 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4765878 198362 5555 1 0 554529 0
[pid=74535/tid=74537] ppid=74532 vsize=19063512 memory=793448 CPUtime=568.92 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) R 74532 74535 72920 0 -1 4194368 11790 0 0 0 56888 4 0 0 20 0 20 0 68707710 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74546] ppid=74532 vsize=19063512 memory=-6000919498509871208 CPUtime=0 cores=0,2
/proc/74535/task/74546/stat : 74546 (Finalizer) S 74532 74535 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68707712 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74553] ppid=74532 vsize=19063512 memory=4496 CPUtime=0 cores=0,2
/proc/74535/task/74553/stat : 74553 (Common-Cleaner) S 74532 74535 72920 0 -1 4194368 262 0 0 0 0 0 0 0 20 0 20 0 68707713 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74554] ppid=74532 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/74535/task/74554/stat : 74554 (Timer-0) S 74532 74535 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68707735 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
Current children cumulated CPU time: 572.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 793448 KiB
[startup+571.6 s]
/proc/loadavg: 4.05 4.14 4.16 5/340 74584
/proc/meminfo: memFree=108570792/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=19063512 memory=793448 CPUtime=573.27 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 44748 0 0 0 57291 36 0 0 20 0 20 0 68707709 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4765878 198362 5555 1 0 554529 0
[pid=74535/tid=74537] ppid=74532 vsize=19063512 memory=18432 CPUtime=569.32 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) R 74532 74535 72920 0 -1 4194368 11796 0 0 0 56928 4 0 0 20 0 20 0 68707710 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74546] ppid=74532 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/74535/task/74546/stat : 74546 (Finalizer) S 74532 74535 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68707712 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74553] ppid=74532 vsize=19063512 memory=-6000919498509871208 CPUtime=0 cores=0,2
/proc/74535/task/74553/stat : 74553 (Common-Cleaner) S 74532 74535 72920 0 -1 4194368 262 0 0 0 0 0 0 0 20 0 20 0 68707713 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74554] ppid=74532 vsize=19063512 memory=-6000919498509871208 CPUtime=0 cores=0,2
/proc/74535/task/74554/stat : 74554 (Timer-0) S 74532 74535 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68707735 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
Current children cumulated CPU time: 573.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 793448 KiB
[startup+571.8 s]
/proc/loadavg: 4.05 4.14 4.16 5/340 74584
/proc/meminfo: memFree=108570792/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=19063512 memory=793448 CPUtime=573.48 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 44763 0 0 0 57312 36 0 0 20 0 20 0 68707709 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4765878 198362 5555 1 0 554529 0
[pid=74535/tid=74537] ppid=74532 vsize=19063512 memory=3200 CPUtime=569.52 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) R 74532 74535 72920 0 -1 4194368 11796 0 0 0 56948 4 0 0 20 0 20 0 68707710 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74546] ppid=74532 vsize=19063512 memory=4496 CPUtime=0 cores=0,2
/proc/74535/task/74546/stat : 74546 (Finalizer) S 74532 74535 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68707712 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74553] ppid=74532 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/74535/task/74553/stat : 74553 (Common-Cleaner) S 74532 74535 72920 0 -1 4194368 262 0 0 0 0 0 0 0 20 0 20 0 68707713 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74554] ppid=74532 vsize=19063512 memory=21692 CPUtime=0 cores=0,2
/proc/74535/task/74554/stat : 74554 (Timer-0) S 74532 74535 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68707735 19521036288 198362 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
Current children cumulated CPU time: 573.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 793448 KiB
[startup+571.9 s]
/proc/loadavg: 4.05 4.14 4.16 5/340 74584
/proc/meminfo: memFree=108570792/131249996 swapFree=33010160/33010684
[pid=74535] ppid=74532 vsize=19196640 memory=793960 CPUtime=573.58 cores=0,2
/proc/74535/stat : 74535 (java) S 74532 74535 72920 0 -1 4194304 46545 0 0 0 57322 36 0 0 20 0 20 0 68707709 19657359360 198490 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
/proc/74535/statm: 4799160 198490 5587 1 0 555163 0
[pid=74535/tid=74537] ppid=74532 vsize=19196640 memory=0 CPUtime=569.6 cores=0,2
/proc/74535/task/74537/stat : 74537 (java) S 74532 74535 72920 0 -1 4194368 13053 0 0 0 56956 4 0 0 20 0 20 0 68707710 19657359360 198490 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74546] ppid=74532 vsize=19196640 memory=793448 CPUtime=0 cores=0,2
/proc/74535/task/74546/stat : 74546 (Finalizer) S 74532 74535 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68707712 19657359360 198490 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
[pid=74535/tid=74553] ppid=74532 vsize=19196640 memory=793448 CPUtime=0 cores=0,2
/proc/74535/task/74553/stat : 74553 (Common-Cleaner) S 74532 74535 72920 0 -1 4194368 262 0 0 0 0 0 0 0 20 0 20 0 68707713 19657359360 198490 18446744073709551615 94167504850944 94167504854640 140726736161776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94167504862456 94167504863248 94167521243136 140726736165249 140726736165350 140726736165350 140726736170952 0
Current children cumulated CPU time: 573.58 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 793960 KiB
Child status: 30
Real time (s): 571.935
CPU time (s): 573.614
CPU user time (s): 573.243
CPU system time (s): 0.3712
CPU usage (%): 100.294
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 793960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 573.243
system time used= 0.3712
maximum resident set size= 794216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46816
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19024
involuntary context switches= 2355
# summary of solver processes directly reported to runsolver:
# pid: 74535
# total CPU time (s): 573.614
# total CPU user time (s): 573.243
# total CPU system time (s): 0.3712
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.19459 second user time and 2.72636 second system time
The end