runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62975 MiB free)
memory of node 1: 64507 MiB (63833 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498620-1751405425/watcher-4498620-1751405425 -o /tmp/evaluation-result-4498620-1751405425/solver-4498620-1751405425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751405425-55230 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4498620-1751405425.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=55339, runsolver pid=55336
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 0.93 1.75 2.51 7/313 55360
/proc/meminfo: memFree=129811292/131249996 swapFree=33010416/33010684
[pid=55339] ppid=55336 vsize=18930384 memory=57768 CPUtime=0.12 cores=0,2
/proc/55339/stat : 55339 (java) S 55336 55339 55220 0 -1 4194304 6572 0 0 0 11 1 0 0 20 0 18 0 56222098 19384713216 14442 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
/proc/55339/statm: 4732596 14442 5336 1 0 547620 0
[pid=55339/tid=55341] ppid=55336 vsize=18930384 memory=4026532124 CPUtime=0.08 cores=0,2
/proc/55339/task/55341/stat : 55341 (java) R 55336 55339 55220 0 -1 4194368 5070 0 0 0 7 1 0 0 20 0 18 0 56222100 19384713216 14442 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55350] ppid=55336 vsize=18930384 memory=16912 CPUtime=0 cores=0,2
/proc/55339/task/55350/stat : 55350 (Finalizer) S 55336 55339 55220 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56222102 19384713216 14442 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55357] ppid=55336 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/55339/task/55357/stat : 55357 (Common-Cleaner) S 55336 55339 55220 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 56222102 19384713216 14442 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57768 KiB
[startup+0.205737 s]*
/proc/loadavg: 0.93 1.75 2.51 7/313 55364
/proc/meminfo: memFree=129731856/131249996 swapFree=33010416/33010684
[pid=55339] ppid=55336 vsize=18930384 memory=86628 CPUtime=0.32 cores=0,2
/proc/55339/stat : 55339 (java) S 55336 55339 55220 0 -1 4194304 7040 0 0 0 30 2 0 0 20 0 18 0 56222098 19384713216 21657 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
/proc/55339/statm: 4732596 21657 5432 1 0 547919 0
[pid=55339/tid=55341] ppid=55336 vsize=18930384 memory=3472328300254199928 CPUtime=0.18 cores=0,2
/proc/55339/task/55341/stat : 55341 (java) R 55336 55339 55220 0 -1 4194368 5339 0 0 0 17 1 0 0 20 0 18 0 56222100 19384713216 21657 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55350] ppid=55336 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/55339/task/55350/stat : 55350 (Finalizer) S 55336 55339 55220 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56222102 19384713216 21657 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55357] ppid=55336 vsize=18930384 memory=59585004335790 CPUtime=0 cores=0,2
/proc/55339/task/55357/stat : 55357 (Common-Cleaner) S 55336 55339 55220 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 56222102 19384713216 21657 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 86628 KiB
[startup+0.306236 s]*
/proc/loadavg: 0.93 1.75 2.51 8/312 55369
/proc/meminfo: memFree=129582704/131249996 swapFree=33010416/33010684
[pid=55339] ppid=55336 vsize=18930384 memory=116588 CPUtime=0.5 cores=0,2
/proc/55339/stat : 55339 (java) S 55336 55339 55220 0 -1 4194304 9113 0 0 0 47 3 0 0 20 0 18 0 56222098 19384713216 29147 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
/proc/55339/statm: 4732596 29147 5432 1 0 549259 0
[pid=55339/tid=55341] ppid=55336 vsize=18930384 memory=8039887049847964581 CPUtime=0.27 cores=0,2
/proc/55339/task/55341/stat : 55341 (java) R 55336 55339 55220 0 -1 4194368 5354 0 0 0 25 2 0 0 20 0 18 0 56222100 19384713216 29147 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55350] ppid=55336 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/55339/task/55350/stat : 55350 (Finalizer) S 55336 55339 55220 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56222102 19384713216 29147 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55357] ppid=55336 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/55339/task/55357/stat : 55357 (Common-Cleaner) S 55336 55339 55220 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 56222102 19384713216 29147 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 116588 KiB
[startup+0.700221 s]
/proc/loadavg: 0.93 1.75 2.51 6/315 55372
/proc/meminfo: memFree=129435564/131249996 swapFree=33010416/33010684
[pid=55339] ppid=55336 vsize=18996948 memory=223024 CPUtime=1.11 cores=0,2
/proc/55339/stat : 55339 (java) S 55336 55339 55220 0 -1 4194304 9612 0 0 0 104 7 0 0 20 0 19 0 56222098 19452874752 55756 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
/proc/55339/statm: 4749237 55756 5464 1 0 549838 0
[pid=55339/tid=55341] ppid=55336 vsize=18996948 memory=17792 CPUtime=0.59 cores=0,2
/proc/55339/task/55341/stat : 55341 (java) R 55336 55339 55220 0 -1 4194368 5378 0 0 0 55 4 0 0 20 0 19 0 56222100 19452874752 55756 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55350] ppid=55336 vsize=18996948 memory=11008 CPUtime=0 cores=0,2
/proc/55339/task/55350/stat : 55350 (Finalizer) S 55336 55339 55220 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 56222102 19452874752 55756 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55357] ppid=55336 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/55339/task/55357/stat : 55357 (Common-Cleaner) S 55336 55339 55220 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 56222102 19452874752 55756 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 223024 KiB
[startup+1.50023 s]
/proc/loadavg: 0.93 1.75 2.51 7/316 55373
/proc/meminfo: memFree=128187056/131249996 swapFree=33010416/33010684
[pid=55339] ppid=55336 vsize=18996948 memory=565524 CPUtime=2.58 cores=0,2
/proc/55339/stat : 55339 (java) S 55336 55339 55220 0 -1 4194304 12576 0 0 0 243 15 0 0 20 0 19 0 56222098 19452874752 141381 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
/proc/55339/statm: 4749237 141381 5496 1 0 1077406 0
[pid=55339/tid=55341] ppid=55336 vsize=18996948 memory=3200 CPUtime=1.2 cores=0,2
/proc/55339/task/55341/stat : 55341 (java) R 55336 55339 55220 0 -1 4194368 5586 0 0 0 111 9 0 0 20 0 19 0 56222100 19452874752 141381 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55350] ppid=55336 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/55339/task/55350/stat : 55350 (Finalizer) S 55336 55339 55220 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 56222102 19452874752 141381 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55357] ppid=55336 vsize=18996948 memory=11008 CPUtime=0 cores=0,2
/proc/55339/task/55357/stat : 55357 (Common-Cleaner) S 55336 55339 55220 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 56222102 19452874752 141381 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 565524 KiB
[startup+3.10576 s]
/proc/loadavg: 1.42 1.84 2.54 8/338 55428
/proc/meminfo: memFree=124125972/131249996 swapFree=33010416/33010684
[pid=55339] ppid=55336 vsize=18996948 memory=3145684 CPUtime=4.65 cores=0,2
/proc/55339/stat : 55339 (java) S 55336 55339 55220 0 -1 4194304 14747 0 0 0 399 66 0 0 20 0 19 0 56222098 19452874752 786421 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
/proc/55339/statm: 4749237 786421 5496 1 0 2266075 0
[pid=55339/tid=55341] ppid=55336 vsize=18996948 memory=11008 CPUtime=2.39 cores=0,2
/proc/55339/task/55341/stat : 55341 (java) R 55336 55339 55220 0 -1 4194368 6752 0 0 0 187 52 0 0 20 0 19 0 56222100 19452874752 786421 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55350] ppid=55336 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/55339/task/55350/stat : 55350 (Finalizer) S 55336 55339 55220 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 56222102 19452874752 786421 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55357] ppid=55336 vsize=18996948 memory=5760 CPUtime=0 cores=0,2
/proc/55339/task/55357/stat : 55357 (Common-Cleaner) S 55336 55339 55220 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 56222102 19452874752 786421 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
Current children cumulated CPU time: 4.65 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 3145684 KiB
[startup+6.30024 s]
/proc/loadavg: 1.42 1.84 2.54 5/317 55451
/proc/meminfo: memFree=121648056/131249996 swapFree=33010416/33010684
[pid=55339] ppid=55336 vsize=18996948 memory=4407512 CPUtime=8.41 cores=0,2
/proc/55339/stat : 55339 (java) S 55336 55339 55220 0 -1 4194304 24021 0 0 0 749 92 0 0 20 0 19 0 56222098 19452874752 1101878 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
/proc/55339/statm: 4749237 1101878 5528 1 0 2685590 0
[pid=55339/tid=55341] ppid=55336 vsize=18996948 memory=5760 CPUtime=5.23 cores=0,2
/proc/55339/task/55341/stat : 55341 (java) R 55336 55339 55220 0 -1 4194368 7455 0 0 0 450 73 0 0 20 0 19 0 56222100 19452874752 1101878 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55350] ppid=55336 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/55339/task/55350/stat : 55350 (Finalizer) S 55336 55339 55220 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 56222102 19452874752 1101878 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55357] ppid=55336 vsize=18996948 memory=-6000919481330132842 CPUtime=0 cores=0,2
/proc/55339/task/55357/stat : 55357 (Common-Cleaner) S 55336 55339 55220 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 56222102 19452874752 1101878 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
Current children cumulated CPU time: 8.41 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 4407512 KiB
[startup+12.7002 s]
/proc/loadavg: 1.90 1.93 2.56 7/338 55494
/proc/meminfo: memFree=116319572/131249996 swapFree=33010416/33010684
[pid=55339] ppid=55336 vsize=19063512 memory=4849580 CPUtime=15.59 cores=0,2
/proc/55339/stat : 55339 (java) S 55336 55339 55220 0 -1 4194304 25720 0 0 0 1458 101 0 0 20 0 20 0 56222098 19521036288 1212395 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
/proc/55339/statm: 4765878 1212395 5560 1 0 2801120 0
[pid=55339/tid=55341] ppid=55336 vsize=19063512 memory=17792 CPUtime=11.16 cores=0,2
/proc/55339/task/55341/stat : 55341 (java) R 55336 55339 55220 0 -1 4194368 8528 0 0 0 1037 79 0 0 20 0 20 0 56222100 19521036288 1212395 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55350] ppid=55336 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/55339/task/55350/stat : 55350 (Finalizer) S 55336 55339 55220 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56222102 19521036288 1212395 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55357] ppid=55336 vsize=19063512 memory=3551200 CPUtime=0 cores=0,2
/proc/55339/task/55357/stat : 55357 (Common-Cleaner) S 55336 55339 55220 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 56222102 19521036288 1212395 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
Current children cumulated CPU time: 15.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4849580 KiB
[startup+25.5002 s]
/proc/loadavg: 2.22 1.99 2.57 6/339 55495
/proc/meminfo: memFree=107543708/131249996 swapFree=33010416/33010684
[pid=55339] ppid=55336 vsize=19063512 memory=7907032 CPUtime=30.33 cores=0,2
/proc/55339/stat : 55339 (java) S 55336 55339 55220 0 -1 4194304 28593 0 0 0 2872 161 0 0 20 0 20 0 56222098 19521036288 1976758 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
/proc/55339/statm: 4765878 1976758 5560 1 0 2801191 0
[pid=55339/tid=55341] ppid=55336 vsize=19063512 memory=14464 CPUtime=23.91 cores=0,2
/proc/55339/task/55341/stat : 55341 (java) R 55336 55339 55220 0 -1 4194368 10462 0 0 0 2253 138 0 0 20 0 20 0 56222100 19521036288 1976758 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55350] ppid=55336 vsize=19063512 memory=616960 CPUtime=0 cores=0,2
/proc/55339/task/55350/stat : 55350 (Finalizer) S 55336 55339 55220 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56222102 19521036288 1976758 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55357] ppid=55336 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/55339/task/55357/stat : 55357 (Common-Cleaner) S 55336 55339 55220 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 56222102 19521036288 1976758 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55495] ppid=55336 vsize=19063512 memory=4407512 CPUtime=0 cores=0,2
/proc/55339/task/55495/stat : 55495 (Timer-0) S 55336 55339 55220 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56223300 19521036288 1976758 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
Current children cumulated CPU time: 30.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7907032 KiB
[startup+51.1056 s]
/proc/loadavg: 3.02 2.20 2.63 5/339 55496
/proc/meminfo: memFree=105032804/131249996 swapFree=33010416/33010684
[pid=55339] ppid=55336 vsize=19063512 memory=10162876 CPUtime=56.48 cores=0,2
/proc/55339/stat : 55339 (java) S 55336 55339 55220 0 -1 4194304 40894 0 0 0 5442 206 0 0 20 0 20 0 56222098 19521036288 2540719 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
/proc/55339/statm: 4765878 2540719 5560 1 0 2826340 0
[pid=55339/tid=55341] ppid=55336 vsize=19063512 memory=9400152 CPUtime=49.38 cores=0,2
/proc/55339/task/55341/stat : 55341 (java) R 55336 55339 55220 0 -1 4194368 14979 0 0 0 4757 181 0 0 20 0 20 0 56222100 19521036288 2540719 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55350] ppid=55336 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/55339/task/55350/stat : 55350 (Finalizer) S 55336 55339 55220 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56222102 19521036288 2540719 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55357] ppid=55336 vsize=19063512 memory=-6000919481330132842 CPUtime=0 cores=0,2
/proc/55339/task/55357/stat : 55357 (Common-Cleaner) S 55336 55339 55220 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 56222102 19521036288 2540719 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55495] ppid=55336 vsize=19063512 memory=164 CPUtime=0 cores=0,2
/proc/55339/task/55495/stat : 55495 (Timer-0) S 55336 55339 55220 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56223300 19521036288 2540719 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
Current children cumulated CPU time: 56.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10162876 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.52 2.71 5/341 55503
/proc/meminfo: memFree=103545736/131249996 swapFree=33010416/33010684
################
# More data... #
################
/proc/meminfo: memFree=91893192/131249996 swapFree=33010416/33010684
[pid=55339] ppid=55336 vsize=19130076 memory=13777052 CPUtime=3194.46 cores=0,2
/proc/55339/stat : 55339 (java) S 55336 55339 55220 0 -1 4194304 460188 0 0 0 319044 402 0 0 20 0 21 0 56222098 19589197824 3444263 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
/proc/55339/statm: 4782519 3444263 5560 1 0 3517542 0
[pid=55339/tid=55341] ppid=55336 vsize=19130076 memory=13557148 CPUtime=3035.82 cores=0,2
/proc/55339/task/55341/stat : 55341 (java) R 55336 55339 55220 0 -1 4194368 276785 0 0 0 303340 242 0 0 20 0 21 0 56222100 19589197824 3444263 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55350] ppid=55336 vsize=19130076 memory=13774988 CPUtime=0 cores=0,2
/proc/55339/task/55350/stat : 55350 (Finalizer) S 55336 55339 55220 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 56222102 19589197824 3444263 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55357] ppid=55336 vsize=19130076 memory=14464 CPUtime=0 cores=0,2
/proc/55339/task/55357/stat : 55357 (Common-Cleaner) S 55336 55339 55220 0 -1 4194368 3178 0 0 0 0 0 0 0 20 0 21 0 56222102 19589197824 3444263 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55495] ppid=55336 vsize=19130076 memory=17792 CPUtime=0 cores=0,2
/proc/55339/task/55495/stat : 55495 (Timer-0) S 55336 55339 55220 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 56223300 19589197824 3444263 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
Current children cumulated CPU time: 3194.46 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 13777052 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.15 5/343 55676
/proc/meminfo: memFree=91776524/131249996 swapFree=33010416/33010684
[pid=55339] ppid=55336 vsize=19130076 memory=13892048 CPUtime=3256.24 cores=0,2
/proc/55339/stat : 55339 (java) S 55336 55339 55220 0 -1 4194304 471364 0 0 0 325217 407 0 0 20 0 21 0 56222098 19589197824 3473012 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
/proc/55339/statm: 4782519 3473012 5560 1 0 3546800 0
[pid=55339/tid=55341] ppid=55336 vsize=19130076 memory=13557148 CPUtime=3094.52 cores=0,2
/proc/55339/task/55341/stat : 55341 (java) R 55336 55339 55220 0 -1 4194368 285372 0 0 0 309209 243 0 0 20 0 21 0 56222100 19589197824 3473012 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55350] ppid=55336 vsize=19130076 memory=13774988 CPUtime=0 cores=0,2
/proc/55339/task/55350/stat : 55350 (Finalizer) S 55336 55339 55220 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 56222102 19589197824 3473012 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55357] ppid=55336 vsize=19130076 memory=14464 CPUtime=0 cores=0,2
/proc/55339/task/55357/stat : 55357 (Common-Cleaner) S 55336 55339 55220 0 -1 4194368 3261 0 0 0 0 0 0 0 20 0 21 0 56222102 19589197824 3473012 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55495] ppid=55336 vsize=19130076 memory=14464 CPUtime=0 cores=0,2
/proc/55339/task/55495/stat : 55495 (Timer-0) S 55336 55339 55220 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 56223300 19589197824 3473012 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
Current children cumulated CPU time: 3256.24 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 13892048 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.15 5/342 55678
/proc/meminfo: memFree=91493232/131249996 swapFree=33010416/33010684
[pid=55339] ppid=55336 vsize=19130076 memory=14037796 CPUtime=3319.42 cores=0,2
/proc/55339/stat : 55339 (java) S 55336 55339 55220 0 -1 4194304 481208 0 0 0 331530 412 0 0 20 0 21 0 56222098 19589197824 3509449 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
/proc/55339/statm: 4782519 3509449 5560 1 0 3576043 0
[pid=55339/tid=55341] ppid=55336 vsize=19130076 memory=13774988 CPUtime=3152.51 cores=0,2
/proc/55339/task/55341/stat : 55341 (java) R 55336 55339 55220 0 -1 4194368 291890 0 0 0 315006 245 0 0 20 0 21 0 56222100 19589197824 3509449 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55350] ppid=55336 vsize=19130076 memory=14035748 CPUtime=0 cores=0,2
/proc/55339/task/55350/stat : 55350 (Finalizer) S 55336 55339 55220 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 56222102 19589197824 3509449 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55357] ppid=55336 vsize=19130076 memory=14464 CPUtime=0 cores=0,2
/proc/55339/task/55357/stat : 55357 (Common-Cleaner) S 55336 55339 55220 0 -1 4194368 3289 0 0 0 0 0 0 0 20 0 21 0 56222102 19589197824 3509449 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55495] ppid=55336 vsize=19130076 memory=14464 CPUtime=0 cores=0,2
/proc/55339/task/55495/stat : 55495 (Timer-0) S 55336 55339 55220 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 56223300 19589197824 3509449 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
Current children cumulated CPU time: 3319.42 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 14037796 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.16 4.16 5/342 55680
/proc/meminfo: memFree=91493044/131249996 swapFree=33010416/33010684
[pid=55339] ppid=55336 vsize=19130076 memory=14039852 CPUtime=3381.92 cores=0,2
/proc/55339/stat : 55339 (java) S 55336 55339 55220 0 -1 4194304 487094 0 0 0 337777 415 0 0 20 0 21 0 56222098 19589197824 3509963 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
/proc/55339/statm: 4782519 3509963 5560 1 0 3576083 0
[pid=55339/tid=55341] ppid=55336 vsize=19130076 memory=14037796 CPUtime=3210.93 cores=0,2
/proc/55339/task/55341/stat : 55341 (java) R 55336 55339 55220 0 -1 4194368 297370 0 0 0 320847 246 0 0 20 0 21 0 56222100 19589197824 3509963 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55350] ppid=55336 vsize=19130076 memory=14037796 CPUtime=0 cores=0,2
/proc/55339/task/55350/stat : 55350 (Finalizer) S 55336 55339 55220 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 56222102 19589197824 3509963 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55357] ppid=55336 vsize=19130076 memory=14464 CPUtime=0 cores=0,2
/proc/55339/task/55357/stat : 55357 (Common-Cleaner) S 55336 55339 55220 0 -1 4194368 3295 0 0 0 0 0 0 0 20 0 21 0 56222102 19589197824 3509963 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55495] ppid=55336 vsize=19130076 memory=14039852 CPUtime=0 cores=0,2
/proc/55339/task/55495/stat : 55495 (Timer-0) S 55336 55339 55220 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 56223300 19589197824 3509963 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
Current children cumulated CPU time: 3381.92 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 14039852 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.15 4.15 5/343 55683
/proc/meminfo: memFree=91480556/131249996 swapFree=33010416/33010684
[pid=55339] ppid=55336 vsize=19130076 memory=14050220 CPUtime=3443.16 cores=0,2
/proc/55339/stat : 55339 (java) S 55336 55339 55220 0 -1 4194304 498475 0 0 0 343899 417 0 0 20 0 21 0 56222098 19589197824 3512555 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
/proc/55339/statm: 4782519 3512555 5560 1 0 3576084 0
[pid=55339/tid=55341] ppid=55336 vsize=19130076 memory=11008 CPUtime=3269.94 cores=0,2
/proc/55339/task/55341/stat : 55341 (java) R 55336 55339 55220 0 -1 4194368 303322 0 0 0 326747 247 0 0 20 0 21 0 56222100 19589197824 3512555 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55350] ppid=55336 vsize=19130076 memory=0 CPUtime=0 cores=0,2
/proc/55339/task/55350/stat : 55350 (Finalizer) S 55336 55339 55220 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 56222102 19589197824 3512555 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55357] ppid=55336 vsize=19130076 memory=14050220 CPUtime=0 cores=0,2
/proc/55339/task/55357/stat : 55357 (Common-Cleaner) S 55336 55339 55220 0 -1 4194368 3391 0 0 0 0 0 0 0 20 0 21 0 56222102 19589197824 3512555 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55495] ppid=55336 vsize=19130076 memory=11008 CPUtime=0 cores=0,2
/proc/55339/task/55495/stat : 55495 (Timer-0) S 55336 55339 55220 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 56223300 19589197824 3512555 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
Current children cumulated CPU time: 3443.16 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 14050220 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.15 4.15 5/341 55685
/proc/meminfo: memFree=91480580/131249996 swapFree=33010416/33010684
[pid=55339] ppid=55336 vsize=19130076 memory=14052268 CPUtime=3505.48 cores=0,2
/proc/55339/stat : 55339 (java) S 55336 55339 55220 0 -1 4194304 507724 0 0 0 350129 419 0 0 20 0 21 0 56222098 19589197824 3513067 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
/proc/55339/statm: 4782519 3513067 5560 1 0 3576084 0
[pid=55339/tid=55341] ppid=55336 vsize=19130076 memory=14050220 CPUtime=3327.68 cores=0,2
/proc/55339/task/55341/stat : 55341 (java) R 55336 55339 55220 0 -1 4194368 308426 0 0 0 332521 247 0 0 20 0 21 0 56222100 19589197824 3513067 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55350] ppid=55336 vsize=19130076 memory=5760 CPUtime=0 cores=0,2
/proc/55339/task/55350/stat : 55350 (Finalizer) S 55336 55339 55220 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 56222102 19589197824 3513067 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55357] ppid=55336 vsize=19130076 memory=17792 CPUtime=0 cores=0,2
/proc/55339/task/55357/stat : 55357 (Common-Cleaner) S 55336 55339 55220 0 -1 4194368 3466 0 0 0 0 0 0 0 20 0 21 0 56222102 19589197824 3513067 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55495] ppid=55336 vsize=19130076 memory=14050220 CPUtime=0 cores=0,2
/proc/55339/task/55495/stat : 55495 (Timer-0) S 55336 55339 55220 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 56223300 19589197824 3513067 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
Current children cumulated CPU time: 3505.48 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 14052268 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/341 55757
/proc/meminfo: memFree=105706444/131249996 swapFree=33010416/33010684
[pid=55339] ppid=55336 vsize=19130076 memory=14052396 CPUtime=3567.13 cores=0,2
/proc/55339/stat : 55339 (java) S 55336 55339 55220 0 -1 4194304 520020 0 0 0 356289 424 0 0 20 0 21 0 56222098 19589197824 3513099 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
/proc/55339/statm: 4782519 3513099 5560 1 0 3576125 0
[pid=55339/tid=55341] ppid=55336 vsize=19130076 memory=5760 CPUtime=3386.7 cores=0,2
/proc/55339/task/55341/stat : 55341 (java) R 55336 55339 55220 0 -1 4194368 319022 0 0 0 338419 251 0 0 20 0 21 0 56222100 19589197824 3513099 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55350] ppid=55336 vsize=19130076 memory=17792 CPUtime=0 cores=0,2
/proc/55339/task/55350/stat : 55350 (Finalizer) S 55336 55339 55220 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 56222102 19589197824 3513099 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55357] ppid=55336 vsize=19130076 memory=14052396 CPUtime=0 cores=0,2
/proc/55339/task/55357/stat : 55357 (Common-Cleaner) S 55336 55339 55220 0 -1 4194368 3605 0 0 0 0 0 0 0 20 0 21 0 56222102 19589197824 3513099 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55495] ppid=55336 vsize=19130076 memory=14052396 CPUtime=0 cores=0,2
/proc/55339/task/55495/stat : 55495 (Timer-0) S 55336 55339 55220 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 56223300 19589197824 3513099 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
Current children cumulated CPU time: 3567.13 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 14052396 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3494.2 s]
/proc/loadavg: 4.25 4.17 4.15 5/341 55758
/proc/meminfo: memFree=105120120/131249996 swapFree=33010416/33010684
[pid=55339] ppid=55336 vsize=19130076 memory=14052396 CPUtime=3600.07 cores=0,2
/proc/55339/stat : 55339 (java) S 55336 55339 55220 0 -1 4194304 526489 0 0 0 359581 426 0 0 20 0 21 0 56222098 19589197824 3513099 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
/proc/55339/statm: 4782519 3513099 5560 1 0 3576130 0
[pid=55339/tid=55341] ppid=55336 vsize=19130076 memory=7738714016023466602 CPUtime=3418.15 cores=0,2
/proc/55339/task/55341/stat : 55341 (java) R 55336 55339 55220 0 -1 4194368 325144 0 0 0 341563 252 0 0 20 0 21 0 56222100 19589197824 3513099 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55350] ppid=55336 vsize=19130076 memory=7595711533646637925 CPUtime=0 cores=0,2
/proc/55339/task/55350/stat : 55350 (Finalizer) S 55336 55339 55220 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 56222102 19589197824 3513099 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55357] ppid=55336 vsize=19130076 memory=7309172215085427302 CPUtime=0 cores=0,2
/proc/55339/task/55357/stat : 55357 (Common-Cleaner) S 55336 55339 55220 0 -1 4194368 3741 0 0 0 0 0 0 0 20 0 21 0 56222102 19589197824 3513099 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
[pid=55339/tid=55495] ppid=55336 vsize=19130076 memory=198340509722 CPUtime=0 cores=0,2
/proc/55339/task/55495/stat : 55495 (Timer-0) S 55336 55339 55220 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 56223300 19589197824 3513099 18446744073709551615 94382572638208 94382572641904 140725725232304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94382572649720 94382572650512 94382582132736 140725725239678 140725725239782 140725725239782 140725725245384 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 14052396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3494.3 s]
# the end of solver process 55339 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.92 s, system=4.29981 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3494.3
CPU time (s): 3600.22
CPU user time (s): 3595.92
CPU system time (s): 4.29981
CPU usage (%): 103.031
Max. virtual memory (cumulated for all children) (KiB): 19130076
Max. memory (cumulated for all children) (KiB): 14052396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.92
system time used= 4.29981
maximum resident set size= 14053420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 529220
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120356
involuntary context switches= 20459
# summary of solver processes directly reported to runsolver:
# pid: 55339
# total CPU time (s): 3600.22
# total CPU user time (s): 3595.92
# total CPU system time (s): 4.29981
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.54381 second user time and 14.8817 second system time
The end