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 (60880 MiB free)
memory of node 1: 64507 MiB (56087 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517772-1751539845/watcher-4517772-1751539845 -o /tmp/evaluation-result-4517772-1751539845/solver-4517772-1751539845 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751533144-79161 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4517772-1751539845.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=80175, runsolver pid=80172
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.12 4.22 4.25 5/337 80193
/proc/meminfo: memFree=119744256/131249996 swapFree=33010672/33010684
[pid=80175] ppid=80172 vsize=18930384 memory=55456 CPUtime=0.11 cores=4,6
/proc/80175/stat : 80175 (java) S 80172 80175 79150 0 -1 4194304 6546 0 0 0 10 1 0 0 20 0 18 0 69662291 19384713216 13864 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
/proc/80175/statm: 4732596 13864 5312 1 0 547604 0
[pid=80175/tid=80177] ppid=80172 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/80175/task/80177/stat : 80177 (java) R 80172 80175 79150 0 -1 4194368 5043 0 0 0 6 1 0 0 20 0 18 0 69662293 19384713216 13864 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80186] ppid=80172 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/80175/task/80186/stat : 80186 (Finalizer) S 80172 80175 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69662295 19384713216 13864 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80193] ppid=80172 vsize=18930384 memory=60684515963265 CPUtime=0 cores=4,6
/proc/80175/task/80193/stat : 80193 (Common-Cleaner) S 80172 80175 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69662295 19384713216 13864 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55456 KiB
[startup+0.205751 s]*
/proc/loadavg: 4.12 4.22 4.25 7/337 80193
/proc/meminfo: memFree=119738648/131249996 swapFree=33010672/33010684
[pid=80175] ppid=80172 vsize=18930384 memory=64500 CPUtime=0.3 cores=4,6
/proc/80175/stat : 80175 (java) S 80172 80175 79150 0 -1 4194304 7152 0 0 0 28 2 0 0 20 0 18 0 69662291 19384713216 16125 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
/proc/80175/statm: 4732596 16125 5440 1 0 548029 0
[pid=80175/tid=80177] ppid=80172 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=4,6
/proc/80175/task/80177/stat : 80177 (java) R 80172 80175 79150 0 -1 4194368 5365 0 0 0 15 2 0 0 20 0 18 0 69662293 19384713216 16125 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80186] ppid=80172 vsize=18930384 memory=16198 CPUtime=0 cores=4,6
/proc/80175/task/80186/stat : 80186 (Finalizer) S 80172 80175 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69662295 19384713216 16125 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80193] ppid=80172 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/80175/task/80193/stat : 80193 (Common-Cleaner) S 80172 80175 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69662295 19384713216 16125 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64500 KiB
[startup+0.305649 s]*
/proc/loadavg: 4.12 4.22 4.25 7/338 80194
/proc/meminfo: memFree=119725416/131249996 swapFree=33010672/33010684
[pid=80175] ppid=80172 vsize=18996948 memory=74304 CPUtime=0.5 cores=4,6
/proc/80175/stat : 80175 (java) S 80172 80175 79150 0 -1 4194304 7509 0 0 0 47 3 0 0 20 0 19 0 69662291 19452874752 18576 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
/proc/80175/statm: 4749237 18576 5472 1 0 548476 0
[pid=80175/tid=80177] ppid=80172 vsize=18996948 memory=-6000919498443025511 CPUtime=0.27 cores=4,6
/proc/80175/task/80177/stat : 80177 (java) R 80172 80175 79150 0 -1 4194368 5517 0 0 0 25 2 0 0 20 0 19 0 69662293 19452874752 18576 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80186] ppid=80172 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/80175/task/80186/stat : 80186 (Finalizer) S 80172 80175 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69662295 19452874752 18576 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80193] ppid=80172 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/80175/task/80193/stat : 80193 (Common-Cleaner) S 80172 80175 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 69662295 19452874752 18576 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80194] ppid=80172 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/80175/task/80194/stat : 80194 (Timer-0) S 80172 80175 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69662316 19452874752 18576 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74304 KiB
[startup+0.701705 s]
/proc/loadavg: 4.12 4.22 4.25 6/338 80194
/proc/meminfo: memFree=119663536/131249996 swapFree=33010672/33010684
[pid=80175] ppid=80172 vsize=19063512 memory=161552 CPUtime=1.26 cores=4,6
/proc/80175/stat : 80175 (java) S 80172 80175 79150 0 -1 4194304 10924 0 0 0 120 6 0 0 20 0 20 0 69662291 19521036288 40388 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
/proc/80175/statm: 4765878 40388 5504 1 0 550284 0
[pid=80175/tid=80177] ppid=80172 vsize=19063512 memory=18688 CPUtime=0.59 cores=4,6
/proc/80175/task/80177/stat : 80177 (java) R 80172 80175 79150 0 -1 4194368 5561 0 0 0 55 4 0 0 20 0 20 0 69662293 19521036288 40388 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80186] ppid=80172 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/80175/task/80186/stat : 80186 (Finalizer) S 80172 80175 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 40388 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80193] ppid=80172 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/80175/task/80193/stat : 80193 (Common-Cleaner) S 80172 80175 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 40388 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80194] ppid=80172 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/80175/task/80194/stat : 80194 (Timer-0) S 80172 80175 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69662316 19521036288 40388 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 161552 KiB
[startup+1.50025 s]
/proc/loadavg: 4.12 4.22 4.25 6/339 80195
/proc/meminfo: memFree=119556792/131249996 swapFree=33010672/33010684
[pid=80175] ppid=80172 vsize=19063512 memory=653800 CPUtime=2.83 cores=4,6
/proc/80175/stat : 80175 (java) S 80172 80175 79150 0 -1 4194304 20804 0 0 0 267 16 0 0 20 0 20 0 69662291 19521036288 163450 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
/proc/80175/statm: 4765878 163450 5504 1 0 556510 0
[pid=80175/tid=80177] ppid=80172 vsize=19063512 memory=10752 CPUtime=1.38 cores=4,6
/proc/80175/task/80177/stat : 80177 (java) R 80172 80175 79150 0 -1 4194368 5808 0 0 0 126 12 0 0 20 0 20 0 69662293 19521036288 163450 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80186] ppid=80172 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/80175/task/80186/stat : 80186 (Finalizer) S 80172 80175 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 163450 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80193] ppid=80172 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/80175/task/80193/stat : 80193 (Common-Cleaner) S 80172 80175 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 163450 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80194] ppid=80172 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/80175/task/80194/stat : 80194 (Timer-0) S 80172 80175 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69662316 19521036288 163450 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 653800 KiB
[startup+3.10564 s]
/proc/loadavg: 4.19 4.23 4.26 5/339 80195
/proc/meminfo: memFree=118693484/131249996 swapFree=33010672/33010684
[pid=80175] ppid=80172 vsize=19063512 memory=1190804 CPUtime=5.03 cores=4,6
/proc/80175/stat : 80175 (java) S 80172 80175 79150 0 -1 4194304 25590 0 0 0 476 27 0 0 20 0 20 0 69662291 19521036288 297701 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
/proc/80175/statm: 4765878 297701 5504 1 0 556511 0
[pid=80175/tid=80177] ppid=80172 vsize=19063512 memory=10752 CPUtime=2.96 cores=4,6
/proc/80175/task/80177/stat : 80177 (java) R 80172 80175 79150 0 -1 4194368 6345 0 0 0 274 22 0 0 20 0 20 0 69662293 19521036288 297701 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80186] ppid=80172 vsize=19063512 memory=-6000919498443025511 CPUtime=0 cores=4,6
/proc/80175/task/80186/stat : 80186 (Finalizer) S 80172 80175 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 297701 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80193] ppid=80172 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/80175/task/80193/stat : 80193 (Common-Cleaner) S 80172 80175 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 297701 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80194] ppid=80172 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/80175/task/80194/stat : 80194 (Timer-0) S 80172 80175 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69662316 19521036288 297701 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
Current children cumulated CPU time: 5.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1190804 KiB
[startup+6.3002 s]
/proc/loadavg: 4.19 4.23 4.26 5/339 80195
/proc/meminfo: memFree=118474744/131249996 swapFree=33010672/33010684
[pid=80175] ppid=80172 vsize=19063512 memory=1309356 CPUtime=8.29 cores=4,6
/proc/80175/stat : 80175 (java) S 80172 80175 79150 0 -1 4194304 28295 0 0 0 799 30 0 0 20 0 20 0 69662291 19521036288 327339 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
/proc/80175/statm: 4765878 327339 5504 1 0 556512 0
[pid=80175/tid=80177] ppid=80172 vsize=19063512 memory=0 CPUtime=6.13 cores=4,6
/proc/80175/task/80177/stat : 80177 (java) R 80172 80175 79150 0 -1 4194368 7012 0 0 0 589 24 0 0 20 0 20 0 69662293 19521036288 327339 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80186] ppid=80172 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/80175/task/80186/stat : 80186 (Finalizer) S 80172 80175 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 327339 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80193] ppid=80172 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/80175/task/80193/stat : 80193 (Common-Cleaner) S 80172 80175 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 327339 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80194] ppid=80172 vsize=19063512 memory=733808 CPUtime=0 cores=4,6
/proc/80175/task/80194/stat : 80194 (Timer-0) S 80172 80175 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69662316 19521036288 327339 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
Current children cumulated CPU time: 8.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1309356 KiB
[startup+12.7002 s]
/proc/loadavg: 4.31 4.26 4.27 5/339 80195
/proc/meminfo: memFree=118481420/131249996 swapFree=33010672/33010684
[pid=80175] ppid=80172 vsize=19063512 memory=1311644 CPUtime=14.86 cores=4,6
/proc/80175/stat : 80175 (java) S 80172 80175 79150 0 -1 4194304 30704 0 0 0 1455 31 0 0 20 0 20 0 69662291 19521036288 327911 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
/proc/80175/statm: 4765878 327911 5504 1 0 556578 0
[pid=80175/tid=80177] ppid=80172 vsize=19063512 memory=733808 CPUtime=12.44 cores=4,6
/proc/80175/task/80177/stat : 80177 (java) R 80172 80175 79150 0 -1 4194368 8311 0 0 0 1220 24 0 0 20 0 20 0 69662293 19521036288 327911 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80186] ppid=80172 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/80175/task/80186/stat : 80186 (Finalizer) S 80172 80175 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 327911 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80193] ppid=80172 vsize=19063512 memory=1311644 CPUtime=0 cores=4,6
/proc/80175/task/80193/stat : 80193 (Common-Cleaner) S 80172 80175 79150 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 327911 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80194] ppid=80172 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/80175/task/80194/stat : 80194 (Timer-0) S 80172 80175 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69662316 19521036288 327911 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
Current children cumulated CPU time: 14.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1311644 KiB
[startup+25.5002 s]
/proc/loadavg: 4.27 4.25 4.26 5/340 80196
/proc/meminfo: memFree=118468884/131249996 swapFree=33010672/33010684
[pid=80175] ppid=80172 vsize=19063512 memory=1320052 CPUtime=27.77 cores=4,6
/proc/80175/stat : 80175 (java) S 80172 80175 79150 0 -1 4194304 35910 0 0 0 2745 32 0 0 20 0 20 0 69662291 19521036288 330013 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
/proc/80175/statm: 4765878 330013 5504 1 0 556578 0
[pid=80175/tid=80177] ppid=80172 vsize=19063512 memory=10752 CPUtime=25.11 cores=4,6
/proc/80175/task/80177/stat : 80177 (java) R 80172 80175 79150 0 -1 4194368 10169 0 0 0 2486 25 0 0 20 0 20 0 69662293 19521036288 330013 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80186] ppid=80172 vsize=19063512 memory=1311644 CPUtime=0 cores=4,6
/proc/80175/task/80186/stat : 80186 (Finalizer) S 80172 80175 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 330013 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80193] ppid=80172 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/80175/task/80193/stat : 80193 (Common-Cleaner) S 80172 80175 79150 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 330013 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80194] ppid=80172 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/80175/task/80194/stat : 80194 (Timer-0) S 80172 80175 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69662316 19521036288 330013 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
Current children cumulated CPU time: 27.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1320052 KiB
[startup+51.1058 s]
/proc/loadavg: 4.17 4.23 4.26 5/340 80196
/proc/meminfo: memFree=118451996/131249996 swapFree=33010672/33010684
[pid=80175] ppid=80172 vsize=19063512 memory=1330600 CPUtime=53.52 cores=4,6
/proc/80175/stat : 80175 (java) S 80172 80175 79150 0 -1 4194304 40265 0 0 0 5317 35 0 0 20 0 20 0 69662291 19521036288 332650 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
/proc/80175/statm: 4765878 332650 5504 1 0 556634 0
[pid=80175/tid=80177] ppid=80172 vsize=19063512 memory=1330600 CPUtime=50.53 cores=4,6
/proc/80175/task/80177/stat : 80177 (java) R 80172 80175 79150 0 -1 4194368 11714 0 0 0 5028 25 0 0 20 0 20 0 69662293 19521036288 332650 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
################
# More data... #
################
/proc/80175/task/80186/stat : 80186 (Finalizer) S 80172 80175 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 361991 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80193] ppid=80172 vsize=19063512 memory=1447964 CPUtime=0 cores=4,6
/proc/80175/task/80193/stat : 80193 (Common-Cleaner) S 80172 80175 79150 0 -1 4194368 1339 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 361991 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80194] ppid=80172 vsize=19063512 memory=1447964 CPUtime=0 cores=4,6
/proc/80175/task/80194/stat : 80194 (Timer-0) S 80172 80175 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69662316 19521036288 361991 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
Current children cumulated CPU time: 3229.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1447964 KiB
[startup+3282.3 s]
/proc/loadavg: 3.42 3.96 4.08 4/315 80466
/proc/meminfo: memFree=121135896/131249996 swapFree=33010672/33010684
[pid=80175] ppid=80172 vsize=19063512 memory=1450012 CPUtime=3289.45 cores=4,6
/proc/80175/stat : 80175 (java) S 80172 80175 79150 0 -1 4194304 80714 0 0 0 328793 152 0 0 20 0 20 0 69662291 19521036288 362503 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
/proc/80175/statm: 4765878 362503 5504 1 0 556689 0
[pid=80175/tid=80177] ppid=80172 vsize=19063512 memory=1450012 CPUtime=3257.8 cores=4,6
/proc/80175/task/80177/stat : 80177 (java) R 80172 80175 79150 0 -1 4194368 33197 0 0 0 325735 45 0 0 20 0 20 0 69662293 19521036288 362503 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80186] ppid=80172 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/80175/task/80186/stat : 80186 (Finalizer) S 80172 80175 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 362503 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80193] ppid=80172 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/80175/task/80193/stat : 80193 (Common-Cleaner) S 80172 80175 79150 0 -1 4194368 1339 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 362503 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80194] ppid=80172 vsize=19063512 memory=1450012 CPUtime=0 cores=4,6
/proc/80175/task/80194/stat : 80194 (Timer-0) S 80172 80175 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69662316 19521036288 362503 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
Current children cumulated CPU time: 3289.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1450012 KiB
[startup+3342.3 s]
/proc/loadavg: 3.25 3.82 4.02 4/315 80469
/proc/meminfo: memFree=121146532/131249996 swapFree=33010672/33010684
[pid=80175] ppid=80172 vsize=19063512 memory=1450012 CPUtime=3349.64 cores=4,6
/proc/80175/stat : 80175 (java) S 80172 80175 79150 0 -1 4194304 80765 0 0 0 334810 154 0 0 20 0 20 0 69662291 19521036288 362503 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
/proc/80175/statm: 4765878 362503 5504 1 0 556689 0
[pid=80175/tid=80177] ppid=80172 vsize=19063512 memory=1450012 CPUtime=3317.33 cores=4,6
/proc/80175/task/80177/stat : 80177 (java) R 80172 80175 79150 0 -1 4194368 33210 0 0 0 331688 45 0 0 20 0 20 0 69662293 19521036288 362503 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80186] ppid=80172 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/80175/task/80186/stat : 80186 (Finalizer) S 80172 80175 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 362503 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80193] ppid=80172 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/80175/task/80193/stat : 80193 (Common-Cleaner) S 80172 80175 79150 0 -1 4194368 1339 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 362503 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80194] ppid=80172 vsize=19063512 memory=1450012 CPUtime=0 cores=4,6
/proc/80175/task/80194/stat : 80194 (Timer-0) S 80172 80175 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69662316 19521036288 362503 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
Current children cumulated CPU time: 3349.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1450012 KiB
[startup+3402.3 s]
/proc/loadavg: 3.15 3.70 3.97 3/291 80505
/proc/meminfo: memFree=123384284/131249996 swapFree=33010672/33010684
[pid=80175] ppid=80172 vsize=19063512 memory=1452064 CPUtime=3409.82 cores=4,6
/proc/80175/stat : 80175 (java) S 80172 80175 79150 0 -1 4194304 81252 0 0 0 340825 157 0 0 20 0 20 0 69662291 19521036288 363016 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
/proc/80175/statm: 4765878 363016 5504 1 0 556689 0
[pid=80175/tid=80177] ppid=80172 vsize=19063512 memory=18688 CPUtime=3376.84 cores=4,6
/proc/80175/task/80177/stat : 80177 (java) R 80172 80175 79150 0 -1 4194368 33649 0 0 0 337639 45 0 0 20 0 20 0 69662293 19521036288 363016 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80186] ppid=80172 vsize=19063512 memory=281006423909296 CPUtime=0 cores=4,6
/proc/80175/task/80186/stat : 80186 (Finalizer) S 80172 80175 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 363016 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80193] ppid=80172 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/80175/task/80193/stat : 80193 (Common-Cleaner) S 80172 80175 79150 0 -1 4194368 1339 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 363016 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80194] ppid=80172 vsize=19063512 memory=1452064 CPUtime=0 cores=4,6
/proc/80175/task/80194/stat : 80194 (Timer-0) S 80172 80175 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69662316 19521036288 363016 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
Current children cumulated CPU time: 3409.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1452064 KiB
[startup+3462.3 s]
/proc/loadavg: 2.54 3.42 3.85 3/291 80511
/proc/meminfo: memFree=123386108/131249996 swapFree=33010672/33010684
[pid=80175] ppid=80172 vsize=19063512 memory=1452064 CPUtime=3470 cores=4,6
/proc/80175/stat : 80175 (java) S 80172 80175 79150 0 -1 4194304 82827 0 0 0 346841 159 0 0 20 0 20 0 69662291 19521036288 363016 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
/proc/80175/statm: 4765878 363016 5504 1 0 556700 0
[pid=80175/tid=80177] ppid=80172 vsize=19063512 memory=18688 CPUtime=3436.34 cores=4,6
/proc/80175/task/80177/stat : 80177 (java) R 80172 80175 79150 0 -1 4194368 34379 0 0 0 343589 45 0 0 20 0 20 0 69662293 19521036288 363016 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80186] ppid=80172 vsize=19063512 memory=281006423909296 CPUtime=0 cores=4,6
/proc/80175/task/80186/stat : 80186 (Finalizer) S 80172 80175 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 363016 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80193] ppid=80172 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/80175/task/80193/stat : 80193 (Common-Cleaner) S 80172 80175 79150 0 -1 4194368 1419 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 363016 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80194] ppid=80172 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/80175/task/80194/stat : 80194 (Timer-0) S 80172 80175 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69662316 19521036288 363016 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
Current children cumulated CPU time: 3470 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1452064 KiB
[startup+3522.3 s]
/proc/loadavg: 2.25 3.17 3.74 3/291 80513
/proc/meminfo: memFree=123381660/131249996 swapFree=33010672/33010684
[pid=80175] ppid=80172 vsize=19063512 memory=1454160 CPUtime=3530.09 cores=4,6
/proc/80175/stat : 80175 (java) S 80172 80175 79150 0 -1 4194304 84276 0 0 0 352848 161 0 0 20 0 20 0 69662291 19521036288 363540 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
/proc/80175/statm: 4765878 363540 5504 1 0 556700 0
[pid=80175/tid=80177] ppid=80172 vsize=19063512 memory=1452064 CPUtime=3495.72 cores=4,6
/proc/80175/task/80177/stat : 80177 (java) R 80172 80175 79150 0 -1 4194368 35196 0 0 0 349526 46 0 0 20 0 20 0 69662293 19521036288 363540 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80186] ppid=80172 vsize=19063512 memory=1454160 CPUtime=0 cores=4,6
/proc/80175/task/80186/stat : 80186 (Finalizer) S 80172 80175 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 363540 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80193] ppid=80172 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/80175/task/80193/stat : 80193 (Common-Cleaner) S 80172 80175 79150 0 -1 4194368 1419 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 363540 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80194] ppid=80172 vsize=19063512 memory=1454160 CPUtime=0 cores=4,6
/proc/80175/task/80194/stat : 80194 (Timer-0) S 80172 80175 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69662316 19521036288 363540 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
Current children cumulated CPU time: 3530.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1454160 KiB
[startup+3582.3 s]
/proc/loadavg: 2.14 2.97 3.63 3/291 80515
/proc/meminfo: memFree=123381524/131249996 swapFree=33010672/33010684
[pid=80175] ppid=80172 vsize=19063512 memory=1456212 CPUtime=3590.01 cores=4,6
/proc/80175/stat : 80175 (java) S 80172 80175 79150 0 -1 4194304 84430 0 0 0 358838 163 0 0 20 0 20 0 69662291 19521036288 364053 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
/proc/80175/statm: 4765878 364053 5504 1 0 556700 0
[pid=80175/tid=80177] ppid=80172 vsize=19063512 memory=1454160 CPUtime=3554.94 cores=4,6
/proc/80175/task/80177/stat : 80177 (java) R 80172 80175 79150 0 -1 4194368 35232 0 0 0 355448 46 0 0 20 0 20 0 69662293 19521036288 364053 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80186] ppid=80172 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/80175/task/80186/stat : 80186 (Finalizer) S 80172 80175 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 364053 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80193] ppid=80172 vsize=19063512 memory=1456212 CPUtime=0 cores=4,6
/proc/80175/task/80193/stat : 80193 (Common-Cleaner) S 80172 80175 79150 0 -1 4194368 1490 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 364053 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80194] ppid=80172 vsize=19063512 memory=1456212 CPUtime=0 cores=4,6
/proc/80175/task/80194/stat : 80194 (Timer-0) S 80172 80175 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69662316 19521036288 364053 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
Current children cumulated CPU time: 3590.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1456212 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3592.3 s]
/proc/loadavg: 2.19 2.95 3.62 3/291 80515
/proc/meminfo: memFree=123381532/131249996 swapFree=33010672/33010684
[pid=80175] ppid=80172 vsize=19063512 memory=1456212 CPUtime=3600.05 cores=4,6
/proc/80175/stat : 80175 (java) S 80172 80175 79150 0 -1 4194304 84441 0 0 0 359842 163 0 0 20 0 20 0 69662291 19521036288 364053 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
/proc/80175/statm: 4765878 364053 5504 1 0 556700 0
[pid=80175/tid=80177] ppid=80172 vsize=19063512 memory=1456212 CPUtime=3564.84 cores=4,6
/proc/80175/task/80177/stat : 80177 (java) R 80172 80175 79150 0 -1 4194368 35234 0 0 0 356438 46 0 0 20 0 20 0 69662293 19521036288 364053 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80186] ppid=80172 vsize=19063512 memory=1456212 CPUtime=0 cores=4,6
/proc/80175/task/80186/stat : 80186 (Finalizer) S 80172 80175 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 364053 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80193] ppid=80172 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/80175/task/80193/stat : 80193 (Common-Cleaner) S 80172 80175 79150 0 -1 4194368 1490 0 0 0 0 0 0 0 20 0 20 0 69662295 19521036288 364053 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
[pid=80175/tid=80194] ppid=80172 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/80175/task/80194/stat : 80194 (Timer-0) S 80172 80175 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69662316 19521036288 364053 18446744073709551615 94092423221248 94092423224944 140735701888128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94092423232760 94092423233552 94092440387584 140735701895550 140735701895654 140735701895654 140735701901256 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1456212 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3592.41 s]
# the end of solver process 80175 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.62 s, system=1.64825 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3592.41 s]*
/proc/loadavg: 2.18 2.94 3.61 3/273 80518
/proc/meminfo: memFree=124421160/131249996 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3592.41
CPU time (s): 3600.27
CPU user time (s): 3598.62
CPU system time (s): 1.64825
CPU usage (%): 100.219
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1456212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.62
system time used= 1.64825
maximum resident set size= 1457364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87221
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 159390
involuntary context switches= 7896
# summary of solver processes directly reported to runsolver:
# pid: 80175
# total CPU time (s): 3600.27
# total CPU user time (s): 3598.62
# total CPU system time (s): 1.64825
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.27868 second user time and 17.2902 second system time
The end