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 (57410 MiB free)
memory of node 1: 64507 MiB (51534 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514920-1751234875/watcher-4514920-1751234875 -o /tmp/evaluation-result-4514920-1751234875/solver-4514920-1751234875 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751227848-32847 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4514920-1751234875.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
Current StackSize limit: 8192 KiB
solver pid=33882, runsolver pid=33879
[startup+0.100068 s]*
/proc/loadavg: 4.28 4.44 4.39 5/327 33900
/proc/meminfo: memFree=111493412/131382112 swapFree=33010684/33010684
[pid=33882] ppid=33879 vsize=18930384 memory=48472 CPUtime=0.1 cores=4,6
/proc/33882/stat : 33882 (java) S 33879 33882 32836 0 -1 4194304 5789 0 0 0 7 3 0 0 20 0 18 0 39167253 19384713216 12118 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
/proc/33882/statm: 4732596 12118 5333 1 0 546988 0
[pid=33882/tid=33884] ppid=33879 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/33882/task/33884/stat : 33884 (java) R 33879 33882 32836 0 -1 4194368 4677 0 0 0 5 2 0 0 20 0 18 0 39167255 19384713216 12118 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33893] ppid=33879 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/33882/task/33893/stat : 33893 (Finalizer) S 33879 33882 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39167259 19384713216 12118 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33900] ppid=33879 vsize=18930384 memory=59593594258114 CPUtime=0 cores=4,6
/proc/33882/task/33900/stat : 33900 (Common-Cleaner) S 33879 33882 32836 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39167260 19384713216 12118 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48472 KiB
[startup+0.213878 s]*
/proc/loadavg: 4.28 4.44 4.39 6/327 33900
/proc/meminfo: memFree=111487300/131382112 swapFree=33010684/33010684
[pid=33882] ppid=33879 vsize=18930384 memory=53392 CPUtime=0.23 cores=4,6
/proc/33882/stat : 33882 (java) S 33879 33882 32836 0 -1 4194304 6485 0 0 0 20 3 0 0 20 0 18 0 39167253 19384713216 13348 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
/proc/33882/statm: 4732596 13348 5365 1 0 547576 0
[pid=33882/tid=33884] ppid=33879 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=4,6
/proc/33882/task/33884/stat : 33884 (java) R 33879 33882 32836 0 -1 4194368 4985 0 0 0 15 2 0 0 20 0 18 0 39167255 19384713216 13348 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33893] ppid=33879 vsize=18930384 memory=16142 CPUtime=0 cores=4,6
/proc/33882/task/33893/stat : 33893 (Finalizer) S 33879 33882 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39167259 19384713216 13348 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33900] ppid=33879 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/33882/task/33900/stat : 33900 (Common-Cleaner) S 33879 33882 32836 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39167260 19384713216 13348 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53392 KiB
[startup+0.313539 s]*
/proc/loadavg: 4.28 4.44 4.39 7/327 33900
/proc/meminfo: memFree=111482784/131382112 swapFree=33010684/33010684
[pid=33882] ppid=33879 vsize=18930384 memory=58736 CPUtime=0.41 cores=4,6
/proc/33882/stat : 33882 (java) S 33879 33882 32836 0 -1 4194304 6802 0 0 0 37 4 0 0 20 0 18 0 39167253 19384713216 14684 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
/proc/33882/statm: 4732596 14684 5365 1 0 547803 0
[pid=33882/tid=33884] ppid=33879 vsize=18930384 memory=-6000919468377794924 CPUtime=0.28 cores=4,6
/proc/33882/task/33884/stat : 33884 (java) R 33879 33882 32836 0 -1 4194368 5215 0 0 0 25 3 0 0 20 0 18 0 39167255 19384713216 14684 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33893] ppid=33879 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/33882/task/33893/stat : 33893 (Finalizer) S 33879 33882 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39167259 19384713216 14684 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33900] ppid=33879 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/33882/task/33900/stat : 33900 (Common-Cleaner) S 33879 33882 32836 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39167260 19384713216 14684 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58736 KiB
[startup+0.700377 s]
/proc/loadavg: 4.28 4.44 4.39 7/327 33900
/proc/meminfo: memFree=111473648/131382112 swapFree=33010684/33010684
[pid=33882] ppid=33879 vsize=18930384 memory=84084 CPUtime=1.06 cores=4,6
/proc/33882/stat : 33882 (java) S 33879 33882 32836 0 -1 4194304 8385 0 0 0 101 5 0 0 20 0 18 0 39167253 19384713216 21021 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
/proc/33882/statm: 4732596 21021 5429 1 0 548815 0
[pid=33882/tid=33884] ppid=33879 vsize=18930384 memory=17536 CPUtime=0.59 cores=4,6
/proc/33882/task/33884/stat : 33884 (java) R 33879 33882 32836 0 -1 4194368 5376 0 0 0 55 4 0 0 20 0 18 0 39167255 19384713216 21021 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33893] ppid=33879 vsize=18930384 memory=10624 CPUtime=0 cores=4,6
/proc/33882/task/33893/stat : 33893 (Finalizer) S 33879 33882 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39167259 19384713216 21021 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33900] ppid=33879 vsize=18930384 memory=3200 CPUtime=0 cores=4,6
/proc/33882/task/33900/stat : 33900 (Common-Cleaner) S 33879 33882 32836 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39167260 19384713216 21021 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 84084 KiB
[startup+1.50026 s]
/proc/loadavg: 4.49 4.48 4.40 7/328 33901
/proc/meminfo: memFree=111426832/131382112 swapFree=33010684/33010684
[pid=33882] ppid=33879 vsize=18996948 memory=150120 CPUtime=2.62 cores=4,6
/proc/33882/stat : 33882 (java) S 33879 33882 32836 0 -1 4194304 15583 0 0 0 253 9 0 0 20 0 19 0 39167253 19452874752 37530 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
/proc/33882/statm: 4749237 37530 5461 1 0 551993 0
[pid=33882/tid=33884] ppid=33879 vsize=18996948 memory=3200 CPUtime=1.31 cores=4,6
/proc/33882/task/33884/stat : 33884 (java) R 33879 33882 32836 0 -1 4194368 5767 0 0 0 126 5 0 0 20 0 19 0 39167255 19452874752 37530 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33893] ppid=33879 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/33882/task/33893/stat : 33893 (Finalizer) S 33879 33882 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39167259 19452874752 37530 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33900] ppid=33879 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/33882/task/33900/stat : 33900 (Common-Cleaner) S 33879 33882 32836 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39167260 19452874752 37530 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33901] ppid=33879 vsize=18996948 memory=14560 CPUtime=0 cores=4,6
/proc/33882/task/33901/stat : 33901 (Timer-0) S 33879 33882 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39167325 19452874752 37530 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 150120 KiB
[startup+3.10561 s]
/proc/loadavg: 4.49 4.48 4.40 8/327 33968
/proc/meminfo: memFree=114629864/131382112 swapFree=33010684/33010684
[pid=33882] ppid=33879 vsize=19063512 memory=225952 CPUtime=5.32 cores=4,6
/proc/33882/stat : 33882 (java) S 33879 33882 32836 0 -1 4194304 18072 0 0 0 521 11 0 0 20 0 20 0 39167253 19521036288 56488 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
/proc/33882/statm: 4765878 56488 5493 1 0 552417 0
[pid=33882/tid=33884] ppid=33879 vsize=19063512 memory=10624 CPUtime=2.78 cores=4,6
/proc/33882/task/33884/stat : 33884 (java) R 33879 33882 32836 0 -1 4194368 6219 0 0 0 272 6 0 0 20 0 20 0 39167255 19521036288 56488 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33893] ppid=33879 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/33882/task/33893/stat : 33893 (Finalizer) S 33879 33882 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39167259 19521036288 56488 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33900] ppid=33879 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/33882/task/33900/stat : 33900 (Common-Cleaner) S 33879 33882 32836 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 39167260 19521036288 56488 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33901] ppid=33879 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/33882/task/33901/stat : 33901 (Timer-0) S 33879 33882 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39167325 19521036288 56488 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
Current children cumulated CPU time: 5.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 225952 KiB
[startup+6.3004 s]
/proc/loadavg: 4.54 4.49 4.41 6/328 33969
/proc/meminfo: memFree=113520700/131382112 swapFree=33010684/33010684
[pid=33882] ppid=33879 vsize=19063512 memory=524444 CPUtime=9.05 cores=4,6
/proc/33882/stat : 33882 (java) S 33879 33882 32836 0 -1 4194304 19021 0 0 0 887 18 0 0 20 0 20 0 39167253 19521036288 131111 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
/proc/33882/statm: 4765878 131111 5493 1 0 832319 0
[pid=33882/tid=33884] ppid=33879 vsize=19063512 memory=0 CPUtime=5.78 cores=4,6
/proc/33882/task/33884/stat : 33884 (java) S 33879 33882 32836 0 -1 4194368 6355 0 0 0 567 11 0 0 20 0 20 0 39167255 19521036288 131111 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33893] ppid=33879 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/33882/task/33893/stat : 33893 (Finalizer) S 33879 33882 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39167259 19521036288 131111 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33900] ppid=33879 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/33882/task/33900/stat : 33900 (Common-Cleaner) S 33879 33882 32836 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 39167260 19521036288 131111 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33901] ppid=33879 vsize=19063512 memory=164840 CPUtime=0 cores=4,6
/proc/33882/task/33901/stat : 33901 (Timer-0) S 33879 33882 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39167325 19521036288 131111 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
Current children cumulated CPU time: 9.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 524444 KiB
[startup+12.7004 s]
/proc/loadavg: 4.49 4.48 4.41 5/328 33969
/proc/meminfo: memFree=112634016/131382112 swapFree=33010684/33010684
[pid=33882] ppid=33879 vsize=19063512 memory=1109508 CPUtime=17.06 cores=4,6
/proc/33882/stat : 33882 (java) S 33879 33882 32836 0 -1 4194304 22951 0 0 0 1671 35 0 0 20 0 20 0 39167253 19521036288 277377 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
/proc/33882/statm: 4765878 277377 5493 1 0 1725132 0
[pid=33882/tid=33884] ppid=33879 vsize=19063512 memory=164840 CPUtime=11.56 cores=4,6
/proc/33882/task/33884/stat : 33884 (java) R 33879 33882 32836 0 -1 4194368 6730 0 0 0 1136 20 0 0 20 0 20 0 39167255 19521036288 277377 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33893] ppid=33879 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/33882/task/33893/stat : 33893 (Finalizer) S 33879 33882 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39167259 19521036288 277377 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33900] ppid=33879 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/33882/task/33900/stat : 33900 (Common-Cleaner) S 33879 33882 32836 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 39167260 19521036288 277377 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33901] ppid=33879 vsize=19063512 memory=918624 CPUtime=0 cores=4,6
/proc/33882/task/33901/stat : 33901 (Timer-0) S 33879 33882 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39167325 19521036288 277377 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
Current children cumulated CPU time: 17.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1109508 KiB
[startup+25.5005 s]
/proc/loadavg: 4.42 4.47 4.40 5/328 33969
/proc/meminfo: memFree=111032992/131382112 swapFree=33010684/33010684
[pid=33882] ppid=33879 vsize=19063512 memory=2013600 CPUtime=34.29 cores=4,6
/proc/33882/stat : 33882 (java) S 33879 33882 32836 0 -1 4194304 47588 0 0 0 3369 60 0 0 20 0 20 0 39167253 19521036288 503400 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
/proc/33882/statm: 4765878 503400 5493 1 0 1730044 0
[pid=33882/tid=33884] ppid=33879 vsize=19063512 memory=0 CPUtime=24.02 cores=4,6
/proc/33882/task/33884/stat : 33884 (java) R 33879 33882 32836 0 -1 4194368 8089 0 0 0 2368 34 0 0 20 0 20 0 39167255 19521036288 503400 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33893] ppid=33879 vsize=19063512 memory=918624 CPUtime=0 cores=4,6
/proc/33882/task/33893/stat : 33893 (Finalizer) S 33879 33882 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39167259 19521036288 503400 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33900] ppid=33879 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/33882/task/33900/stat : 33900 (Common-Cleaner) S 33879 33882 32836 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 39167260 19521036288 503400 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33901] ppid=33879 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/33882/task/33901/stat : 33901 (Timer-0) S 33879 33882 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39167325 19521036288 503400 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
Current children cumulated CPU time: 34.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2013600 KiB
[startup+51.1134 s]
/proc/loadavg: 4.46 4.47 4.40 6/328 34037
/proc/meminfo: memFree=113276964/131382112 swapFree=33010684/33010684
[pid=33882] ppid=33879 vsize=19063512 memory=2984488 CPUtime=60.99 cores=4,6
/proc/33882/stat : 33882 (java) S 33879 33882 32836 0 -1 4194304 54268 0 0 0 6018 81 0 0 20 0 20 0 39167253 19521036288 746122 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
/proc/33882/statm: 4765878 746122 5493 1 0 1730049 0
[pid=33882/tid=33884] ppid=33879 vsize=19063512 memory=-6000919468377794924 CPUtime=48.6 cores=4,6
/proc/33882/task/33884/stat : 33884 (java) R 33879 33882 32836 0 -1 4194368 9746 0 0 0 4816 44 0 0 20 0 20 0 39167255 19521036288 746122 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33893] ppid=33879 vsize=19063512 memory=2843156 CPUtime=0 cores=4,6
/proc/33882/task/33893/stat : 33893 (Finalizer) S 33879 33882 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39167259 19521036288 746122 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33900] ppid=33879 vsize=19063512 memory=2283972 CPUtime=0 cores=4,6
/proc/33882/task/33900/stat : 33900 (Common-Cleaner) S 33879 33882 32836 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 39167260 19521036288 746122 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33901] ppid=33879 vsize=19063512 memory=0 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/meminfo: memFree=105274392/131382112 swapFree=33010684/33010684
[pid=33882] ppid=33879 vsize=19130076 memory=8364728 CPUtime=3297.07 cores=4,6
/proc/33882/stat : 33882 (java) S 33879 33882 32836 0 -1 4194304 312060 0 0 0 329113 594 0 0 20 0 21 0 39167253 19589197824 2091182 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
/proc/33882/statm: 4782519 2091182 5493 1 0 2104212 0
[pid=33882/tid=33884] ppid=33879 vsize=19130076 memory=8364728 CPUtime=2910.52 cores=4,6
/proc/33882/task/33884/stat : 33884 (java) R 33879 33882 32836 0 -1 4194368 163540 0 0 0 290916 136 0 0 20 0 21 0 39167255 19589197824 2091182 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33893] ppid=33879 vsize=19130076 memory=33 CPUtime=0 cores=4,6
/proc/33882/task/33893/stat : 33893 (Finalizer) S 33879 33882 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39167259 19589197824 2091182 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33900] ppid=33879 vsize=19130076 memory=14560 CPUtime=0 cores=4,6
/proc/33882/task/33900/stat : 33900 (Common-Cleaner) S 33879 33882 32836 0 -1 4194368 2248 0 0 0 0 0 0 0 20 0 21 0 39167260 19589197824 2091182 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33901] ppid=33879 vsize=19130076 memory=8364728 CPUtime=0 cores=4,6
/proc/33882/task/33901/stat : 33901 (Timer-0) S 33879 33882 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39167325 19589197824 2091182 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
Current children cumulated CPU time: 3297.07 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8364728 KiB
[startup+3042.3 s]
/proc/loadavg: 4.62 4.58 4.55 8/328 34250
/proc/meminfo: memFree=105069128/131382112 swapFree=33010684/33010684
[pid=33882] ppid=33879 vsize=19130076 memory=8364728 CPUtime=3370.68 cores=4,6
/proc/33882/stat : 33882 (java) S 33879 33882 32836 0 -1 4194304 312662 0 0 0 336461 607 0 0 20 0 21 0 39167253 19589197824 2091182 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
/proc/33882/statm: 4782519 2091182 5493 1 0 2104212 0
[pid=33882/tid=33884] ppid=33879 vsize=19130076 memory=-6000919468377794924 CPUtime=2967.9 cores=4,6
/proc/33882/task/33884/stat : 33884 (java) R 33879 33882 32836 0 -1 4194368 163822 0 0 0 296654 136 0 0 20 0 21 0 39167255 19589197824 2091182 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33893] ppid=33879 vsize=19130076 memory=8364728 CPUtime=0 cores=4,6
/proc/33882/task/33893/stat : 33893 (Finalizer) S 33879 33882 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39167259 19589197824 2091182 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33900] ppid=33879 vsize=19130076 memory=8364728 CPUtime=0 cores=4,6
/proc/33882/task/33900/stat : 33900 (Common-Cleaner) S 33879 33882 32836 0 -1 4194368 2271 0 0 0 0 0 0 0 20 0 21 0 39167260 19589197824 2091182 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33901] ppid=33879 vsize=19130076 memory=8364728 CPUtime=0 cores=4,6
/proc/33882/task/33901/stat : 33901 (Timer-0) S 33879 33882 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39167325 19589197824 2091182 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
Current children cumulated CPU time: 3370.68 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8364728 KiB
[startup+3102.3 s]
/proc/loadavg: 4.62 4.57 4.55 7/329 34255
/proc/meminfo: memFree=105057852/131382112 swapFree=33010684/33010684
[pid=33882] ppid=33879 vsize=19130076 memory=8397712 CPUtime=3437.68 cores=4,6
/proc/33882/stat : 33882 (java) S 33879 33882 32836 0 -1 4194304 317723 0 0 0 343151 617 0 0 20 0 21 0 39167253 19589197824 2099428 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
/proc/33882/statm: 4782519 2099428 5493 1 0 2112564 0
[pid=33882/tid=33884] ppid=33879 vsize=19130076 memory=8364728 CPUtime=3026.74 cores=4,6
/proc/33882/task/33884/stat : 33884 (java) R 33879 33882 32836 0 -1 4194368 167686 0 0 0 302536 138 0 0 20 0 21 0 39167255 19589197824 2099428 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33893] ppid=33879 vsize=19130076 memory=14560 CPUtime=0 cores=4,6
/proc/33882/task/33893/stat : 33893 (Finalizer) S 33879 33882 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39167259 19589197824 2099428 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33900] ppid=33879 vsize=19130076 memory=10624 CPUtime=0 cores=4,6
/proc/33882/task/33900/stat : 33900 (Common-Cleaner) S 33879 33882 32836 0 -1 4194368 2271 0 0 0 0 0 0 0 20 0 21 0 39167260 19589197824 2099428 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33901] ppid=33879 vsize=19130076 memory=14560 CPUtime=0 cores=4,6
/proc/33882/task/33901/stat : 33901 (Timer-0) S 33879 33882 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39167325 19589197824 2099428 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
Current children cumulated CPU time: 3437.68 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8397712 KiB
[startup+3162.3 s]
/proc/loadavg: 4.36 4.50 4.52 5/329 34257
/proc/meminfo: memFree=105028628/131382112 swapFree=33010684/33010684
[pid=33882] ppid=33879 vsize=19130076 memory=8398224 CPUtime=3499.41 cores=4,6
/proc/33882/stat : 33882 (java) S 33879 33882 32836 0 -1 4194304 320538 0 0 0 349320 621 0 0 20 0 21 0 39167253 19589197824 2099556 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
/proc/33882/statm: 4782519 2099556 5493 1 0 2112564 0
[pid=33882/tid=33884] ppid=33879 vsize=19130076 memory=14560 CPUtime=3086.28 cores=4,6
/proc/33882/task/33884/stat : 33884 (java) R 33879 33882 32836 0 -1 4194368 169987 0 0 0 308490 138 0 0 20 0 21 0 39167255 19589197824 2099556 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33893] ppid=33879 vsize=19130076 memory=8398224 CPUtime=0 cores=4,6
/proc/33882/task/33893/stat : 33893 (Finalizer) S 33879 33882 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39167259 19589197824 2099556 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33900] ppid=33879 vsize=19130076 memory=8398224 CPUtime=0 cores=4,6
/proc/33882/task/33900/stat : 33900 (Common-Cleaner) S 33879 33882 32836 0 -1 4194368 2287 0 0 0 0 0 0 0 20 0 21 0 39167260 19589197824 2099556 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33901] ppid=33879 vsize=19130076 memory=8398224 CPUtime=0 cores=4,6
/proc/33882/task/33901/stat : 33901 (Timer-0) S 33879 33882 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39167325 19589197824 2099556 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
Current children cumulated CPU time: 3499.41 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8398224 KiB
[startup+3222.3 s]
/proc/loadavg: 4.52 4.52 4.53 5/329 34274
/proc/meminfo: memFree=104943080/131382112 swapFree=33010684/33010684
[pid=33882] ppid=33879 vsize=19130076 memory=8489948 CPUtime=3566.56 cores=4,6
/proc/33882/stat : 33882 (java) S 33879 33882 32836 0 -1 4194304 328366 0 0 0 356025 631 0 0 20 0 21 0 39167253 19589197824 2122487 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
/proc/33882/statm: 4782519 2122487 5493 1 0 2135552 0
[pid=33882/tid=33884] ppid=33879 vsize=19130076 memory=8489948 CPUtime=3144.92 cores=4,6
/proc/33882/task/33884/stat : 33884 (java) R 33879 33882 32836 0 -1 4194368 175456 0 0 0 314351 141 0 0 20 0 21 0 39167255 19589197824 2122487 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33893] ppid=33879 vsize=19130076 memory=8364728 CPUtime=0 cores=4,6
/proc/33882/task/33893/stat : 33893 (Finalizer) S 33879 33882 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39167259 19589197824 2122487 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33900] ppid=33879 vsize=19130076 memory=8398224 CPUtime=0 cores=4,6
/proc/33882/task/33900/stat : 33900 (Common-Cleaner) S 33879 33882 32836 0 -1 4194368 2323 0 0 0 0 0 0 0 20 0 21 0 39167260 19589197824 2122487 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33901] ppid=33879 vsize=19130076 memory=8489948 CPUtime=0 cores=4,6
/proc/33882/task/33901/stat : 33901 (Timer-0) S 33879 33882 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39167325 19589197824 2122487 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
Current children cumulated CPU time: 3566.56 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8489948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3248.9 s]
/proc/loadavg: 4.95 4.62 4.56 6/329 34280
/proc/meminfo: memFree=104840688/131382112 swapFree=33010684/33010684
[pid=33882] ppid=33879 vsize=19130076 memory=8590168 CPUtime=3600.01 cores=4,6
/proc/33882/stat : 33882 (java) S 33879 33882 32836 0 -1 4194304 332030 0 0 0 359361 640 0 0 20 0 21 0 39167253 19589197824 2147542 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
/proc/33882/statm: 4782519 2147542 5493 1 0 2160623 0
[pid=33882/tid=33884] ppid=33879 vsize=19130076 memory=8364728 CPUtime=3170.97 cores=4,6
/proc/33882/task/33884/stat : 33884 (java) R 33879 33882 32836 0 -1 4194368 177715 0 0 0 316954 143 0 0 20 0 21 0 39167255 19589197824 2147542 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33893] ppid=33879 vsize=19130076 memory=8489948 CPUtime=0 cores=4,6
/proc/33882/task/33893/stat : 33893 (Finalizer) S 33879 33882 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39167259 19589197824 2147542 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33900] ppid=33879 vsize=19130076 memory=8489948 CPUtime=0 cores=4,6
/proc/33882/task/33900/stat : 33900 (Common-Cleaner) S 33879 33882 32836 0 -1 4194368 2461 0 0 0 0 0 0 0 20 0 21 0 39167260 19589197824 2147542 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33901] ppid=33879 vsize=19130076 memory=14560 CPUtime=0 cores=4,6
/proc/33882/task/33901/stat : 33901 (Timer-0) S 33879 33882 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39167325 19589197824 2147542 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8590168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3249.14 s]
# the end of solver process 33882 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3593.99 s, system=6.43793 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3249 s]*
/proc/loadavg: 4.95 4.62 4.56 7/330 34283
/proc/meminfo: memFree=104839932/131382112 swapFree=33010684/33010684
[pid=33882] ppid=33879 vsize=19329768 memory=8590680 CPUtime=3600.22 cores=4,6
/proc/33882/stat : 33882 (java) S 33879 33882 32836 0 -1 4194304 334002 0 0 0 359382 640 0 0 20 0 22 0 39167253 19793682432 2147670 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
/proc/33882/statm: 4832442 2147670 5493 1 0 2161542 0
[pid=33882/tid=33884] ppid=33879 vsize=19329768 memory=-6000919489869867116 CPUtime=3171.08 cores=4,6
/proc/33882/task/33884/stat : 33884 (java) R 33879 33882 32836 0 -1 4194368 177764 0 0 0 316965 143 0 0 20 0 22 0 39167255 19793682432 2147670 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33893] ppid=33879 vsize=19329768 memory=-4050210904893669780 CPUtime=0 cores=4,6
/proc/33882/task/33893/stat : 33893 (Finalizer) S 33879 33882 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 39167259 19793682432 2147670 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33900] ppid=33879 vsize=19329768 memory=7378700949576575590 CPUtime=0 cores=4,6
/proc/33882/task/33900/stat : 33900 (Common-Cleaner) S 33879 33882 32836 0 -1 4194368 2461 0 0 0 0 0 0 0 20 0 22 0 39167260 19793682432 2147670 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=34282] ppid=33879 vsize=19329768 memory=7666084684528773720 CPUtime=0.02 cores=4,6
/proc/33882/task/34282/stat : 34282 (Thread-0) R 33879 33882 32836 0 -1 4194368 377 0 0 0 2 0 0 0 20 0 22 0 39492145 19793682432 2147670 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 8590680 KiB
[startup+3249.11 s]
/proc/loadavg: 4.95 4.62 4.56 7/330 34283
/proc/meminfo: memFree=104839932/131382112 swapFree=33010684/33010684
[pid=33882] ppid=33879 vsize=19329768 memory=8590808 CPUtime=3600.39 cores=4,6
/proc/33882/stat : 33882 (java) S 33879 33882 32836 0 -1 4194304 334239 0 0 0 359399 640 0 0 20 0 16 0 39167253 19793682432 2147702 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
/proc/33882/statm: 4832442 2147702 5493 1 0 2161542 0
[pid=33882/tid=33884] ppid=33879 vsize=19329768 memory=8364728 CPUtime=3171.17 cores=4,6
/proc/33882/task/33884/stat : 33884 (java) S 33879 33882 32836 0 -1 4194368 177765 0 0 0 316974 143 0 0 20 0 16 0 39167255 19793682432 2147702 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33893] ppid=33879 vsize=19329768 memory=8489948 CPUtime=0 cores=4,6
/proc/33882/task/33893/stat : 33893 (Finalizer) S 33879 33882 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 16 0 39167259 19793682432 2147702 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=33900] ppid=33879 vsize=19329768 memory=8489948 CPUtime=0 cores=4,6
/proc/33882/task/33900/stat : 33900 (Common-Cleaner) S 33879 33882 32836 0 -1 4194368 2461 0 0 0 0 0 0 0 20 0 16 0 39167260 19793682432 2147702 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
[pid=33882/tid=34282] ppid=33879 vsize=19329768 memory=14560 CPUtime=0.05 cores=4,6
/proc/33882/task/34282/stat : 34282 (Thread-0) S 33879 33882 32836 0 -1 4194368 586 0 0 0 5 0 0 0 20 0 16 0 39492145 19793682432 2147702 18446744073709551615 94914362032128 94914362035824 140721221642992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94914362043640 94914362044432 94914389270528 140721221646718 140721221646822 140721221646822 140721221652424 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 8590808 KiB
Child status: 143
Real time (s): 3249.14
CPU time (s): 3600.43
CPU user time (s): 3593.99
CPU system time (s): 6.43793
CPU usage (%): 110.812
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 8590808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.99
system time used= 6.43793
maximum resident set size= 8590936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 334267
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123537
involuntary context switches= 30850
# summary of solver processes directly reported to runsolver:
# pid: 33882
# total CPU time (s): 3600.43
# total CPU user time (s): 3593.99
# total CPU system time (s): 6.43793
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9315 second user time and 29.1939 second system time
The end