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: 63794 MiB (62407 MiB free)
memory of node 1: 64507 MiB (58920 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485740-1751309803/watcher-4485740-1751309803 -o /tmp/evaluation-result-4485740-1751309803/solver-4485740-1751309803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751306214-44072 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4485740-1751309803.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=44638, runsolver pid=44635
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 4.68 4.25 4.12 5/324 44656
/proc/meminfo: memFree=124226200/131382116 swapFree=33010684/33010684
[pid=44638] ppid=44635 vsize=18930384 memory=48516 CPUtime=0.11 cores=4,6
/proc/44638/stat : 44638 (java) S 44635 44638 44061 0 -1 4194304 5794 0 0 0 8 3 0 0 20 0 18 0 46660051 19384713216 12129 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
/proc/44638/statm: 4732596 12129 5337 1 0 547004 0
[pid=44638/tid=44640] ppid=44635 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/44638/task/44640/stat : 44640 (java) R 44635 44638 44061 0 -1 4194368 4735 0 0 0 6 2 0 0 20 0 18 0 46660053 19384713216 12161 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44649] ppid=44635 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/44638/task/44649/stat : 44649 (Finalizer) S 44635 44638 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 46660057 19384713216 12161 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44656] ppid=44635 vsize=18930384 memory=59593594265959 CPUtime=0 cores=4,6
/proc/44638/task/44656/stat : 44656 (Common-Cleaner) S 44635 44638 44061 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 46660058 19384713216 12161 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48516 KiB
[startup+0.223684 s]*
/proc/loadavg: 4.68 4.25 4.12 7/324 44656
/proc/meminfo: memFree=124220088/131382116 swapFree=33010684/33010684
[pid=44638] ppid=44635 vsize=18930384 memory=58272 CPUtime=0.34 cores=4,6
/proc/44638/stat : 44638 (java) S 44635 44638 44061 0 -1 4194304 6713 0 0 0 30 4 0 0 20 0 18 0 46660051 19384713216 14568 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
/proc/44638/statm: 4732596 14568 5337 1 0 547741 0
[pid=44638/tid=44640] ppid=44635 vsize=18930384 memory=4026663196 CPUtime=0.2 cores=4,6
/proc/44638/task/44640/stat : 44640 (java) R 44635 44638 44061 0 -1 4194368 5207 0 0 0 18 2 0 0 20 0 18 0 46660053 19384713216 14568 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44649] ppid=44635 vsize=18930384 memory=1641 CPUtime=0 cores=4,6
/proc/44638/task/44649/stat : 44649 (Finalizer) S 44635 44638 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 46660057 19384713216 14568 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44656] ppid=44635 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/44638/task/44656/stat : 44656 (Common-Cleaner) S 44635 44638 44061 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 46660058 19384713216 14568 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58272 KiB
[startup+0.321702 s]*
/proc/loadavg: 4.68 4.25 4.12 7/324 44656
/proc/meminfo: memFree=124210952/131382116 swapFree=33010684/33010684
[pid=44638] ppid=44635 vsize=18930384 memory=65580 CPUtime=0.5 cores=4,6
/proc/44638/stat : 44638 (java) S 44635 44638 44061 0 -1 4194304 6921 0 0 0 46 4 0 0 20 0 18 0 46660051 19384713216 16395 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
/proc/44638/statm: 4732596 16395 5433 1 0 547894 0
[pid=44638/tid=44640] ppid=44635 vsize=18930384 memory=-6000919485624903787 CPUtime=0.29 cores=4,6
/proc/44638/task/44640/stat : 44640 (java) R 44635 44638 44061 0 -1 4194368 5339 0 0 0 26 3 0 0 20 0 18 0 46660053 19384713216 16395 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44649] ppid=44635 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/44638/task/44649/stat : 44649 (Finalizer) S 44635 44638 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 46660057 19384713216 16395 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44656] ppid=44635 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/44638/task/44656/stat : 44656 (Common-Cleaner) S 44635 44638 44061 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 46660058 19384713216 16395 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65580 KiB
[startup+0.700338 s]
/proc/loadavg: 4.68 4.25 4.12 6/324 44656
/proc/meminfo: memFree=124196648/131382116 swapFree=33010684/33010684
[pid=44638] ppid=44635 vsize=18930384 memory=130572 CPUtime=1.2 cores=4,6
/proc/44638/stat : 44638 (java) S 44635 44638 44061 0 -1 4194304 9614 0 0 0 113 7 0 0 20 0 18 0 46660051 19384713216 32643 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
/proc/44638/statm: 4732596 32643 5433 1 0 549637 0
[pid=44638/tid=44640] ppid=44635 vsize=18930384 memory=17664 CPUtime=0.57 cores=4,6
/proc/44638/task/44640/stat : 44640 (java) R 44635 44638 44061 0 -1 4194368 5409 0 0 0 53 4 0 0 20 0 18 0 46660053 19384713216 32643 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44649] ppid=44635 vsize=18930384 memory=11136 CPUtime=0 cores=4,6
/proc/44638/task/44649/stat : 44649 (Finalizer) S 44635 44638 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 46660057 19384713216 32643 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44656] ppid=44635 vsize=18930384 memory=3328 CPUtime=0 cores=4,6
/proc/44638/task/44656/stat : 44656 (Common-Cleaner) S 44635 44638 44061 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 46660058 19384713216 32643 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 130572 KiB
[startup+1.50027 s]
/proc/loadavg: 4.68 4.25 4.12 6/325 44657
/proc/meminfo: memFree=124020964/131382116 swapFree=33010684/33010684
[pid=44638] ppid=44635 vsize=18996948 memory=243196 CPUtime=2.7 cores=4,6
/proc/44638/stat : 44638 (java) S 44635 44638 44061 0 -1 4194304 12243 0 0 0 259 11 0 0 20 0 19 0 46660051 19452874752 60799 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
/proc/44638/statm: 4749237 60799 5465 1 0 551638 0
[pid=44638/tid=44640] ppid=44635 vsize=18996948 memory=3328 CPUtime=1.15 cores=4,6
/proc/44638/task/44640/stat : 44640 (java) S 44635 44638 44061 0 -1 4194368 5448 0 0 0 110 5 0 0 20 0 19 0 46660053 19452874752 60799 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44649] ppid=44635 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/44638/task/44649/stat : 44649 (Finalizer) S 44635 44638 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 46660057 19452874752 60799 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44656] ppid=44635 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/44638/task/44656/stat : 44656 (Common-Cleaner) S 44635 44638 44061 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 46660058 19452874752 60799 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 243196 KiB
[startup+3.10564 s]
/proc/loadavg: 4.87 4.29 4.13 6/326 44658
/proc/meminfo: memFree=122791852/131382116 swapFree=33010684/33010684
[pid=44638] ppid=44635 vsize=19063512 memory=632416 CPUtime=5.46 cores=4,6
/proc/44638/stat : 44638 (java) S 44635 44638 44061 0 -1 4194304 13933 0 0 0 526 20 0 0 20 0 20 0 46660051 19521036288 158104 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
/proc/44638/statm: 4765878 158104 5529 1 0 1337618 0
[pid=44638/tid=44640] ppid=44635 vsize=19063512 memory=11136 CPUtime=2.45 cores=4,6
/proc/44638/task/44640/stat : 44640 (java) R 44635 44638 44061 0 -1 4194368 5759 0 0 0 235 10 0 0 20 0 20 0 46660053 19521036288 158104 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44649] ppid=44635 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/44638/task/44649/stat : 44649 (Finalizer) S 44635 44638 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46660057 19521036288 158104 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44656] ppid=44635 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/44638/task/44656/stat : 44656 (Common-Cleaner) S 44635 44638 44061 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 46660058 19521036288 158104 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44658] ppid=44635 vsize=19063512 memory=4380 CPUtime=0 cores=4,6
/proc/44638/task/44658/stat : 44658 (Timer-0) S 44635 44638 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46660304 19521036288 158104 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
Current children cumulated CPU time: 5.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 632416 KiB
[startup+6.30038 s]
/proc/loadavg: 4.87 4.29 4.13 6/326 44658
/proc/meminfo: memFree=122705500/131382116 swapFree=33010684/33010684
[pid=44638] ppid=44635 vsize=19063512 memory=641120 CPUtime=9.89 cores=4,6
/proc/44638/stat : 44638 (java) S 44635 44638 44061 0 -1 4194304 17910 0 0 0 968 21 0 0 20 0 20 0 46660051 19521036288 160280 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
/proc/44638/statm: 4765878 160280 5529 1 0 1337621 0
[pid=44638/tid=44640] ppid=44635 vsize=19063512 memory=0 CPUtime=5.59 cores=4,6
/proc/44638/task/44640/stat : 44640 (java) S 44635 44638 44061 0 -1 4194368 6482 0 0 0 548 11 0 0 20 0 20 0 46660053 19521036288 160280 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44649] ppid=44635 vsize=19063512 memory=587044 CPUtime=0 cores=4,6
/proc/44638/task/44649/stat : 44649 (Finalizer) S 44635 44638 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46660057 19521036288 160280 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44656] ppid=44635 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/44638/task/44656/stat : 44656 (Common-Cleaner) S 44635 44638 44061 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 46660058 19521036288 160280 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44658] ppid=44635 vsize=19063512 memory=-6000919485624903787 CPUtime=0 cores=4,6
/proc/44638/task/44658/stat : 44658 (Timer-0) S 44635 44638 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46660304 19521036288 160280 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
Current children cumulated CPU time: 9.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 641120 KiB
[startup+12.7004 s]
/proc/loadavg: 4.88 4.30 4.14 6/325 44725
/proc/meminfo: memFree=126786948/131382116 swapFree=33010684/33010684
[pid=44638] ppid=44635 vsize=19063512 memory=671984 CPUtime=17.55 cores=4,6
/proc/44638/stat : 44638 (java) S 44635 44638 44061 0 -1 4194304 19227 0 0 0 1732 23 0 0 20 0 20 0 46660051 19521036288 167996 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
/proc/44638/statm: 4765878 167996 5529 1 0 1337622 0
[pid=44638/tid=44640] ppid=44635 vsize=19063512 memory=0 CPUtime=11.82 cores=4,6
/proc/44638/task/44640/stat : 44640 (java) R 44635 44638 44061 0 -1 4194368 6606 0 0 0 1171 11 0 0 20 0 20 0 46660053 19521036288 167996 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44649] ppid=44635 vsize=19063512 memory=671984 CPUtime=0 cores=4,6
/proc/44638/task/44649/stat : 44649 (Finalizer) S 44635 44638 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46660057 19521036288 167996 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44656] ppid=44635 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/44638/task/44656/stat : 44656 (Common-Cleaner) S 44635 44638 44061 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 46660058 19521036288 167996 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44658] ppid=44635 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/44638/task/44658/stat : 44658 (Timer-0) S 44635 44638 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46660304 19521036288 167996 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
Current children cumulated CPU time: 17.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 671984 KiB
[startup+25.5005 s]
/proc/loadavg: 4.91 4.34 4.15 5/326 44726
/proc/meminfo: memFree=126054348/131382116 swapFree=33010684/33010684
[pid=44638] ppid=44635 vsize=19063512 memory=1059228 CPUtime=30.83 cores=4,6
/proc/44638/stat : 44638 (java) S 44635 44638 44061 0 -1 4194304 27929 0 0 0 3050 33 0 0 20 0 20 0 46660051 19521036288 264807 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
/proc/44638/statm: 4765878 264807 5529 1 0 1337622 0
[pid=44638/tid=44640] ppid=44635 vsize=19063512 memory=0 CPUtime=24.45 cores=4,6
/proc/44638/task/44640/stat : 44640 (java) R 44635 44638 44061 0 -1 4194368 8385 0 0 0 2429 16 0 0 20 0 20 0 46660053 19521036288 264807 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44649] ppid=44635 vsize=19063512 memory=715108 CPUtime=0 cores=4,6
/proc/44638/task/44649/stat : 44649 (Finalizer) S 44635 44638 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46660057 19521036288 264807 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44656] ppid=44635 vsize=19063512 memory=715108 CPUtime=0 cores=4,6
/proc/44638/task/44656/stat : 44656 (Common-Cleaner) S 44635 44638 44061 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 46660058 19521036288 264807 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44658] ppid=44635 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/44638/task/44658/stat : 44658 (Timer-0) S 44635 44638 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46660304 19521036288 264807 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
Current children cumulated CPU time: 30.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1059228 KiB
[startup+51.113 s]
/proc/loadavg: 4.77 4.36 4.17 5/326 44726
/proc/meminfo: memFree=125459932/131382116 swapFree=33010684/33010684
[pid=44638] ppid=44635 vsize=19063512 memory=1211636 CPUtime=56.88 cores=4,6
/proc/44638/stat : 44638 (java) S 44635 44638 44061 0 -1 4194304 28856 0 0 0 5649 39 0 0 20 0 20 0 46660051 19521036288 302909 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
/proc/44638/statm: 4765878 302909 5529 1 0 1337834 0
[pid=44638/tid=44640] ppid=44635 vsize=19063512 memory=211309297979 CPUtime=49.62 cores=4,6
/proc/44638/task/44640/stat : 44640 (java) R 44635 44638 44061 0 -1 4194368 8554 0 0 0 4945 17 0 0 20 0 20 0 46660053 19521036288 302909 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44649] ppid=44635 vsize=19063512 memory=4380 CPUtime=0 cores=4,6
/proc/44638/task/44649/stat : 44649 (Finalizer) S 44635 44638 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46660057 19521036288 302909 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44656] ppid=44635 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/44638/task/44656/stat : 44656 (Common-Cleaner) S 44635 44638 44061 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 46660058 19521036288 302909 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44658] ppid=44635 vsize=19063512 memory=1174672 CPUtime=0 cores=4,6
/proc/44638/task/44658/stat : 44658 (Timer-0) S 44635 44638 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46660304 19521036288 302909 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
Current children cumulated CPU time: 56.88 s
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.43 4.34 4.25 5/330 44901
/proc/meminfo: memFree=111410208/131382116 swapFree=33010684/33010684
[pid=44638] ppid=44635 vsize=19063512 memory=4500636 CPUtime=3295.11 cores=4,6
/proc/44638/stat : 44638 (java) S 44635 44638 44061 0 -1 4194304 160661 0 0 0 329182 329 0 0 20 0 20 0 46660051 19521036288 1125159 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
/proc/44638/statm: 4765878 1125159 5561 1 0 1347626 0
[pid=44638/tid=44640] ppid=44635 vsize=19063512 memory=4500636 CPUtime=3258.99 cores=4,6
/proc/44638/task/44640/stat : 44640 (java) R 44635 44638 44061 0 -1 4194368 84148 0 0 0 325820 79 0 0 20 0 20 0 46660053 19521036288 1125159 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44649] ppid=44635 vsize=19063512 memory=4500636 CPUtime=0 cores=4,6
/proc/44638/task/44649/stat : 44649 (Finalizer) S 44635 44638 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46660057 19521036288 1125159 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44656] ppid=44635 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/44638/task/44656/stat : 44656 (Common-Cleaner) S 44635 44638 44061 0 -1 4194368 1803 0 0 0 0 0 0 0 20 0 20 0 46660058 19521036288 1125159 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44658] ppid=44635 vsize=19063512 memory=4500636 CPUtime=0 cores=4,6
/proc/44638/task/44658/stat : 44658 (Timer-0) S 44635 44638 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46660304 19521036288 1125159 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
Current children cumulated CPU time: 3295.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4500636 KiB
[startup+3342.3 s]
/proc/loadavg: 4.31 4.32 4.25 5/330 44903
/proc/meminfo: memFree=111413376/131382116 swapFree=33010684/33010684
[pid=44638] ppid=44635 vsize=19063512 memory=4504732 CPUtime=3355.08 cores=4,6
/proc/44638/stat : 44638 (java) S 44635 44638 44061 0 -1 4194304 164254 0 0 0 335176 332 0 0 20 0 20 0 46660051 19521036288 1126183 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
/proc/44638/statm: 4765878 1126183 5561 1 0 1347626 0
[pid=44638/tid=44640] ppid=44635 vsize=19063512 memory=4502684 CPUtime=3318.61 cores=4,6
/proc/44638/task/44640/stat : 44640 (java) R 44635 44638 44061 0 -1 4194368 86661 0 0 0 331781 80 0 0 20 0 20 0 46660053 19521036288 1126183 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44649] ppid=44635 vsize=19063512 memory=17664 CPUtime=0 cores=4,6
/proc/44638/task/44649/stat : 44649 (Finalizer) S 44635 44638 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46660057 19521036288 1126183 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44656] ppid=44635 vsize=19063512 memory=4502684 CPUtime=0 cores=4,6
/proc/44638/task/44656/stat : 44656 (Common-Cleaner) S 44635 44638 44061 0 -1 4194368 1881 0 0 0 0 0 0 0 20 0 20 0 46660058 19521036288 1126183 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44658] ppid=44635 vsize=19063512 memory=4504732 CPUtime=0 cores=4,6
/proc/44638/task/44658/stat : 44658 (Timer-0) S 44635 44638 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46660304 19521036288 1126183 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
Current children cumulated CPU time: 3355.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4504732 KiB
[startup+3402.3 s]
/proc/loadavg: 4.38 4.34 4.26 5/330 44906
/proc/meminfo: memFree=111409068/131382116 swapFree=33010684/33010684
[pid=44638] ppid=44635 vsize=19063512 memory=4506780 CPUtime=3415 cores=4,6
/proc/44638/stat : 44638 (java) S 44635 44638 44061 0 -1 4194304 167352 0 0 0 341163 337 0 0 20 0 20 0 46660051 19521036288 1126695 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
/proc/44638/statm: 4765878 1126695 5561 1 0 1347626 0
[pid=44638/tid=44640] ppid=44635 vsize=19063512 memory=4502684 CPUtime=3378.21 cores=4,6
/proc/44638/task/44640/stat : 44640 (java) R 44635 44638 44061 0 -1 4194368 88480 0 0 0 337740 81 0 0 20 0 20 0 46660053 19521036288 1126695 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44649] ppid=44635 vsize=19063512 memory=4502684 CPUtime=0 cores=4,6
/proc/44638/task/44649/stat : 44649 (Finalizer) S 44635 44638 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46660057 19521036288 1126695 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44656] ppid=44635 vsize=19063512 memory=17664 CPUtime=0 cores=4,6
/proc/44638/task/44656/stat : 44656 (Common-Cleaner) S 44635 44638 44061 0 -1 4194368 1936 0 0 0 0 0 0 0 20 0 20 0 46660058 19521036288 1126695 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44658] ppid=44635 vsize=19063512 memory=17664 CPUtime=0 cores=4,6
/proc/44638/task/44658/stat : 44658 (Timer-0) S 44635 44638 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46660304 19521036288 1126695 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
Current children cumulated CPU time: 3415 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4506780 KiB
[startup+3462.3 s]
/proc/loadavg: 4.73 4.42 4.30 6/306 45280
/proc/meminfo: memFree=122078580/131382116 swapFree=33010684/33010684
[pid=44638] ppid=44635 vsize=19063512 memory=4508828 CPUtime=3475.03 cores=4,6
/proc/44638/stat : 44638 (java) S 44635 44638 44061 0 -1 4194304 167891 0 0 0 347163 340 0 0 20 0 20 0 46660051 19521036288 1127207 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
/proc/44638/statm: 4765878 1127207 5561 1 0 1347630 0
[pid=44638/tid=44640] ppid=44635 vsize=19063512 memory=4502684 CPUtime=3437.88 cores=4,6
/proc/44638/task/44640/stat : 44640 (java) R 44635 44638 44061 0 -1 4194368 89000 0 0 0 343707 81 0 0 20 0 20 0 46660053 19521036288 1127207 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44649] ppid=44635 vsize=19063512 memory=4502684 CPUtime=0 cores=4,6
/proc/44638/task/44649/stat : 44649 (Finalizer) S 44635 44638 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46660057 19521036288 1127207 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44656] ppid=44635 vsize=19063512 memory=17664 CPUtime=0 cores=4,6
/proc/44638/task/44656/stat : 44656 (Common-Cleaner) S 44635 44638 44061 0 -1 4194368 1936 0 0 0 0 0 0 0 20 0 20 0 46660058 19521036288 1127207 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44658] ppid=44635 vsize=19063512 memory=4508828 CPUtime=0 cores=4,6
/proc/44638/task/44658/stat : 44658 (Timer-0) S 44635 44638 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46660304 19521036288 1127207 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
Current children cumulated CPU time: 3475.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4508828 KiB
[startup+3522.3 s]
/proc/loadavg: 4.46 4.40 4.30 5/328 45307
/proc/meminfo: memFree=118001900/131382116 swapFree=33010684/33010684
[pid=44638] ppid=44635 vsize=19063512 memory=4510896 CPUtime=3535.02 cores=4,6
/proc/44638/stat : 44638 (java) S 44635 44638 44061 0 -1 4194304 170631 0 0 0 353157 345 0 0 20 0 20 0 46660051 19521036288 1127724 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
/proc/44638/statm: 4765878 1127724 5561 1 0 1347630 0
[pid=44638/tid=44640] ppid=44635 vsize=19063512 memory=4508828 CPUtime=3497.57 cores=4,6
/proc/44638/task/44640/stat : 44640 (java) R 44635 44638 44061 0 -1 4194368 91104 0 0 0 349676 81 0 0 20 0 20 0 46660053 19521036288 1127724 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44649] ppid=44635 vsize=19063512 memory=4510896 CPUtime=0 cores=4,6
/proc/44638/task/44649/stat : 44649 (Finalizer) S 44635 44638 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46660057 19521036288 1127724 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44656] ppid=44635 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/44638/task/44656/stat : 44656 (Common-Cleaner) S 44635 44638 44061 0 -1 4194368 1978 0 0 0 0 0 0 0 20 0 20 0 46660058 19521036288 1127724 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44658] ppid=44635 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/44638/task/44658/stat : 44658 (Timer-0) S 44635 44638 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46660304 19521036288 1127724 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
Current children cumulated CPU time: 3535.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4510896 KiB
[startup+3582.3 s]
/proc/loadavg: 4.32 4.37 4.29 5/328 45308
/proc/meminfo: memFree=117707488/131382116 swapFree=33010684/33010684
[pid=44638] ppid=44635 vsize=19063512 memory=4512944 CPUtime=3595.01 cores=4,6
/proc/44638/stat : 44638 (java) S 44635 44638 44061 0 -1 4194304 172939 0 0 0 359152 349 0 0 20 0 20 0 46660051 19521036288 1128236 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
/proc/44638/statm: 4765878 1128236 5561 1 0 1347630 0
[pid=44638/tid=44640] ppid=44635 vsize=19063512 memory=4512944 CPUtime=3557.28 cores=4,6
/proc/44638/task/44640/stat : 44640 (java) R 44635 44638 44061 0 -1 4194368 92833 0 0 0 355646 82 0 0 20 0 20 0 46660053 19521036288 1128236 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44649] ppid=44635 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/44638/task/44649/stat : 44649 (Finalizer) S 44635 44638 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46660057 19521036288 1128236 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44656] ppid=44635 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/44638/task/44656/stat : 44656 (Common-Cleaner) S 44635 44638 44061 0 -1 4194368 1978 0 0 0 0 0 0 0 20 0 20 0 46660058 19521036288 1128236 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44658] ppid=44635 vsize=19063512 memory=4512944 CPUtime=0 cores=4,6
/proc/44638/task/44658/stat : 44658 (Timer-0) S 44635 44638 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46660304 19521036288 1128236 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
Current children cumulated CPU time: 3595.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4512944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3587.3 s]
/proc/loadavg: 4.29 4.37 4.29 5/328 45309
/proc/meminfo: memFree=117643216/131382116 swapFree=33010684/33010684
[pid=44638] ppid=44635 vsize=19063512 memory=4512944 CPUtime=3600.01 cores=4,6
/proc/44638/stat : 44638 (java) S 44635 44638 44061 0 -1 4194304 172941 0 0 0 359651 350 0 0 20 0 20 0 46660051 19521036288 1128236 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
/proc/44638/statm: 4765878 1128236 5561 1 0 1347630 0
[pid=44638/tid=44640] ppid=44635 vsize=19063512 memory=14336 CPUtime=3562.27 cores=4,6
/proc/44638/task/44640/stat : 44640 (java) R 44635 44638 44061 0 -1 4194368 92835 0 0 0 356145 82 0 0 20 0 20 0 46660053 19521036288 1128236 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44649] ppid=44635 vsize=19063512 memory=4506780 CPUtime=0 cores=4,6
/proc/44638/task/44649/stat : 44649 (Finalizer) S 44635 44638 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46660057 19521036288 1128236 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44656] ppid=44635 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/44638/task/44656/stat : 44656 (Common-Cleaner) S 44635 44638 44061 0 -1 4194368 1978 0 0 0 0 0 0 0 20 0 20 0 46660058 19521036288 1128236 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44658] ppid=44635 vsize=19063512 memory=4512944 CPUtime=0 cores=4,6
/proc/44638/task/44658/stat : 44658 (Timer-0) S 44635 44638 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46660304 19521036288 1128236 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4512944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3587.49 s]
# the end of solver process 44638 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.79 s, system=3.54222 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3587.4 s]
/proc/loadavg: 4.29 4.37 4.29 5/328 45309
/proc/meminfo: memFree=117643216/131382116 swapFree=33010684/33010684
[pid=44638] ppid=44635 vsize=19263204 memory=4513584 CPUtime=3600.21 cores=4,6
/proc/44638/stat : 44638 (java) S 44635 44638 44061 0 -1 4194304 175384 0 0 0 359670 351 0 0 20 0 21 0 46660051 19725520896 1128396 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
/proc/44638/statm: 4815801 1128396 5561 1 0 1348581 0
[pid=44638/tid=44640] ppid=44635 vsize=19263204 memory=14336 CPUtime=3562.37 cores=4,6
/proc/44638/task/44640/stat : 44640 (java) R 44635 44638 44061 0 -1 4194368 92930 0 0 0 356155 82 0 0 20 0 21 0 46660053 19725520896 1128396 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44649] ppid=44635 vsize=19263204 memory=-6000919485624903787 CPUtime=0 cores=4,6
/proc/44638/task/44649/stat : 44649 (Finalizer) S 44635 44638 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 46660057 19725520896 1128396 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
[pid=44638/tid=44656] ppid=44635 vsize=19263204 memory=21672 CPUtime=0 cores=4,6
/proc/44638/task/44656/stat : 44656 (Common-Cleaner) S 44635 44638 44061 0 -1 4194368 1978 0 0 0 0 0 0 0 20 0 21 0 46660058 19725520896 1128396 18446744073709551615 94130536239104 94130536242800 140720749512528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94130536250616 94130536251408 94130542776320 140720749517182 140720749517286 140720749517286 140720749522888 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4513584 KiB
Child status: 143
Real time (s): 3587.49
CPU time (s): 3600.33
CPU user time (s): 3596.79
CPU system time (s): 3.54222
CPU usage (%): 100.358
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4513584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.79
system time used= 3.54222
maximum resident set size= 4513840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175598
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123220
involuntary context switches= 6549
# summary of solver processes directly reported to runsolver:
# pid: 44638
# total CPU time (s): 3600.33
# total CPU user time (s): 3596.79
# total CPU system time (s): 3.54222
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8969 second user time and 36.8341 second system time
The end